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.

Visit **http://williamnava.com** or more info!

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!

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)

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

William Gillis and Ryan Neugebauer: Anarchism | WSB #52

2019-01-27
233

Jody Azzouni: Ontology without Borders | WSB #50

2018-07-31
279

Michael Hicks: Fiction-Directed Thought | WSB #49

2018-07-17
167

Michael Hicks: What Is Thought? | WSB #48

2018-07-10
182

Left Market Anarchism | WSB #47

2018-07-03
223

Kit Fine: Metaphysical Ground | WSB #46

2018-06-26
303

Nicolas Langlitz: Psychedelics and Philosophy | WSB #45

2018-06-19
214

Jc Beall: Logic of Christ | WSB #44

2018-06-13
227

Jason Lee Byas: Against Criminal Justice | WSB #43

2018-06-05
255

Stephen Read: Bradwardine Solution to the Liar | WSB #42

2018-05-29
405

Stephen Read: Liar Paradox | WSB #41

2018-05-22
344

T.K. Coleman: Sacramental Christianity | WSB #40

2018-05-15
200

David Papineau: Mary's Room | WSB #39

2018-05-08
209

David Papineau: Physicalism | WSB #38

2018-05-01
274

Peter Klein: What Is Knowledge? (Gettier Problem) | WSB #37

2018-04-24
269

Peter Klein: Infinitism and Pyrrhonism | WSB #36

2018-04-17
228

Bryan Caplan: Non-State Legal Systems | WSB #35

2018-04-10
299

Bryan Caplan: The Case against Education | WSB #34

2018-04-03
188

Timothy Williamson: Vagueness | WSB #33

2018-03-27
313

Michael Huemer: Ethical Intuitionism | WSB #32

2018-03-20
412

108711289852341978981297592209727573969763296699489641560961137595813339550418951259694916539453957943025993973799364871932619592977009273707

Create your

podcast in

minutes

- Full-featured podcast site
- Unlimited storage and bandwidth
- Comprehensive podcast stats
- Integrate with iTunes and Google

store - Make money with your podcast

It is Free