- Mathematics and Metaphilosophy.Justin Clarke-Doane - 2022 - Cambridge: Cambridge University Press.details
|
|
The Price of Mathematical Scepticism.Paul Blain Levy - 2022 - Philosophia Mathematica 30 (3):283-305.details
|
|
Castles Built on Clouds: Vague Identity and Vague Objects.Benjamin L. Curtis & Harold W. Noonan - 2014 - In Ken Akiba & Ali Abasnezhad (eds.), Vague Objects and Vague Identity: New Essays on Ontic Vagueness. Dordrecht, Netherland: Springer. pp. 305-326.details
|
|
Introduction to Axiomatic Set Theory.Jean-Louis Krivine - 1971 - Dordrecht, Netherland: Springer.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
|
|
Upsetting the Foundations for Mathematics.Lawrence Neff Stout - 2005 - Philosophia Scientiae 9 (2):5-21.details
|
|
Modal Logics Between Propositional and First Order.Melvin Fitting - unknowndetails
|
|
On the impossibility of events of zero probability.Asad Zaman - 1987 - Theory and Decision 23 (2):157-159.details
|
|
A Kuroda-style j-translation.Benno van den Berg - 2019 - Archive for Mathematical Logic 58 (5):627-634.details
|
|
Iterated Admissibility Through Forcing in Strategic Belief Models.Fernando Tohmé, Gianluca Caterina & Jonathan Gangle - 2020 - Journal of Logic, Language and Information 29 (4):491-509.details
|
|
Towards a unified framework for developing ethical and practical Turing tests.Balaji Srinivasan & Kushal Shah - 2019 - AI and Society 34 (1):145-152.details
|
|
On explicating the concept the power of an arithmetical theory.Jörgen Sjögren - 2008 - Journal of Philosophical Logic 37 (2):183 - 202.details
|
|
Weak Forms of the Axiom of Choice and the Generalized Continuum Hypothesis.Arthur L. Rubin & Jean E. Rubin - 1993 - Mathematical Logic Quarterly 39 (1):7-22.details
|
|
Truth in all of certain well‐founded countable models arising in set theory.John W. Rosenthal - 1975 - Mathematical Logic Quarterly 21 (1):97-106.details
|
|
Supervaluational anti-realism and logic.Stig Alstrup Rasmussen - 1990 - Synthese 84 (1):97 - 138.details
|
|
Filosofía de las matemáticas, teoría de cardinales grandes y sus bases cognitivas.Wilfredo Quezada - 2017 - Revista de Filosofía 73:281-297.details
|
|
On the Axiom of Canonicity.Jerzy Pogonowski - forthcoming - Logic and Logical Philosophy:1-29.details
|
|
What are sets and what are they for?Alex Oliver & Timothy Smiley - 2006 - Philosophical Perspectives 20 (1):123–155.details
|
|
Sophist or Antiphilosopher? [REVIEW]Christopher Norris - 2012 - Journal of Critical Realism 11 (4):487-498.details
|
|
Great Philosophy: Discovery, Invention, and the Uses of Error.Christopher Norris - 2014 - International Journal of Philosophical Studies 22 (3):349-379.details
|
|
A dedekind finite borel set.Arnold W. Miller - 2011 - Archive for Mathematical Logic 50 (1-2):1-17.details
|
|
Sets and supersets.Toby Meadows - 2016 - Synthese 193 (6):1875-1907.details
|
|
Thomson's lamp is dysfunctional.William I. McLaughlin - 1998 - Synthese 116 (3):281-301.details
|
|
Internal cohen extensions.D. A. Martin & R. M. Solovay - 1970 - Annals of Mathematical Logic 2 (2):143-178.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. Oxford University Press.details
|
|
Boolean-valued set theory and forcing.Richard Mansfield & John Dawson - 1976 - Synthese 33 (2-4):223 - 252.details
|
|
Compact extensions of L(Q).Menachem Magidor & Jerome Malitz - 1977 - Annals of Mathematical Logic 11 (2):217--261.details
|
|
The Subjective Roots of Forcing Theory and Their Influence in Independence Results.Stathis Livadas - 2015 - Axiomathes 25 (4):433-455.details
|
|
Talking About Models: The Inherent Constraints of Mathematics.Stathis Livadas - 2020 - Axiomathes 30 (1):13-36.details
|
|
Is There an Ontology of Infinity?Stathis Livadas - 2020 - Foundations of Science 25 (3):519-540.details
|
|
Are Mathematical Theories Reducible to Non-analytic Foundations?Stathis Livadas - 2013 - Axiomathes 23 (1):109-135.details
|
|
The independence results of set theory: An informal exposition.Michael E. Levin & Margarita R. Levin - 1978 - Synthese 38 (1):1 - 34.details
|
|
Quantum Mechanics, Formalization and the Cosmological Constant Problem.Jerzy Król & Torsten Asselmeyer-Maluga - 2020 - Foundations of Science 25 (4):879-904.details
|
|
Identity, indiscernibility, and philosophical claims.Décio Krause & Antonio Mariano Nogueira Coelho - 2005 - Axiomathes 15 (2):191-210.details
|
|
The quantitative epistemological content of Bohr's correspondence principle.Arthur Komar - 1970 - Synthese 21 (1):83 - 92.details
|
|
Higher kurtz randomness.Bjørn Kjos-Hanssen, André Nies, Frank Stephan & Liang Yu - 2010 - Annals of Pure and Applied Logic 161 (10):1280-1290.details
|
|
The axiom of choice for well-ordered families and for families of well- orderable sets.Paul Howard & Jean E. Rubin - 1995 - Journal of Symbolic Logic 60 (4):1115-1117.details
|
|
Jumping through the transfinite: The master code hierarchy of Turing degrees.Harold T. Hodes - 1980 - Journal of Symbolic Logic 45 (2):204-220.details
|
|
When Do Some Things Form a Set?Simon Hewitt - 2015 - Philosophia Mathematica 23 (3):311-337.details
|
|
Mathematics, the empirical facts, and logical necessity.John C. Harsanyi - 1983 - Erkenntnis 19 (1-3):167 - 192.details
|
|
Long projective wellorderings.Leo Harrington - 1977 - Annals of Mathematical Logic 12 (1):1.details
|
|
The set-theoretic multiverse.Joel David Hamkins - 2012 - Review of Symbolic Logic 5 (3):416-449.details
|
|
Relations between some cardinals in the absence of the axiom of choice.Lorenz Halbeisen & Saharon Shelah - 2001 - Bulletin of Symbolic Logic 7 (2):237-261.details
|
|
Elementary extensions of Levy's model ofa2−.Wojciech Guzicki - 1974 - Synthese 27 (1-2):265 - 270.details
|
|
The logic of inexact concepts.J. A. Goguen - 1969 - Synthese 19 (3-4):325-373.details
|
|
Category theory, logic and formal linguistics: Some connections, old and new.Jean Gillibert & Christian Retoré - 2014 - Journal of Applied Logic 12 (1):1-13.details
|
|
The theoretical pragmatics of non-philosophy: Explicating Laruelle's suspension of the principle of sufficient philosophy with Brandom's meaning-use diagrams.Rocco Gangle - 2014 - Angelaki 19 (2):45-57.details
|
|
Non-classical logics and the independence results of set theory.Melvin Fitting - 1972 - Theoria 38 (3):133-142.details
|
|
Vagueness, truth and logic.Kit Fine - 1975 - Synthese 30 (3-4):265-300.details
|
|
Working foundations.Solomon Feferman - 1985 - Synthese 62 (2):229 - 254.details
|
|