Prague Gathering of Logicians

This is another continuation of the annual Prague Gathering of Logicians. The event is organized by the Institute of Philosophy and logicians from both Czech Republic and abroad will participate.
We dedicate this gathering to the memory of Petr Hájek.

Programme

Thursday, January 26

9:00 – 9:30 Opening, Petr Hájek’s obituary
9:30 – 10:30 David Chodounský (Institute of Mathematics CAS)

10:30 – 11:00 Coffee break

11:00 – 11:30 Šárka Stejskalová (Faculty of Arts CUNI): On some axioms deciding the Continuum Hypothesis
11:30 – 12:00 Jan Grebík (Institute of Mathematics CAS)

12:00 – 14:00 Lunch break

14:00 – 15:00 Vítězslav Švejdar (Faculty of Arts CUNI): Rosser sentences and Rosser logics
From 16: Josef Urban (Prague Informatics Seminar – Faculty of Mathematics and Physics CUNI, Malostranské nám. 25, Praha 1)


Friday, January 27

9:00 – 10:00 Miroslav Hanke (Institute of Philosophy CAS): Between logic and mathematics (?) 17th century scholastic syllogistics
10:00 – 11:00 Jaroslav Peregrin (Institute of Philosophy CAS): Logic as a (natural) science

11:00 – 11:30 Coffee break

11:30 – 12:00 Zuzana Rybaříková (University of West Bohemia): The Reconstruction of A. N. Prior’s Ontology
12:00 – 12:30 Derek von Barandy (Faculty of Arts CUNI): Individual Essentialism and Transparent Intensional Logic

12:30 – 14:00 Lunch break

14:00 – 15:00 Marta Bílková (Faculty of Arts CUNI)

15:00 – 15:30 Coffee break

15:30 – 16:30 Oliver Roy (Universität Bayreuth): Group Knowledge for Non-Normal Reasoners

16:30 – 17:00 Coffee break

17:00 – 17:30 Tomáš Lávička (Faculty of Arts CUNI): Modal logics: Topological interpretation
17:30 – 18:00 Pavel Arazim(Institute of Philosophy CAS): Dynamics of change in logic

After the programme a banquet begins at 19:00.

Program Comittee

Carles Noguera (Institute of Information Theory and Automation CAS) – chair
Štěpán Holub (Faculty of Mathematics and Physics CUNI)
Radek Honzík (Faculty of Arts and Letters CUNI)
Vít Punčochář (Institute of Philosophy CAS)

Organizing Comittee

Ondrej Majer (Institute of Philosophy CAS)
Pavel Arazim (Institute of Philosophy CAS)

Everyone interested in logic is welcome to come and take part in the discussions!

Registration

If you are interested in attending, please register at: scs@flu.cas.cz