You are here: Home > Archiwum > XIV Konferencja Zastosowania Logiki w Filozofii i Podstawach Matematyki
XIV Konferencja Zastosowania Logiki w Filozofii i Podstawach Matematyki
20-24 kwietnia 2009
Szklarska Poręba
Komitet Organizacyjny:
- Janusz Czelakowski, Uniwersytet Opolski
- Tomasz Połacik, Uniwersytet Śląski
- Marcin Selinger, Uniwersytet Wrocławski
Program
Poniedziałek, 20 kwietnia 2009
Od godziny 14:00 do wieczora rejestracja uczestników w Ośrodku Konferencyjno-Szkoleniowym MSWiA „Olimp” w Szklarskiej Porębie, ul. 1 Maja 62.
Wtorek, 21 kwietnia 2009
8:55 - Otwarcie konferencji
Sesja przedpołudniowa
9:00 - Marek Nowak, Teoria aktów mowy (1).
10:00 - Jan Woleński, Pragmatyka w teorii modeli.
10:40 - Przerwa
11:00 - Wojciech Suchoń, Mówi skacząc po górach, przeskakując poziomy.
11:50 - Jerzy Pogonowski, Sen Motyla. Uwagi o starożytnej logice chińskiej.
12:30 - Elżbieta Magner, Koniunkcja w ekstensjonalnej logice, a spójnik międzyzdaniowy „i” w języku naturalnym.
Sesja popołudniowa
15:00 - Lidia Tendera, Zagadnienia teorii złożoności obliczeniowej (1).
15:50 - Izabela Bondecka-Krzykowska, O związkach informatyki z matematyką.
16:30 - Przerwa
17:00 - Janusz Czelakowski, Zermelo, a twierdzenia o punkcie stałym.
17:40 - Joanna Grygiel, O pewnej charakteryzacji krat dystrybutywnych.
18:20 - Marek Nasieniewski, Andrzej Pietruszczak, Nowe aksjomatyzacje najsłabszej regularnej modalnej logiki definiującej dyskusyjną logikę Jaśkowskiego D2.
Środa, 22 kwietnia 2009
Sesja przedpołudniowa
9:00 – Marek Nowak, Teoria aktów mowy (2).
9:50 – Rafał Urbaniak, Zasady abstrakcji a istnienie.
10:30 - Przerwa
11:00 – Lidia Tendera, Zagadnienia teorii złożoności obliczeniowej (2).
11:50 - Mirosława Kołowska-Gawiejnowicz, Some remarks on the Lambek-Grishin Calculus.
12:20 - Wojciech Dzik, Reguły dopuszczalne i algebry Lindenbauma-Tarskiego.
Popołudnie wolne
Sesja przedpołudniowa (Morning session)
9:00 – Tomasz Skura, On Refutation Theories.
9:30 - Robert Sochacki, Aksjomaty odrzucone dla czysto implikacyjnych wielowartościowych logik Łukaszewicza w wersji inwariantnej
10:00 - Edward Bryniarski, Jacek Waldmajer, Urszula Wybraniec-Skardowska, O logice epistemicznej dla adekwatności reprezentacji wiedzy.
10:30 - Przerwa
11:00 – Marek Nowak, Teoria aktów mowy (3).
11:45 – Marcin Selinger, Ogólna forma argumentu.
12:20 - Dominik Kowalski, Pragmatyczne interpretacje modyfikatorów.
Sesja popołudniowa
15:00 – Tomasz Połacik, Podmodele modeli Kripkego.
15:40 - Zofia Kostrzycka, O niezupełnych w sensie Kripkego rozszerzeniach logiki KTB.
16:10 - Anna Bień, Cykle w grafach równań.
16:40 – Przerwa
17:00 - Piotr Błaszczyk, O punkcie, w którym Achilles dogania żółwia. Repryza.
17:40 – Jacek Hawranek, Paradoks stosu w ujęciu Tadeusza Kubińskiego.
18:20 - Marek Magdziak, Paradoks kłamcy – dwie propozycje rozwiązania.
Piątek, 24 kwietnia 2009
9:00 – Piotr Błaszczyk, Euklides i Arystoteles o kontinuum (30 min.)
9:30 – Eugeniusz Wojciechowski, Identyczność w ontologii elementarnej.
10 00 - Elżbieta Magner, Koniunkcja w ekstensjonalnej logice, a spójnik międzyzdaniowy „i” w języku naturalnym.
10:30 - Przerwa
11:00 – Grażyna Solecka, Definicje perswazyjne.
11:30 – Michał Tyburski, Formalizacja rozumowania przyczynowo-skutkowego w logice.
12:10 – Krzysztof Wieczorek, Skąd się biorą błędy w rozumowaniach? Teoria modeli mentalnych.
12:50 – Zamknięcie konferencji
