- Begründung einer strengen Implikation.Wilhelm Ackermann - 1956 - Journal of Symbolic Logic 21 (2):113-128.details
|
|
Hilbert, duality, and the geometrical roots of model theory.Günther Eder & Georg Schiemer - 2018 - Review of Symbolic Logic 11 (1):48-86.details
|
|
Numbers and functions in Hilbert's finitism.Richard Zach - 1998 - Taiwanese Journal for History and Philosophy of Science 10:33-60.details
|
|
Russell’s Concepts "Name", "Existence" and "Unique Object of Reference" in Light of Modern Physics.Paul Weingartner - 2007 - Russell: The Journal of Bertrand Russell Studies 27 (1):125-143.details
|
|
Structuralism and the identity of indiscernibles.Jeffrey Ketland - 2006 - Analysis 66 (4):303-315.details
|
|
Lieber Herr Bernays!, Lieber Herr Gödel! Gödel on finitism, constructivity and Hilbert's program.Solomon Feferman - 2008 - Dialectica 62 (2):179-203.details
|
|
Hilbert’s Program.Richard Zach - 2014 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. Stanford, CA: The Metaphysics Research Lab.details
|
|
Russell's Revenge: A Problem for Bivalent Fregean Theories of Descriptions.Jan Heylen - 2017 - Pacific Philosophical Quarterly 98 (4):636-652.details
|
|
Gödel's Third Incompleteness Theorem.Timothy McCarthy - 2016 - Dialectica 70 (1):87-112.details
|
|
Pragmatic turn in biology: From biological molecules to.Guenther Witzany - 2014 - World Journal of Biological Chemistry 5 (3):279-285.details
|
|
Life is physics and chemistry and communication.Gunther Witzany - 2015 - In Guenther Witzany (ed.), DNA Habitats and Their RNA Inhabitants. pp. 1-9.details
|
|
Neo-Logicism and Its Logic.Panu Raatikainen - 2020 - History and Philosophy of Logic 41 (1):82-95.details
|
|
Hilbert’s Finitism: Historical, Philosophical, and Metamathematical Perspectives.Richard Zach - 2001 - Dissertation, University of California, Berkeleydetails
|
|
Arithmetical Reflection and the Provability of Soundness.Walter Dean - 2015 - Philosophia Mathematica 23 (1):31-64.details
|
|
Logical Indefinites.Jack Woods - 2014 - Logique Et Analyse -- Special Issue Edited by Julien Murzi and Massimiliano Carrara 227: 277-307.details
|
|
Discerning Fermions.Simon Saunders & F. A. Muller - 2008 - British Journal for the Philosophy of Science 59 (3):499 - 548.details
|
|
Carnap’s Early Semantics.Georg Schiemer - 2013 - Erkenntnis 78 (3):487-522.details
|
|
Move and accommodate: A solution to Haddock's puzzle.Lucas Champollion - unknowndetails
|
|
On Kinds of Indiscernibility in Logic and Metaphysics.Adam Caulton & Jeremy Butterfield - 2012 - British Journal for the Philosophy of Science 63 (1):27-84.details
|
|
Identity and discernibility in philosophy and logic.James Ladyman, Øystein Linnebo & Richard Pettigrew - 2012 - Review of Symbolic Logic 5 (1):162-186.details
|
|
Symmetries and Paraparticles as a Motivation for Structuralism.Adam Caulton & Jeremy Butterfield - 2012 - British Journal for the Philosophy of Science 63 (2):233-285.details
|
|
Joong Fang (1923–2010).Irving H. Anellis - 2010 - Philosophia Mathematica 18 (2):137-143.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
|
|
Term limits revisited.Stephen Neale - 2008 - Philosophical Perspectives 22 (1):375-442.details
|
|
A Century Later.Stephen Neale - 2005 - Mind 114 (456):809-871.details
|
|
The practice of finitism: Epsilon calculus and consistency proofs in Hilbert's program.Richard Zach - 2003 - Synthese 137 (1-2):211 - 259.details
|
|
Completeness before Post: Bernays, Hilbert, and the development of propositional logic.Richard Zach - 1999 - Bulletin of Symbolic Logic 5 (3):331-366.details
|
|
Russell’s Notion of Scope.Saul A. Kripke - 2005 - Mind 114 (456):1005-1037.details
|
|
The relation of a to prov ⌜a ⌝ in the lindenbaum sentence algebra.C. F. Kent - 1973 - Journal of Symbolic Logic 38 (2):295-298.details
|
|
A purely syntactical definition of confirmation.Carl G. Hempel - 1943 - Journal of Symbolic Logic 8 (4):122-143.details
|
|
What is “Formal Logic”?Jean-Yves Béziau - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:9-22.details
|
|
Prose versus proof: Wittgenstein on gödel, Tarski and Truth.Juliet Floyd - 2001 - Philosophia Mathematica 9 (3):280-307.details
|
|
A supplement to herbrand.Burton Dreben & John Denton - 1966 - Journal of Symbolic Logic 31 (3):393-398.details
|
|
What does Gödel's second theorem say?Michael Detlefsen - 2001 - Philosophia Mathematica 9 (1):37-71.details
|
|
Choice principles and constructive logics.David Dedivi - 2004 - Philosophia Mathematica 12 (3):222-243.details
|
|
Alfred Tarski's work on general metamathematics.W. J. Blok & Don Pigozzi - 1988 - Journal of Symbolic Logic 53 (1):36-50.details
|
|
Computational Complexity Theory and the Philosophy of Mathematics†.Walter Dean - 2019 - Philosophia Mathematica 27 (3):381-439.details
|
|
Takeuti's proof theory in the context of the Kyoto School.Andrew Arana - 2019 - Jahrbuch Für Philosophie Das Tetsugaku-Ronso 46:1-17.details
|
|
Communication as the Main Characteristic of Life.Guenther Witzany - 2019 - In M. Kolb Vera (ed.), Handbook of Astrobiology. CrC Press. pp. 91-105.details
|
|
Artificial and Natural Genetic Information Processing.Guenther Witzany - 2017 - In Mark Burgin & Wolfgang Hoflkirchner (eds.), Information Studies and the Quest for Transdisciplinarity. New York, USA: World Scientific. pp. 523-547.details
|
|
Epsilon substitution for $$\textit{ID}_1$$ ID 1 via cut-elimination.Henry Towsner - 2018 - Archive for Mathematical Logic 57 (5-6):497-531.details
|
|
Definition in mathematics.Carlo Cellucci - 2018 - European Journal for Philosophy of Science 8 (3):605-629.details
|
|
An Approach to Abstract Structures of Logistics as a Complex Theory Unifying the Methodology of S-Modelling and the Logic of Science: Initial Steps.Boris Chendov - 2016 - Acta Baltica Historiae Et Philosophiae Scientiarum 4 (1):5-40.details
|
|
Completing Russell’s Logic.Hartley Slater - 2007 - Russell: The Journal of Bertrand Russell Studies 27 (1).details
|
|
Summa de Veritate Hamburgensis: Truth According to Wolfgang Künne.Göran Sundholm - 2008 - Dialectica 62 (3):359-371.details
|
|
Gödel's Second Theorem for Elementary arithmetic.Lawrence J. Pozsgay - 1968 - Mathematical Logic Quarterly 14 (1-5):67-80.details
|
|
The prehistory of the subsystems of second-order arithmetic.Walter Dean & Sean Walsh - 2017 - Review of Symbolic Logic 10 (2):357-396.details
|
|
Hilbert's program relativized: Proof-theoretical and foundational reductions.Solomon Feferman - 1988 - Journal of Symbolic Logic 53 (2):364-384.details
|
|
On the interpretation of non-finitist proofs—Part I.G. Kreisel - 1951 - Journal of Symbolic Logic 16 (4):241-267.details
|
|
Solving the $100 modal logic challenge.Florian Rabe, Petr Pudlák, Geoff Sutcliffe & Weina Shen - 2009 - Journal of Applied Logic 7 (1):113-130.details
|
|