Conditional Disputations |
---|

Parsons (Terence) |

Source: Parsons - Indeterminate Identity, 2000, Chapter 6 |

Paper - Abstract |

Paper Statistics | Colour-Conventions | Disclaimer |

__Analytic TOC_{1}__

- Truth-conditions for conditionals are discussed, and the Lukasiewicz conditional '⇒' is adopted; such a conditional is false when the antecedent is true and the consequent false, and true if the truth-value status of the consequent is at least as high as that of the antecedent (counting lack of truth-value as a status intermediate between truth and falsity).
- A conditional 'If A then B' is to be read either with this conditional ('A ⇒ B') or given the "if-true" reading ('!A ⇒ B').
- The Lukasiewicz conditional satisfies
*modus ponens*,*modus tollens*, hypothetical syllogism, and contraposition, but only a restricted form of conditional proof: taking 'A' as a premiss and deriving 'B' allows you to conditionalize and infer '!A ⇒ B' but not 'A ⇒ B'. (No non-bivalent truth-status-functional conditional satisfies all of*modus ponens*,*modus tollens*, and conditional proof, so one can do no better.) - If one wishes to state Leibniz's Law
^{2}as a conditional, the bare Lukasiewicz conditional form is incorrect, but the "if-true" version is correct: '!a = b ⇒ (φa ⇒ φb)'. - John Broome gives a different version, which is logically equivalent to this one. Johnson criticizes these versions, but gives a conditionalized-conditional version that is also equivalent.
- A second argument of Williamson is considered which defends bivalent versions of the Tarski biconditionals; it is held that his rationales for the biconditionals are subject to interpretation, and that interpretations that do not make them beg the question rationalize only non-bivalent versions.

**Text Colour Conventions (see disclaimer)**

- Blue: Text by me; © Theo Todman, 2019
- Mauve: Text by correspondent(s) or other author(s); © the author(s)

© Theo Todman, June 2007 - Feb 2019. | Please address any comments on this page to theo@theotodman.com. | File output: Website Maintenance Dashboard |

Return to Top of this Page | Return to Theo Todman's Philosophy Page | Return to Theo Todman's Home Page |