1.
Wprowadzenie
LOGIKA rozumiana jako nauka o niezawodnych schematach wnioskowania zawsze zajmowała istotne miejsce w życiu człowieka. Badając naturę rozumowania umożliwiała nie tylko formalne, ale i sprawne podejście do wnioskowania. W ogólności, logika bada związki pomiędzy prawdziwością a fałszywością zdań ze względu na ich budowę (strukturę). Logika klasyczna (tradycyjna) może być interpretowana, bez przekreślania swojej odrębności, jako fragment logiki współczesnej. Ważnym elementem logiki współczesnej jest logika modalna, która, co ciekawe, swoimi korzeniami sięga odległych czasów. Działanie funktora (operatora) modalnego na zdanie oznacza, że sama znajomość prawdziwości zdania nie jest wystarczająca do określenia wartości logicznej (całego) zdania z funktorem. Takie podejście do modalności określane jest dzisiaj mianem modalności aletycznej, jako tej która odnosi się do prawdziwości. Sformalizowanie procesu myślenia jest niezbędne w wielu dziedzinach, w tym np. w projektowaniu i analizie systemów informatycznych. Doświadczenie aczkolwiek jest również przydatne w sprawnym i niezawodnym tworzeniu systemów, to jednak nie może być uznane za wystarczające - zawsze istotne będzie dowodzenie własności „prawdziwych",
