Program
XXVII Konferencja
Zastosowania Logiki w Filozofii i Podstawach Matematyki
Szklarska Poręba, 6-10 maja 2024
Program
Uwaga. Symbol (EN) przy nazwisku referenta znaczy, że (w razie obecności gości zagranicznych) referat będzie przedstawiony w języku angielskim. Symbol (PL) znaczy, że referat będzie zaprezentowany w języku polskim.
Przerwa = przerwa na kawę, herbatę + ciasteczko.
Poniedziałek, 6 maja 2024
Od godziny 14:00 do wieczora rejestracja uczestników w Ośrodku „Rzemieślnik” w Szklarskiej Porębie, ul. Górna 21.
1900 - Kolacja
Wtorek, 7 maja 2024
855 - Otwarcie konferencji
Sesja przedpołudniowa
900 - Manuel António Martins (EN), Modal Structures over Lattices (keynote lecture).
1000 - Andrzej Indrzejczak (EN), When Epsilon Meets Lambda: Extended Leśniewski's Ontology.
1030 - Przerwa
1100 - “Janusz Czelakowski on Logical Consequence” by J. Malinowski and R. Palczewski—book presentation (EN).
1120 - Janusz Czelakowski (EN), Goldbach’s Conjecture Is True.
1200 - Tomasz Jarmużek, Michał Oleksowicz (EN), Generalization of Classical Syllogistic: Applications and Tableaux.
1230 - Andrzej Pietruszczak (PL, slides in EN), The Calculus of Names—The Legacy of Jan Łukasiewicz.
1300 - Obiad
Sesja popołudniowa
1500 - Elżbieta Magner (PL), A Few Comments about the Connective "Aczkolwiek" in Polish.
1530 - Rafał Palczewski (PL), Acceptance and the Weak Assertions.
1600 - Anna Wójtowicz, Krzysztof Wójtowicz (PL) The Conditional Connective from the Point of View of Inferentialism.
1630 - Przerwa
1700 - Anna Wójtowicz, Krzysztof Wójtowicz (EN), Credence of Conditionals—A Network Approach.
1730 - Zofia Hałęza (EN), Daniela Gromska’s Influence on Polish Philosophy.
1800 - Jacek Malinowski, Adam Trybus (EN), History of Studia Logica.
1900 - Kolacja
Środa, 8 maja 2024
Sesja przedpołudniowa
900 - Andrzej Wiśniewski (EN), Knowledge in View of Multimodal Epistemic Logics (keynote lecture).
1000 - Michał Zawidzki (EN), Complexity-Optimal Decision Procedure for Modal Logic with Identity.
1030 - Przerwa
1100 - Urszula Wybraniec-Skardowska (EN), A Solution to the Problem of the Meaning of ‘Meaning’.
1130 - Przemysław A. Wałęga (EN), Referring to Modal Worlds via Definite Descriptions.
1200 - Szymon Chlebowski (EN), Some Extensions of Intuitionistic Logic with Identity.
1230 - Adam Kolany (EN), The General Recursion Theorem with a Bunch of Quite Simple Examples.
1300 - Obiad
Popołudnie wolne
2000 - Uroczysta kolacja
Czwartek, 9 maja 2024
Sesja przedpołudniowa
900 - Andrzej Wiśniewski (EN), Paradoxes of Multimodal Epistemic Logic: Doxastic Infallibility, Doxastic Omnipotence, and More (keynote lecture).
1000 - Tomasz Jarmużek, Michał Oleksowicz (EN), Blocking Fitch’s Paradox: A Three-Valued Approach.
1030 - Przerwa
1100 - Ivo Pezlar (EN), A Logic of Judgmental Existence and Its Relation to Proof Irrelevance.
1130 - Kamil Cekiera (EN), Conceptual Engineering and Semantic Holism.
1200 - Nina Kolasa (EN), Temporal Mereology without the Notion of Time.
1230 - Antoni Antoszek (EN), Representing Everyday Predictions in the Thin Red Line Semantics.
1300 - Obiad
Sesja popołudniowa
1500 - Marek Magdziak (PL), Existence, Reality and Fiction.
1530 - Irena Trzcieniecka-Schneider (PL), Some Formal Aspects of the Concept of Stupidity.
1600 - Marcin Selinger (PL), The Principle of Proportionality in Research on Argument Strength.
1630 - Przerwa
1700 - Eugeniusz Wojciechowski (PL), On Disposition Terms.
1730 - Paweł Chłosta (PL, slides in EN), The Use of Strict, Binary Algebraic Formulas in Proving the Laws of Propositional Calculus.
1800 - Jacek Malinowski, Adam Trybus (EN), Trends in Logic Conferences—A History.
1900 - Kolacja
Piątek, 10 maja 2024
Sesja przedpołudniowa
900 - Leonard Kupś, Dorota Leszczyńska-Jasion (EN), Hypersequents and the Method of Socratic Proofs for Propositional Linear Temporal Logic.
930 - Andrzej Indrzejczak, Yaroslav Petrukhin (EN), Bisequent Calculi for Neutral Free Logic with Definite Descriptions.
1000 - Patryk Michalczenia (EN), Subnormal Modal Logics and Hyperintensionality.
1030 - Przerwa
1100 - Bartłomiej Uzar (EN), Two Formal Interpretations of Edward Zalta’s Abstract Object Theory. Comparison of Semantics by Scott and by Aczel.
1130 - Kordula Świętorzecka (EN), Gödel’s ‘Ontologisher Beweis’ Enriched. Positiveness and Quantity of Reality.
1200 - Zamknięcie konferencji
1300 - Obiad
