Switch to: References

Citations of:

The Search for New Axioms

Dissertation, Massachusetts Institute of Technology (2003)

Add citations

You must login to add citations.

Abstraction Reconceived.J. P. Studd - 2016 - British Journal for the Philosophy of Science 67 (2):579-615.details Neologicists have sought to ground mathematical knowledge in abstraction. One especially obstinate problem for this account is the bad company problem. The leading neologicist strategy for resolving this problem is to attempt to sift the good abstraction principles from the bad. This response faces a dilemma: the system of ‘good’ abstraction principles either falls foul of the Scylla of inconsistency or the Charybdis of being unable to recover a modest portion of Zermelo–Fraenkel set theory with its intended generality. This article (...) Download Export citation Bookmark 19 citations
Against Cumulative Type Theory.Tim Button & Robert Trueman - 2022 - Review of Symbolic Logic 15 (4):907-49.details Standard Type Theory, STT, tells us that b^n(a^m) is well-formed iff n=m+1. However, Linnebo and Rayo have advocated the use of Cumulative Type Theory, CTT, has more relaxed type-restrictions: according to CTT, b^β(a^α) is well-formed iff β > α. In this paper, we set ourselves against CTT. We begin our case by arguing against Linnebo and Rayo’s claim that CTT sheds new philosophical light on set theory. We then argue that, while CTT ’s type-restrictions are unjustifiable, the type-restrictions imposed by (...) Download Export citation Bookmark 10 citations
A consistency proof for some restrictions of Tait's reflection principles.Rupert McCallum - 2013 - Mathematical Logic Quarterly 59 (1-2):112-118.details In 5, Tait identifies a set of reflection principles called equation image-reflection principles which Peter Koellner has shown to be consistent relative to the existence of κ, the first ω-Erdős cardinal 1. Tait also defines a set of reflection principles called equation image-reflection principles; however, Koellner has shown that these are inconsistent when m > 2, but identifies restricted versions of them which he proves consistent relative to κ 2. In this paper, we introduce a new large-cardinal property, the α-reflective (...) Download Export citation Bookmark 1 citation
Metalogic and the Overgeneration Argument.Salvatore Florio & Luca Incurvati - 2019 - Mind 128 (511):761-793.details A prominent objection against the logicality of second-order logic is the so-called Overgeneration Argument. However, it is far from clear how this argument is to be understood. In the first part of the article, we examine the argument and locate its main source, namely, the alleged entanglement of second-order logic and mathematics. We then identify various reasons why the entanglement may be thought to be problematic. In the second part of the article, we take a metatheoretic perspective on the matter. (...) Download Export citation Bookmark 2 citations
On the question of absolute undecidability.Peter Koellner - 2010 - In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: essays for his centennial. Ithaca, NY: Association for Symbolic Logic. pp. 153-188.details The paper begins with an examination of Gödel's views on absolute undecidability and related topics in set theory. These views are sharpened and assessed in light of recent developments. It is argued that a convincing case can be made for axioms that settle many of the questions undecided by the standard axioms and that in a precise sense the program for large cardinals is a complete success “below” CH. It is also argued that there are reasonable scenarios for settling CH (...) Download Export citation Bookmark 38 citations

1