BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2019/newsitem/10868/5-
--7-August-2019-CUSO-Summer-School-in-Recursion-Th
eory-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)

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