Conditional Disputations
Parsons (Terence)
Source: Parsons - Indeterminate Identity, 2000, Chapter 6
Paper - Abstract

Paper StatisticsColour-ConventionsDisclaimer

Analytic TOC1

  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).
  2. A conditional 'If A then B' is to be read either with this conditional ('A ⇒ B') or given the "if-true" reading ('!A ⇒ B').
  3. 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.)
  4. If one wishes to state Leibniz's Law2 as a conditional, the bare Lukasiewicz conditional form is incorrect, but the "if-true" version is correct: '!a = b ⇒ (φa ⇒ φb)'.
  5. 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.
  6. 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.

In-Page Footnotes

Footnote 1: Taken from "Parsons (Terence) - Indeterminate Identity: Analytical Table of Contents".

Text Colour Conventions (see disclaimer)

  1. Blue: Text by me; © Theo Todman, 2019
  2. 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 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