 Knowledge & Logic: Towards a Science of Knowledge.Luis M. Augusto  manuscriptdetails
 Halfway Up To the Mathematical Inﬁnity I: On the Ontological & Epistemic Sustainability of Georg Cantor’s Transﬁnite Design.Edward G. Belaga  manuscriptdetails
 Homo Deceptus: How Language Creates its Own Reality.Bruce Bokor  manuscriptdetails
 Logics of Formal Inconsistency Enriched with Replacement: An Algebraic and Modal Account.Walter Carnielli, Marcelo E. Coniglio & David Fuenmayor  manuscriptdetails
 The Synthetic Concept of Truth and its Descendants.Boris Culina  manuscriptdetails
 Is Classical Mathematics Appropriate for Theory of Computation?Farzad Didehvar  manuscriptdetails
 A Comprehensive Theory of Induction and Abstraction, Part I.Cael L. Hasse  manuscriptdetails
 Some Open Questions About Degrees of Paradoxes.Ming Hsiung  manuscriptdetails
 What Achilles Did and the Tortoise Wouldn't.Catherine Legg  manuscriptdetails
 Valuations.JeanLouis Lenard  manuscriptdetails
 Meaning, Presuppositions, TruthRelevance, Gödel's Sentence and the Liar Paradox.X. Y. Newberry  manuscriptdetails
 Refuting Tarski and Gödel with a Sound Deductive Formalism.P. Olcott  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
 Minimal Type Theory (MTT).Pete Olcott  manuscriptdetails
 Defining a Decidability Decider.Pete Olcott  manuscriptdetails
 Contradiction From the Fixed Point Lemma.T. Parent  manuscriptdetails
 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. 2023.details
 FirstOrder Swap Structures Semantics for Some Logics of Formal Inconsistency.Marcelo E. Coniglio  forthcoming  Journal of Logic and Computation.details
 Tarski’s Convention T: Condition Beta.John Corcoran  forthcoming  South American Journal of Logic 1 (1).details
 Agentive Free Choice.Melissa Fusco  forthcoming  Journal of Philosophical Logic:131.details
 Deep Fried Logic.Shay Allen Logan  forthcoming  Erkenntnis:130.details
 Truth in Fiction: Rethinking its Logic, by John Woods, Springer, 2018. [REVIEW]Andrew Aberdein  2021  Philosophia 49 (2):873881.details
 Problemas semánticos en filosofía de la lógica.Sergio Aramburu  2021  Actas y Comunicaciones UNGS 6:193211.details
 Normalisation for Bilateral Classical Logic with Some Philosophical Remarks.Nils Kürbis  2021  Journal of Applied Logics 2 (8):531556.details
 Toward a General Theory of Knowledge.Luis M. Augusto  2020  Journal of Knowledge Structures and Systems 1 (1):6397.details
 Sense, Reference, and Computation.Bruno Bentzen  2020  Perspectiva Filosófica 47 (2):179203.details
 NonDeterministic Algebraization of Logics by Swap Structures1.Marcelo E. Coniglio, Aldo FigalloOrellano & Ana Claudia Golzio  2020  Logic Journal of the IGPL 28 (5):10211059.details
 Confused Terms in Ordinary Language.Greg FrostArnold & James R. Beebe  2020  Journal of Logic, Language and Information 29 (2):197219.details
 Truthmakers for 1st Order Sentences  a Proposal.Friedrich Wilhelm Grafe  2020  Archive.Org.details
 Paracomplete Logics Which Are Dual to the Paraconsistent Logics L3A and L3B.Alejandro HernándezTello, Verónica BorjaMacı́as & Marcelo E. Coniglio  2020  LANMR 2019: Proceedings of the 12th Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning.details
 Truthmaker Semantics for Relevant Logic.Mark Jago  2020  Journal of Philosophical Logic 49 (4):681702.details
 Sketch of a ProofTheoretic Semantics for Necessity.Nils Kürbis  2020  In Nicola Olivetti, Rineke Verbrugge & Sara Negri (eds.), Advances in Modal Logic 13. Booklet of Short Papers. Helsinki: pp. 3743.details
 Putting the Stars in Their Places.Shay Allen Logan  2020  Thought: A Journal of Philosophy 9 (3):188197.details
 Channels’ Confirmation and Predictions’ Confirmation: From the Medical Test to the Raven Paradox.Chenguang Lu  2020  Entropy 22 (4):384.details
 Notes and Comments on Leibniz's Contigency.Florian Millo  2020details
 God, Logic, and Quantum Information.Vasil Penchev  2020  Information Theory and Research eJournal (Elsevier: SSRN) 1 (20):110.details
 The Identity of Logic and the World in Terms of Quantum Information.Vasil Penchev  2020  Information Theory and Research eJournal (Elsevier: SSRN) 1 (21):14.details
 On Rudimentarity, Primitive Recursivity and Representability.Saeed Salehi  2020  Reports on Mathematical Logic 55:73–85.details
 A Decidable MultiAgent Logic for Reasoning About Actions, Instruments, and Norms.Kees van Berkel, Tim Lyon & Francesco Olivieri  2020  In Mehdi Dastani, Huimin Dong & Leon van der Torre (eds.), Logic and Argumentation. pp. 219  241.details
 Quine's Monism and Modal Eliminativism in the Realm of Supervenience.Atilla Akalın  2019  International Journal of Social Humanities Sciences Research (JSHRS) 6 (34):795800.details
 Modeling the Interaction of Computer Errors by FourValued Contaminating Logics.Roberto Ciuni, Thomas Macaulay Ferguson & Damian Szmuc  2019  In Rosalie Iemhoff, Michael Moortgat & Ruy de Queiroz (eds.), Logic, Language, Information, and Computation. Berlín, Alemania: pp. 119139.details
 Swap Structures Semantics for IvlevLike Modal Logics.Marcelo E. Coniglio & Ana Claudia Golzio  2019  Soft Computing 23 (7):22432254.details
 Hyperlogic: A System for Talking About Logics.Alexander W. Kocurek  2019  Proceedings for the 22nd Amsterdam Colloquium.details
 Notes on Stratified Semantics.Shay Logan  2019  Journal of Philosophical Logic 48 (4):749786.details
 Semantic Information G Theory and Logical Bayesian Inference for Machine Learning.Chenguang Lu  2019  Information 10 (8):261.details
 Wolpert, Chaitin y Wittgenstein sobre la imposibilidad, la incompletitud, la paradoja mentirosa, el teísmo, los límites de la computación, un principio de incertidumbre mecánica no cuántica y el universo como computadora, el teorema definitivo en la teoría de la máquina de Turing (revisado en 2019).Michael Richard Starks  2019  In Observaciones Sobre Imposibilidad, Incompleta, Paracoherencia,Indecisión,Aleatoriedad, Computabilidad, Paradoja E Incertidumbre En Chaitin, Wittgenstein, Hofstadter, Wolpert, Doria, Dacosta, Godel, Searle, Rodych, Berto,Floyd, MoyalSharrock Y Yanofsky. Las Vegas, NV USA: Reality Press. pp. 6470.details
 Logic for Exact Entailment.Kit Fine & Mark Jago  2018  Review of Symbolic Logic:121.details

Offcampus access
Using PhilArchive from home?
Create an account to enable offcampus 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

About us
Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat. Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur. Excepteur sint occaecat cupidatat non proident, sunt in culpa qui officia deserunt mollit anim id est laborum.
