Logika modalna

Logika modalna – teoria logiczna, która bada pojęcia możliwości, konieczności i ich wariantów. Niekiedy termin „logika modalna” rozumie się szerzej, włączając w jego obręb logiki epistemiczne, logiki temporalne, logiki deontyczne i logiki programów – niniejszy artykuł omawia jedynie logiki modalne w sensie wąskim (logiki modalne aletyczne) na przykładzie systemu S5.

Własności 
Logika modalna, obok klasycznych spójników logicznych, posiada funktory modalne. Funktor modalny jest to funkcja, która przypisuje wartości logiczne termom boolowskim, które same mogą zawierać funktory modalne.
Cechą charakterystyczną funktorów modalnych jest fakt, że nie są ekstensjonalne, czyli funktor może przyporządkowywać inną wartość dwóm równoważnym zdaniom. W logice klasycznej istnieją tylko cztery ekstensjonalne jednoargumentowe funktory: identyczność, negacja, funktor zwracający prawdę dla wszystkich termów i funktor fałszu dla wszystkich termów. Natomiast w logice modalnej można np. zdefiniować nieekstensjonalny funktor  gdzie  jest prawdą, ale  jest fałszem.

Logikę modalną można sobie wyobrazić jako mówiącą o „wielu światach”. Zdania z funktorem konieczności zachodzą we wszystkich światach a zdania z funktorem możliwości – przynajmniej w jednym świecie. Zdania niepoprzedzone funktorem traktujemy jako zdania klasycznej logiki, nienależące do żadnego świata i będące swego rodzaju metajęzykiem.

Rys historyczno-techniczny 
Logika modalna uprawiana była już przez Arystotelesa, a także przez szkołę dialektyków (Diodora Kronosa i Filona z Megary). 
Arystotelejska sylogistyka zdań modalnych, bardzo rozwinięta w logice średniowiecznej, była bardzo zbliżona do sylogistyki zdań asertorycznych, z tą różnicą, że przynajmniej jedna przesłanka każdego sylogizmu musiała być zdaniem modalnym, tj. problematycznym (zawierającym funktor możliwości) lub apodyktycznym (zawierającym funktor konieczności). Ze względu na to, jakimi zdaniami były przesłanki, sylogizmy modalne podzielone były odpowiednio na osiem grup. Tak jak w sylogistyce zdań asertorycznych, sylogizmy dzieliły się na tryby i figury. Nie każdemu poprawnemu modalnemu trybowi sylogistycznemu odpowiadał jednak poprawny asertoryczny tryb sylogistyczny. Ponadto sylogistyka modalna była systemem niedokończonym.

Współczesną postacią logiki modalnej jest modalny rachunek zdań. Cechą charakterystyczną modalnych rachunków zdań jest występowanie w nich funktora możliwości, oznaczanego  i funktora konieczności, oznaczanego przez  Twórcą pierwszych systemów modalnego rachunku zdań (nazwanych później S1 i S2) jest C.I. Lewis. Następnie powstało jeszcze kilka innych systemów – Lewisa (S3, S4, S5), Kripkego (K), Feyesa (T), von Wrighta (M). Intencją Lewisa było stworzenie takiej logiki, która lepiej niż implikacja materialna w klasycznym rachunku zdań oddawałaby implikację występującą w języku naturalnym. Lewis nie uświadamiał sobie jeszcze w pełni różnicy między wynikaniem a implikacją ścisłą, współcześnie jednak logiki Lewisa interpretuje się powszechnie jako logiki zdań modalnych, na których gruncie właśnie implikację ścisłą zdefiniować można następująco:
 

Obecnie systemy rachunku modalnego tworzy się przede wszystkim ze względu na badanie pojęć modalnych, nie ze względu na poszukiwanie bardziej właściwego ujęcia pojęcia implikacji. Występujące w nich funktory modalne są funktorami zdaniowymi, co jest główną różnicą między rachunkiem modalnym a sylogistyką modalną – w sylogistyce modalnej występowały one wewnątrz zdań, mówiła więc ona o konieczności/możliwości przysługiwania przedmiotom cech (modalność de re), nie o konieczności/możliwości zachodzenia stanów rzeczy (modalność de dicto).

System S5 
System S5 należy do najszerzej znanych i najprostszych systemów modalnego rachunku zdań. Występujące w nim funktory zdaniotwórcze możliwości i konieczności, odróżniające go od klasycznego rachunku zdań, można rozumieć intuicyjnie odwołując się do Leibnizowskiej koncepcji światów możliwych: zdanie konieczne jest prawdziwe we wszystkich możliwych światach, zdanie możliwe jest prawdziwe w niektórych możliwych światach. Funktory możliwości i konieczności są przy tym wzajemnie definiowalne w następujący sposób:  i  gdzie X jest formułą zdaniową.

Język 
Słownik języka logiki modalnej systemu S5 jest językiem klasycznego rachunku zdań (w pewnej stylizacji) rozszerzonym o nieekstensjonalne funktory zdaniotwórcze możliwości i konieczności. W całości składają się na niego następujące elementy:
 zmienne zdaniowe w ilości nieograniczonej, oznaczane przez p, q, r, s...
 stałe logiczne stanowią funktory zdaniotwórcze:
 zeroargumentowe:  – stała verum i stała falsum
 jednoargumentowe:  – spójniki negacji, możliwości i konieczności
 dwuargumentowe:  – spójniki koniunkcji, alternatywy, implikacji i równoważności

Do zbioru formuł zdaniowych należą natomiast:
 wszystkie zmienne zdaniowe,
 wyrażenia 
 wyrażenia  gdzie X jest formułą zdaniową,
 wyrażenia  gdzie X i Y są formułami zdaniowymi
 wyrażenia powstające przez zastosowanie reguł 3 i 4 w skończonej liczbie kroków.

Aksjomatyka 
Na gruncie systemu S5 przyjmuje się następujące aksjomaty i definicje (uzupełniające aksjomatykę KRZ):
 
 
 
 Definicja możliwości: 

Na gruncie S5 przyjmuje się następujące reguły dowodzenia:

1.
 {|style="border-spacing:0px"
|
|-
|
|-
|
|}
2.

{|style="border-spacing:0px"
|
|-
|
|-
|
|}

Wybrane tezy 
  – jeśli X jest konieczne, to X zachodzi rzeczywiście.
  – jeśli X jest możliwe, to jest konieczne, że X jest możliwe.
  – prawo rozdzielności konieczności względem implikacji mówi, że jeśli konieczna jest zarazem implikacja i jej poprzednik, konieczny jest też jej następnik.
  – prawo rozdzielności konieczności względem koniunkcji.
  – teza ta mówi, że co jest prawdziwe, jest zarazem możliwe.
  – co jest konieczne, jest też możliwe.
  – jeśli zachodzi X, to jest konieczne, że X jest możliwe
  – co może być konieczne, zachodzi rzeczywiście.
  – jeśli coś jest konieczne, to jest konieczne, że jest to konieczne.
  – jeśli jest możliwe, że coś jest możliwe, to jest to możliwe.

Zobacz też 
 absolutne i relacyjne pojęcia modalne

Przypisy

Bibliografia 
 Brian F. Chellas, Modal Logic. An Introduction, Cambridge 1980
 Witold Marciszewski (red.), Mała encyklopedia logiki, Wrocław 1970. Tu hasło Logika modalna.

Linki zewnętrzne 
 
  Modal logic , Routledge Encyclopedia of Philosophy, rep.routledge.com [dostęp 2023-05-10].

 
 
 

Logika