- Analysis and Interpretation in the Exact Sciences: Essays in Honour of William Demopoulos.Melanie Frappier, Derek Brown & Robert DiSalle (eds.) - 2011 - Dordrecht and London: Springer.details
|
|
Methodological Practice and Complementary Concepts of Logical Consequence: Tarski's Model-Theoretic Consequence and Corcoran's Information-Theoretic Consequence.José M. Sagüillo - 2009 - History and Philosophy of Logic 30 (1):21-48.details
|
|
On the Origin and Status of our Conception of Number.William Demopoulos - 2000 - Notre Dame Journal of Formal Logic 41 (3):210-226.details
|
|
Predicativity, the Russell-Myhill Paradox, and Church’s Intensional Logic.Sean Walsh - 2016 - Journal of Philosophical Logic 45 (3):277-326.details
|
|
The place of probability in Hilbert’s axiomatization of physics, ca. 1900–1928.Lukas M. Verburgt - 2016 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 53:28-44.details
|
|
Frege on Axioms, Indirect Proof, and Independence Arguments in Geometry: Did Frege Reject Independence Arguments?Jamie Tappenden - 2000 - Notre Dame Journal of Formal Logic 41 (3):271-315.details
|
|
Space, number and structure: A tale of two debates.Stewart Shapiro - 1996 - Philosophia Mathematica 4 (2):148-173.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
|
|
The development of mathematical logic from Russell to Tarski, 1900-1935.Paolo Mancosu, Richard Zach & Calixto Badesa - 2009 - In Leila Haaparanta (ed.), The Development of Modern Logic. Oxford University Press.details
|
|
Dedekind and Hilbert on the foundations of the deductive sciences.Ansten Klev - 2011 - Review of Symbolic Logic 4 (4):645-681.details
|
|
On the Exhaustion of Mathematical Entities by Structures.Adrian Heathcote - 2014 - Axiomathes 24 (2):167-180.details
|
|
Logical contextuality in Frege.Brice Halimi - 2018 - Review of Symbolic Logic 11 (1):1-20.details
|
|
Omnipresence, Multipresence and Ubiquity: Kinds of Generality in and Around Mathematics and Logics. [REVIEW]I. Grattan-Guinness - 2011 - Logica Universalis 5 (1):21-73.details
|
|
Projective duality and the rise of modern logic.Günther Eder - 2021 - Bulletin of Symbolic Logic 27 (4):351-384.details
|
|
Frege and the origins of model theory in nineteenth century geometry.Günther Eder - 2019 - Synthese 198 (6):5547-5575.details
|
|
Frege’s ‘On the Foundations of Geometry’ and Axiomatic Metatheory.Günther Eder - 2016 - Mind 125 (497):5-40.details
|
|
Geometric conventionalism and carnap's principle of tolerance: We discuss in this paper the question of the scope of the principle of tolerance about languages promoted in Carnap's The Logical Syntax of Language and the nature of the analogy between it and the rudimentary conventionalism purportedly exhibited in the work of Poincaré and Hilbert. We take it more or less for granted that Poincaré and Hilbert do argue for conventionalism. We begin by sketching Coffa's historical account, which suggests that tolerance be interpreted as a conventionalism that allows us complete freedom to select whatever language we wish—an interpretation that generalizes the conventionalism promoted by Poincaré and Hilbert which allows us complete freedom to select whatever axiom system we wish for geometry. We argue that such an interpretation saddles Carnap with a theory of meaning that has unhappy consequences, a theory we believe he did not hold. We suggest that the principle of linguistic tolerance in.David De Vidi & Graham Solomon - 1993 - Studies in History and Philosophy of Science Part A 25 (5):773-783.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
|
|
Soft Axiomatisation: John von Neumann on Method and von Neumann's Method in the Physical Sciences.Miklós Rédei & Michael Stöltzner - 2006 - In Emily Carson & Renate Huber (eds.), Intuition and the Axiomatic Method. Springer. pp. 235--249.details
|
|
The neo-Fregean program in the philosophy of arithmetic.William Demopoulos - 2006 - In Emily Carson & Renate Huber (eds.), Intuition and the Axiomatic Method. Springer. pp. 87--112.details
|
|