 Rigid and Flexible Quantification in Plural Predicate Logic.Lucas Champollion, Justin Bledin & Haoze Li  forthcoming  Semantics and Linguistic Theory 27.details
 Stoic Logic and Multiple Generality.Susanne Bobzien & Simon Shogry  2020  Philosophers' Imprint 20 (31):136.details
 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
 Starting Rational Reconstruction of Spinoza's Metaphysics by "a Formal Analogy to Elements of 'de Deo' (E1)".Friedrich Wilhelm Grafe  2020  Archive.Org.details
 Truthmakers for 1st Order Sentences  a Proposal.Friedrich Wilhelm Grafe  2020  Archive.Org.details
 TwoSided Trees for Sentential Logic, Predicate Logic, and Sentential Modal Logic.Jesse Fitts & David Beisecker  2019  Teaching Philosophy 42 (1):4156.details
 Categories of FirstOrder Quantifiers.Urszula WybraniecSkardowska  2018  In Urszula WybraniecSkardowska & Ángel Garrido (eds.), The LvovWarsaw School. Past and Present. Basel, Switzerland: pp. 575597.details
 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
 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
 Gödel's Slingshot Revisited: Does Russell's Theory of Descriptions Really Evade the Slingshot.João Daniel Dantas  2016  Dissertation, UFRNdetails
 Against Fantology Again.Ingvar Johansson  2016  In Leo Zaibert (ed.), The Theory and Practice of Ontology. London: pp. 2543.details
 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
 “TruthPreserving and ConsequencePreserving Deduction Rules”,.John Corcoran  2014  Bulletin of Symbolic Logic 20 (1):1301.details
 The Cube, the Square and the Problem of Existential Import.Saloua Chatti & Fabien Schang  2013  History and Philosophy of Logic 34 (2):101132.details
 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
 FirstOrder Logic and Some Existential Sentences.Stephen K. McLeod  2011  Disputatio 4 (31):255270.details
 A Taste of Set Theory for Philosophers.Jouko Väänänen  2011  Journal of the Indian Council of Philosophical Research (2):143163.details
 A Note on Plural Logic.Gustavo Fernández Díez  2010  Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 17 (2):150162.details
 Aristotle's ManySorted Logic.J. Corcoran  2008  Bulletin of Symbolic Logic 14 (1):155156.details
 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
 Complete Enumerative Inductions.John Corcoran  2006  Bulletin of Symbolic Logic 12:4656.details
 Forall X: An Introduction to Formal Logic.P. D. Magnus  2005details
 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
 Information Recovery Problems.John Corcoran  1995  Theoria 10 (3):5578.details
 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
 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
 VALIDITY: A Learning Game Approach to Mathematical Logic.Steven James Bartlett  1973, 1974, 2014  Hartford, CT: Lebon Press.details
 A Speech Act Calculus. A Pragmatised Natural Deduction Calculus and its MetaTheory.Moritz Cordes & Friedrich Reinmuth  manuscriptdetails
 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.
