- Knowledge & Logic: Towards a science of knowledge.Luis M. Augusto - manuscriptdetails
- Halfway Up To the Mathematical Infinity I: On the Ontological & Epistemic Sustainability of Georg Cantor’s Transfinite Design.Edward G. Belaga - manuscriptdetails
- Homo deceptus: How language creates its own reality.Bruce Bokor - manuscriptdetails
- The Synthetic Concept of Truth and its Descendants.Boris Culina - manuscriptdetails
- Introduction to Mathematical Logic, Edition 2021.Vilnis Detlovs & Karlis Podnieks - manuscriptdetails
- Is Classical Mathematics Appropriate for Theory of Computation?Farzad Didehvar - manuscriptdetails
- Proof Terms for Classical Derivations.Restall Greg - manuscriptdetails
- The Orthologic of Epistemic Modals.Wesley H. Holliday & Matthew Mandelkern - manuscriptdetails
- Introduction to CAT4. Part 3. Semantics.Andrew Thomas Holster - manuscriptdetails
- Some Open Questions about Degrees of Paradoxes.Ming Hsiung - manuscriptdetails
- In Quest of Universal Logic: A brief overview of formal logic's evolution.Arman Kashef - manuscriptdetails
- Valuations.Jean-Louis Lenard - manuscriptdetails
- Meaning, Presuppositions, Truth-relevance, Gödel's Sentence and the Liar Paradox.X. Y. Newberry - manuscriptdetails
- Gaps, Gluts, and Theoretical Equivalence.Carlo Nicolai - manuscriptdetails
- Deductively Sound Formal Proofs.P. Olcott - manuscriptdetails
- Refuting Tarski and Gödel with a Sound Deductive Formalism.P. Olcott - details
- Prolog detects pathological self reference in the Gödel sentence.P. Olcott - manuscriptdetails
- Defining Gödel Incompleteness Away.P. Olcott - manuscriptdetails
- Proof that Wittgenstein is correct about Gödel.P. Olcott - manuscriptdetails
- Defining a Decidability Decider.Pete Olcott - manuscriptdetails
- Minimal Type Theory (MTT).Pete Olcott - manuscriptdetails
- Montague's Paradox without Necessitation.T. Parent - details
- Intensionality from Self-Reference.T. Parent - manuscriptdetails
- Why `Might'?Giorgio Sbardolini - manuscriptdetails
- The Theory of Relations, Complex Terms, and a Connection Between λ and ε Calculi.Edward N. Zalta - manuscriptdetails
- A comprehensive theory of induction and abstraction, part I.Cael L. Hasse - details
- The Significance of Evidence-based Reasoning for Mathematics, Mathematics Education, Philosophy and the Natural Sciences.Bhupinder Singh Anand - forthcomingdetails
- Logical Characterisation of Possibilistic and Probabilistic Descriptions of Events in Description Logics.Farshad Badie - forthcoming - Bulletin of the Section of Logic.details
- Peirce’s Triadic Logic and Its (Overlooked) Connexive Expansion.Alex Belikov - forthcoming - Logic and Logical Philosophy:1.details
- Characterizing existence of a measurable cardinal via modal logic.G. Bezhanishvili, N. Bezhanishvili, J. Lucero-Bryan & J. van Mill - forthcoming - Journal of Symbolic Logic:1-15.details
- Carnap’s Problem for Modal Logic.Denis Bonnay & Dag Westerståhl - forthcoming - Review of Symbolic Logic:1-29.details
- AISC 2018 - Extended Abstract Pavia - December 2018.Fabrizio Calzavarini & Antonio Lieto - forthcoming - In Cristiano Chesi (ed.), AISC Proceedings, Pavia. 27100 Pavia, Province of Pavia, Italy: pp. 20-23.details
- Twist-Valued Models for Three-Valued Paraconsistent Set Theory.Walter A. Carnielli & Marcelo E. Coniglio - forthcoming - Logic and Logical Philosophy:1.details
- Logics of Formal Inconsistency Enriched with Replacement: An Algebraic and Modal Account.Walter Carnielli, Marcelo E. Coniglio & David Fuenmayor - forthcoming - Review of Symbolic Logic 15 (3):771-806.details
- Tarski’s Convention T: condition beta.John Corcoran - forthcoming - South American Journal of Logic 1 (1).details
- Sorites, Curry and Suitable Models.Bruno Da Ré & Paula Teijeiro - forthcoming - Logic and Logical Philosophy:1.details
- A Semantics for the Impure Logic of Ground.Louis deRosset & Kit Fine - forthcoming - Journal of Philosophical Logic:1-79.details
- Doing without action types.Hein Duijf, Jan Broersen, Alexandra Kuncová & Aldo Iván Ramírez Abarca - forthcoming - Review of Symbolic Logic:1-31.details
- Logical Nihilism and the Logic of ‘prem’.Andreas Fjellstad - forthcoming - Logic and Logical Philosophy:1.details
- Agentive Free Choice.Melissa Fusco - forthcoming - Journal of Philosophical Logic:1-31.details
- Self-reference upfront: A study of self-referential gödel numberings.Balthasar Grabmayr & Albert Visser - forthcoming - Review of Symbolic Logic:1-40.details
- A fundamental non-classical logic.Wesley Holliday - forthcoming - Logics.details
- Finitist Axiomatic Truth.Sato Kentaro & Jan Walker - forthcoming - Journal of Symbolic Logic:1-52.details
- The Logic of Hyperlogic. Part A: Foundations.Alexander W. Kocurek - forthcoming - Review of Symbolic Logic:1-27.details
- ‘Or both’: A note on the alleged exclusivity of disjunction in English.Kaave Lajevardi - forthcoming - Analysis.details
- Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B.Sandra M. López - forthcoming - Logic and Logical Philosophy:29-56.details
- The Evilization of the Term “Fulani” in Present Day Nigeria: A Reflection on the Notion of Signification in William of Ockham’s Logic.Justin Nnaemeka Onyeukaziri - forthcoming - LASU JOURNAL OF PHILOSOPHY.details
- Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics.Eugenio Orlandelli - forthcoming - Logic and Logical Philosophy:1.details
- Abstract Forms of Quantification in the Quantified Argument Calculus.Edi Pavlović & Norbert Gratzl - forthcoming - Review of Symbolic Logic:1-32.details
- The Nonarithmeticity of the Predicate Logic of Strictly Primitive Recursive Realizability.Valery Plisko - forthcoming - Review of Symbolic Logic:1-30.details
|
Off-campus access
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email
|
RSS feed
|
|