1841515906

KATOLICKI

UNIWERSYTET

LUBELSKI

1910

WYDZIAŁ FILOZOFII

^\|21 listopada 2017 Ha ™ Centrum Transferu Wiedzy Katolicki Uniwersytet Lube

www.kul.pl/logiki

9.00    Otwarcie konferencji: dr hab. Monika Walczak, prof. KUL,

Dziekan Wydziału Filozofii    i C _k

9.15    J. Zygmunt (UWr), Adolf Lindenbaum o przestrzeniach metrycznych i rozkładach

10.15    P. Garbacz, R. Trypuz (KUL), Reprezentacja zmian

w pewnych rozstrzygalnych fragmentach logiki pierwszego rzędu

11.00    A. Biłat (PW), Ontologika znaczeń łącznika „jest"

11.45. R. Palczewski (UMK), Negacja jako operator metajęzykowy

12.15    P. Łukowski (UŁ), Spójnik implikacji treściowej a deontyczność

12.45    T. Jarmużek (UMK). Logika epistemiczna zdefiniowana przez semantykę logiki wiążącej

14.45    W. Wójcik (PAN), Jan Śleszyński jako logik i historyk logiki

15.15    Z. Pawlak (WSD Włocławek), Logika jako przedmiot filozoficznych badań ks. Iwanickiego

15.45    Z. Orbik (PŚ), Próba analizy pojęcia rozumienia

9.00    Otwarcie konferencji: dr hab. Monika Walczak, prof. KUL,

Dziekan Wydziału Filozofii    j C .

9.15    J. Zygmunt (UWr), Adolf Lindenbaum o przestrzeniach metrycznych i rozkładach

10.15    P. Garbacz, R. Trypuz (KUL), Reprezentacja zmian

w pewnych rozstrzygalnych fragmentach logiki pierwszego rzędu

11.00    A. Biłat (PW), Ontologika znaczeń łącznika „jest"

11.45. R. Palczewski (UMK), Negacja jako operator metajęzykowy

12.15    P. Łukowski (UŁ), Spójnik implikacji treściowej a deontyczność

12.45    T. Jarmużek (UMK). Logika epistemiczna zdefiniowana przez semantykę logiki wiążącej

14.45    W. Wójcik (PAN). Jan Śleszyński jako logik i historyk logiki

15.15    Z. Pawlak (WSD Włocławek). Logika jako przedmiot filozoficznych badań ks. Iwanickiego

15.45    Z. Orbik (PŚ), Próba analizy pojęcia rozumienia

16.30 T. Witczak (UŚ), Macierze i krakowiany - jak ożywić tabele prawdziwościowe?

17.00    A. Proszewska (UJ), Czy językowa nieredukowalność wystarcza? Logiczno-językowe aspekty sporu między A-teoriami i B-teoriami

17.25 J. Naumowicz (UW), 0 prawnych zastosowaniach i implikacjach logical argumentation frameworks

Dinjpkt Anurzcj Zykubnk