The Plurals, Predicates, and Paradox project together with IFIKK and
CSMN are arranging an intensive M.A./Ph.d course in Proof Theory. The
course will be taught by Jon Litland (IFIKK/PPP) and Ole Hjortland
(LMU/MCMP). The course will take place in Oslo August 26 - September
6, with daily meetings 12:15 to 14:00.
The meeting concerns all traditional topics of the JAF conference series, including
* Provability and Definability in Weak Arithmetics
* Model Theory and Weak Arithmetics
* (Un)decidability of Weak Arithmetics
This workshop is organized jointly by the research projects Models, Modality and Meaning (Arche, St Andrews) and Plurals, Predicates and Paradox (Oslo).
Time and place: Jun 10, 2013 - Jun 11, 2013, Oslo
As Kripke and others have taught us, the concepts of necessity, analyticity, and apriority need to be carefully distinguished. This workshop aims to investigate these notions, their analysis and legitimacy, and their connections, if any.
