the scandinavian logic society

slideshow 1

Events

Proof Theory: An Intensive MA/PhD Course

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.

32nd Weak Arithmetics Days

June 24 - 26, 2013 - Athens, Greece

http://jaf32.phs.uoa.gr/

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

Workshop on Intensionality in Mathematics

Saturday and Sunday, May 11-12, 2013, Kungshuset, Lundagard
http://www.fil.lu.se/institutionen/anknuten-verksamhet/konferenser/works...

Meeting in honor of Dag Westerståhl on the occasion of his retirement

Friday the 3rd of May, University of Gothenburg
http://flov.gu.se/english/research/westerstahl-meeting

Simplicity: Ideals of Practice in Mathematics & the Arts

2nd Workshop on Groundedness in Semantics and Beyond

Workshop: Necessity, analyticity and the a priori

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.

Three winter tutorials in mathematical logic

Numbers and Truth

Numbers and truth - the philosophy and mathematics of arithmetic and truth
Gothenburg, Sweden, October 19-21, 2012

Pages

 Photo of Mount Akka / Àhkka massif seen from the high plateau Maukojaureh north-east of it by Tobias Radeskog / CC BY 3.0.