Andrzej Indrzejczak: O sekcji Logiki 12. PZF

Można się spodziewać (a może obawiać?), że dalszy rozwój logiki będzie związany przede wszystkim z pracami, które znajdą bezpośrednie zastosowanie w przemyśle komputerowym – przewiduje prof. Andrzej Indrzejczak, przewodniczący sekcji Logiki 12. Zjazdu Filozoficznego.

Czego uczestnicy Zjazdu mogą się spodziewać po obradach sekcji Logiki na 12. Polskim Zjeździe Filozoficznym? Jakie tematy będą się wybijać?

Na podstawie dotychczasowych zgłoszeń (9) mogę powiedzieć, że przeważają tematy z zakresu zastosowań logiki w analizie zagadnień filozoficznych (5) oraz z historii logiki (2). Tylko dwa zgłoszenia dotyczą logiki formalnej sensu stricto, co jest w pełni zrozumiałe, bo istnieje szereg konferencji logicznych, które są przeznaczone do prezentacji takich tematów. Zjazd jest forum, na którym powinny dominować tematy z pogranicza logiki i filozofii.

Swobodnie nawiązując do tematu Debaty Inauguracyjnej Zjazdu, chcielibyśmy zapytać, jak Pan, Panie Profesorze, odpowiedziałby na pytanie: „Co dziś należy uznać za najważniejsze problemy logiki lub najważniejsze dzisiejsze odsłony uniwersalnych problemów z tej dziedziny?”.

Logika współczesna jest dziedziną bardzo niejednorodną i interdyscyplinarną. W dużej mierze zatraciła swój propedeutyczny charakter Arystotelesowskiego organonu, stając się dyscypliną naukową w pełni samodzielną, choć nadal pielęgnuje związki z filozofią. Podstawowe gałęzie logiki współczesnej, takie jak teoria modeli czy teoria dowodu, są związane przede wszystkim z badaniami nad podstawami matematyki. Jeszcze bardziej logika współczesna jest związana obecnie z informatyką i badaniami nad sztuczną inteligencją, w związku z tym bardzo rozwinęły się takie działy jak np. teoria złożoności obliczeniowej, czy opracowywanie narzędzi do formalnej weryfikacji programów oraz automatycznego dowodzenia twierdzeń. Można się spodziewać (a może obawiać?), że dalszy rozwój logiki będzie związany przede wszystkim z pracami, które znajdą bezpośrednie zastosowanie w przemyśle komputerowym, gdyż takie są potrzeby rynku i takie projekty mogą liczyć na wsparcie finansowe.

Andrzej Indrzejczak – profesor filozofii, kierownik katedry logiki i metodologii nauk UŁ. Redaktor „Studia Logica” i „Bulletin of the Section of Logic” oraz organizator (od 2008) cyklicznej konferencji Non-Classical Logics. Autor blisko 100 publikacji w tym książek Natural Deduction, Hybrid Systems and Modal Logics (2010) i Sequents and Trees (2021). Obecnie realizuje ERC advanced grant ExtenDD poświęcony teorii dowodu złożonych wyrażeń nazwowych. Uzależniony od muzyki, filmu i lektur.