- LF: a Foundational Higher-Order Logic.Zachary Goodsell & Juhani Yli-Vakkuri - manuscriptdetails
|
|
The new correspondence theory of truth without the concept of fact.Bo Chen - 2023 - Philosophical Forum 54 (4):261-286.details
|
|
Higher-Order Metaphysics in Frege and Russell.Kevin C. Klement - 2024 - In Peter Fritz & Nicholas K. Jones (eds.), Higher-Order Metaphysics. Oxford University Press. pp. 355-377.details
|
|
Introdução à perspectiva ficcionalista na filosofia da matemática.Marco Aurélio Sousa Alves & José Henrique Fonseca Franco - 2022 - Perspectivas 7 (2):330-346.details
|
|
The iterative solution to paradoxes for propositions.Bruno Whittle - 2022 - Philosophical Studies 180 (5-6):1623-1650.details
|
|
Generality Explained.Øystein Linnebo - 2022 - Journal of Philosophy 119 (7):349-379.details
|
|
Anti-exceptionalism about logic as tradition rejection.Ben Martin & Ole Thomassen Hjortland - 2022 - Synthese 200 (2):1-33.details
|
|
Taking Stock: Hale, Heck, and Wright on Neo-Logicism and Higher-Order Logic.Crispin Wright - 2021 - Philosophia Mathematica 29 (3): 392--416.details
|
|
The unbearable circularity of easy ontology.Jonas Raab - 2021 - Synthese 199 (1-2):3527-3556.details
|
|
Set-theoretic justification and the theoretical virtues.John Heron - 2020 - Synthese 199 (1-2):1245-1267.details
|
|
Kategoria wyjaśniania a filozofia matematyki Gödla.Krzysztof Wójtowicz - 2018 - Studia Semiotyczne 32 (2):107-129.details
|
|
Semantics and Truth.Jan Woleński - 2019 - Cham, Switzerland: Springer Verlag.details
|
|
Unrestricted Quantification and the Structure of Type Theory.Salvatore Florio & Nicholas K. Jones - 2021 - Philosophy and Phenomenological Research 102 (1):44-64.details
|
|
La cognición incorporada. El contenido y la justificación del enfoque percepto-operacional del conocimiento.Rómulo San Martín García - 2011 - Sophia. Colección de Filosofía de la Educación 10:127-166.details
|
|
Structured propositions and trivial composition.Bryan Pickel - 2020 - Synthese 197 (7):2991-3006.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
|
|
Informal and Absolute Proofs: Some Remarks from a Gödelian Perspective.Gabriella Crocco - 2019 - Topoi 38 (3):561-575.details
|
|
WHAT IS THE "x" WHICH OCCURS IN "sin x"? Being an Essay Towards a Conceptual Foundations of Mathematics.Mohamed Amer - manuscriptdetails
|
|
A Modal Logic and Hyperintensional Semantics for Gödelian Intuition.David Elohim - manuscriptdetails
|
|
(1 other version)Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017 - Dissertation, Arché, University of St Andrewsdetails
|
|
(1 other version)Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017details
|
|
(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
|
|
State-of-affairs Semantics for Positive Free Logic.Hans-Peter Leeb - 2006 - Journal of Philosophical Logic 35 (2):183-208.details
|
|
Why Ramify?Harold T. Hodes - 2015 - Notre Dame Journal of Formal Logic 56 (2):379-415.details
|
|
Non-deductive Logic in Mathematics: The Probability of Conjectures.James Franklin - 2013 - In Andrew Aberdein & Ian J. Dove (eds.), The Argument of Mathematics. Dordrecht, Netherland: Springer. pp. 11--29.details
|
|
The Argument of Mathematics.Andrew Aberdein & Ian J. Dove (eds.) - 2013 - Dordrecht, Netherland: Springer.details
|
|
Typos of Principia Mathematica.Gregory Landini - 2013 - History and Philosophy of Logic 34 (4):306 - 334.details
|
|
Hierarchies Ontological and Ideological.Øystein Linnebo & Agustín Rayo - 2012 - Mind 121 (482):269 - 308.details
|
|
The Graph Conception of Set.Luca Incurvati - 2014 - Journal of Philosophical Logic 43 (1):181-208.details
|
|
Logic, Ontological Neutrality, and the Law of Non-Contradiction.Achille C. Varzi - 2014 - In Elena Ficara (ed.), Contradictions: Logic, History, Actuality. Boston: De Gruyter. pp. 53–80.details
|
|
The philosophy of mathematics and the independent 'other'.Penelope Rush - unknowndetails
|
|
What is the axiomatic method?Jaakko Hintikka - 2011 - Synthese 183 (1):69-85.details
|
|
The development of mathematical logic from Russell to Tarski, 1900-1935.Paolo Mancosu, Richard Zach & Calixto Badesa - 2009 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press.details
|
|
Husserl's Logical investigations reconsidered.Denis Fisette (ed.) - 2003 - Boston: Kluwer Academic Publishers.details
|
|
(1 other version)Contemporary debates in philosophy of science.Christopher Hitchcock (ed.) - 2004 - Malden, MA: Blackwell.details
|
|
(1 other version)Abstract objects.Gideon Rosen - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
A Cantorian argument against Frege's and early Russell's theories of descriptions.Kevin C. Klement - 2008 - In Nicholas Griffin & Dale Jacquette (eds.), Russell Vs. Meinong: The Legacy of "on Denoting". London and New York: Routledge. pp. 65-77.details
|
|
Sets, classes and extensions: A singularity approach to Russell's paradox.K. Simmons - 2000 - Philosophical Studies 100 (2):109-149.details
|
|
Foundations for analysis and proof theory.Wilfried Sieg - 1984 - Synthese 60 (2):159 - 200.details
|
|
Facing facts?Graham Oppy - 2004 - Australasian Journal of Philosophy 82 (4):621 – 643.details
|
|
Complex individuals and multigrade relations.Adam Morton - 1975 - Noûs 9 (3):309-318.details
|
|
The definability of the set of natural numbers in the 1925 principia mathematica.Gregory Landini - 1996 - Journal of Philosophical Logic 25 (6):597 - 615.details
|
|
Russell’s Notion of Scope.Saul A. Kripke - 2005 - Mind 114 (456):1005-1037.details
|
|
Three varieties of mathematical structuralism.Geoffrey Hellman - 2001 - Philosophia Mathematica 9 (2):184-211.details
|
|
Two conceptions of absolute generality.Salvatore Florio & Nicholas K. Jones - 2023 - Philosophical Studies 180 (5-6):1601-1621.details
|
|
A Referential Theory of Truth and Falsity.İlhan İnan - 2022 - New York, NY, USA: Routledge.details
|
|
Gödel and the language of mathematics.Jovana Kostić - 2015 - Belgrade Philosophical Annual 28 (28):45-68.details
|
|
Truth and Falsehood: An Inquiry Into Generalized Logical Values.Yaroslav Shramko & Heinrich Wansing - 2011 - Dordrecht, Netherland: Springer.details
|
|
A Paradox about Sets of Properties.Nathan Salmón - 2021 - Synthese 199 (5-6):12777-12793.details
|
|
Phenomenological Ideas in the Philosophy of Mathematics. From Husserl to Gödel.Roman Murawski Thomas Bedürftig - 2018 - Studia Semiotyczne 32 (2):33-50.details
|
|