The natural history of the understanding: locke and the rise of facultative logic in the eighteenth century | 1985/01/01 | English | 11 |
A reconstruction of Aristotle's modal syllogistic | 2006/05/01 | English | 11 |
Reason's nearest kin | 2000/09/01 | English | 11 |
Towards a Historical Notion of ‘Turing—the Father of Computer Science’ | 2015/07/03 | English | 11 |
Boolean algebra and its extra-logical sources: the testimony of mary everest boole | 1980/01/01 | English | 11 |
William stanley jevons and the extent of meaning in logic and economics | 1998/01/01 | English | 11 |
Frege's Theory of Real Numbers | 1987/01/01 | English | 10 |
J.S. Mill's Canons of Induction: From True Causes to Provisional Ones | 2008/11/01 | English | 10 |
American Postulate Theorists and Alfred Tarski | 2003/12/01 | English | 10 |
The Later Mohists and Logic | 2010/08/01 | English | 10 |
Russell's Paradox in Appendix B of the Principles of Mathematics : Was Frege's response adequate? | 2001/03/01 | English | 10 |
Simplex sigillum veri: Peano, Frege, and Peirce on the Primitives of Logic | 2017/08/31 | English | 9 |
A.N. Prior and ‘The Nature of Logic’ | 2019/05/15 | English | 9 |
Lewis Carroll's visual logic | 2007/02/01 | English | 9 |
Discussion on the foundation of mathematics | 1984/01/01 | English | 9 |
Dummett's case for intuitionism | 1984/01/01 | English | 9 |
Against Logical Realism | 1999/10/01 | English | 9 |
On the Development of the Notion of a Cardinal Number | 2010/05/01 | English | 9 |
Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics | 2002/06/01 | English | 9 |
A Comparative Taxonomy of Medieval and Modern Approaches to Liar Sentences | 2008/08/01 | English | 9 |
L.E.J. Brouwer's ‘Unreliability of the Logical Principles’: A New Translation, with an Introduction | 2016/08/03 | English | 9 |
Logic and Mathematics in the Seventeenth Century | 2010/11/01 | English | 8 |
Lewis Carroll's Formal Logic | 2005/02/01 | English | 8 |
Hilbert's ‘Verunglückter Beweis’, the first epsilon theorem, and consistency proofs | 2004/05/01 | English | 8 |
On the textual authenticity of kant's logic | 1988/01/01 | English | 8 |
Negation and quantification in aristotle | 1990/01/01 | English | 8 |
Boole and mill: differing perspectives on logical psychologism | 1980/01/01 | English | 8 |
Completeness and categoricity: Frege, gödel and model theory | 1997/01/01 | English | 8 |
Richard whately and the rise of modern logic | 1984/01/01 | English | 8 |
Duty and Sacrifice: A Logical Analysis of the Mīmāṃsā Theory of Vedic Injunctions | 2019/07/09 | English | 8 |