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.

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!


If you are interested in attending, please register at: Tato e-mailová adresa je chráněna před spamboty. Pro její zobrazení musíte mít povolen Javascript.