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.
Our aim at present is to develop this website for the purpose of sharing information on all matters related to logic in the Scandinavian countries.
We wish the Society to construe the concept of logic as broadly as possible, including the fields computer science, philosophy, mathematics and linguistics.
Signup for membership
Please signup for membership of the Scandinavian Logic Society. Fill out the form at the link below.