BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Conferences/newsitem/108
68/5---7-August-2019-CUSO-Summer-School-in-Recursi
on-Theory-Philosophy-Geneva-Switzerland
DTSTAMP:20190509T162758
SUMMARY:CUSO Summer School in Recursion Theory & P
hilosophy, Geneva, Switzerland
DTSTART;VALUE=DATE:20190805
DTEND;VALUE=DATE:20190807
LOCATION:Geneva, Switzerland
DESCRIPTION:The summer school aims at broadening t
he logical arsenal of formal philosophers and PhD
students in philosophy. The courses will present s
ome serious post-WWII logic for non-specialists. T
he event is inspired W. Hart's book "The evolution
of Logic" and his presentation of what he called
the four pillars of mathematical logic to a broad
philosophical audience: constructibility, forcing,
the priority method and Morley's theorem. The sc
hool takes place over a period of 3 days August 5-
7 at the University of Geneva. There will be two 2
-hours lectures per day, in the morning. There wil
l be a facultative discussion session on one of th
e afternoons. The titles of the minicourses are:
1) The priority method (Denis Hirschfeldt, Univers
ity of Chicago) 2) Definable sets and ramified-ty
pes: a thread through the foundations of mathemati
cs (Harold Hodes, Cornell University)
X-ALT-DESC;FMTTYPE=text/html:\n The summer sch
ool aims at broadening the logical arsenal of form
al philosophers and PhD students in philosophy. Th
e courses will present some serious post-WWII logi
c for non-specialists. The event is inspired W. Ha
rt's book "The evolution of Logic" and h
is presentation of what he called the four pillars
of mathematical logic to a broad philosophical au
dience: constructibility, forcing, the priority me
thod and Morley's theorem.

\n\n The school
takes place over a period of 3 days August 5-7 at
the University of Geneva. There will be two 2-hour
s lectures per day, in the morning. There will be
a facultative discussion session on one of the aft
ernoons. The titles of the minicourses are:

\n
1) The priority method (Denis Hirschfeldt, Univer
sity of Chicago)

\n 2) Definable sets and rami
fied-types: a thread through the foundations of ma
thematics (Harold Hodes, Cornell University)

\n
URL:http://www.recursionandphilosophy.com/
CONTACT:joshua.babic at unige.ch
END:VEVENT
END:VCALENDAR