Hostname: page-component-5b777bbd6c-7mr9c Total loading time: 0 Render date: 2025-06-19T22:46:15.482Z Has data issue: false hasContentIssue false
  • English
  • Français

SYNONYMY QUESTIONS CONCERNING THE QUINE SYSTEMS

Published online by Cambridge University Press:  12 December 2024

THOMAS FORSTER  and
M. RANDALL HOLMES
THOMAS FORSTER*
Affiliation:
UNIVERSITY OF CAMBRIDGE, CAMBRIDGE, UK AND VICTORIA UNIVERSITY OF WELLINGTON WELLINGTON, NEW ZEALAND
M. RANDALL HOLMES
Affiliation:
DEPARTMENT OF MATHEMATICS BOISE STATE UNIVERSITY BOISE, ID 83725 USA E-mail: m.randall.holmes@gmail.com
*
E-mail: tf@dpmms.cam.ac.uk
Get access Rights & Permissions [Opens in a new window]

Abstract

There are a variety of (“alternative”) axiomatic set theories available to mathematicians. It is worth asking how “alternative” they really are. Might they be no more than rephrasings of the theory (ZFC) that we already have? Here we give an account of the status of the Quine systems in this regard. Some are merely ZF in wolves’ clothing; some are genuine wolves.

Keywords

Quine’s NFsynonymystratification
Type
Article
Information
The Journal of Symbolic Logic , First View , pp. 1 - 17
Check for updates
Copyright
© The Author(s), 2024. Published by Cambridge University Press on behalf of The Association for Symbolic Logic

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Article purchase

Temporarily unavailable

References

Bowler, N. and Forster, T., Automorphisms and Antimorphisms in NF . Journal of Symbolic Logic , to appear.Google Scholar
Button, T., Level Theory, Part 3: A boolean algebra of sets arranged in well-ordered levels . Bulletin of Symbolic Logic , forthcoming. Also at arXiv:2103.06715.Google Scholar
Church, A., Set theory with a universal set , Proceedings of the Tarski Symposium , (Henkin, L. editor), Proceedings of Symposia in Pure Mathematics XXV, [1974], 15, Providence, RI, Also in International Logic Review, 1974, pp. 297 $-$ 308. pp. 11 $-$ 23.Google Scholar
Enayat, A., Automorphisms, Mahlo Cardinals, and NFU , Nonstandard Models of Arithmetic and Set Theory , (Enayat, A. and Kossak, R., editors), Contemporary Mathematics, vol. 361, American Mathematical Society, 2004, pp. 37–59.Google Scholar
Enayat, A., Variations on a visserian theme , Liber Amicorum Alberti, a Tribute to Albert Visser , (van Eijk, J., Iemhoff, R., and Joosten, J. Editors), College Publications, London, 2016. https://www.researchgate.net/publication/313910192_Variations_on_a_Visserian_Theme Google Scholar
Forster, T. E., Permutation models and stratified formulæ, a preservation theorem . Zeitschrift für Mathematische Logic und Grundlagen der Mathematik , vol. 36 (1990), pp. 385–388.Google Scholar
Forster, T. E., Set Theory with a Universal Set: Exploring an Untyped Universe , Second edition, Oxford Logic Guides, Oxford University Press, Clarendon Press, Oxford, 1995.Google Scholar
Forster, T. E., Mathematical objects arising from equivalence relations, and their implementation in Quine’s NF , Proceedings of the Munich Workshop , (Cook and Reck, editors), Philosophia Mathematica vol. 24, 2016.Google Scholar
Friedman, H. and Visser, A., When Bi-Interpretability Implies Synonymy . Logic Group preprint series, vol. 320, (2014). The paper can be accessed via this link: http://dspace.library.uu.nl/handle/1874/308486.Google Scholar
Freire, A. R. and Hamkins, J. D., Bi-interpretation in weak set theories . Journal of Symbolic Logic , vol. 86, (2021), pp. 609–634. https://www.cambridge.org/core/journals/journal-of-symbolic-logic/article/abs/biinterpretation-in-weak-set-theories/1B6576741E65FFEED9516317A681805E.Google Scholar
Holmes, M. R., Strong axioms of infinity in NFU . Journal of Symbolic Logic , vol. 66 (2001), no. 1, pp. 87–116 (brief notice of errata with corrections in vol. 66 no. 4).Google Scholar
Holmes, M. R., The usual model construction for NFU preserves information . Notre Dame Journal of Formal Logic , vol. 53 (2012), no 4, pp. 571–580.Google Scholar
Jensen, R. B, On the consistency of a slight(?) modification of Quine’s NF . Synthese , vol. 19 (1969), pp. 250–263.Google Scholar
. Pétry, A, Stratified languages . Journal of Symbolic Logic , vol. 57 (1992), pp. 1366–1376.Google Scholar
Scott, D.S., Quine’s individuals , Logic, Methodology and Philosophy of Science , (Nagel, E., editor) Stanford University Press, 1962, pp. 111–115.Google Scholar
Solovay, R., The consistency strength of NFUB, preprint, 1997. arXiv:math/9707207 [math.LO].Google Scholar
Smith, J. A. Methodology maximized: Quine on empiricism, naturalism, and empirical content. Journal of the History of Philosophy , Forthcoming.Google Scholar