Results 1 
7 of
7
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 the ..."
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...
unknown title
, 2009
"... The significance of Nathanson’s boss factor in legitimising Aristotle’s particularisation Why we need to revise current interpretations of Cantor’s, Gödel’s, Turing’s and Tarski’s formal reasoning ..."
Abstract
 Add to MetaCart
The significance of Nathanson’s boss factor in legitimising Aristotle’s particularisation Why we need to revise current interpretations of Cantor’s, Gödel’s, Turing’s and Tarski’s formal reasoning
unknown title
, 2009
"... The significance of Nathanson’s boss factor in legitimising Aristotle’s particularisation Why we need to revise current interpretations of Cantor’s, Gödel’s, Turing’s and Tarski’s formal reasoning ..."
Abstract
 Add to MetaCart
The significance of Nathanson’s boss factor in legitimising Aristotle’s particularisation Why we need to revise current interpretations of Cantor’s, Gödel’s, Turing’s and Tarski’s formal reasoning
Hiroakira Ono Substructural Logics and Residuated Lattices
"... Abstract. This is an introductory survey of substructural logics and of residuated lattices which are algebraic structures for substructural logics. Our survey starts from sequent systems for basic substructural logics and develops the proof theory of them. Then, residuated lattices are introduced a ..."
Abstract
 Add to MetaCart
Abstract. This is an introductory survey of substructural logics and of residuated lattices which are algebraic structures for substructural logics. Our survey starts from sequent systems for basic substructural logics and develops the proof theory of them. Then, residuated lattices are introduced as algebraic structures for substructural logics,
unknown title
, 2009
"... The significance of Nathanson’s boss factor in legitimising Aristotle’s particularisation Why we need to revise current interpretations of Cantor’s, Gödel’s, Turing’s and Tarski’s formal reasoning ..."
Abstract
 Add to MetaCart
The significance of Nathanson’s boss factor in legitimising Aristotle’s particularisation Why we need to revise current interpretations of Cantor’s, Gödel’s, Turing’s and Tarski’s formal reasoning