#### Filter Results:

- Full text PDF available (8)

#### Publication Year

2006

2014

- This year (0)
- Last 5 years (3)
- Last 10 years (6)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

K urt Gödel (1906–1978), with his work on the constructible universe L, established the relative consistency of the Axiom of Choice and the Continuum Hypothesis. More broadly, he secured the cumulative hierarchy view of the universe of sets and ensured the ascendancy of first-order logic as the framework for set theory. Gödel thereby transformed set theory… (More)

- ROBERT EAMON BRISCOE, Zeynep Çelik, +7 authors James Conant
- 2007

In this paper, I critically assess the enactive account of visual perception recently defended by Alva Noë (2004). I argue inter alia that the enactive account falsely identifies an object’s apparent shape with its 2D perspectival shape; that it mistakenly assimilates visual shape perception and volumetric object recognition; and that it seriously… (More)

- Peter Aczel, Mark van Atten, +19 authors Jouko Väänänen
- 2009

Peter Aczel: Predicate logic over a type setup There are a variety of closely related notions aimed at capturing the abstract structure of type dependency in the syntax and semantics of dependent type theories. Examples of such notions are category with attributes, category with families, category with display maps, contextual category, comprehension… (More)

- Juliet Floyd, Hao Wang
- 2012

No account of Hao Wang’s philosophy can be complete without discussion of his serious engagement with Wittgenstein. This began in the period 1953-1958, immediately following the publication of Philosophical Investigations [1953] and Remarks on the Foundations of Mathematics [1956], and culminated in a second phase of engagement from 1981 to 1995. It closed… (More)

- Juliet Floyd
- Epistemology versus Ontology
- 2012

1Thanks are due to Per Martin-Löf and the organizers of the Swedish Collegium for Advanced Studies (SCAS) conference in his honor in Uppsala, May 2009. The audience, especially the editors of the present volume, created a stimulating occasion without which this essay would not have been written. Helpful remarks were given to me there by Göran Sundholm,… (More)

Gödel’s work from the beginning to his first substantive explorations in philosophy would to a significant extent be contextualized by, reactive to, and reflective of, Russell’s. Russell was the towering figure who set the stage for analytic philosophy in the first two decades of the 20th Century; Gödel insisted that his mathematical work was substantively… (More)

K urt Gödel (1906–1978), with his work on the constructible universe L, established the relative consistency of the Axiom of Choice and the Continuum Hypothesis. More broadly, he secured the cumulative hierarchy view of the universe of sets and ensured the ascendancy of first-order logic as the framework for set theory. Gödel thereby transformed set theory… (More)

- ROBERT BRISCOE, Avner Baz, +8 authors Gareth Evans
- 2007

Neuropsychological findings used to motivate the “two visual systems” hypothesis have been taken to endanger a pair of widely accepted claims about spatial representation in visual experience. The first is the claim that visual experience represents 3-D space around the perceiver using an egocentric frame of reference. The second is the claim that there is… (More)

- ‹
- 1
- ›