Formalizacja wnioskowań zawodnych

Abstract

Celem niniejszej rozprawy jest formalne ujęcie wnioskowań, ze szczególnym uwzględnieniem wnioskowań zawodnych. Są to takie wnioskowania, w których w wyniku przyjęcia przesłanek jako zdań absolutnie pewnych, otrzymujemy wnioski niekoniecznie prawdziwe. Autor bazuje na nieformalnych ustaleniach, dotyczących wnioskowań subiektywnie pewnych oraz subiektywnie niepewnych. Centralnym terminem rozprawy jest p-konsekwencja jako odpowiednik dobrze znanej operacji konsekwencji logicznej, z tymże ujmujący znacznie szerszą klasę wnioskowań. W zamierzeniu, operacja p-konsekwencji ma, najogólniej mówiąc, zdaniom uznanym za pewne przyporządkowywać zdania uznane z różnym stopniem pewności - pewnych i wątpliwych (lub krócej - nieodrzuconych). Celem dysertacji jest nie tylko jak najwszechstronniejsza (w stosunku do możliwych rozmiarów pracy) charakterystyka owej operacji, ale również uzyskanie pewnych formalnych narzędzi zbliżających te pojęcia do rzeczywistego używania języka. Chodzi mianowicie o możliwość rozróżniania między wnioskami dobrze i gorzej uzasadnionymi. Istotną część pracy stanowią porównania między klasycznie rozumianą konsekwencją logiczną, a proponowanym przez autora pojęciem, które pewne własności dziedziczy po konsekwencji, a pewnych zaś nie.