added 20200709 TokenReflexivity and Repetition.Alexandru Radulescu  2018  Ergo: An Open Access Journal of Philosophy 5:745763.details
added 20200706 An Observation About Truth.David Kashtan  2017  Dissertation, University of Jerusalemdetails
added 20200702 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
added 20200627 Defining Gödel Incompleteness Away.P. Olcott  manuscriptdetails
added 20200605 Interpreting the Compositional Truth Predicate in Models of Arithmetic.Cezary Cieslinski  manuscriptdetails
added 20200601 Agentive Free Choice.Melissa Fusco  forthcoming  Journal of Philosophical Logic.details
added 20200531 Confused Terms in Ordinary Language.Greg FrostArnold & James R. Beebe  2020  Journal of Logic, Language and Information 29 (2):197219.details
added 20200526 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
added 20200428 The Significance of EvidenceBased Reasoning for Mathematics, Mathematics Education, Philosophy and the Natural Sciences.Bhupinder Singh Anand  manuscriptdetails
added 20200423 Notes and Comments on Leibniz's Contigency.Florian Millo  2020details
added 20200413 Channels’ Confirmation and Predictions’ Confirmation: From the Medical Test to the Raven Paradox.Chenguang Lu  2020  Entropy 22 (4):384.details
added 20200328 Refuting Tarski and Gödel with a Sound Deductive Formalism.P. Olcott  manuscriptdetails
added 20200324 Logics of Formal Inconsistency Enriched with Replacement: An Algebraic and Modal Account.Walter Carnielli, Marcelo E. Coniglio & David Fuenmayor  manuscriptdetails
added 20200222 Analogical TruthConditions for Metaphors.Eric Steinhart  1994  Metaphor and Symbolic Activity 9 (3):161178.details
added 20200123 Hyperlogic: A System for Talking About Logics.Alexander W. Kocurek  2019  Proceedings for the 22nd Amsterdam Colloquium.details
added 20200111 Deep Fried Logic.Shay Allen Logan  forthcoming  Erkenntnis:130.details
added 20200111 The Accident of Logical Constants.Tristan Grøtvedt Haze  2020  Thought: A Journal of Philosophy 9 (1):3442.details
added 20191224 FirstOrder Swap Structures Semantics for Some Logics of Formal Inconsistency.Marcelo E. Coniglio  forthcoming  Journal of Logic and Computation.details
added 20191129 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
added 20191027 Computation Tree Logics and Temporal Logics with Reference Pointers.Valentin Goranko  2000  Journal of Applied NonClassical Logics 10 (34):221242.details
added 20191009 Ми замість я: семантика і прагматика.Nataliya Yasakova  2017  Language: Classic – Modern – Postmodern 3:121131.details
added 20191009 Частково фразеологізовані речення з відношеннями зумовленості.Mariya Lychuk  2017  Language: Classic – Modern – Postmodern 3:201209.details
added 20191008 Лінгвальне віддзеркалення оцінного ставлення до опонента в контексті перейменувальної кампанії.Olha Kyryliuk  2017  Language: Classic – Modern – Postmodern 3:2935.details
added 20190925 Understanding Predication in Conceptual Spaces.Daniele Porello & Claudio Masolo  2016  In Roberta Ferrario & Werner Kuhn (eds.), Formal Ontology in Information Systems. Proceedings of the Ninth International Conference (FOIS 2016). pp. 139152.details
added 20190814 End of the Square?Fabien Schang  forthcoming  South American Journal of Logic 4 (2):121.details
added 20190806 Truthmaker Semantics for Relevant Logic.Mark Jago  forthcoming  Journal of Philosophical Logic:122.details
added 20190620 Proof That Wittgenstein is Correct About Gödel.P. Olcott  manuscriptdetails
added 20190606 Future Contingents and Aristotle’s Fantasy.Andrea Iacona  2007  Critica 39 (117):4560.details
added 20190606 Logical Consequence in Modal Logic II: Some Semantic Systems for S4.George Weaver  1974  Notre Dame Journal of Formal Logic 15:370.details
added 20190605 Philosophy of Logic. Hilary Putnam.John Corcoran  1973  Philosophy of Science 40 (1):131133.details
added 20190605 Philosophy of Logic. Willard Van Orman Quine.John Corcoran  1972  Philosophy of Science 39 (1):9799.details
added 20190522 Notes on Stratified Semantics.Shay Logan  2019  Journal of Philosophical Logic 48 (4):749786.details
added 20190506 Deductively Sound Formal Proofs.P. Olcott  manuscriptdetails
added 20190420 Philosophy of Logic – Reexamining the Formalized Notion of Truth.Pete Olcott  manuscriptdetails
added 20190414 Is Classical Mathematics Appropriate for Theory of Computation?Farzad Didehvar  manuscriptdetails
added 20190404 A Simple Theory Containing its Own Truth Predicate.Nicholas Shackel  2018  South American Journal of Logic 4 (1):121131.details
added 20190402 The Inherent Risks in Using a NameForming Function at Object Language Level.Ferenc András  2015  The Reasoner 9 (5).details
added 20190402 On the Paradox of the Adder.Ferenc András  2011  The Reasoner 5 (3).details
added 20190402 Alfred Tarski  the Man Who Defined Truth.Urszula WybraniecSkardowska  2008  Filozofia, Scientific Works of Jan Długosz Academy, Częstochowa:6771.details
added 20190331 Introduction. The School: Its Genesis, Development and Significance.U. WybraniecSkardowska  2018  In Urszula WybraniecSkardowska & Ángel Garrido (eds.), in: The LvovWarsaw School. Past and Present. Cham, Switzerland: Springer. pp. 314.details
added 20190329 Quine's Monism and Modal Eliminativism in the Realm of Superveniences.Atilla Akalın  2019  International Journal of Social Humanities Sciences Research (JSHRS) 6 (34):795800.details
added 20190324 The LvovWarsaw School. Past and Present.Urszula WybraniecSkardowska & Ángel Garrido (eds.)  2018  Cham, Switzerland: Springer Birkhauser,.details
added 20190323 Philosophy of Logic – Reexamining the Formalized Notion of Truth.Pete Olcott  manuscriptdetails
added 20190322 Refuting Incompleteness and Undefinability.Pete Olcott  manuscriptdetails
added 20190322 Expressing Truth Directly Within a Formal System with No Need for Model Theory.Pete Olcott  manuscriptdetails
added 20190319 Minimal Type Theory (YACC BNF).Pete Olcott  manuscriptdetails
added 20190309 Les attitudes russelliennes.Fabien Schang  2017  Cahiers de Philosophie de L’Université de Caen 54:149168.details
added 20190308 The Football of Logic.Fabien Schang  2017  Studia Humana 6 (1):5060.details
added 20190225 I dintorni di Wittgenstein.Antonio Chiocchi  2019  Biella: Zigzagando.details
added 20190212 Swap Structures Semantics for IvlevLike Modal Logics.Marcelo E. Coniglio & Ana Claudia Golzio  2019  Soft Computing 23 (7):22432254.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.
