Single Idea 15326

[catalogued under 5. Theory of Logic / A. Overview of Logic / 6. Classical Logic]

Full Idea

Aside from logic, so little is needed to generate the liar paradox that one wonders whether the laws of classical logic are unrestrictedly valid after all. (Many theories of truth have therefore been formulated in nonclassical logic.)

Gist of Idea

Doubt is thrown on classical logic by the way it so easily produces the liar paradox

Source

Leon Horsten (The Tarskian Turn [2011], 01.2)

Book Reference

Horsten,Leon: 'The Tarskian Turn' [MIT 2011], p.5


A Reaction

Kripke uses Strong Kleene logic for his theory. The implication is that debates discussed by Horsten actually have the status of classical logic at stake, as well as the nature of truth.

Related Idea

Idea 6006 If you say truly that you are lying, you are lying [Eubulides, by Dancy,R]