- 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
|
|
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
|
|
Definition in mathematics.Carlo Cellucci - 2018 - European Journal for Philosophy of Science 8 (3):605-629.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
|
|
Summa de Veritate Hamburgensis: Truth According to Wolfgang Künne.Göran Sundholm - 2008 - Dialectica 62 (3):359-371.details
|
|
Begründung einer strengen Implikation.Wilhelm Ackermann - 1956 - Journal of Symbolic Logic 21 (2):113-128.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
|
|
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
|
|
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
|
|
Les mathématiques sont-elles une syntaxe du langage?Kurt Gödel - 1995 - Dialogue 34 (1):3-.details
|
|
Identity and discernibility in philosophy and logic.James Ladyman, Øystein Linnebo & Richard Pettigrew - 2012 - Review of Symbolic Logic 5 (1):162-186.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
|
|
Completeness before Post: Bernays, Hilbert, and the development of propositional logic.Richard Zach - 1999 - Bulletin of Symbolic Logic 5 (3):331-366.details
|
|
Functionals defined by transfinite recursion.W. W. Tait - 1965 - Journal of Symbolic Logic 30 (2):155-174.details
|
|
Paper machines.Daniele Mundici & Wilfried Seig - 1995 - Philosophia Mathematica 3 (1):5-30.details
|
|
Russell’s Notion of Scope.Saul A. Kripke - 2005 - Mind 114 (456):1005-1037.details
|
|
A survey of proof theory.G. Kreisel - 1968 - Journal of Symbolic Logic 33 (3):321-388.details
|
|
A purely syntactical definition of confirmation.Carl G. Hempel - 1943 - Journal of Symbolic Logic 8 (4):122-143.details
|
|
Transfinite recursive progressions of axiomatic theories.Solomon Feferman - 1962 - Journal of Symbolic Logic 27 (3):259-316.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
|
|
Number theory and elementary arithmetic.Jeremy Avigad - 2003 - Philosophia Mathematica 11 (3):257-284.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
|
|
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
|
|
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
|
|
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
|
|
Nicht konstruktiv beweisbare sätze der analysis.Ernst Specker - 1949 - Journal of Symbolic Logic 14 (3):145-158.details
|
|
Hilbert's program sixty years later.Wilfried Sieg - 1988 - Journal of Symbolic Logic 53 (2):338-348.details
|
|
(1 other version)Report on some investigations concerning the consistency of the axiom of reducibility.John Myhill - 1951 - Journal of Symbolic Logic 16 (1):35-42.details
|
|
What is “Formal Logic”?Jean-Yves Béziau - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:9-22.details
|
|
Remarks on identity and description in first-order axiom systems.Theodore Hailperin - 1954 - Journal of Symbolic Logic 19 (1):14-20.details
|
|
Wilfried Sieg. Hilbert's Programs and Beyond. Oxford: Oxford University Press, 2013. ISBN 978-0-19-537222-9 ; 978-0-19-970715-7 . Pp. xii + 439†. [REVIEW]Oran Magal - 2014 - Philosophia Mathematica 22 (3):417-423.details
|
|
Hilbert and set theory.Burton Dreben & Akihiro Kanamori - 1997 - Synthese 110 (1):77-125.details
|
|
(1 other version)Prose versus proof: Wittgenstein on gödel, Tarski and Truth.Juliet Floyd - 2001 - Philosophia Mathematica 9 (3):280-307.details
|
|
Computational Complexity Theory and the Philosophy of Mathematics†.Walter Dean - 2019 - Philosophia Mathematica 27 (3):381-439.details
|
|
Structuralism and the identity of indiscernibles.Jeffrey Ketland - 2006 - Analysis 66 (4):303-315.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
|
|
Arithmetical Reflection and the Provability of Soundness.Walter Dean - 2015 - Philosophia Mathematica 23 (1):31-64.details
|
|
Definition Inclosed: A Reply to Zhong.Graham Priest - 2012 - Australasian Journal of Philosophy 90 (4):789 - 795.details
|
|
Criteria of Identity: Strong and Wrong.Hannes Leitgeb - 2013 - British Journal for the Philosophy of Science 64 (1):61-68.details
|
|
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
|
|
Unfolding finitist arithmetic.Solomon Feferman & Thomas Strahm - 2010 - Review of Symbolic Logic 3 (4):665-689.details
|
|