- 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
- 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
- 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
- Deductively Sound Formal Proofs.P. Olcott - manuscriptdetails
- Refuting Tarski and Gödel with a Sound Deductive Formalism.P. Olcott - manuscriptdetails
- Minimal Type Theory (MTT).Pete Olcott - manuscriptdetails
- Defining a Decidability Decider.Pete Olcott - manuscriptdetails
- Montague's Paradox Without Necessitation.T. Parent - manuscriptdetails
- Intensionality From Self-Reference.T. Parent - manuscriptdetails
- The Premise Paradox.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
- Against Cumulative Type Theory.Tim Button & Robert Trueman - forthcoming - Review of Symbolic Logic:1-43.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
- An Expressivist Analysis of the Indicative Conditional with a Restrictor Semantics.John Cantwell - forthcoming - Review of Symbolic Logic:1-44.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.details
- MTV Logics.Roy T. Cook - forthcoming - Journal of Philosophical Logic:1-43.details
- Tarski’s Convention T: Condition Beta.John Corcoran - forthcoming - South American Journal of Logic 1 (1).details
- Derivability and Metainferential Validity.Bruno Da Ré, Damian Szmuc & Paula Teijeiro - forthcoming - Journal of Philosophical Logic:1-27.details
- Sorites, Curry and Suitable Models.Bruno Da Ré & Paula Teijeiro - forthcoming - Logic and Logical Philosophy:1.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
- Deep ST.Thomas M. Ferguson & Elisángela Ramírez-Cámara - forthcoming - Journal of Philosophical Logic:1-33.details
- Logical Nihilism and the Logic of ‘Prem’.Andreas Fjellstad - forthcoming - Logic and Logical Philosophy:1.details
- Operands and Instances.Peter Fritz - forthcoming - Review of Symbolic Logic:1-22.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
- How Does a Theoretical Term Refer?Ataollah Hashemi - forthcoming - Axiomathes:1-12.details
- The Logic of Hyperlogic. Part A: Foundations.Alexander W. Kocurek - forthcoming - Review of Symbolic Logic:1-27.details
- Disjunctions with Stopping Conditions.Roman Kossak & Bartosz Wcisło - forthcoming - Bulletin of Symbolic Logic:1-28.details
- Three Model-Theoretic Constructions for Generalised Epstein Semantics.Krzysztof A. Krawczyk - forthcoming - Review of Symbolic Logic:1-11.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
|
|