A theory of strong indiscernibles
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.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
E Pluribus Unum: Plural Logic and Set Theory.John P. Burgess - 2004 - Philosophia Mathematica 12 (3):193-221.
Identity, Indiscernibility, and Philosophical Claims.Décio Krause & Antonio M. N. Coelho - 2004 - Axiomathes 15 (2):191-210.
Defending the Axioms: On the Philosophical Foundations of Set Theory.Penelope Maddy - 2011 - Oxford University Press.
The Consistency Strength of an Infinitary Ramsey Property.George Kafkoulis - 1994 - Journal of Symbolic Logic 59 (4):1158-1195.
Added to index2009-01-28
Total downloads426 ( #5,212 of 2,158,948 )
Recent downloads (6 months)3 ( #132,198 of 2,158,948 )
How can I increase my downloads?