- A Neglected Interpretation of Das Kontinuum
- Following Bobzien: Some Notes on Frege’s Development and Engagement with his Environment
- Denying Infinity: Pragmatism in Abraham Robinson’s Philosophy of Mathematics
- Searching for the General Science of Evidence: Venn on Probability and Induction
- Frege on Identity and Identity Statements: 1884/1903
- Direct Reduction of Syllogisms with Byzantine Diagrams
- Ruth Barcan Marcus on the Deduction Theorem in Modal Logic
- On the Year of Publication of Tarski’s ‘Der Wahrheitsbegriff in den formalisierten Sprachen’
- On the Year of Publication of Tarski’s ‘Der Wahrheitsbegriff in den formalisierten Sprachen’
- Mathematical Logic in the History of Logic: Łukasiewicz’s Contribution and Its Reception
- Logic and Its History in the Lvov-Warsaw School
- The Pioneering Proving Methods as Applied in the Warsaw School of Logic – Their Historical and Contemporary Significance
- Czeżowski’s Theory of Reasoning and Mediaeval Biblical Exegesis
- Russell’s Theories of Events and Instants from the Perspective of Point-Free Ontologies in the Tradition of the Lvov-Warsaw School
- Are Ancient Logics Explosive?
- The Problem of Natural Representation of Reasoning in the Lvov-Warsaw School
- The Theory of Nigrahasthāna in Vādanyāya of Dharmakīrti
- A Short Note on the Early History of the Spectrum Problem and Finite Model Theory
- Entailment and Truthmaking: The Consequentia Rerum from Boethius to the Ars Meliduna
- The Theoretical Unity of Aristotle’s Categorical Syllogistic and Sophistics
- (What) Is Feminist Logic? (What) Do We Want It to Be?
- Introduction. Logic and Politics
- Politics, History and Logic in Max Weber
- The Birth of Logic Out of the Spirit of Democracy
- Rethinking Logical and Political Normativity
- Logic and Discrimination
- Polish Logicians on Social Functions of Logic
- The KK Principle and the Strong Notion of Knowledge: Hintikka’s Arguments for KK Revisited
- Meditating and Inquiring with Imagination: Leibniz, Lambert, and Kant on the Cognitive Value of Diagrams
- Sign-inferences in Greek and Buddhist Logic
- Leksykon logików polskich. 1900–1939
- The Place of Reduction in Aristotle’s Prior Analytics
- The Centrality of Simplicity in Frege’s Philosophy
- A Deductive System for Boole’s ‘The Mathematical Analysis of Logic’ and Its Application to Aristotle’s Deductions
- Review Article
- Belief and Counterfactuals: A Study in Means-end Philosophy
- Cavaillès on Gentzen ‘dans son poêle’: A Brief Historical Note
- Aristotle’s Syllogistic Underlying Logic: His Model with His Proofs of Soundness and Completeness
- Timpler, Clemens. Logicae systema methodicum Libris V. comprehensum, in quo universus bene disserendi et sciendi modus, tam generatim, quam speciatim, per praecepta et quaestiones breviter ac dilucide explicatur & probatur
- Logic in Question. Talks from the Annual Sorbonne Logic Workshop (2011–2019)
- Hegel’s Logic and Metaphysics
- Aristotle’s Proofs Through the Impossible in Prior Analytics 1.15
- Arthur Prior’s Proofs of the Necessities of Identity and Difference
- Logicism and Principle of Tolerance: Carnap’s Philosophy of Logic and Mathematics*