added 20200205 Traits essentiels d'une formalisation adéquate.GheorgheIlie Farte  2020  Argumentum. Journal of the Seminar of Discursive Logic, Argumentation Theory and Rhetoric 18 (1):163174.details
added 20200111 The Accident of Logical Constants.Tristan Grøtvedt Haze  2020  Thought: A Journal of Philosophy 9 (1):3442.details
added 20190604 The Truth Assignments That Differentiate Human Reasoning From Mechanistic Reasoning: The EvidenceBased Argument for Lucas' Goedelian Thesis.Bhupinder Singh Anand  2016  Cognitive Systems Research 40:3545.details
added 20190324 TwoSided Trees for Sentential Logic, Predicate Logic, and Sentential Modal Logic.Jesse Fitts & David Beisecker  2019  Teaching Philosophy 42 (1):4156.details
added 20190309 An Arithmetization of Logical Oppositions.Fabien Schang  2016  In JeanYves Beziau & Gianfranco Basti (eds.), The Square of Opposition: A Cornerstone of Thought. Bâle, Suisse: pp. 215237.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 20180806 Categories of FirstOrder Quantifiers.Urszula WybraniecSkardowska  2018  In Urszula WybraniecSkardowska & Ángel Garrido (eds.), The LvovWarsaw School. Past and Present. Basel, Switzerland: pp. 575597.details
added 20180629 Gödel's Slingshot Revisited: Does Russell's Theory of Descriptions Really Evade the Slingshot.João Daniel Dantas  2016  Dissertation, UFRNdetails
added 20180420 Classes and Theories of Trees Associated with a Class of Linear Orders.Valentin Goranko & Ruaan Kellerman  2011  Logic Journal of the IGPL 19 (1):217232.details
added 20171014 Rigid and Flexible Quantification in Plural Predicate Logic.Lucas Champollion, Justin Bledin & Haoze Li  forthcoming  Semantics and Linguistic Theory 27.details
added 20170520 A Technique for Determing Closure in Semantic Tableaux.Steven James Bartlett  1983  Methodology and Science: Interdisciplinary Journal for the Empirical Study of the Foundations of Science and Their Methodology 16 (1):116.details
added 20160514 The Benefits of Realism: A Realist Logic with Applications.Barry Smith  2008  In Katherine Munn & Barry Smith (eds.), Applied Ontology: An Introduction. Ontos. pp. 109124.details
added 20160208 1983 Review in Mathematical Reviews 83e:03005 Of: Cocchiarella, Nino “The Development of the Theory of Logical Types and the Notion of a Logical Subject in Russell's Early Philosophy: Bertrand Russell's Early Philosophy, Part I”. Synthese 45 (1980), No. 1, 71115.John Corcoran  1983  MATHEMATICAL REVIEWS 83:03005.details
added 20150920 Information Recovery Problems.John Corcoran  1995  Theoria 10 (3):5578.details
added 20150605 Complete Enumerative Inductions.John Corcoran  2006  Bulletin of Symbolic Logic 12:4656.details
added 20150526 Commentary On: Jesse Bohl's "What Are We to Do About Traditional Logic?".Gilbert Plumer  2000  In Christopher W. Tindale, Hans V. Hansen & Elmar Sveda (eds.), Argumentation at the Century's Turn [CDROM]. Ontario Society for the Study of Argumentation. pp. 14.details
added 20150419 “TruthPreserving and ConsequencePreserving Deduction Rules”,.John Corcoran  2014  Bulletin of Symbolic Logic 20 (1):1301.details
added 20150112 Aristotle's ManySorted Logic.J. Corcoran  2008  Bulletin of Symbolic Logic 14 (1):155156.details
added 20130703 A Taste of Set Theory for Philosophers.Jouko Väänänen  2011  Journal of the Indian Council of Philosophical Research (2):143163.details
added 20130321 The Power of Logic, 6th Edition.Daniel HowardSnyder, Frances HowardSnyder & Ryan Wasserman  2020  New York: McGrawHill.details
added 20130318 The Cube, the Square and the Problem of Existential Import.Saloua Chatti & Fabien Schang  2013  History and Philosophy of Logic 34 (2):101132.details
added 20130305 Forall X: An Introduction to Formal Logic.P. D. Magnus  2005details
added 20120806 FirstOrder Logic and Some Existential Sentences.Stephen K. McLeod  2011  Disputatio 4 (31):255270.details
added 20110718 A Speech Act Calculus. A Pragmatised Natural Deduction Calculus and its MetaTheory.Moritz Cordes & Friedrich Reinmuth  manuscriptdetails
added 20101104 Ein Redehandlungskalkül. Ein pragmatisierter Kalkül des natürlichen Schließens nebst Metatheorie.Moritz Cordes & Friedrich Reinmuth  manuscriptdetails

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.
