Histopathology image classification: Highlighting the gap between manual analysis and AI automation

Edit links

The no–no paradox is a distinctive paradox belonging to the family of the semantic paradoxes (like the Liar paradox). It derives its name from the fact that it consists of two sentences each simply denying what the other says.

History

A variation on the paradox occurs already in Thomas Bradwardine’s Insolubilia.[1] The paradox itself appears as the eighth sophism of chapter 8 of John Buridan’s Sophismata.[2] Although the paradox has gone largely unnoticed even in the course of the 20th-century revival of the semantic paradoxes, it has recently been rediscovered (and dubbed with its current name) by the US philosopher Roy Sorensen,[3] and is now appreciated for the distinctive difficulties it presents.[4]

Formulation

The notion of truth seems to be governed by the naive schema:

(T): The sentence ' P ' is true if and only if P

(where we use single quotes to refer to the linguistic expression inside the quotes). Consider however the two sentences:

(N1): (N2) is not true
(N2): (N1) is not true

Reasoning in classical logic, there are four possibilities concerning (N1) and (N2):

  1. Both (N1) and (N2) are true
  2. Both (N1) and (N2) are not true
  3. (N1) is true and (N2) is not true
  4. (N1) is not true and (N2) is true

Yet, possibilities 1. and 2. are ruled out by the instances of (T) for (N1) and (N2). To wit, possibility 1. is ruled out because, if (N1) is true, then, by (T), (N2) is not true; possibility 2. is ruled out because, if (N1) is not true, then, by (T), (N2) is true. It would then seem that either of possibilities 3. and 4. should obtain. Yet, both of those possibilities would also seem repugnant, as, on each of them, two perfectly symmetrical sentences would mysteriously diverge in truth value.

Discussion

Generally speaking, the paradox instantiates the problem of determining the status of ungrounded sentences that are not inconsistent.[5] More in particular, the paradox presents the challenge of expanding one’s favourite theory of truth with further principles which either express the symmetry intuition against possibilities 3. and 4.[6] or make them acceptable in spite of their intuitive repugnancy.[7] Because (N1) and (N2) do not lead to inconsistency, a certain strand in the discussion of the paradox has been willing to assume both the relevant instances of (T) and classical logic, thereby deriving the conclusion that either possibility 3. or possibility 4. holds.[8] Such conclusion has in turn been taken to have momentous consequences for certain influential philosophical theses. Consider, for example, the thesis of truthmaker maximalism:

(TM): If a sentence is true, there is something that makes it true[9]

If, as per possibilities 3. and 4., one of (N1) or (N2) is true and the other one is not true, then, given the symmetry between the two sentences, it might seem that there is nothing that makes true whichever of the two is in fact true. If so, (TM) would fail.[10] These and similar conclusions have however been contested by other philosophers on the grounds that, as evidenced by Curry's paradox, joint reliance on (T) and classical logic might be problematic even when it does not lead to inconsistency.[11]

References

  1. ^ Bradwardine, T. (1970), Insolubilia, pp. 304–305, in Roure, M.-L. (1970). ‘La problématique des propositions insolubles au XIIIe siècle et au début du XIVe, suivie de l’édition des traités de W. Shyreswood, W. Burleigh et Th. Bradwardine’, Archives d’Histoire Doctrinale et Littéraire du Moyen Âge 37, pp. 205–326.
  2. ^ Buridan, J. (2001), Summulae de Dialectica, tr. G. Klima, New Haven: Yale University Press, p. 971.
  3. ^ Sorensen, R. (2001), Vagueness and Contradiction, Oxford: Oxford University Press.
  4. ^ Greenough, P. (2011), 'Truthmaker gaps and the no-no paradox', Philosophy and Phenomenological Research 82, pp. 547–563.
  5. ^ Herzberger, H. (1970), 'Paradoxes of grounding in semantics', The Journal of Philosophy 67, pp. 145–167
  6. ^ Priest, G. (2005), 'Words without knowledge', Philosophy and Phenomenological Research 71, pp. 686–694.
  7. ^ Sorensen, R. (2001), Vagueness and Contradiction, Oxford: Oxford University Press, pp. 165–184.
  8. ^ Armour-Garb, B. and J. Woodbridge (2006), 'Dialetheism, semantic pathology, and the open pair', Australasian Journal of Philosophy 84, pp. 395–416.
  9. ^ Armstrong, D. (2004), Truth and Truth-Makers, Cambridge: Cambridge University Press.
  10. ^ Sorensen, R. (2001), Vagueness and Contradiction, Oxford: Oxford University Press, p. 176.
  11. ^ López de Sa, D. and E. Zardini (2007), 'Truthmakers, knowledge and paradox', Analysis 67, pp. 242–250.