| What are logical notions? | 1986/01/01 | English | 118 |
| On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus | 1981/01/01 | English | 64 |
| The Consistency of predicative fragments of frege’s grundgesetze der arithmetik | 1996/01/01 | English | 41 |
| Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic | 2002/03/01 | English | 41 |
| On the Concept of Following Logically | 2002/09/01 | English | 37 |
| Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory | 1980/01/01 | English | 35 |
| Categoricity | 1980/01/01 | English | 31 |
| The Different Ways in which Logic is (said to be) Formal | 2011/11/01 | English | 26 |
| On the completeness of a certain system of arithmetic of whole numbers in which addition occurs as the only operation | 1991/01/01 | English | 25 |
| A Brief History of Natural Deduction | 1999/01/01 | English | 24 |
| Aristotle'sPrior Analyticsand Boole'sLaws of Thought | 2003/12/01 | English | 22 |
| Calculus ratiocinator versus characteristica universalis? The two traditions in logic, revisited | 2004/02/01 | English | 19 |
| Frege, hilbert, and the conceptual structure of model theory | 1994/01/01 | English | 19 |
| On Inversion Principles | 2008/05/01 | English | 17 |
| Jaina Logic and the Philosophical Basis of Pluralism | 2002/12/01 | English | 16 |
| Conceptions of truth in intuitionism | 2004/05/01 | English | 15 |
| What is Aristotelian Ecthesis? | 1982/01/01 | English | 15 |
| Existential Graphs: What a Diagrammatic Logic of Cognition Might Look Like | 2011/08/01 | English | 15 |
| The Cube, the Square and the Problem of Existential Import | 2013/05/01 | English | 15 |
| Harvard 1940–1941: Tarski, Carnap and Quine on a finitistic language of mathematics for science | 2005/11/01 | English | 15 |
| Euler’s visual logic | 1998/01/01 | English | 14 |
| Undefinability of truth. the problem of priority:tarski vs gödel | 1998/01/01 | English | 14 |
| On Frege's Begriffsschrift Notation for Propositional Logic: Design Principles and Trade-Offs | 2017/05/19 | English | 14 |
| Aristotle's Demonstrative Logic | 2009/02/01 | English | 13 |
| Peirce's Truth-functional Analysis and the Origin of the Truth Table | 2012/02/01 | English | 13 |
| Aristotle'S natural deduction reconsidered | 1997/01/01 | English | 13 |
| The correspondence between george boole and stanley jevons, 1863–1864 | 1991/01/01 | English | 12 |
| Boolean considerations on John Buridan's octagons of opposition | 2018/10/30 | English | 12 |
| Between Vienna and Berlin: The Immediate Reception of Godel's Incompleteness Theorems | 1999/01/01 | English | 11 |
| Jaina Logic: A Contemporary Perspective | 2008/08/01 | English | 11 |