- PM's Circumflex, Syntax and Philosophy of Types.Kevin Klement - 2011 - In Kenneth Blackwell, Nicholas Griffin & Bernard Linsky (eds.), Principia mathematica at 100. Hamilton, Ontario: Bertrand Russell Research Centre. pp. 218-246.details
|
|
Husserl and the normativity of logic. Di Huang - forthcoming - Southern Journal of Philosophy.details
|
|
In Defense of Logical Universalism: Taking Issue with Jean van Heijenoort. [REVIEW]Philippe de Rouilhan - 2012 - Logica Universalis 6 (3-4):553-586.details
|
|
Bertrand Russell's the analysis of matter: Its historical context and contemporary interest.William Demopoulos & Michael Friedman - 1985 - Philosophy of Science 52 (4):621-639.details
|
|
Theory structuralism in a rigid framework.Christian Damböck - 2012 - Synthese 187 (2):693-713.details
|
|
The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper.John Corcoran & José Miguel Sagüillo - 2011 - History and Philosophy of Logic 32 (4):359-374.details
|
|
Logic as a Science and Logic as a Theory: Remarks on Frege, Russell and the Logocentric Predicament.Anssi Korhonen - 2012 - Logica Universalis 6 (3):597-613.details
|
|
The scope of logic: deduction, abduction, analogy.Carlo Cellucci - 1998 - Theoria 64 (2-3):217-242.details
|
|
Consistency and konsistenz.William Boos - 1987 - Erkenntnis 26 (1):1 - 43.details
|
|
Peano’s structuralism and the birth of formal languages.Joan Bertran-San-Millán - 2022 - Synthese 200 (4):1-34.details
|
|
Lingua characterica and calculus ratiocinator: The Leibnizian background of the Frege-Schröder polemic.Joan Bertran-San Millán - 2021 - Review of Symbolic Logic 14 (2):411-446.details
|
|
Completeness and Categoricity: 19th Century Axiomatics to 21st Century Senatics.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (1):1-30.details
|
|
Completeness and categoricty, part II: 20th century metalogic to 21st century semantics.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (1):77-92.details
|
|
Carnap, completeness, and categoricity:The gabelbarkeitssatz OF 1928. [REVIEW]S. Awodey & A. W. Carus - 2001 - Erkenntnis 54 (2):145-172.details
|
|
Jean van Heijenoort’s Conception of Modern Logic, in Historical Perspective.Irving H. Anellis - 2012 - Logica Universalis 6 (3):339-409.details
|
|
Guest Editor’s Introduction: JvH100. [REVIEW]Irving H. Anellis - 2012 - Logica Universalis 6 (3-4):249-267.details
|
|
Editor’s Introduction to Jean van Heijenoort, Historical Development of Modern Logic.Irving H. Anellis - 2012 - Logica Universalis 6 (3-4):301-326.details
|
|
Skolem and the löwenheim-skolem theorem: a case study of the philosophical significance of mathematical results.Alexander George - 1985 - History and Philosophy of Logic 6 (1):75-89.details
|
|
Carnap’s Early Semantics.Georg Schiemer - 2013 - Erkenntnis 78 (3):487-522.details
|
|
The development of mathematical logic from Russell to Tarski, 1900-1935.Paolo Mancosu, Richard Zach & Calixto Badesa - 2011 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press.details
|
|
Alfred Tarski: philosophy of language and logic.Douglas Patterson - 2012 - New York: Palgrave-Macmillan.details
|
|
The Methodology and Structure of Gottlob Frege's Logico-philosophical Investigations.Kazuyuki Nomoto - 2006 - Annals of the Japan Association for Philosophy of Science 14 (2):73-97.details
|
|
Buddhist Philosophy of Logic.Koji Tanaka - 2013 - In Emmanuel Steven Michael (ed.), Blackwell Companion to Buddhist Philosophy. Wiley-Blackwell. pp. 320-330.details
|
|
History and Philosophy of Constructive Type Theory.Giovanni Sommaruga - 2000 - Dordrecht, Netherland: Springer.details
|
|
Russell's Unknown Logicism: A Study in the History and Philosophy of Mathematics.Sébastien Gandon - 2012 - Houndmills, England and New York: Palgrave-Macmillan.details
|
|
On The Epistemological Justification of Hilbert’s Metamathematics.Javier Legris - 2005 - Philosophia Scientiae 9 (2):225-238.details
|
|
Axiomatics Without Foundations. On the Model-theoretical Viewpoint In Modern Axiomatics.Johannes Lenhard - 2005 - Philosophia Scientiae 9 (2: Aperçus philosophiques en log):97-107.details
|
|
Frege on Indirect Proof.Ivan Welty - 2011 - History and Philosophy of Logic 32 (3):283-290.details
|
|
Quine’s Substitutional Definition of Logical Truth and the Philosophical Significance of the Löwenheim-Hilbert-Bernays Theorem.Henri Wagner - 2018 - History and Philosophy of Logic 40 (2):182-199.details
|
|
Calculus ratiocinator versus characteristica universalis? The two traditions in logic, revisited.Volker Peckhaus - 2004 - History and Philosophy of Logic 25 (1):3-14.details
|
|
Del cristal de la lógica al discurso sin espejo: una perspectiva de la lógica del s. XX.Luis Vega - 2000 - Endoxa 1 (12-2):495.details
|
|
Kant on the Nature of Logical Laws.Clinton Tolley - 2006 - Philosophical Topics 34 (1-2):371-407.details
|
|
Learning Logical Tolerance: Hans Hahn on the Foundations of Mathematics.Thomas E. Uebel - 2005 - History and Philosophy of Logic 26 (3):175-209.details
|
|
Some recent essays in the history of the philosophy of mathematics: A critical review. [REVIEW]William W. Tait - 1993 - Synthese 96 (2):293 - 331.details
|
|
Completeness and categoricity: Frege, gödel and model theory.Stephen Read - 1997 - History and Philosophy of Logic 18 (2):79-93.details
|
|
Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (1):1-30.details
|
|
Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (2):77-94.details
|
|
Frege's Judgement Stroke and the Conception of Logic as the Study of Inference not Consequence.Nicholas J. J. Smith - 2009 - Philosophy Compass 4 (4):639-665.details
|
|
Hilbert's Programs: 1917–1922.Wilfried Sieg - 1999 - Bulletin of Symbolic Logic 5 (1):1-44.details
|
|
Space, number and structure: A tale of two debates.Stewart Shapiro - 1996 - Philosophia Mathematica 4 (2):148-173.details
|
|
Sets and Abstracts – Discussion.Stewart Shapiro - 2005 - Philosophical Studies 122 (3):315-332.details
|
|
Frege meets dedekind: A neologicist treatment of real analysis.Stewart Shapiro - 2000 - Notre Dame Journal of Formal Logic 41 (4):335--364.details
|
|
Logic in the 1930s: Type Theory and Model Theory.Georg Schiemer & Erich H. Reck - 2013 - Bulletin of Symbolic Logic 19 (4):433-472.details
|
|
Carnap on logic and rationality.Georg Schiemer - 2017 - Synthese 194 (1):1-14.details
|
|
Independendly‐Friendly Logic: Dependence and Independence of Quantifiers in Logic.Gabriel Sandu - 2012 - Philosophy Compass 7 (10):691-711.details
|
|
Faut-il enterrer le principe de compositionnalitè?François Rivenc - 1995 - Dialogue 34 (2):305-.details
|
|
Russell and the universalist conception of logic.Ian Proops - 2007 - Noûs 41 (1):1–32.details
|
|
Generality and existence: Quantificational logic in historical perspective.Jan von Plato - 2014 - Bulletin of Symbolic Logic 20 (4):417-448.details
|
|
Doing Worlds with Words: Formal Semantics Without Formal Metaphysics.Jaroslav Peregrin - 1995 - Dordrecht, Netherland: Springer.details
|
|
The Propositional Logic of Principia Mathematica and Some of Its Forerunners.Daniel J. O'Leary - 1988 - Russell: The Journal of Bertrand Russell Studies 8 (1).details
|
|