- Hilbert's 'Verunglückter Beweis', the first epsilon theorem, and consistency proofs.Richard Zach - 2004 - History and Philosophy of Logic 25 (2):79-94.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
|
|
Gödel's Second Theorem for Elementary arithmetic.Lawrence J. Pozsgay - 1968 - Mathematical Logic Quarterly 14 (1-5):67-80.details
|
|
“Mathematics is the Logic of the Infinite”: Zermelo’s Project of Infinitary Logic.Jerzy Pogonowski - 2021 - Studies in Logic, Grammar and Rhetoric 66 (3):673-708.details
|
|
Hilberts Logik. Von der Axiomatik zur Beweistheorie.Volker Peckhaus - 1995 - NTM Zeitschrift für Geschichte der Wissenschaften, Technik und Medizin 3 (1):65-86.details
|
|
Facing facts?Graham Oppy - 2004 - Australasian Journal of Philosophy 82 (4):621 – 643.details
|
|
A Century Later.Stephen Neale - 2005 - Mind 114 (456):809-871.details
|
|
Stable and Unstable Theories of Truth and Syntax.Beau Madison Mount & Daniel Waxman - 2021 - Mind 130 (518):439-473.details
|
|
Elimination Theorems of Uniqueness Conditions.Nobuyoshi Motohashi - 1982 - Mathematical Logic Quarterly 28 (33‐38):511-524.details
|
|
Elimination Theorems of Uniqueness Conditions.Nobuyoshi Motohashi - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (33-38):511-524.details
|
|
Intuitionism and logical syntax.Charles McCarty - 2008 - Philosophia Mathematica 16 (1):56-77.details
|
|
On the Substitutional Characterization of First-Order Logical Truth.Matthew McKeon - 2004 - History and Philosophy of Logic 25 (3):205-224.details
|
|
Wittgenstein and finitism.Mathieu Marion - 1995 - Synthese 105 (2):141 - 176.details
|
|
Interpretability in reflexive theories - a survey.Per Lindström - 1997 - Theoria 63 (3):182-209.details
|
|
Identity and discernibility in philosophy and logic.James Ladyman, Øystein Linnebo & Richard Pettigrew - 2012 - Review of Symbolic Logic 5 (1):162-186.details
|
|
Russell’s Notion of Scope.Saul A. Kripke - 2005 - Mind 114 (456):1005-1037.details
|
|
Structuralism and the identity of indiscernibles.Jeffrey Ketland - 2006 - Analysis 66 (4):303-315.details
|
|
Identity and indiscernibility.Jeffrey Ketland - 2011 - Review of Symbolic Logic 4 (2):171-185.details
|
|
On automorphisms of arbitrary mathematical systems.José Sebastião E. Silva & A. J. Franco de Oliveira - 1985 - History and Philosophy of Logic 6 (1):91-116.details
|
|
On the Concept of Finitism.Luca Incurvati - 2015 - Synthese 192 (8):2413-2436.details
|
|
Hilbert vindicated?Jaakko Hintikka - 1997 - Synthese 110 (1):15-36.details
|
|
Natural deduction and Hilbert's ɛ-operator.Allen Hazen - 1987 - Journal of Philosophical Logic 16 (4):411 - 421.details
|
|
Unified Grounding.Casper Storm Hansen - 2016 - Erkenntnis 81 (5):993-1010.details
|
|
Incomplete Symbols — Definite Descriptions Revisited.Norbert Gratzl - 2015 - Journal of Philosophical Logic 44 (5):489-506.details
|
|
A New–old Characterisation of Logical Knowledge.Ivor Grattan-Guinness - 2012 - History and Philosophy of Logic 33 (3):245 - 290.details
|
|
Different Notions of Constructivity — their Ontology.Amitabha Ghose - 1978 - Dialectica 32 (3‐4):245-253.details
|
|
Les mathématiques sont-elles une syntaxe du langage?Kurt Gödel - 1995 - Dialogue 34 (1):3-.details
|
|
A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.details
|
|
Prose versus proof: Wittgenstein on gödel, Tarski and Truth.Juliet Floyd - 2001 - Philosophia Mathematica 9 (3):280-307.details
|
|
Unfolding finitist arithmetic.Solomon Feferman & Thomas Strahm - 2010 - Review of Symbolic Logic 3 (4):665-689.details
|
|
Hilbert and set theory.Burton Dreben & Akihiro Kanamori - 1997 - Synthese 110 (1):77-125.details
|
|
Dag Prawitz on Proofs and Meaning.Heinrich Wansing (ed.) - 2015 - Cham, Switzerland: Springer.details
|
|
Logic: The Basics (2nd Edition).Jc Beall & Shay A. Logan - 2017 - Routledge.details
|
|
Alonzo Church.Oliver Marshall & Harry Deutsch - 2021 - Stanford Encyclopedia of Philosophy.details
|
|
Points, particles, and structural realism.Oliver Pooley - 2005 - In Dean Rickles, Steven French & Juha T. Saatsi (eds.), The Structural Foundations of Quantum Gravity. Oxford University Press. pp. 83--120.details
|
|
Move and accommodate: A solution to Haddock's puzzle.Lucas Champollion - unknowndetails
|
|
What is “Formal Logic”?Jean-Yves Béziau - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:9-22.details
|
|
Numbers and functions in Hilbert's finitism.Richard Zach - 1998 - Taiwanese Journal for History and Philosophy of Science 10:33-60.details
|
|
Necessity of Thought.Cesare Cozzo - 2015 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Springer. pp. 101-20.details
|
|
Introduction to Mathematical Logic, Edition 2021.Vilnis Detlovs & Karlis Podnieks - manuscriptdetails
|
|
Life is physics and chemistry and communication.Gunther Witzany - 2015 - In Guenther Witzany (ed.), DNA Habitats and Their RNA Inhabitants. pp. 1-9.details
|
|
Communication as the Main Characteristic of Life.Guenther Witzany - 2019 - In Vera M. Kolb (ed.), Handbook of Astrobiology. Boca Raton: CrC Press. pp. 91-105.details
|
|
Logic as "making it explicit".Jaroslav Peregrin - manuscriptdetails
|
|
What rests on what? The proof-theoretic analysis of mathematics.Solomon Feferman - 1993 - In J. Czermak (ed.), Philosophy of Mathematics. Hölder-Pichler-Tempsky. pp. 1--147.details
|
|
Structural realism and quantum gravity.Tian Yu Cao - 2006 - In Dean Rickles, Steven French & Juha Saatsi (eds.), The Structural Foundations of Quantum Gravity. Oxford University Press.details
|
|
Dynamic Semantics with Choice Functions.J. Peregrin & K. von Heusinger - unknowndetails
|
|
Indiscernibles, general covariance, and other symmetries.Simon Saunders - 2001 - In Abhay Ashtekar, Jürgen Renn, Don Howard, Abner Shimony & S. Sarkar (eds.), Revisiting the Foundations of Relativistic Physics. Festschrift in Honour of John Stachel. Kluwer Academic Publishers.details
|
|
Eliminating definitions and Skolem functions in first-order logic.Jeremy Avigad - manuscriptdetails
|
|
Artificial and Natural Genetic Information Processing.Guenther Witzany - 2017 - In Mark Burgin & Wolfgang Hofkirchner (eds.), Information Studies and the Quest for Transdisciplinarity. Singapore: World Scientific. pp. 523-547.details
|
|