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. \;
\nThe Visegrad (V4) countries&mdash\;Czech Republic\, Hungary\, Poland\, and Slovakia&mdash\;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.
\nThe 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. \;
\nProgram:
\nWednesday 3rd September
\n10:00 &ndash\; 10:15 &ndash\; Welcoming session
\n10:15 &ndash\; 11:15 &ndash\; Bjø\;rn Jespersen (V&Scaron\;B-TU Ostrava\, Czech Republic): Vulcanology: descriptive names\, invariant semantics\, and dual predication
\n11:15 &ndash\; 12:15 &ndash\; Roditsa Frangidou (National and Kapodistrian University of Athens\, Greece): The Ability to Differentiate Meanings through Procedural Semantics within the Framework of Transparent Intensional Logic
\n12:15 &ndash\; 13:45 - Lunch
\n13:45 &ndash\; 14:45 &ndash\; Karel &Scaron\;ebela (Palacky University\, Olomouc\, Czech Republic): Bolzano and the Traditional Theory of Concepts
\n14:45 &ndash\; 15:45 &ndash\; Francesco Pisano (University of Naples Federico II\, Italy): Łukasiewicz on Induction as the Inverse of Deduction (1903-1910)
\n15:45 &ndash\; 16:15 &ndash\; Coffee Break
\n16:15 &ndash\; 17:15 &ndash\; Geoff Georgi (West Virginia University\, the United States of America): The Real Lesson for Formal Semantics of Tarski&rsquo\;s Definition of Satisfaction
\nThursday 4th September
\n10:00 &ndash\; 11:00 &ndash\; \;Janusz Ciuciura \;(University of Ló\;dź\, Poland): \;Da Costa-like hierarchies of partially connexive\, strongly paraconsistent logics
\n11:00 &ndash\; 12:00 &ndash\; \;Jakub Krawczyk \;(University of Warsaw\, Poland): \;Jaśkowski&rsquo\;s Criterion revisited
\n12:00 &ndash\; 14:00 &ndash\; Lunch
\n14:00 &ndash\; 15:00 &ndash\; \;Marí\;a Dolores Garcí\;a-Arnaldos \;(Universidad Complutense de Madrid\, Spain): \;The question of correctness
\n15:00 &ndash\; 16:00 &ndash\; \;Michał Zapała \;(Maria Grzegorzewska University\, Poland): \;Near-fields of sets and their utility as models of multi-valued logics
\n16:00 &ndash\; 16:30 &ndash\; Coffee Break
\n16:30 &ndash\; 17:30 &ndash\; \;Matteo de Ceglie \;(School of Advanced Studies IUSS Pavia\, Italy): \;A potentialism interpretation of Vopěnka&rsquo\;s Alternative Set Theory
\nFriday 5th September
\n10:00 &ndash\; 11:00 &ndash\; \;Sebastian Stokłosa \;(Jagiellonian University\, Poland): \;History and Development of Relation Algebras
\n11:00 &ndash\; 12:00 &ndash\; \;Federico Pailos \;(University of Tü\;bingen\, Germany): \;Preserving Suspension of Judgement in a Mixed Setting
\n12:00 &ndash\; 12:10 &ndash\; Closing session
\n ORGANIZER;CN="Zuzana Rybaříková": METHOD:PUBLISH END:VEVENT END:VCALENDAR