- Hilbert’s Finitism: Historical, Philosophical, and Metamathematical Perspectives.Richard Zach - 2001 - Dissertation, University of California, Berkeleydetails
|
|
Structuralism and representation theorems.George Weaver - 1998 - Philosophia Mathematica 6 (3):257-271.details
|
|
A General Setting for Dedekind's Axiomatization of the Positive Integers.George Weaver - 2011 - History and Philosophy of Logic 32 (4):375-398.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
|
|
The Independence of the Parallel Postulate and Development of Rigorous Consistency Proofs.David J. Stump - 2007 - History and Philosophy of Logic 28 (1):19-30.details
|
|
(1 other version)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: Frege, gödel and model theory.Stephen Read - 1997 - History and Philosophy of Logic 18 (2):79-93.details
|
|
Space, number and structure: A tale of two debates.Stewart Shapiro - 1996 - Philosophia Mathematica 4 (2):148-173.details
|
|
Axioms in Mathematical Practice.Dirk Schlimm - 2013 - Philosophia Mathematica 21 (1):37-92.details
|
|
‘Nobody could possibly misunderstand what a group is’: a study in early twentieth-century group axiomatics.Christopher D. Hollings - 2017 - Archive for History of Exact Sciences 71 (5):409-481.details
|
|
Las imágenes y la lógica del cono de luz: rastreando el giro postulacional de Robb en la física geométrica.Jordi Cat - 2016 - Revista de Humanidades de Valparaíso 8:43-105.details
|
|
David Hilbert. David Hilbert's lectures on the foundations of geometry, 1891–1902. Michael Hallett and Ulrich Majer, eds. David Hilbert's Foundational Lectures; 1. Berlin: Springer-Verlag, 2004. ISBN 3-540-64373-7. Pp. xxviii + 661. [REVIEW]V. Pambuccian - 2013 - Philosophia Mathematica 21 (2):255-277.details
|
|
Stairway to Heaven: the abstract method and levels of abstraction in mathematics.Jean Pierre Marquis & Jean-Pierre Marquis - 2016 - The Mathematical Intelligencer 38 (3):41-51.details
|
|
Russell's completeness proof.Peter Milne - 2008 - History and Philosophy of Logic 29 (1):31-62.details
|
|
American Postulate Theorists and Alfred Tarski.Michael Scanlan - 2003 - History and Philosophy of Logic 24 (4):307-325.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. New York: Oxford University Press.details
|
|
The role of universal language in the early work of Carnap and Tarski.Iris Loeb - 2017 - Synthese 194 (1):15-31.details
|
|
INFORMATION-THEORETIC LOGIC.John Corcoran - 1998 - In C. Martínez U. Rivas & L. Villegas-Forero (eds.), Truth in Perspective edited by C. Martínez, U. Rivas, L. Villegas-Forero, Ashgate Publishing Limited, Aldershot, England (1998) 113-135. ASHGATE. pp. 113-135.details
|
|
Mathematics and Symbolic Logics: Some Notes on an Uneasy Relationship.I. Grattan-Guinness - 1999 - History and Philosophy of Logic 20 (3-4):159-167.details
|
|
Book Reviews. [REVIEW]Wolfram Hinzen - 2003 - History and Philosophy of Logic 24 (1):65-83.details
|
|
(1 other version)Benjamin Peirce's Linear Associative Algebra (1870): New light on its preparation and ‘publication’: In fond memory of Max H. Fisch (1900–95). [REVIEW]I. Grattan-Guinness - 1997 - Annals of Science 54 (6):597-606.details
|
|
Pasch entre Klein et Peano.Sébastien Gandon - 2005 - Dialogue 44 (4):653-692.details
|
|
The Road to Modern Logic—An Interpretation.José Ferreirós - 2001 - Bulletin of Symbolic Logic 7 (4):441-484.details
|
|
On Rereading van Heijenoort’s Selected Essays.Solomon Feferman - 2012 - Logica Universalis 6 (3):535-552.details
|
|
A verisimilitudinarian analysis of the Linda paradox.Gustavo Cevolani, Vincenzo Crupi & Roberto Festa - 2012 - VII Conference of the Spanish Society for Logic, Methodology and Philosphy of Science.details
|
|
(1 other version)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
|
|
A Logical Approach to Philosophy: Essays in Memory of Graham Solomon.David DeVidi & Tim Kenyon (eds.) - 2006 - Dordrecht, Netherland: Springer.details
|
|
Tarski's conceptual analysis of semantical notions.Solomon Feferman - 2008 - In Douglas Patterson (ed.), New essays on Tarski and philosophy. New York: Oxford University Press. pp. 72.details
|
|