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.
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.
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)
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!
If you are interested in attending, please register at: firstname.lastname@example.org