[MaFLa] Sean Walsh előadása

[Szabó Gábor]

Kedves Kollégák,

az MTA BTK Filozófiai Intézet Tudománytörténet és tudományfilozófia
Kutatócsoportja szeretettel hívja önöket a következő előadására:

Sean Walsh (University of California, Irvine): "The Constructible
Universe, the Naive Conception, and Intensional Logic"

This paper studies the relationship between three foundational
systems: Gödel's Constructible Universe of Sets, the naive conception of
set found in consistent fragments of Frege's Grundgesetze, and the
intensional logic of Church's Logic of Sense and Denotation. One basic
result shows how to use the constructible sets to build models of fragments
of Frege's Grundgesetze from which one can recover these very constructible
sets using Frege's definition of membership. This result also allows us to
solve the related consistency problem and joint consistency problems for
abstraction principles with limited amounts of comprehension. In addition,
we are able to prove the theory consisting of all these abstraction
principles with limited amounts of comprehension interprets a fragment of
set theory when coupled with a form of global choice. Another basic aim of
this paper is to show how to "factor' these results via a consistent
fragment of Church's Logic of Sense and Denotation: so one may use the
constructible sets to build models of Church's Logic of Sense and
Denotation, from which one may then define models of the consistent
fragments of Frege's Grundgesetze.

Az előadás időpontja és helyszíne:
2014. február 6., csütörtök, 16.00 óra,
1014 Budapest, Országház u. 30., Pepita terem.

Üdvözlettel,
Szabó Gábor