Logic in the Visegrad countries

As part of the research project Analytic Philosophy in Visegrad Countries, the University of Ostrava is pleased to announce a three-day workshop titled "Logic in Visegrad Countries", focusing on the historical and contemporary development of logic and logical philosophy in the Czech Republic, Hungary, Poland, and Slovakia.  

The Visegrad (V4) countries—Czech Republic, Hungary, Poland, and Slovakia—have a rich tradition in the field of logic, marked by significant contributions of such personalities as Jan Łukasiewicz, Alfred Tarski, Stanisław Leśniewski, Roman Suszko, Pavel Tichý, Pavel Cmorej, Andrzej Grzegorczyk or Jaroslav Peregrin. This workshop aims to highlight and celebrate these contributions as well as ongoing work in logic done in V4 region, fostering a deeper understanding and appreciation of the logical theories and methodologies developed in the V4 region.

The workshop is co-financed by the governments of Czechia, Hungary, Poland and Slovakia through Visegrad Grants from the International Visegrad Fund. The mission of the fund is to advance ideas for sustainable regional cooperation in Central Europe. 

Program:

Wednesday 3rd September

10:00 – 10:15 – Welcoming session

10:15 – 11:15 – Bjørn Jespersen (VŠB-TU Ostrava, Czech Republic): Vulcanology: descriptive names, invariant semantics, and dual predication

11:15 – 12:15 – Roditsa Frangidou (National and Kapodistrian University of Athens, Greece): The Ability to Differentiate Meanings through Procedural Semantics within the Framework of Transparent Intensional Logic

12:15 – 13:45 - Lunch

13:45 – 14:45 – Karel Šebela (Palacky University, Olomouc, Czech Republic): Bolzano and the Traditional Theory of Concepts

14:45 – 15:45 – Francesco Pisano (University of Naples Federico II, Italy): Łukasiewicz on Induction as the Inverse of Deduction (1903-1910)

15:45 – 16:15 – Coffee Break

16:15 – 17:15 – Geoff Georgi (West Virginia University, the United States of America): The Real Lesson for Formal Semantics of Tarski’s Definition of Satisfaction

Thursday 4th September

10:00 – 11:00 – Janusz Ciuciura (University of Lódź, Poland): Da Costa-like hierarchies of partially connexive, strongly paraconsistent logics

11:00 – 12:00 – Jakub Krawczyk (University of Warsaw, Poland): Jaśkowski’s Criterion revisited

12:00 – 14:00 – Lunch

14:00 – 15:00 – María Dolores García-Arnaldos (Universidad Complutense de Madrid, Spain): The question of correctness

15:00 – 16:00 – Michał Zapała (Maria Grzegorzewska University, Poland): Near-fields of sets and their utility as models of multi-valued logics

16:00 – 16:30 – Coffee Break

16:30 – 17:30 – Matteo de Ceglie (School of Advanced Studies IUSS Pavia, Italy): A potentialism interpretation of Vopěnka’s Alternative Set Theory

Friday 5th September

10:00 – 11:00 – Sebastian Stokłosa (Jagiellonian University, Poland): History and Development of Relation Algebras

11:00 – 12:00 – Federico Pailos (University of Tübingen, Germany): Preserving Suspension of Judgement in a Mixed Setting

12:00 – 12:10 – Closing session