David Ripley: Curry’s Paradox and Substructural Logic | Who Shaves the Barber? #51

Download this episode / Watch on YouTube / RSS Feed / iTunes

David Ripley

Consider the sentence C: “If this sentence is true, then David Ripley is a purple giraffe”. Suppose the sentence is true. Then the antecedent of the sentence (“this sentence is true”) is true. According to the inference rule modus ponens, if an if-then sentence (such as C) is true and its antecedent is true, then its consequent (“David Ripley is a purple giraffe”) must be true. It follows that if C is true, then David Ripley is a purple giraffe. But this conclusion is C: in other words, by simply supposing how things might turn out if C were true, we have proved that C, in fact, is true. So C is true, and since C’s antecedent is the claim that C is true, its antecedent is true as well. Now we can use modus ponens again to show that C’s consequent must be true. In other words, David Ripley really is a purple giraffe. QED.

This argument is Curry’s paradox. Obviously, the choice of “David Ripley is a purple giraffe” is arbitrary; a sentence of the form of “If this sentence is true, then X” can be used to prove any claim X. Now, in actual fact, David Ripley is not a purple giraffe, but a philosopher of language and logic. According to Ripley, solutions to paradoxes like Curry’s (as well as the Liar and the Sorites) fall into two broad categories: those that solve the paradoxes by messing with the meanings of important concepts (such as the meaning of “if-then”, truth, “not”, etc.) and those that solve them by changing the structural rules of inference by appeal to substructural logics. The latter approach, says Ripley, is preferable because it allows us to keep the intuitive meanings of these important concepts. There are various structural rules that can be modified to avoid the paradoxes, but the one that Ripley prefers is the denial of transitivity. This would mean that even if we prove that a implies b and that b implies c, we have no guarantee that a implies c. Ripley tells a story about assertion and denial conditions to argue that, precisely because of the paradoxes, the denial of transitivity conforms to natural language inferential norms. We conclude with a discussion of “revenge” Curry paradoxes for Ripley’s approach, and of frontiers for substructural logic.

Audio

Video

Special thanks to Jackie Blum for the podcast art, and The Tin Box for the theme music.
Click here for the full list of episodes!

Topics discussed

0:19 – Introduction to David Ripley
3:17 – Logic, reasoning, and ways to approach paradox
11:00 – Curry’s paradox
25:19 – The Liar as analogous to Curry
34:34 – Taxonomy of solutions: vocabulary-based vs. structural-based
45:35 – Logical connectives and natural language analogues
49:55 – Optimism vs. pessimism in responses
55:23 – Substructural solutions: non-contractive
59:42 – Substructural solutions: non-transitive
1:06:52 – Assertion and denial conditions
1:20:44 – Gaps and gluts and revenge
1:33:01 – History of and horizons for substructural logic

Sources

David Ripley (website)
Curry’s paradox (Stanford Encyclopedia of Philosophy)
Comparing Substructural Theories of Truth” (David Ripley)
Revising Up: Strengthening Classical Logic in the Face of Paradox” (David Ripley)

1 thought on “David Ripley: Curry’s Paradox and Substructural Logic | Who Shaves the Barber? #51”

  1. Great post! I’ve only just found your site, via microphilosophy, and look forward to working my way through it. I recently had a thought about the informal version of Curry’s paradox at the beginning of the SEP entry, and blogged about it on my site:

    https://enigmanically.blogspot.com/2018/09/currys-paradox.html

    I think that the informal version is the most paradoxical of the semantic paradoxes, but am still at sea when it comes to the formal versions (despite a first class degree in mathematics!

Leave a Reply

Your email address will not be published. Required fields are marked *