- Shaping the Enemy: Foundational Labelling by L.E.J. Brouwer and A. Heyting
- Gödel’s Disjunction: The Scope and Limits of Mathematical Knowledge
- Logic Lectures. Gödel’s Basic Logic Course at Notre Dame
- Logic Lectures. Gödel’s Basic Logic Course at Notre Dame
- Fārābī and Avicenna on Contraposition
- Mereology in Aristotle’s Assertoric Syllogistic
- Aristotle, Logic, and QUARC
- Sellars, Second-order Quantification, and Ontological Commitment
- Abstractionism. Essays in the Philosophy of Mathematics
- Aristotelian Logic Axioms in Propositional Logic: The Pouch Method
- The Context of Inference
- Hegel and the Consequentia Mirabilis
- From Wittgenstein’s N-operator to a New Notation for Some Decidable Modal Logics
- ‘My Future Son is Possibly Alive’. Existential Presupposition and Empty Terms in Abelard’s Modal Logic
- ‘My Future Son is Possibly Alive’. Existential Presupposition and Empty Terms in Abelard’s Modal Logic
- Decoding Gentzen’s Notation
- Prior’s Grappling with Peirce’s Existential Graphs
- The Lewis Carroll Nachlass
- Avicenna on the Primary Propositions
- The Early Formation of Modal Logic and its Significance: A Historical Note on Quine, Carnap, and a Bit of Church
- ‘What the Tortoise Said to Achilles’: Lewis Carroll’s Paradox of Inference
- ‘What the Tortoise Said to Achilles’: Lewis Carroll’s Paradox of Inference
- Husserl’s Logical Grammar
- Kalmár’s Argument Against the Plausibility of Church’s Thesis
- Kalmár’s Argument Against the Plausibility of Church’s Thesis
- A Note on Saying Nothing and Saying More in the Tractatus
- Introduction: History and Philosophy of Logical Notation
- Existential Import and an Unnecessary Restriction on Predicate Logics
- The Sufi Path of Dialetheism: Gluon Theory and Wahdat al-Wujud