- Contraction, Infinitary Quantifiers, and Omega Paradoxes.Bruno Da Ré & Lucas Rosenblatt - 2018 - Journal of Philosophical Logic 47 (4):611-629.details
|
|
Proving Unprovability.Bruno Whittle - 2017 - Review of Symbolic Logic 10 (1):92–115.details
|
|
Counterpossibles in Science: The Case of Relative Computability.Matthias Jenny - 2018 - Noûs 52 (3):530-560.details
|
|
Hierarchical Propositions.Bruno Whittle - 2017 - Journal of Philosophical Logic 46 (2):215-231.details
|
|
The formal failure and social success of logic.William Brooke & Andrew Aberdein - 2011 - In Frank Zenker (ed.), Argumentation: Cognition & Community. Proceedings of the 9th International Conference of the Ontario Society for the Study of Argumentation (OSSA), May 18--21, 2011. OSSA.details
|
|
The Scope of Gödel’s First Incompleteness Theorem.Bernd Buldt - 2014 - Logica Universalis 8 (3-4):499-552.details
|
|
Consistency in the Sartrean analysis of emotion.Anthony Hatzimoysis - 2014 - Analysis 74 (1):ant084.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
|
|
Gödelizing the Yablo Sequence.Cezary Cieśliński & Rafal Urbaniak - 2013 - Journal of Philosophical Logic 42 (5):679-695.details
|
|
In Defense of the Unprovability of the Church-Turing Thesis.Selmer Bringsjord - unknowndetails
|
|
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
|
|
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
|
|
Too naturalist and not naturalist enough: Reply to Horsten.Luca Incurvati - 2008 - Erkenntnis 69 (2):261 - 274.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
|
|
Internalism and the Determinacy of Mathematics.Lavinia Picollo & Daniel Waxman - 2023 - Mind 132 (528):1028-1052.details
|
|
On Algorithms, Effective Procedures, and Their Definitions.Philippos Papayannopoulos - 2023 - Philosophia Mathematica 31 (3):291-329.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
|
|
An Algorithmic Impossible-Worlds Model of Belief and Knowledge.Zeynep Soysal - 2024 - Review of Symbolic Logic 17 (2):586-610.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
|
|
Gödel’s Disjunctive Argument†.Wesley Wrigley - 2022 - Philosophia Mathematica 30 (3):306-342.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
|
|
On the Depth of Gödel’s Incompleteness Theorems.Yong Cheng - forthcoming - Philosophia Mathematica.details
|
|
The Ethics of Technology Development and Technology Use.David W. Chambers - 2021 - Ethics in Biology, Engineering and Medicine 12 (1):39-54.details
|
|
On Induction Principles for Partial Orders.Ievgen Ivanov - 2022 - Logica Universalis 16 (1):105-147.details
|
|
Una teoría no transitiva de la verdad sobre PA.Jonathan Dittrich - 2021 - Análisis Filosófico 41 (2):273-283.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
|
|
Computing, Modelling, and Scientific Practice: Foundational Analyses and Limitations.Filippos A. Papagiannopoulos - 2018 - Dissertation, University of Western Ontariodetails
|
|
Physics is Organized Around Transformations Connecting Contextures in a Polycontextural World.Johannes Falk, Edwin Eichler, Katja Windt & Marc-Thorsten Hütt - 2022 - Foundations of Science 27 (3):1229-1251.details
|
|
Tarski’s Undefinability Theorem and the Diagonal Lemma.Saeed Salehi - 2022 - Logic Journal of the IGPL 30 (3):489-498.details
|
|
Finding the limit of incompleteness I.Yong Cheng - 2020 - Bulletin of Symbolic Logic 26 (3-4):268-286.details
|
|
Incompleteness and the Halting Problem.Cristian S. Calude - 2021 - Studia Logica 109 (5):1159-1169.details
|
|
The Equivalence of Definitions of Algorithmic Randomness.Christopher Porter - 2021 - Philosophia Mathematica 29 (2):153–194.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
|
|
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
|
|
Gödel’s Incompleteness Theorem and the Anti-Mechanist Argument: Revisited.Yong Cheng - 2020 - Studia Semiotyczne 34 (1):159-182.details
|
|
Rectifying the Mischaracterization of Logic by Mental Model Theorists.Selmer Bringsjord & Naveen Sundar Govindarajulu - 2020 - Cognitive Science 44 (12):e12898.details
|
|
CRITIQUE OF IMPURE REASON: Horizons of Possibility and Meaning.Steven James Bartlett - 2021 - Salem, USA: Studies in Theory and Behavior.details
|
|
Classical recapture and maximality.Lucas Rosenblatt - 2020 - Philosophical Studies 178 (6):1951-1970.details
|
|
Infinite Reasoning.Jared Warren - 2020 - Philosophy and Phenomenological Research 103 (2):385-407.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
|
|
On the Foundations of Greek Arithmetic.Holger A. Leuz - 2009 - History of Philosophy & Logical Analysis 12 (1):13-47.details
|
|
Computing, Modelling, and Scientific Practice: Foundational Analyses and Limitations.Philippos Papayannopoulos - 2018 - Dissertation, details
|
|
Peano's Counterexample to Harmony.Leonardo Ceragioli - 2019 - Theoria 85 (6):459-484.details
|
|
Incompleteness and Computability: An Open Introduction to Gödel's Theorems.Richard Zach - 2019 - Open Logic Project.details
|
|