Scott Soames, “Appreciating Analytic Philosophy” (Open Agenda, 2021)
Ideas Roadshow Podcast
00:00
The Girdle in Completeness Theorem Is the Key Paradox
We don't need a decision procedure for first order logical truth in order to use first order sentences to explain information. A i think, to me, what is fascinating is all these results are really applications of paradoxes. The liar paradox is the key paradox. What i am saying now is not true. Ah, but in the meantime, we're talking to one another right now. That's perfectly fine. I mean, in terms of, weor and we don’t need a decision.
Play episode from 01:26:54
Transcript
