- On the Methods of Constructing Hilbert-type Axiom Systems for Finite-valued Propositional Logics of Łukasiewicz
- Time and Indexicality in Buridan’s Concept of Logical Consequence
- The Consistency of a Certain Medieval-Like Solution to the Liar Paradox. Proof Given by Bolesław Sobociński
- On Reading Leśniewski
- Wittgenstein and Formal Semantics: A Case Study on the Tractarian Notions of Truth-Conditions and Compositionality
- ‘Qinghua School of Logic’: Mathematical Logic at Qinghua University in Peking, 1926–1945
- Fregesche Variationen. Essays zu Ehren von Christian Thiel
- In What Sense is J.N. Findlay the Founding Father of Tense-logic?
- The Deduction Theorem (Before and After Herbrand)
- On Infinitesimals and Indefinitely Cut Wooden Sticks: A Chinese Debate on ‘Mathematical Logic’ and Russell’s Introduction to Mathematical Philosophy from 1925
- Paraconsistent Logic: Consistency, Contradiction and Negation
- Reflections on Orlov
- The Aftermath of Syllogism. Aristotelian Logical Argument from Avicenna to Hegel
- Susan Stebbing’s Logical Interventionism
- Intuition et idéalités. Phénoménologie des objets mathématiques
- Wittgenstein on Logic as The Method of Philosophy. Re-examining the Roots and Development of Analytic Philosophy
- Saving the Square of Opposition
- Oral Disputation in the Gymnasium Logicum by Bartholomäus Keckermann and Dependent Seventeenth Century Tracts
- Revisiting the Exegetical Tradition of Galen’s Prologue to the Art of Medicine before Leoniceno: Logic, Teaching, and Didactics in Pietro Torrigiano’s Plusquam commentum
- Saying Something about a Concept: Frege on Statements of Number
- Between Imagination and Gambling. The Forms of Validity in Scholastic Logic
- God, Gluts and Gaps: Examining an Islamic Traditionalist Case for a Contradictory Theology
- Where is ‘There is’ in ‘∃’?
- Introduction to ‘Studies in Post-Medieval Logic’
- Abharī’s Solution to the Liar Paradox: A Logical Analysis
- Changes in British Logic Teaching During the Sixteenth and Seventeenth Centuries
- A Gricean Interpretation of Nāgārjuna’s Catuṣkoṭi and the No-Thesis View
- Kurt Gödel’s Anticipation of the Turing Machine: A Vitalistic Approach
- Ein halbordnungstheoretischer Widerspruchsfreiheitsbeweis
- Lorenzen’s Proof of Consistency for Elementary Number Theory
- Horst Wessel: Contributions to the Theory of Logical Consequence, Non-Traditional Theory of Predication and Logical Theory of Terms
- Leibnizian Identity and Paraconsistent Logic
- Proof by Assumption of the Possible in Prior Analytics, 1.15; How Not to Blend Modal Frameworks
- The Venn-MacColl Dispute in Nature
- Robert Kilwardby’s Science of Logic: A Thirteenth-Century Intensional Logic