added 20190420 The Origin of Europe and the Esprit de Geometrie.Francesco Tampoia  manuscriptdetails
added 20190404 Incompleteness and Computability.Richard Zach  2018  CreateSpace.details
added 20190404 Sets, Logic, Computation.Richard Zach  2017  CreateSpace.details
added 20190402 Categories of First Order Quantifiers.Urszula WybraniecSkardowska  2018  LvovWarsaw School. Past and Present.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 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  forthcoming  Philosophia Mathematica.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  2017  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  2017  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
added 20160213 Review of Hintikka and Remes. The Method of Analysis (Reidel, 1974).John Corcoran  1979  MATHEMATICAL REVIEWS 58:32023.details
added 20160206 NonDeterministic Algebras and Algebraization of Logics.Ana Claudia Golzio & Marcelo E. Coniglio  2015  Filosofia da Linguagem E da Lógica (Philosophy of Language and Philosophy of Logic, in Portuguese).details
added 20151214 Identity Logics.John Corcoran & Stanley Ziewacz  1979  Notre Dame Journal of Formal Logic 20 (4):777784.details
added 20150908 On Dummett’s Verificationist Justification Procedure.Wagner de Campos Sanz & Hermógenes Oliveira  2016  Synthese 193 (8):25392559.details
added 20150826 Expanding the Universe of Universal Logic.James Trafford  2014  Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 29 (3):325343.details
added 20150522 Raval’s Method a Simplified Approach to Propositional Logic Arguments.Ravinder Kumar Singh  manuscriptdetails
added 20150209 Counterexamples and Proexamples.J. Corcoran  2005  Bulletin of Symbolic Logic 11:460.details
added 20150207 A BIBLIOGRAPHY: JOHN CORCORAN's PUBLICATIONS ON ARISTOTLE 1972–2015.John Corcoran  manuscriptdetails
added 20150112 Review: The Contemporary Relevance of Ancient Logical Theory. [REVIEW]John Corcoran & Michael Scanlan  1982  Philosophical Quarterly 32 (126):76  86.details
added 20150111 Categoricity.John Corcoran  1980  History and Philosophy of Logic 1 (1):187207.details
added 20141107 A Mathematical Model of Aristotle’s Syllogistic.John Corcoran  1973  Archiv für Geschichte der Philosophie 55 (2):191219.details
added 20141016 Partitions and Objective Indefiniteness.David Ellerman  manuscriptdetails
added 20141016 An Introduction to Partition Logic.David Ellerman  2014  Logic Journal of the IGPL 22 (1):94125.details
added 20140330 Labeled Calculi and FiniteValued Logics.Matthias Baaz, Christian G. Fermüller, Gernot Salzer & Richard Zach  1998  Studia Logica 61 (1):733.details
added 20140112 Guessing, MindChanging, and the Second Ambiguous Class.Samuel Alexander  2016  Notre Dame Journal of Formal Logic 57 (2):209220.details
added 20131004 Yablo Sequences in Truth Theories.Cezary Cieśliński  2013  In K. Lodaya (ed.), Logic and Its Applications, Lecture Notes in Computer Science LNCS 7750. Springer. pp. 127138.details
added 20130808 Symbolic Logic Study Guide (a Textbook).Xinli Wang  2009  University Readers.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.
