You are here: Home > Archiwum > XIII Konferencja Zastosowania Logiki w Filozofii i Podstawach Matematyki
XIII Konferencja Zastosowania Logiki w Filozofii i Podstawach Matematyki
5-9 maja 2008
Szklarska Poręba
Komitet Organizacyjny:
- Janusz Czelakowski, Uniwersytet Opolski
- Tomasz Połacik, Uniwersytet Śląski
- Jan Zygmunt, Uniwersytet Wrocławski
Program
Poniedziałek, 5 maja 2008
Od godziny 14:00 do wieczora rejestracja uczestników w ośrodku „Radość” w Szklarskiej Porębie, ul. Muzealna 2/5.
Wtorek, 6 maja 2008
8:55 – Otwarcie konferencji
Sesja przedpołudniowa
Uwaga. Symbol (E) przy nazwisku referenta znaczy, że (w razie obecności zainteresowanych gości zagranicznych) referat będzie przedstawiony w języku angielskim. Symbol (P) znaczy, że referat będzie zaprezentowany wyłącznie w języku polskim. Ponadto, Przerwa = przerwa na kawę, herbatę + ciasteczko.
9:00 – Jerzy Perzanowski (P), Melioracja ontologiczna. I.
10:30 - Przerwa
11:00 – Piotr Błaszczyk (P), Fenomenologia tekstu.
11:45 – Magdalena Górna (P), Rekonstrukcja logiczna jako narzędzie metodologii humanistyki. Możliwe zastosowania na przykładzie prac Jerzego Kmity.
12:25 – Piotr Leśniewski (E), Context-sensitive dialogue systems.
Sesja popołudniowa
15:00 – Marek Magdziak (P), Obiekty i sytuacje — logiczna analiza pewnych kwestii metodologicznych..
15:50 – Dominik Kowalski (P), Metody logiki praktycznej.
16:30 – Przerwa
17:00 – Michał Sochański (P), Relacje twierdzenia Gödela do logik parakonsystentnych (w świetle programu Grahama Priesta).
17:40 – Roman Tuziak (P), Odcienie parakonsystencji.
18:20 – Tomasz Furmanowski (P), O własności Bernsteina.
Środa, 7 maja 2008
Sesja przedpołudniowa
9:00 – Jerzy Perzanowski (P), Melioracja ontologiczna. II.
10:30 - Przerwa
11:00 – Adam Kolany (E), BREAKUP algorithm in the general setting.
11:40 – Zofia Kostrzycka (E), On non-compact logics in NEXT (T2).
12:20 -Łukasz Lipski (P), Narzędzia logiki nieformalnej a notacja dowodu matematycznego (Informal logic and its appliances in proof notation).
Popołudnie wolne
Czwartek, 8 maja 2008
Sesja przedpołudniowa
9:00 – Matthias Baaz (E), Towards a Proof Theory of Analogical Reasoning.
9:45 – Tomasz Połacik (E), Representing Kripke models in classical structures.
10:30 - Przerwa
11:00 – Wojciech Dzik (E), Non-Fregean Logics and Substructural Logics.
11:45 – Adam Trybus (E), Merotopological theories of space.
12:20 – Sławomir Sikora (P), Anviks.iki — najstarsza logika kultury hinduskiej.
Sesja popołudniowa
15:00 – Ryszard Wójcicki i Jacek Malinowski (P), Projekt ‘Forum Studia Philosophica’.
15:40 – Piotr Błaszczyk (P), O punkcie, w którym Achilles dogania żółwia.
16:30 – Przerwa
17:00 – Victoria Kamasa (P), Gimnastyka liturgiczna. Komunikowanie pozawerbalne w liturgii mszalnej w perspektywie goffmanowskiej.
17:40 – Michał Tyburski (P), Cyrkumskrypcja. Formalizacja rozumowania niemonotonicznego.
Piątek, 9 maja 2008
Sesja przedpołudniowa
9:00 – Jerzy Pogonowski (P), Reguła rezolucji i tablice semantyczne w ‘Symbolic Logic’ Lewisa Carolla (Lewis Caroll’s Resolution and Tableau).
9:50 – Eugeniusz Wojciechowski (P), Równoważność, implikacja i implikacja odwrotna w definiowaniu (Equivalence, implication and reverse implication in defining).
10:30 - Przerwa
11:00 – Krzysztof Szymanek (P), Jak ocenić argumenty z analogii.
11:40 – Janusz Czelakowski (E), Categoricity of set theory.
12:30 – Zamknięcie konferencji
