- Computational Philosophy.Patrick Grim & Daniel Singer - 2024 - Stanford Encyclopedia of Philosophy.details
|
|
Logic in mathematics and computer science.Richard Zach - forthcoming - In Filippo Ferrari, Elke Brendel, Massimiliano Carrara, Ole Hjortland, Gil Sagi, Gila Sher & Florian Steinberger (eds.), Oxford Handbook of Philosophy of Logic. Oxford, UK: Oxford University Press.details
|
|
LF: a Foundational Higher-Order Logic.Zachary Goodsell & Juhani Yli-Vakkuri - manuscriptdetails
|
|
VI—Paradoxes as Philosophical Method and Their Zenonian Origins.Barbara M. Sattler - 2021 - Proceedings of the Aristotelian Society 121 (2):153-181.details
|
|
Ordinal Type Theory.Jan Plate - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.details
|
|
Introduction to the Routledge Handbook of Propositions.Adam Russell Murray & Chris Tillman - 2022 - In Chris Tillman & Adam Murray (eds.), The Routledge Handbook of Propositions. Routledge.details
|
|
Against Second-Order Primitivism.Bryan Pickel - 2024 - In Peter Fritz & Nicholas K. Jones (eds.), Higher-Order Metaphysics. Oxford University Press.details
|
|
Two Poles Worlds Apart.Adam Trybus & Bernard Linsky - 2022 - Journal for the History of Analytical Philosophy 10 (5).details
|
|
Analysis, Decomposition, and Unity in Wittgenstein's Tractatus.Oliver Thomas Spinney - 2022 - Journal for the History of Analytical Philosophy 10 (2).details
|
|
Einstein Vs. Bergson: An Enduring Quarrel on Time.Alessandra Campo & Simone Gozzano (eds.) - 2021 - Boston: De Gruyter.details
|
|
Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method.Carlo Cellucci - 2013 - Dordrecht, Netherland: Springer.details
|
|
Against Cumulative Type Theory.Tim Button & Robert Trueman - 2022 - Review of Symbolic Logic 15 (4):907-49.details
|
|
From symbols to knowledge systems: A. Newell and H. A. Simon's contribution to symbolic AI.Luis M. Augusto - 2021 - Journal of Knowledge Structures and Systems 2 (1):29 - 62.details
|
|
Extension and Self-Connection.Ben Blumson & Manikaran Singh - 2021 - Logic and Logical Philosophy 30 (3):435-59.details
|
|
Frege plagiarized the Stoics.Susanne Bobzien - 2021 - In Fiona Leigh (ed.), Themes in Plato, Aristotle, and Hellenistic Philosophy, Keeling Lectures 2011-2018, OPEN ACCESS. University of Chicago Press. pp. 149-206.details
|
|
The Potential in Frege’s Theorem.Will Stafford - 2023 - Review of Symbolic Logic 16 (2):553-577.details
|
|
Hilbert's Metamathematical Problems and Their Solutions.Besim Karakadilar - 2008 - Dissertation, Boston Universitydetails
|
|
Chinese Landscape Aesthetics: the Exchange and Nurturing of Emotions.Claudia Westermann - 2020 - In Jutta Kehrer (ed.), New Horizons: Eight Perspectives on Chinese Landscape Architecture Today. De Gruyter. pp. 34-37.details
|
|
Language, Truth, and Logic and the Anglophone reception of the Vienna Circle.Andreas Vrahimis - 2021 - In Adam Tamas Tuboly (ed.), The Historical and Philosophical Significance of Ayer’s Language, Truth and Logic. Cham, Switzerland: Palgrave. pp. 41-68.details
|
|
The Nature of Appearance in Kant’s Transcendentalism: A Seman- tico-Cognitive Analysis.Sergey L. Katrechko - 2018 - Kantian Journal 37 (3):41-55.details
|
|
Literal Meaning & Cognitive Content.John-Michael Kuczynski - 2015 - Madison, WI, USA: Freud Institute.details
|
|
The Pedagogy of Primary Historical Sources in Mathematics: Classroom Practice Meets Theoretical Frameworks.Janet Heine Barnett, Jerry Lodder & David Pengelley - 2014 - Science & Education 23 (1):7-27.details
|
|
Russell on Acquaintance with Spatial Properties: The Significance of James.Alexander Klein - 2017 - In Sandra Lapointe & Christopher Pincock (eds.), Innovations in the History of Analytical Philosophy. London, United Kingdom: Palgrave-Macmillan. pp. 229 – 264.details
|
|
Extensionality and logicality.Gil Sagi - 2017 - Synthese (Suppl 5):1-25.details
|
|
Measurement in Science.Eran Tal - 2015 - Stanford Encyclopedia of Philosophy.details
|
|
(1 other version)To Be F Is To Be G.Cian Dorr - 2006 - Philosophical Perspectives 30 (1):39-134.details
|
|
Russell on Logicism and Coherence.Conor Mayo-Wilson - 2011 - Russell: The Journal of Bertrand Russell Studies 31 (1):63-79.details
|
|
(1 other version)Chains of Life: Turing, Lebensform, and the Emergence of Wittgenstein’s Later Style.Juliet Floyd - 2016 - Nordic Wittgenstein Review 5 (2):7-89.details
|
|
(2 other versions)Russell and Husserl (1905–1918): The Not-So-Odd Couple.Nikolay Milkov - 2016 - In Peter Stone (ed.), Bertrand Russell’s Life and Legacy. Wilmington, Delaware, United States: Vernon Press. pp. 73-96.details
|
|
What Was the Syntax‐Semantics Debate in the Philosophy of Science About?Sebastian Lutz - 2017 - Philosophy and Phenomenological Research 95 (2):319-352.details
|
|
Hilbert’s Finitism: Historical, Philosophical, and Metamathematical Perspectives.Richard Zach - 2001 - Dissertation, University of California, Berkeleydetails
|
|
Wittgenstein's Nonsense Objection to Russell's Theory of Judgment.José L. Zalabardo - 2015 - In Michael Campbell & Michael O'Sullivan (eds.), Wittgenstein and Perception. New York: Routledge. pp. 126-151.details
|
|
Das Wahre, das Gute, das Schöne: Beiträge zur Philosophie.Holger Leerhoff & Thomas Wachtendorf (eds.) - 2005 - Oldenburg: Bibliotheks- und Informationssystem der Universität Oldenburg.details
|
|
The Early Life Of Russell’s Notion Of A Propositional Function.Michael Beaney - 2008 - The Baltic International Yearbook of Cognition, Logic and Communication 4:200.details
|
|
If Logic, Definitions and the Vicious Circle Principle.Jaakko Hintikka - 2012 - Journal of Philosophical Logic 41 (2):505-517.details
|
|
Philosophy of Language in the Twentieth Century.Jason Stanley - 2008 - In Dermot Moran (ed.), The Routledge Companion to Twentieth Century Philosophy. Routledge. pp. 382-437.details
|
|
Thought, Language, and Ontology, Essays in Memory of Hector-Neri Castaneda.William J. Rapaport & Francesco Orilia (eds.) - 1998 - Dordrecht, Netherland: Kluwer Academic Publishers.details
|
|
What are logical notions?Alfred Tarski - 1986 - History and Philosophy of Logic 7 (2):143-154.details
|
|
Abstract Objects: An Introduction to Axiomatic Metaphysics.Edward N. Zalta - 1983 - Dordrecht, Netherland: D. Reidel.details
|
|
Symbolic logic.Greg Restall - unknowndetails
|
|
Principia mathematica.A. D. Irvine - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
A leśniewskian re-examination of Goodman's nominalistic rejection of classes.Judith M. Prakel - 1983 - Topoi 2 (1):87-98.details
|
|
The early development of set theory.José Ferreirós - unknown - Stanford Encyclopedia of Philosophy.details
|
|
Frege on the psychological significance of definitions.John F. Horty - 1993 - Philosophical Studies 72 (2-3):223 - 263.details
|
|
Hilbert and set theory.Burton Dreben & Akihiro Kanamori - 1997 - Synthese 110 (1):77-125.details
|
|
Ruth Barcan Marcus.Roberta Ballarin - 2024 - Stanford Encyclopedia of Philosophy.details
|
|
Argumenty semantyczne – pojęcie, podział i kryteria oceny.Jakub Pruś - 2023 - Cracow: Ignatianum University Press.details
|
|
Semiotic analysis of symbolic logic using tagmemic theory: with implications for analytic philosophy.Vern S. Poythress - 2021 - Semiotica 2021 (243):171-186.details
|
|
Theories: Reconsidering Ramsey in the Philosophy of Science.John D. Lehmann - 2021 - Dissertation, University of Western Ontariodetails
|
|
A Class of Examples Demonstrating That 'P ≠ NP' in the 'P Vs NP' Problem.Vasil Penchev - 2020 - Computing Methodology eJournal (Elsevier: SSRN) 3 (19):1-19.details
|
|