A theory of strong indiscernibles

Abstract

The Complete Theory of Everything (CTE) is based on certain axioms of indiscernibility. Such axioms of indiscernibility have been given a philosophical justification by Kit Fine. I want to report on an attempt to give strong indiscernibility axioms which might also be subject to such philosophical analysis, and which prove the consistency of set theory; i.e., ZFC or more. In this way, we might obtain a (new kind of) philosophical consistency proof for mathematics.

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,423

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Inner models for set theory—Part I.J. C. Shepherdson - 1951 - Journal of Symbolic Logic 16 (3):161-190.
On the philosophical significance of consistency proofs.Michael D. Resnik - 1974 - Journal of Philosophical Logic 3 (1/2):133 - 147.
Internal Categoricity in Arithmetic and Set Theory.Jouko Väänänen & Tong Wang - 2015 - Notre Dame Journal of Formal Logic 56 (1):121-134.
Forcing Indestructibility of Set-Theoretic Axioms.Bernhard König - 2007 - Journal of Symbolic Logic 72 (1):349 - 360.
Inaccessible set axioms may have little consistency strength.L. Crosilla & M. Rathjen - 2002 - Annals of Pure and Applied Logic 115 (1-3):33-70.
Grades of Discrimination: Indiscernibility, Symmetry, and Relativity.Tim Button - 2017 - Notre Dame Journal of Formal Logic 58 (4):527-553.
The Search for New Axioms in the Hyperuniverse Programme.Claudio Ternullo & Sy-David Friedman - 2016 - In Francesca Boccuni & Andrea Sereni (eds.), Objectivity, Realism, and Proof. FilMat Studies in the Philosophy of Mathematics. Cham, Switzerland: Springer International Publishing. pp. 165-188.
Philosophical and methodological problem of consistency of mathematical theories.N. V. Michailova - 2013 - Liberal Arts in Russia 2 (6):552--560.
Large Cardinals and the Iterative Conception of Set.Neil Barton - unknown
The strength of extensionality I—weak weak set theories with infinity.Kentaro Sato - 2009 - Annals of Pure and Applied Logic 157 (2-3):234-268.

Analytics

Added to PP
2009-01-28

Downloads
426 (#68,053)

6 months
426 (#3,837)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references