Katolicki Uniwersytet Lubelski Jana Pawła II, Al. Racławickie 14, s
Transkrypt
Katolicki Uniwersytet Lubelski Jana Pawła II, Al. Racławickie 14, s
VIII Jesienna Konferencja Logiki Logika a modalność Katolicki Uniwersytet Lubelski Jana Pawła II, Al. Racławickie 14, s. CTW219 22 listopada 2016 r (wtorek) 9.15 Otwarcie konferencji - Prorektor KUL ds Nauki i Kontaktów Międzynarodowych o. prof. Marcin Tkaczyk Sesja I 9.30 Robert Trypuz, Piotr Kulicki (KUL), Modalności deontyczne dotyczące działań i stanów rzeczy 10.00 Kordula Świętorzecka (UKSW), O pewnym rozszerzeniu meinongowskiej logiki Zalty. Fragment ontologii Bolzana 10.45 Marek Porwolik (UKSW), Powszechniki i sposób ich istnienia według B. Sobocińskiego 11.05 Dyskusja 11.30 Przerwa na kawę Sesja II 11.45 Andrzej Biłat (PW), Logiczna teoria bytu i czasu 12.15 Tomasz Bigaj (UW), Identyfikowalność przedmiotów w światach możliwych 13.00 Dyskusja 13.15. Obiad Sesja III 14.30 Tomasz Jarmużek, Mateusz Klonowski (UMK), Pewne rozszerzenia logiki wiążącej RF jako logiki implikacji kauzalnej 14.55 Mateusz Klonowski (UMK), Dwa ujęcia relewancji – zestawienie logiki wiążącej S z logikami relewantnymi B i R 15.15 Eugeniusz Wojciechowski (UR Kraków), Sylogistyczny fragment bezkwantyfikatorowego rachunku nazw 15.40 Dyskusja 16.00 Przerwa na kawę Sesja IV 16.15. Marek Lechniak (KUL), Jak żyć wśród modalności? Uwagi na marginesie ontyki modalności J. Perzanowskiego 16.35 Anna Kozanecka-Dymek (KUL), Tense logic: związki z logiką modalną i zastosowania 16.55 Krzysztof Aleksander Krawczyk (UMK), Pojęcie świata niemożliwego w interpretacji epistemicznej. Analiza ontyczna modelu Rantali 17.10 Dyskusja 17.25 Przerwa na kawę Sesja V 17.40 Lidia Typańska, (UAM), Logika ocen A. A. Iwina 17.55 Michael Musielewicz (KUL), Your May is My Ought: Exploring How Obligations Arise from Permissions 18.10 Krzysztof Jaworski (USz), Zastosowania teorii mnogości do modelowania pewnego rodzaju modalności 18.25 Dyskusja 18.40 Zakończenie konferencji