Mirqāt The Ascent of Logic

Advanced · a field of logic

Philosophical Logic

Conditionals, the paradoxes, and the nature of logic itself: where logic turns its instruments back on its own foundations.

The problem
What do “if…then,” truth, and reference really mean, and why do the paradoxes keep breaking our best theories?
The turning point
The Liar paradox forces a choice: stratify truth (Tarski), allow gaps (Kripke), or accept true contradictions (Priest).
An open question
Is logic discovered or chosen: normative for thought, or just one formal language among many?

The Canon

  • Sainsbury Paradoxes
  • Haack Philosophy of Logics

To study it

  • Burgess Philosophical Logic
  • Read Thinking About Logic
  • Gamut Logic, Language and Meaning
← Back to the Path See it in the Atlas →