Hierarchies Ontological and Ideological

Oystein Linnebo, Agustin Rayo

Research output: Contribution to journalArticle

26 Citations (Scopus)

Abstract

Gödel claimed that Zermelo-Fraenkel set theory is ‘what becomes of the theory of types if certain superfluous restrictions are removed’. The aim of this paper is to develop a clearer understanding of Gödel's remark, and of the surrounding philosophical terrain. In connection with this, we discuss some technical issues concerning infinitary type theories and the programme of developing the semantics for higher-order languages in other higher-order languages.
Original languageEnglish
Pages (from-to)269-308
Number of pages40
JournalMind
Volume121
Issue number482
DOIs
Publication statusPublished - Apr 2012

Fingerprint

Ontological
Language
Zermelo
Set Theory

Cite this

Linnebo, O., & Rayo, A. (2012). Hierarchies Ontological and Ideological. Mind, 121(482), 269-308. https://doi.org/10.1093/mind/fzs050

Hierarchies Ontological and Ideological. / Linnebo, Oystein; Rayo, Agustin.

In: Mind, Vol. 121, No. 482, 04.2012, p. 269-308.

Research output: Contribution to journalArticle

Linnebo, O & Rayo, A 2012, 'Hierarchies Ontological and Ideological', Mind, vol. 121, no. 482, pp. 269-308. https://doi.org/10.1093/mind/fzs050
Linnebo, Oystein ; Rayo, Agustin. / Hierarchies Ontological and Ideological. In: Mind. 2012 ; Vol. 121, No. 482. pp. 269-308.
@article{85a7ee96ec6b474faef8ecc376c21dca,
title = "Hierarchies Ontological and Ideological",
abstract = "G{\"o}del claimed that Zermelo-Fraenkel set theory is ‘what becomes of the theory of types if certain superfluous restrictions are removed’. The aim of this paper is to develop a clearer understanding of G{\"o}del's remark, and of the surrounding philosophical terrain. In connection with this, we discuss some technical issues concerning infinitary type theories and the programme of developing the semantics for higher-order languages in other higher-order languages.",
author = "Oystein Linnebo and Agustin Rayo",
year = "2012",
month = "4",
doi = "10.1093/mind/fzs050",
language = "English",
volume = "121",
pages = "269--308",
journal = "Mind",
issn = "0026-4423",
publisher = "OXFORD UNIV PRESS",
number = "482",

}

TY - JOUR

T1 - Hierarchies Ontological and Ideological

AU - Linnebo, Oystein

AU - Rayo, Agustin

PY - 2012/4

Y1 - 2012/4

N2 - Gödel claimed that Zermelo-Fraenkel set theory is ‘what becomes of the theory of types if certain superfluous restrictions are removed’. The aim of this paper is to develop a clearer understanding of Gödel's remark, and of the surrounding philosophical terrain. In connection with this, we discuss some technical issues concerning infinitary type theories and the programme of developing the semantics for higher-order languages in other higher-order languages.

AB - Gödel claimed that Zermelo-Fraenkel set theory is ‘what becomes of the theory of types if certain superfluous restrictions are removed’. The aim of this paper is to develop a clearer understanding of Gödel's remark, and of the surrounding philosophical terrain. In connection with this, we discuss some technical issues concerning infinitary type theories and the programme of developing the semantics for higher-order languages in other higher-order languages.

U2 - 10.1093/mind/fzs050

DO - 10.1093/mind/fzs050

M3 - Article

VL - 121

SP - 269

EP - 308

JO - Mind

JF - Mind

SN - 0026-4423

IS - 482

ER -