added 20200610 On Representations of Intended Structures in Foundational Theories.Neil Barton, Moritz Müller & Mihai Prunescu  manuscriptdetails
added 20200526 Forms of Structuralism: Bourbaki and the Philosophers.JeanPierre Marquis  forthcoming  In Alberto Peruzzi & Silvano Zipoli Caiani (eds.), Structures Meres, Semantics, Mathematics, and Cognitive Science. New York, NY, USA:details
added 20200502 Doing the Math: Comparing Ontario and Singapore Mathematics Curriculum at the Primary Level.Dieu Trang Hoang  2020  Dissertation, Brock Universitydetails
added 20200324 Logics of Formal Inconsistency Enriched with Replacement: An Algebraic and Modal Account.Walter Carnielli, Marcelo E. Coniglio & David Fuenmayor  manuscriptdetails
added 20200308 Structural Relativity and Informal Rigour.Neil Barton  forthcoming  In Objects, Structures, and Logics, FilMat Studies in the Philosophy of Mathematics.details
added 20200115 Theories Are Not Partially Ordered.Thomas William Barrett & Hans Halvorson  manuscriptdetails
added 20200107 Computational Logic. Vol. 1: Classical Deductive Computing with Classical Logic. 2nd Ed.Luis M. Augusto  2020  London: College Publications.details
added 20190920 There is No Standard Model of ZFC and ZFC2. Part II.Jaykov Foukzon & Elena Men’Kova  2019  Advanced in Pure Mathematic 9 (9):685744.details
added 20190920 There is No Standard Model of ZFC and ZFC_2. Part I.Jaykov Foukzon  2017  Journal of Advances in Mathematics and Computer Science 2 (26):120.details
added 20190918 Repairing Ontologies Via Axiom Weakening.Daniele Porello & Oliver Kutz Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Rafael Peñaloza, Daniele Porello  2018  In Proceedings of the ThirtySecond {AAAI} Conference on Artificial Intelligence, (AAAI18), the 30th innovative Applications of Artificial Intelligence (IAAI18), and the 8th {AAAI} Symposium on Educational Advances in Artificial Intelligence (EAAI18). pp. 19811988.details
added 20190823 On the Reconciliation Between Infinity and Zero  Another 'Theory of Everything' Based on Nothing?Louis Taylor  manuscriptdetails
added 20190803 Concerning Formal Concept Analysis on Complete Residuated Lattices.Abner de Mattos Brito  2019  Dissertation, University of Campinas, Brazildetails
added 20190710 The WellOrdered Society Under Crisis: A Formal Analysis of Public Reason Vs. Convergence Discourse.Hun Chung  forthcoming  American Journal of Political Science:120.details
added 20190702 Sofia A. Yanovskaya: The Marxist Pioneer of Mathematical Logic in the Soviet Union.Dimitris Kilakos  2019  Transversal: International Journal for the Historiography of Science 6:4964.details
added 20190606 Extension, Translation, and the CantorBernstein Property.Thomas William Barrett & Hans Halvorson  manuscriptdetails
added 20190606 The Contemporary Relevance of Ancient Logical Theory.John Corcoran  1982  Philosophical Quarterly 32 (126):76.details
added 20190404 Incompleteness and Computability. An Open Introduction to Gödel's Theorems.Richard Zach  2019details
added 20190404 Sets, Logic, Computation. An Open Introduction to Metalogic.Richard Zach  2017details
added 20190402 Categories of First Order Quantifiers.Urszula WybraniecSkardowska  2018  LvovWarsaw School. Past and Present.details
added 20190402 On the Mutual Definability of the Notions of Entailment, Rejection, and Inconsistency.Urszula WybraniecSkardowska  2016  Axioms 5 (15).details
added 20190402 Teoria zdań odrzuconych.Urszula WybraniecSkardowska  1969  Dissertation, Opole Universitydetails
added 20190324 The LvovWarsaw School. Past and Present.Urszula WybraniecSkardowska & Ángel Garrido (eds.)  2018  Cham, Switzerland: Springer Birkhauser,.details
added 20190315 Combining Algebraizable Logics.A. Jánossy, Á Kurucz & Á. E. Eiben  1996  Notre Dame Journal of Formal Logic 37 (2):366380.details
added 20181121 On the Concept of a Notational Variant.Alexander W. Kocurek  2017  In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.), Logic, Rationality, and Interaction (LORI 2017, Sapporo, Japan). pp. 284298.details
added 20180913 Complexity of Judgment Aggregation.Ulle Endriss, Umberto Grandi & Daniele Porello  2012  Journal of Artificial Intelligence Research 45:481514.details
added 20180806 Rejection in Łukasiewicz's and Słupecki's Sense.Urszula WybraniecSkardowska  2018  In Urszula WybraniecSkardowska & Ángel Garrido (eds.), The LvovWarsaw School. Past and Present. Basel, Switzerland: pp. 575597.details
added 20180711 Computational Reverse Mathematics and Foundational Analysis.Benedict Eastaugh  manuscriptdetails
added 20180511 What is Mathematics: Gödel's Theorem and Around (Edition 2015).Karlis Podnieks  manuscriptdetails
added 20180501 Willard Van Orman Quine's Philosophical Development in the 1930s and 1940s.Frederique JanssenLauret  2018  In Walter Carnielli, Frederique JanssenLauret & William Pickering (eds.), The Significance of the New Logic. Cambridge: Cambridge University Press.details
added 20180418 Computational Logic. Vol. 1: Classical Deductive Computing with Classical Logic.Luis M. Augusto  2018  London: College Publications.details
added 20180322 Logic and Sense.Urszula WybraniecSkardowska  2016  Philosophy Study 6 (9).details
added 20180315 Set Existence Principles and Closure Conditions: Unravelling the Standard View of Reverse Mathematics.Benedict Eastaugh  2019  Philosophia Mathematica 27 (2):153176.details
added 20180305 Torkel Franzén, Gödel's Theorem: An Incomplete Guide to its Use and Abuse. [REVIEW]R. Zach  2005  History and Philosophy of Logic 26 (4):369371.details
added 20180118 Temporal Justification Logic.S. Bucheli, M. Ghari & T. Studer  2017  Proceedings of the Ninth Workshop on Methods for Modalities (M4M9 2017), Indian Institute of Technology, Kanpur, India, 8th to 10th January 2017, Electronic Proceedings in Theoretical Computer Science 243, Pages 59–74.details
added 20180102 Natural Deduction for Diagonal Operators.Fabio Lampert  2017  In Maria Zack & Dirk Schlimm (eds.), Research in History and Philosophy of Mathematics: The CSHPM 2016 Annual Meeting in Calgary, Alberta. Cham: Birkhäuser. pp. 3951.details
added 20171126 From Logical Calculus to Logical Formality—What Kant Did with Euler’s Circles.Huaping LuAdler  2017  In Corey W. Dyck & Falk Wunderlich (eds.), Kant and His German Contemporaries : Volume 1, Logic, Mind, Epistemology, Science and Ethics. Cambridge: Cambridge University Press. pp. 3555.details
added 20171021 Frege's Begriffsschrift is Indeed FirstOrder Complete.Yang Liu  2017  History and Philosophy of Logic 38 (4):342344.details
added 20171010 Kurt Gödel and Computability Theory.Richard Zach  2006  In Arnold Beckmann, Ulrich Berger, Benedikt Löwe & John V. Tucker (eds.), Logical Approaches to Computational Barriers. Second Conference on Computability in Europe, CiE 2006, Swansea. Proceedings. Berlin: Springer. pp. 575583.details
added 20171010 Kurt Gödel, Paper on the Incompleteness Theorems (1931).Richard Zach  2004  In Ivor GrattanGuinness (ed.), Landmark Writings in Mathematics. Amsterdam: NorthHolland. pp. 917925.details
added 20171010 Approximating Propositional Calculi by FiniteValued Logics.Matthias Baaz & Richard Zach  1994  In 24th International Symposium on Multiplevalued Logic, 1994. Proceedings. Los Alamitos: IEEE Press. pp. 257–263.details
added 20170531 ManyValued Logics. A Mathematical and Computational Introduction.Luis M. Augusto  2020  London: College Publications.details
added 20170501 Mathematical Thinking Undefended on The Level of The Semester for Professional Mathematics Teacher Candidates. Toheri & Widodo Winarso  2017  Munich University Library.details
added 20170226 Review of Denis R. Hirschfeldt, Slicing the Truth: On the Computability Theoretic and Reverse Mathematical Analysis of Combinatorial Principles. [REVIEW]Benedict Eastaugh  2017  Studia Logica 105 (4):873879.details
added 20170217 La Logique Symbolique En Débat À Oxford À la Fin du XIXe Siècle : Les Disputes Logiques de Lewis Carroll Et John Cook Wilson.Mathieu Marion & Amirouche Moktefi  2014  Revue D’Histoire des Sciences 67 (2):185205.details
added 20170127 Logic in the Tractatus.Max Weiss  2017  Review of Symbolic Logic 10 (1):150.details
added 20170112 Logical Consequences. Theory and Applications: An Introduction.Luis M. Augusto  2020  London: College Publications.details
added 20161225 Epistemology of Logic  LogicDialectic or Theory of the Knowledge.Epameinondas Xenopoulos  1998  Dissertation, details
added 20160921 Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic.Corey Edward Mulvihill  2015  Dissertation, University of Waterloodetails
added 20160826 The Epsilon Calculus and Herbrand Complexity.Georg Moser & Richard Zach  2006  Studia Logica 82 (1):133155.details
added 20160519 INVENTING LOGIC: THE LÖWENHEIMSKOLEM THEOREM AND FIRST AND SECONDORDER LOGIC.Valérie Lynn Therrien  2012  Pensées Canadiennes 10.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.
