- Jean van Heijenoort’s Conception of Modern Logic, in Historical Perspective.Irving H. Anellis - 2012 - Logica Universalis 6 (3):339-409.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
|
|
Guest Editor’s Introduction: JvH100. [REVIEW]Irving H. Anellis - 2012 - Logica Universalis 6 (3-4):249-267.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
|
|
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
|
|
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
|
|
Husserl and the normativity of logic. Di Huang - forthcoming - Southern Journal of Philosophy.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
|
|
Analysis versus laws boole’s explanatory psychologism versus his explanatory anti-psychologism.Nicla Vassallo - 1997 - History and Philosophy of Logic 18 (3):151-163.details
|
|
Formality of logic and Frege’s Begriffsschrift.Daniele Mezzadri - 2019 - Canadian Journal of Philosophy 49 (2):182-207.details
|
|
A plea for logical objects.Matthew William McKeon - 2009 - Synthese 167 (1):163-182.details
|
|
Logical constants.John MacFarlane - 2008 - Mind.details
|
|
A Ideografia do Tractatus Logico-Philosophicus e Funções Recursivas Primitivas.Felipe Oliveira Araújo Lopes - 2016 - Manuscrito 39 (2):59-88.details
|
|
Inception of Quine's ontology.Lieven Decock - 2004 - History and Philosophy of Logic 25 (2):111-129.details
|
|
How to be a structuralist all the way down.Elaine Landry - 2011 - Synthese 179 (3):435 - 454.details
|
|
Review of Kazuyuki Nomoto "Frege Tetsugaku no Zenbou (Gottlob Freges Logizismus und seine logische Semantik als der Prototyp)". [REVIEW]Hidenori Kurokawa - 2014 - Journal of the Japan Association for Philosophy of Science 42 (1):39-54.details
|
|
Russell’s Notion of Scope.Saul A. Kripke - 2005 - Mind 114 (456):1005-1037.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-4):597-613.details
|
|
Truth in Frege's 'laws of truth'.Gary Kemp - 1995 - Synthese 105 (1):31 - 51.details
|
|
The mathematical development of set theory from Cantor to Cohen.Akihiro Kanamori - 1996 - Bulletin of Symbolic Logic 2 (1):1-71.details
|
|