Logicy na Światowym Kongresie Parakonsystencji w Meksyku
Tomasz Jarmużek oraz Marek Nasieniewski zostali zaproszeni do wygłoszenia wykładu podczas tegorocznej edycji (siódmj z kolei) Światowego Kongresu Parakonsystencji. Konferencja odbywała się w dniach 02-06.09, w Oaxaca (Meksyk):
https://sites.google.com/view/wcp7/home
Poprzednia edycja kongresu miał miejsce w Toruniu:
https://wcp6.umk.pl/pages/main_page/
Informacje o wcześniejszych edycjach są dostępne pod adresem:
https://paraconsistency.org/
Toruńscy logicy wygłosili referat pod tytułem:
On discussive-like logics obtained by means of certain types of tableau systems
Wystąpienie nawiązywało do pierwszego na świecie systemu logiki parakonsystentnej (tolerującej sprzeczność), które w latach 40-tych zaproponował S. Jaśkowski w Toruniu. W ramach referatu przedstawiono możliwości rozszerzania pierwszych systemów parakonsystentnych poprzez zastosowanie metod tablicowych.
Torunian School of Paraconsistency (TSP) prezentuje pierwsze historycznie podejście do problemu przepełnienia. Inne podejścia prezentowane są przez szkoły: brazylijską, belgijską, australijską, amerykańską i kanadyjską.
Oprócz zaproszonego wykładu, toruńscy logicy wygłosili podczas Kongresu jeszcze dwa referaty. Tomasz Jarmużek (współautorzy: Andrzej Pietruszczak oraz ks. Michał Oleksowicz) zaprezentował referat pod tytułem:
From classical to paraconsistent syllogistic
Z kolei ks. Michał Oleksowicz (współautor: Marek Nasieniewski) zaprezentował referat pod tytułem:
The Torunian approach to paraconsistency: some hints from N. Copernicus’ De Revolutionibus Orbium Coelestium
Referat ten spotkał się z szczególnie dużym zainteresowaniem publiczności. W wystąpieniu autorzy przedstawili ścisłe powiązanie badań Mikołaja Kopernika z problemem parakonsystencji, a tym samym wskazali na wciąż toruńskie, ale jednak jeszcze wcześniejsze niż prace Jaśkowskiego źródła parakonsystencji.