Publication | Closed Access
Wide Sets, ZFCU, and the Iterative Conception
54
Citations
17
References
2014
Year
HumanitiesEngineeringDomain TheoryNecessary ExistenceAutomated ReasoningMcmp.1 LewisFormal MethodsModel TheoryTimothy WilliamsonPhilosophy Of PhysicFoundation Of MathematicsWide SetsHistory Of LogicAbstract Object TheoryComputability Theory
for their insightful questions comments on earlier versions of, and talks based on, this paper.I am especially grateful to Prof. Dr. Leitgeb for graciously hosting me for the 2011-12 academic year at the Munich Center for Mathematical Philosophy.I cannot imagine a more congenial and exciting environment in which to think and work.My thanks also to the Humboldt Stiftung for its support of the MCMP.1 Lewis's actual principle (1986, 88-89) is that, for any κ and any world W , it is possible that there exist κ "duplicates" of the objects that exist in W .This obviously entails R.2 More recently, Ted Sider (2009) has shown that basically the same argument can be reconstructed in the context of Timothy Williamson's (2002) theory of necessary existence.
| Year | Citations | |
|---|---|---|
Page 1
Page 1