Profesorowie WSIiZ Andrew Schumann i Jerzy Król zaprezentowali swoje najnowsze osiągnięcia badawcze podczas konferencja DIAGRAMS 2026 w Tallinnie. Wydarzenie poświęcone było badaniom nad logicznymi diagramami i ich zastosowaniami w różnych dziedzinach nauki.
Niemonotoniczność i losowość kwantowa
Prestiżowa konferencja DIAGRAMS 2026 odbyła się w dniach 25-28 sierpnia 2026 roku w Tallinnie.
Dr Andrew Schumann, prof. WSIiZ, przedstawił przełomowe badanie pt. „Logic Diagrams for Non-monotonic Relationships”. W pracy tej po raz pierwszy zaproponowano symulacyjne kompleksy jako modele dla rozumowań niemonotonicznych.
Rozwiązanie to umożliwia stworzenie ścisłej teorii modeli dla wnioskowań niemonotonicznych, które dotychczas nie posiadały takiej teorii. Otwiera to szerokie możliwości formalizacji rozumowań niemonotonicznych o dowolnym stopniu złożoności w informatyce i sztucznej inteligencji, stanowiąc istotny krok naprzód w rozwoju logiki stosowanej – wyjaśnia prof. Andrew Schumann.
Dr hab. Jerzy Król, prof. WSIiZ, zaprezentował innowacyjne badanie pt. „Are Graphs, Built on Logical Independence, Capable of Replacing Quantum Thinking?”. Główna teza artykułu brzmi: losowość kwantowa, ujawniająca się w pomiarach, może być całkowicie i wiernie odtworzona z czysto klasycznej niezależności logicznej.
Otwiera to intrygującą perspektywę, że mechanika kwantowa może być – przynajmniej w pewnym zakresie – wyprowadzona z własności klasycznych systemów logicznych. Aby zbadać tę zależność, konstruuje specjalny q-digraf (skierowany graf kwantowy), którego węzłami są zbiory w modelach ZFC uzyskanych przez losowe forsingi, a krawędziami – same rozszerzenia forsingowe. Badanie to otwiera nowe horyzonty na styku logiki matematycznej, teorii mnogości i fizyki kwantowej – mówi prof. Jerzy Król.
Specjalny numer czasopisma „Topoi”
W ramach rozwijania kierunku badań nad logicznymi diagramami, Jessica Carter (Centre for Science Studies & Department of Mathematics, Aarhus University), Jens Lemanski (Center for Philosophy of Science, University of Münster) oraz prof. Andrew Schumann przygotowują obecnie specjalny numer czasopisma filozoficznego “Topoi” pod tytułem “Cognition, Spatiality and Reasoning”.
Numer ten będzie poświęcony interdyscyplinarnym badaniom nad rolą diagramów i reprezentacji przestrzennych w procesach poznawczych i rozumowaniu, łącząc perspektywy logiki, filozofii, kognitywistyki i matematyki – zapowiada prof. Andrew Schumann.
Udział naszych badaczy w tak prestiżowej konferencji oraz zaangażowanie w przygotowanie specjalnego numeru czasopisma, świadczą o wysokiej pozycji polskiej nauki w dziedzinie logiki matematycznej i jej zastosowań.
