PRAGUE GATHERING OF LOGICIANS 2017
Prague Gathering of Logicians
26 - 27 January 2017
Academic Conference Centre
Prague 1, Husova 4
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): Forcing in Set Theory
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): Fraisse classes and Katetov functors
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): Logic of Resources and Capabilities --- a case study in Logics for Social Behaviour
15:00 - 15:30 Coffee break
15:30 - 16:30 Olivier Roy (Universität Bayreuth): Dynamic logic of power and immunity.
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!