- III-Reference by Abstraction.ØYstein Linnebo - 2012 - Proceedings of the Aristotelian Society 112 (1pt1):45-71.details
|
|
Beyond the Limits of Thought.Graham Priest - 1995 - Cambridge, England: Cambridge University Press.details
|
|
Axiomatic Theories of Truth.Volker Halbach - 2010 - Cambridge, England: Cambridge University Press.details
|
|
Extensionality and Restriction in Naive Set Theory.Zach Weber - 2010 - Studia Logica 94 (1):87-104.details
|
|
(3 other versions)Our Knowledge of Mathematical Objects.Kit Fine - 2005 - In Tamar Szabó Gendler & John Hawthorne (eds.), Oxford Studies in Epistemology. Oxford University Press. pp. 89-109.details
|
|
The Iterative Conception of Set: a (Bi-)Modal Axiomatisation.J. P. Studd - 2013 - Journal of Philosophical Logic 42 (5):1-29.details
|
|
Set Theory: An Introduction to Independence Proofs.Kenneth Kunen - 1980 - North-Holland.details
|
|
Transfinite numbers in paraconsistent set theory.Zach Weber - 2010 - Review of Symbolic Logic 3 (1):71-92.details
|
|
(3 other versions)Our knowledge of mathematical objects.Kit Fine - 2005 - In Tamar Szabó Gendler & John Hawthorne (eds.), Oxford Studies in Epistemology. Oxford University Press. pp. 89-109.details
|
|
Logic, semantics, metamathematics.Alfred Tarski - 1956 - Oxford,: Clarendon Press. Edited by John Corcoran & J. H. Woodger.details
|
|
Spandrels of truth.J. C. Beall - 2009 - New York: Oxford University Press.details
|
|
Must we believe in set theory?George Boolos - 1998 - In Richard Jeffrey (ed.), Logic, Logic, and Logic. Harvard University Press. pp. 120-132.details
|
|
Mathematics Without Numbers: Towards a Modal-Structural Interpretation.Geoffrey Hellman - 1989 - Oxford, England: Oxford University Press.details
|
|
The concept of truth in formalized languages.Alfred Tarski - 1956 - In Logic, semantics, metamathematics. Oxford,: Clarendon Press. pp. 152--278.details
|
|
Foundations without foundationalism: a case for second-order logic.Stewart Shapiro - 1991 - New York: Oxford University Press.details
|
|
Pluralities and Sets.Øystein Linnebo - 2010 - Journal of Philosophy 107 (3):144-164.details
|
|
Everything.Timothy Williamson - 2003 - Philosophical Perspectives 17 (1):415–465.details
|
|
Tarski hierarchies.Volker Halbach - 1995 - Erkenntnis 43 (3):339 - 367.details
|
|
The logic of paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219 - 241.details
|
|
Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.details
|
|
Against pluralism.A. P. Hazen - 1993 - Australasian Journal of Philosophy 71 (2):132 – 144.details
|
|
The iterative conception of set.Thomas Forster - 2008 - Review of Symbolic Logic 1 (1):97-110.details
|
|
(1 other version)To be is to be a value of a variable (or to be some values of some variables).George Boolos - 1984 - Journal of Philosophy 81 (8):430-449.details
|
|
(3 other versions)Our Knowledge of Mathematical Objects.Kit Fine - 2006 - Oxford Studies in Epistemology 1.details
|
|
Descriptive Set Theory.Yiannis Nicholas Moschovakis - 1982 - Studia Logica 41 (4):429-430.details
|
|
(1 other version)Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.details
|
|
Mathematics in Philosophy, Selected Essays.Stewart Shapiro - 1983 - Journal of Symbolic Logic 53 (1):320.details
|
|
(2 other versions)Descriptive Set Theory.Richard Mansfield - 1981 - Journal of Symbolic Logic 46 (4):874-876.details
|
|
All Things Indefinitely Extensible.Stewart Shapiro & Crispin Wright - 2006 - In Stewart Shapiro & Crispin Wright (eds.), All Things Indefinitely Extensible. pp. 255--304.details
|
|
What does it take to prove fermat's last theorem? Grothendieck and the logic of number theory.Colin McLarty - 2010 - Bulletin of Symbolic Logic 16 (3):359-377.details
|
|
Set theory and the continuum hypothesis.Paul J. Cohen - 1966 - New York,: W. A. Benjamin.details
|
|
Saving truth from paradox.Hartry H. Field - 2008 - New York: Oxford University Press.details
|
|
(2 other versions)Set Theory and the Continuum Hypothesis.Kenneth Kunen - 1966 - Journal of Symbolic Logic 35 (4):591-592.details
|
|
(1 other version)Second-order logic still wild.Michael D. Resnik - 1988 - Journal of Philosophy 85 (2):75-87.details
|
|
(2 other versions)Set Theory.Keith J. Devlin - 1981 - Journal of Symbolic Logic 46 (4):876-877.details
|
|
(1 other version)A Formulation of the Simple Theory of Types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (3):114-115.details
|
|
Set Theory: An Introduction to Large Cardinals.F. R. Drake & T. J. Jech - 1976 - British Journal for the Philosophy of Science 27 (2):187-191.details
|
|
Set Theory. An Introduction to Independence Proofs.James E. Baumgartner & Kenneth Kunen - 1986 - Journal of Symbolic Logic 51 (2):462.details
|
|
Naive Set Theory. [REVIEW]Elliott Mendelson - 1960 - Journal of Philosophy 57 (15):512-513.details
|
|
Varieties of Indefinite Extensibility.Gabriel Uzquiano - 2015 - Notre Dame Journal of Formal Logic 56 (1):147-166.details
|
|
Multiple universes of sets and indeterminate truth values.Donald A. Martin - 2001 - Topoi 20 (1):5-16.details
|
|
(1 other version)A formulation of the simple theory of types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.details
|
|
Beyond Limits of Thought.Graham Priest - 2002 - Oxford, GB: Oxford University Press UK.details
|
|
Predicative Arithmetic.Edward Nelson - 1986 - Studia Logica 48 (1):129-130.details
|
|
(1 other version)To Be is to be a Value of a Variable.George Boolos - 1984 - Journal of Symbolic Logic 54 (2):616-617.details
|
|
(1 other version)Indefinite extensibility.Timothy Williamson - 1999 - Grazer Philosophische Studien 55 (1):1-24.details
|
|
Predicative arithmetic.Edward Nelson - 1986 - Princeton, N.J.: Princeton University Press.details
|
|
(2 other versions)Set theory.Thomas Jech - 1981 - Journal of Symbolic Logic.details
|
|
Axiomatic theories of truth.Volker Halbach - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Context and unrestricted quantification.Michael Glanzberg - 2006 - In Peter Smith (ed.), Absolute Generality. Jstor. pp. 45--74.details
|
|