- Structure and Categoricity: Determinacy of Reference and Truth Value in the Philosophy of Mathematics.Tim Button & Sean Walsh - 2016 - Philosophia Mathematica 24 (3):283-307.details
|
|
Pluralism in Mathematics: A New Position in Philosophy of Mathematics.Michèle Friend - 2013 - Dordrecht, Netherland: Springer.details
|
|
Peirce and diagrams: two contributors to an actual discussion review each other.Frederik Stjernfelt & Ahti-Veikko Pietarinen - 2015 - Synthese 192 (4):1073-1088.details
|
|
The role of universal language in the early work of Carnap and Tarski.Iris Loeb - 2017 - Synthese 194 (1):15-31.details
|
|
Beppo Levi’s Analysis of the Paradoxes.Riccardo Bruni - 2013 - Logica Universalis 7 (2):211-231.details
|
|
Alfred Tarski: philosophy of language and logic.Douglas Patterson - 2012 - New York: Palgrave-Macmillan.details
|
|
The Crisis in the Foundations of Mathematics.J. Ferreiros - 2008 - In T. Gowers (ed.), Princeton Companion to Mathematics. Princeton University Press.details
|
|
Kurt gödel.Juliette Kennedy - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Logic in mathematics and computer science.Richard Zach - forthcoming - In Filippo Ferrari, Elke Brendel, Massimiliano Carrara, Ole Hjortland, Gil Sagi, Gila Sher & Florian Steinberger (eds.), Oxford Handbook of Philosophy of Logic. Oxford, UK: Oxford University Press.details
|
|
Peano’s structuralism and the birth of formal languages.Joan Bertran-San-Millán - 2022 - Synthese 200 (4):1-34.details
|
|
Projective duality and the rise of modern logic.Günther Eder - 2021 - Bulletin of Symbolic Logic 27 (4):351-384.details
|
|
The Subject Matter of Logic: Explaining what logic is about.Elizabeth Olsen - 2021 - Dissertation, Victoria University of Wellingtondetails
|
|
Frege, Peano and the Interplay between Logic and Mathematics.Joan Bertran-San Millán - 2021 - Philosophia Scientiae 25 (1):15-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
|
|
The Axiom of Choice and the Road Paved by Sierpiński.Valérie Lynn Therrien - 2020 - Hopos: The Journal of the International Society for the History of Philosophy of Science 10 (2):504-523.details
|
|
Carnap’s early metatheory: scope and limits.Georg Schiemer, Richard Zach & Erich Reck - 2017 - Synthese 194 (1):33-65.details
|
|
Fixed- versus Variable-domain Interpretations of Tarski’s Account of Logical Consequence.Paolo Mancosu - 2010 - Philosophy Compass 5 (9):745-759.details
|
|
The algebra of logic tradition.Stanley Burris - 2010 - Stanford Encyclopedia of Philosophy.details
|
|
Turing machines.David Barker-Plummer - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
An Essay Review of Three Books on Frank Ramsey†.Paolo Mancosu - 2021 - Philosophia Mathematica 29 (1):110-150.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
|
|
On Rereading van Heijenoort’s Selected Essays.Solomon Feferman - 2012 - Logica Universalis 6 (3):535-552.details
|
|
A recently recurring mistake over Russell's theory of descriptions.Lloyd Humberstone - 2024 - Analytic Philosophy 65 (3):301-308.details
|
|
Von neumann’s consistency proof.Luca Bellotti - 2016 - Review of Symbolic Logic 9 (3):429-455.details
|
|
Mario Pieri’s View of the Symbiotic Relationship between the Foundations and the Teaching of Elementary Geometry in the Context of the Early Twentieth Century Proposals for Pedagogical Reform.Elena Anne Corie Marchisotto & Ana Millán Gasca - 2021 - Philosophia Scientiae 25:157-183.details
|
|
Frege and the origins of model theory in nineteenth century geometry.Günther Eder - 2019 - Synthese 198 (6):5547-5575.details
|
|