- Descriptions in Mathematical Logic.Gerard R. Renardel - 1984 - Studia Logica 43 (3):281-294.details
|
|
Propositions as Structured Cognitive Event‐Types.Wayne A. Davis - 2021 - Philosophy and Phenomenological Research 102 (3):665-692.details
|
|
On the consistency of an impredicative subsystem of Quine's NF.Marcel Crabbé - 1982 - Journal of Symbolic Logic 47 (1):131-136.details
|
|
Une grammaire de l'incomplétude référentielle: la logique intensionnelle des Principia Mathematica.Jocelyne Couture - 1983 - Dialogue 22 (1):69-90.details
|
|
What is Absolute Undecidability?†.Justin Clarke-Doane - 2012 - Noûs 47 (3):467-481.details
|
|
Moral Epistemology: The Mathematics Analogy.Justin Clarke-Doane - 2012 - Noûs 48 (2):238-255.details
|
|
Can Inconsistency Be Reasonable?Richmond Campbell - 1981 - Canadian Journal of Philosophy 11 (2):245 - 270.details
|
|
Structure and Categoricity: Determinacy of Reference and Truth Value in the Philosophy of Mathematics.Tim Button & Sean Walsh - 2016 - Philosophia Mathematica 24 (3):283-307.details
|
|
Short definitions of the ordinals.Kenneth R. Brown & Hao Wang - 1966 - Journal of Symbolic Logic 31 (3):409-414.details
|
|
Varieties of Finitism.Manuel Bremer - 2007 - Metaphysica 8 (2):131-148.details
|
|
Philosophic sur ordinateur ou intelligence artificielle.Gilbert Boss & Maryvonne Longeart - 1993 - Dialogue 32 (2):271-.details
|
|
Die logik der unbestimmtheiten und paradoxien.Ulrich Blau - 1985 - Erkenntnis 22 (1-3):369 - 459.details
|
|
Quine’s conjecture on many-sorted logic.Thomas William Barrett & Hans Halvorson - 2017 - Synthese 194 (9):3563-3582.details
|
|
From Geometry to Conceptual Relativity.Thomas William Barrett & Hans Halvorson - 2017 - Erkenntnis 82 (5):1043-1063.details
|
|
Evidence for a non-linguistic distinction between singular and plural sets in rhesus monkeys.David Barner, Justin Wood, Marc Hauser & Susan Carey - 2008 - Cognition 107 (2):603-622.details
|
|
Extensional quotients for type theory and the consistency problem for NF.Gian Aldo Antonelli - 1998 - Journal of Symbolic Logic 63 (1):247-261.details
|
|
Complexity, Hypersets, and the Ecological Perspective on Perception-Action.Anthony Chemero & M. T. Turvey - 2007 - Biological Theory 2 (1):23-36.details
|
|
Structuralism and Isomorphism.C. McCarty - 2015 - Philosophia Mathematica 23 (1):1-10.details
|
|
Methodological Practice and Complementary Concepts of Logical Consequence: Tarski's Model-Theoretic Consequence and Corcoran's Information-Theoretic Consequence.José M. Sagüillo - 2009 - History and Philosophy of Logic 30 (1):21-48.details
|
|
Enciclopédia de Termos Lógico-Filosóficos.João Miguel Biscaia Branquinho, Desidério Murcho & Nelson Gonçalves Gomes (eds.) - 2006 - São Paulo, SP, Brasil: Martins Fontes.details
|
|
Working from Within: The Nature and Development of Quine's Naturalism.Sander Verhaegh - 2018 - New York: Oxford University Press.details
|
|
Critical Notice.John Woods - 1989 - Canadian Journal of Philosophy 19 (4):617-659.details
|
|
Are species sets?Bradley E. Wilson - 1991 - Biology and Philosophy 6 (4):413-431.details
|
|
The identity of strong indiscernibility.Horst Wessel - 1994 - Logic and Logical Philosophy 2 (5):117-134.details
|
|
Quine’s Substitutional Definition of Logical Truth and the Philosophical Significance of the Löwenheim-Hilbert-Bernays Theorem.Henri Wagner - 2018 - History and Philosophy of Logic 40 (2):182-199.details
|
|
Paradoxes of intensionality.Dustin Tucker & Richmond H. Thomason - 2011 - Review of Symbolic Logic 4 (3):394-411.details
|
|
Intensionality and paradoxes in ramsey’s ‘the foundations of mathematics’.Dustin Tucker - 2010 - Review of Symbolic Logic 3 (1):1-25.details
|
|
Sequenzen und Strukturierte Zeichenreihen.Peter Teleč - 1979 - Mathematical Logic Quarterly 25 (33):531-548.details
|
|
Pilot-Wave Theory Without Nonlocality.Paul Tappenden - 2022 - Foundations of Physics 52 (5):1-15.details
|
|
Objective probability and the mind-body relation.Paul Tappenden - 2017 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 57:8-16.details
|
|
A Metaphysics for Semantic Internalism.Paul Tappenden - 2011 - Metaphysica 12 (2):125-136.details
|
|
‘Identity’ as a mereological term.Jeroen Smid - 2017 - Synthese 194 (7):2367-2385.details
|
|
A finite arithmetic.Philip T. Shepard - 1973 - Journal of Symbolic Logic 38 (2):232-248.details
|
|
The Naïve Conception of Properties.Benjamin Schnieder - 2017 - Philosophical Issues 27 (1):322-342.details
|
|
Concepts, extensions, and Frege's logicist project.Matthias Schirn - 2006 - Mind 115 (460):983-1006.details
|
|
Which Arithmetization for Which Logicism? Russell on Relations and Quantities in The Principles of Mathematics.Sébastien Gandon - 2008 - History and Philosophy of Logic 29 (1):1-30.details
|
|
Free Logic, Description, and Virtual Classes.W. V. Quine - 1997 - Dialogue 36 (1):101-.details
|
|
Toward a logic of experience.Zane Parks - 1973 - Philosophia 3 (4):183-194.details
|
|
Formal Semantics: Origins, Issues, Early Impact.Barbara H. Partee - 2010 - The Baltic International Yearbook of Cognition, Logic and Communication 6 (1).details
|
|
Names and Quantifiers: Bringing Them Together in Classical Logic.Jacek Paśniczek - 2023 - Journal of Logic, Language and Information 32 (3):473-487.details
|
|
What are sets and what are they for?Alex Oliver & Timothy Smiley - 2006 - Philosophical Perspectives 20 (1):123–155.details
|
|
Plural descriptions and many-valued functions.Alex Oliver & Timothy Smiley - 2005 - Mind 114 (456):1039-1068.details
|
|
Carnap, Quine, and the humean condition.Sean Morris - 2021 - Synthese 199 (5-6):13283-13312.details
|
|
On the Substitutional Characterization of First-Order Logical Truth.Matthew McKeon - 2004 - History and Philosophy of Logic 25 (3):205-224.details
|
|
L'identité est-elle relative?Maryvonne Longeart-Roth - 1981 - Dialogue 20 (4):697-713.details
|
|
Russell And Frege On The Logic of Functions.Bernard Linsky - 2008 - The Baltic International Yearbook of Cognition, Logic and Communication 4:1-17.details
|
|
A renaissance of empiricism in the recent philosophy of mathematics.Imre Lakatos - 1976 - British Journal for the Philosophy of Science 27 (3):201-223.details
|
|
A modern elaboration of the ramified theory of types.Twan Laan & Rob Nederpelt - 1996 - Studia Logica 57 (2-3):243 - 278.details
|
|
Russell's 1903 - 1905 Anticipation of the Lambda Calculus.Kevin Klement - 2003 - History and Philosophy of Logic 24 (1):15-37.details
|
|
The empty set, the Singleton, and the ordered pair.Akihiro Kanamori - 2003 - Bulletin of Symbolic Logic 9 (3):273-298.details
|
|