Rationally Speaking Podcast Rationally Speaking #72 - Graham Priest on Paradoxes and Paraconsistent Logic
8 snips
Oct 21, 2012 Explore the world of paradoxes and paraconsistent logic with a philosopher and logician as they discuss how statements can be both true and false, unravel the mysteries of the barber paradox, and delve into the evolution of thoughts on infinitude in mathematics. Discover how paraconsistent logic can navigate contradictions in mathematics, and get book recommendations for philosophical insights and logic.
AI Snips
Chapters
Transcript
Episode notes
Paraconsistent Logic Prevents Explosion
- Paraconsistent logic blocks explosion so contradictions don't entail everything.
- Graham Priest explains explosion is the usual rule that a contradiction lets you derive any statement, which paraconsistent systems prevent.
Self Reference Drives Liar Paradox
- Self‑referential paradoxes like the Liar can force a sentence to be both true and false.
- Priest uses the sentence "These very words I'm uttering are false" to show truth leads to falsehood and falsity leads to truth.
Apply Paraconsistent Logic To Corrupt Data
- Use paraconsistent logic in practical contexts with corrupt or contradictory data.
- Priest cites information processing and historical scientific theories that drew sensible conclusions despite internal inconsistencies.