Results 1 
5 of
5
Challenges to Predicative Foundations of Arithmetic
 in Between Logic and Intuition Essays in Honor of Charles Parsons
, 1996
"... This paper was written while the first author was a Fellow at the Center for Advanced Study in the Behavioral Sciences (Stanford, CA) whose facilities and support, under grants from the Andrew W. Mellon Foundation and the National Science Foundation, have been greatly appreciated. ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
This paper was written while the first author was a Fellow at the Center for Advanced Study in the Behavioral Sciences (Stanford, CA) whose facilities and support, under grants from the Andrew W. Mellon Foundation and the National Science Foundation, have been greatly appreciated.
Reflections on Skolem's Paradox
"... In 1922, Thoraf Skolem published a paper titled "Some remarks on Axiomatized Set Theory". The paper presents a new proof of... This dissertation focuses almost exclusively on the first half of this project  i.e., the half which tries to expose an initial tension between Cantor's theorem and the Lö ..."
Abstract

Cited by 4 (2 self)
 Add to MetaCart
In 1922, Thoraf Skolem published a paper titled "Some remarks on Axiomatized Set Theory". The paper presents a new proof of... This dissertation focuses almost exclusively on the first half of this project  i.e., the half which tries to expose an initial tension between Cantor's theorem and the LöwenheimSkolem theorem. I argue that, even on quite naive understandings of set theory and model theory, there is no such tension. Hence, Skolem's Paradox is not a genuine paradox, and there is very little reason to worry about (or even to investigate) the more extreme consequences that are supposed to follow from this paradox. The heart of my...
Russell’s Absolutism vs.(?)
"... Along with Frege, Russell maintained an absolutist stance regarding the subject matter of mathematics, revealed rather than imposed, or proposed, by logical analysis. The Fregean definition of cardinal number, for example, is viewed as (essentially) correct, not merely adequate for mathematics. And ..."
Abstract
 Add to MetaCart
Along with Frege, Russell maintained an absolutist stance regarding the subject matter of mathematics, revealed rather than imposed, or proposed, by logical analysis. The Fregean definition of cardinal number, for example, is viewed as (essentially) correct, not merely adequate for mathematics. And Dedekind’s “structuralist” views come in for criticism in the Principles. But, on reflection, Russell also flirted with views very close to a (different) version of structuralism. Main varieties of modern structuralism and their challenges are reviewed, taking account of Russell’s insights. Problems of absolutism plague some versions, and, interestingly, Russell’s critique of Dedekind can be extended to one of them, ante rem structuralism. This leaves modalstructuralism and a category theoretic approach as remaining nonabsolutist
Structuralism
"... With the rise of multiple geometries in the nineteenth century, and in the last century the rise of abstract algebra, of the axiomatic method, the settheoretic foundations of mathematics, and the influential work of the Bourbaki, certain views called “structuralist ” have become commonplace. ..."
Abstract
 Add to MetaCart
With the rise of multiple geometries in the nineteenth century, and in the last century the rise of abstract algebra, of the axiomatic method, the settheoretic foundations of mathematics, and the influential work of the Bourbaki, certain views called “structuralist ” have become commonplace.
GENERAL PHILOSOPHY OF SCIENCE
"... Everything you always wanted to know about structural realism but were afraid to ask ..."
Abstract
 Add to MetaCart
Everything you always wanted to know about structural realism but were afraid to ask