Katedra Logiki KUL organizuje w dniu 21 listopada 2017 r. w Katolickim Uniwersytecie Lubelskim Jana Pawła II w Lublinie IX Jesienną Konferencję Logiki pt. Logika a filozofia. Celem konferencji jest analiza problemów użyteczności logiki (systemów logiki, metod stosowanych w logice, rezultatów badawczych) dla analizy pojęć filozoficznych, funkcji jakie pełnią te pojęcia w filozofii, a także filozoficznych założeń logiki.

Do udziału w Konferencji zapraszamy logików, filozofów i językoznawców.

Logika a filozofia
IX Jesienna Konferencja Logiki

Lublin, 21 listopada 2017
Katolicki Uniwersytet Lubelski Jana Pawła II
Centrum Transferu Wiedzy | sala CTW219

Program

• 9.00 Otwarcie konferencji: dr hab. Monika Walczak, prof. KUL, Dziekan Wydziału Filozofii

Sesja I

• 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.30 Przerwa na kawę

Sesja II

• 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
  13.30 Obiad

Sesja III

• 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.15 Przerwa na kawę

Sesja IV

• 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), O prawnych zastosowaniach i implikacjach logical argumentation frameworks
  17.50 Zakończenie konferencji