Zobrazeno 1 - 10
of 15
pro vyhledávání: '"Toby Meadows"'
Autor:
TOBY MEADOWS
Publikováno v:
The Review of Symbolic Logic. :1-39
In providing a good foundation for mathematics, set theorists often aim to develop the strongest theories possible and avoid those theories that place undue restrictions on the capacity to possess strength. For example, adding a measurable cardinal t
Autor:
Toby Meadows
Publikováno v:
Journal of Philosophical Logic. 51:219-247
This paper explores the idea that Descartes’ cogito is a kind of diagonal argument. Using tools from modal logic, it reviews some historical antecedents of this idea from Slezak and Boos and culminates in an orginal result classifying the exact str
Autor:
Toby Meadows
Publikováno v:
The Review of Symbolic Logic. 14:347-379
This paper critically examines two arguments against the generic multiverse, both of which are due to W. Hugh Woodin. Versions of the first argument have appeared a number of times in print, while the second argument is relatively novel. We shall inv
Autor:
Toby Meadows, Penelope Maddy
Publikováno v:
The Bulletin of Symbolic Logic. 26:118-169
This paper reconstructs Steel’s multiverse project in his ‘Gödel’s program’ (Steel, 2014), first by comparing it to those of Hamkins (2012) and Woodin (2011), then by detailed analysis what’s presented in Steel’s brief text. In particula
Autor:
Toby Meadows
Publikováno v:
Erkenntnis.
Interpretation is commonly used in mathematical logic to compare different theories and identify cases where two theories are for almost all intents and purposes the same. Similar techniques are used in the comparison between alternative logics altho
Autor:
Toby Meadows
Publikováno v:
Australasian Journal of Philosophy. 95:397-400
This book is a delight to read. It glides effortlessly through hundreds of years of mathematics and its philosophy whilst barely breaking a sweat. Equally at home with Euclid and Eudoxus as with Ca...
Autor:
Toby Meadows
Publikováno v:
Synthese. 193:1875-1907
It is a commonplace of set theory to say that there is no set of all well-orderings nor a set of all sets. We are implored to accept this due to the threat of paradox and the ensuing descent into unintelligibility. In the absence of promising alterna
Autor:
Toby Meadows
Publikováno v:
The Review of Symbolic Logic. 8:207-235
We provide infinitary proof theories for three common semantic theories of truth: strong Kleene, van Fraassen supervaluation and Cantini supervaluation. The value of these systems is that they provide an easy method of proving simple facts about sema
Autor:
Toby Meadows
Publikováno v:
Thought: A Journal of Philosophy. 4:181-188
Graham Priest has argued that the fruits of classical set theory can be obtained by naive means through a puzzling piece of reasoning often known as the bootstrapping argument (Priest 2006). I will demonstrate that the bootstrapping involved is best
Autor:
Toby Meadows
Publikováno v:
The Review of Symbolic Logic. 6:524-544
fThe purpose of this paper is to investigate categoricity arguments conducted in second order logic and the philosophical conclusions that can be drawn from them. We provide a way of seeing this result, so to speak, through a first order lens diveste