- Internalism and the Determinacy of Mathematics.Lavinia Picollo & Daniel Waxman - 2023 - Mind 132 (528):1028-1052.details
|
|
Solutions to the Knower Paradox in the Light of Haack’s Criteria.Mirjam de Vos, Rineke Verbrugge & Barteld Kooi - 2023 - Journal of Philosophical Logic 52 (4):1101-1132.details
|
|
On a certain fallacy concerning I-am-unprovable sentences.Kaave Lajevardi & Saeed Salehi - manuscriptdetails
|
|
Formal Issues of Trope-Only Theories of Universals.Francesco Maria Ferrari - 2022 - Erkenntnis 89 (3):919-946.details
|
|
Computing, Modelling, and Scientific Practice: Foundational Analyses and Limitations.Filippos A. Papagiannopoulos - 2018 - Dissertation, University of Western Ontariodetails
|
|
Incompleteness and the Halting Problem.Cristian S. Calude - 2021 - Studia Logica 109 (5):1159-1169.details
|
|
There May Be Many Arithmetical Gödel Sentences.Kaave Lajevardi & Saeed Salehi - 2021 - Philosophia Mathematica 29 (2):278–287.details
|
|
Stable and Unstable Theories of Truth and Syntax.Beau Madison Mount & Daniel Waxman - 2021 - Mind 130 (518):439-473.details
|
|
CRITIQUE OF IMPURE REASON: Horizons of Possibility and Meaning.Steven James Bartlett - 2021 - Salem, USA: Studies in Theory and Behavior.details
|
|
Infinite Reasoning.Jared Warren - 2020 - Philosophy and Phenomenological Research 103 (2):385-407.details
|
|
Incompleteness and Computability: An Open Introduction to Gödel's Theorems.Richard Zach - 2019 - Open Logic Project.details
|
|
Sets, Logic, Computation: An Open Introduction to Metalogic.Richard Zach - 2021 - Open Logic Project.details
|
|
Contraction, Infinitary Quantifiers, and Omega Paradoxes.Bruno Da Ré & Lucas Rosenblatt - 2018 - Journal of Philosophical Logic 47 (4):611-629.details
|
|
Counterpossibles in Science: The Case of Relative Computability.Matthias Jenny - 2018 - Noûs 52 (3):530-560.details
|
|
Squeezing arguments.P. Smith - 2011 - Analysis 71 (1):22-30.details
|
|
Consistency in the Sartrean analysis of emotion.Anthony Hatzimoysis - 2014 - Analysis 74 (1):ant084.details
|
|
Gödelizing the Yablo Sequence.Cezary Cieśliński & Rafal Urbaniak - 2013 - Journal of Philosophical Logic 42 (5):679-695.details
|
|
How Not To Use the Church-Turing Thesis Against Platonism.R. Urbaniak - 2011 - Philosophia Mathematica 19 (1):74-89.details
|
|
SAD computers and two versions of the Church–Turing thesis.Tim Button - 2009 - British Journal for the Philosophy of Science 60 (4):765-792.details
|
|
Categorical Quantification.Constantin C. Brîncuș - forthcoming - Bulletin of Symbolic Logic:1-27.details
|
|
Classical recapture and maximality.Lucas Rosenblatt - 2020 - Philosophical Studies 178 (6):1951-1970.details
|
|
(1 other version)On the Foundations of Greek Arithmetic.Holger A. Leuz - 2009 - History of Philosophy & Logical Analysis 12 (1):13-47.details
|
|
The Different Ways in which Logic is (said to be) Formal.Catarina Dutilh Novaes - 2011 - History and Philosophy of Logic 32 (4):303 - 332.details
|
|
Derrida and Formal Logic: Formalising the Undecidable.Paul Livingston - 2010 - Derrida Today 3 (2):221-239.details
|
|
Too naturalist and not naturalist enough: Reply to Horsten.Luca Incurvati - 2008 - Erkenntnis 69 (2):261 - 274.details
|
|
Frameworks, models, and case studies: a new methodology for studying conceptual change in science and philosophy.Matteo De Benedetto - 2022 - Dissertation, Ludwig Maximilians Universität, Münchendetails
|
|
Explication as a Three-Step Procedure: the case of the Church-Turing Thesis.Matteo De Benedetto - 2021 - European Journal for Philosophy of Science 11 (1):1-28.details
|
|
Wittgenstein and Gödel: An Attempt to Make ‘Wittgenstein’s Objection’ Reasonable†.Timm Lampert - 2018 - Philosophia Mathematica 26 (3):324-345.details
|
|
Proving Unprovability.Bruno Whittle - 2017 - Review of Symbolic Logic 10 (1):92–115.details
|
|
(1 other version)A priori truths.Greg Restall - 2009 - In John Shand (ed.), Central Issues of Philosophy. Malden, MA: Wiley-Blackwell.details
|
|
An Algorithmic Impossible-Worlds Model of Belief and Knowledge.Zeynep Soysal - 2024 - Review of Symbolic Logic 17 (2):586-610.details
|
|
Gödel’s Disjunctive Argument†.Wesley Wrigley - 2022 - Philosophia Mathematica 30 (3):306-342.details
|
|
Mathematical Incompleteness Results in First-Order Peano Arithmetic: A Revisionist View of the Early History.Saul A. Kripke - 2021 - History and Philosophy of Logic 43 (2):175-182.details
|
|
Tarski’s Undefinability Theorem and the Diagonal Lemma.Saeed Salehi - 2022 - Logic Journal of the IGPL 30 (3):489-498.details
|
|
On the Invariance of Gödel’s Second Theorem with Regard to Numberings.Balthasar Grabmayr - 2021 - Review of Symbolic Logic 14 (1):51-84.details
|
|
Der Zahlbegriff und seine Logik.Vojtěch Kolman - 2008 - History of Philosophy & Logical Analysis 11 (1):65-89.details
|
|
Computing, Modelling, and Scientific Practice: Foundational Analyses and Limitations.Philippos Papayannopoulos - 2018 - Dissertation, details
|
|
Gödel’s Master Argument: what is it, and what can it do?David Makinson - 2015 - IfCoLog Journal of Logics and Their Applications 2 (2):1-16.details
|
|
Validity, the Squeezing Argument and Alternative Semantic Systems: the Case of Aristotelian Syllogistic. [REVIEW]Catarina Dutilh Novaes & Edgar Andrade-Lotero - 2012 - Journal of Philosophical Logic 41 (2):387 - 418.details
|
|
The inexpressibility of validity.Julien Murzi - 2014 - Analysis 74 (1):65-81.details
|
|
Seventh Quadrennial Fellows Conference of the Center for Philosophy of Science.-Preprint Volume- - unknowndetails
|
|
(2 other versions)Given the Web, What is Intelligence, Really?Selmer Bringsjord & Naveen Sundar Govindarajulu - 2012 - Metaphilosophy 43 (4):464-479.details
|
|
Una teoría no transitiva de la verdad sobre PA.Jonathan Dittrich - 2021 - Análisis Filosófico 41 (2):273-283.details
|
|
Finding the limit of incompleteness I.Yong Cheng - 2020 - Bulletin of Symbolic Logic 26 (3-4):268-286.details
|
|
Rectifying the Mischaracterization of Logic by Mental Model Theorists.Selmer Bringsjord & Naveen Sundar Govindarajulu - 2020 - Cognitive Science 44 (12):e12898.details
|
|
Hierarchical Propositions.Bruno Whittle - 2017 - Journal of Philosophical Logic 46 (2):215-231.details
|
|
Gödel on Truth and Proof.Dan Nesher - unknowndetails
|
|
The Scope of Gödel’s First Incompleteness Theorem.Bernd Buldt - 2014 - Logica Universalis 8 (3-4):499-552.details
|
|
Sophisticated knowledge representation and reasoning requires philosophy.Selmer Bringsjord, Micah Clark & Joshua Taylor - forthcoming - In Ruth Hagengruber (ed.), Philosophy's Relevance in Information Science.details
|
|
On Algorithms, Effective Procedures, and Their Definitions.Philippos Papayannopoulos - 2023 - Philosophia Mathematica 31 (3):291-329.details
|
|