Wolna encyklopedia

Logika modalna – teoria logiczna, która bada pojęcia możliwości, konieczności i ich wariantów. Niekiedy termin "logika modalna" rozumie się szerszej, 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.

Spis treści

Rys historyczno-techniczny

Logika modalna uprawiana była już przez Arystotelesa jako sylogistyka zdań modalnych. Ten bardzo rozwinięty w logice średniowiecznej system był bardzo zbliżony 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 podzelone 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 porawny 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 \Diamond \ , i funktora konieczności, oznaczanego przez \Box . 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:

p \rightarrow q =_{df} \neg \diamond (p \and \neg q)

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ąc 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 dictu).

System S5

System S5 należy do najszerszej 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: \diamond X \leftrightarrow \lnot \square \lnot X i \square X \leftrightarrow \lnot \diamond \lnot X, 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ępujace elementy:

  1. zmienne zdaniowe w ilości nieograniczonej, oznaczane przez p, q, r, s...
  2. stałe logiczne stanowią funktory zdaniotwórcze:
    zeroargumentowe: \bot, \top - stała verum i stała falsum
    jednoargumentowe: \neg, \Diamond, \Box - spójniki negacji, możliwości i konieczności
    dwuragumentowe: \land, \lor, \rightarrow, \leftrightarrow - spójniki koniunkcji, alternatywy, implikacji i równoważności

Do zbioru formuł zdaniowych należą natomiast:

  1. wszystkie zmienne zdaniowe,
  2. wyrażenia \bot, \top ,
  3. wyrażenia \neg X, \Box X, \Diamond X , gdzie X jest formułą zdaniową,
  4. wyrażenia X \land Y, X \lor Y, X \rightarrow Y, X \leftrightarrow Y , gdzie X i Y są formułami zdaniowymi
  5. wyrażenia powstające przez zastosowanie reguł 3 i 4 w skończonej liczbie kroków.

Aksjomatyka

Na gruncie systemu S5 przyjmuje się następoujące aksjomaty i definicje (uzupełniające aksjomatykę KRZ):

  1. \Box X \rightarrow X
  2. \Diamond X \rightarrow \Box \Diamond X
  3. \Box (X \rightarrow Y) \rightarrow ( \Box X \rightarrow \Box Y)
  4. Definicja możliwości: \Diamond X \leftrightarrow \neg \Box \neg X

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

1.

X~
\Box X~

2.

X \rightarrow Y, X
Y~

Wybrane tezy

  1. \Box X \rightarrow X - jeśli X jest konieczne, to X zachodzi rzeczywiście.
  2. \Diamond X \rightarrow \Box \Diamond X - jeśli X jest możliwe, to jest konieczne, że X jest możliwe.
  3. \Box (X \rightarrow Y) \rightarrow (\Box X \rightarrow \Box Y) - 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.
  4. \Box (X \land Y) \rightarrow (\Box X \land \Box Y) - prawo rozdzielności konieczności względem koniunkcji.
  5. X \rightarrow \Diamond X - teza ta mówi, że co jest prawdziwe, jest zarazem możliwe.
  6. \Box X \rightarrow \Diamond X - co jest konieczne, jest też możliwe.
  7. X \rightarrow \Box \Diamond X - jeśli zachodzi X, to jest konieczne, że X jest możliwe
  8. \Diamond \Box X \rightarrow X - co może być konieczne, zachodzi rzeczywiście.
  9. \Box X \rightarrow \Box \Box X - jeśli coś jest konieczne, to jest konieczne, że jest to konieczne.
  10. \Diamond \Diamond X \rightarrow \Diamond X - jeśli jest możliwe, że coś jest możliwe, to jest to możliwe.

Bibliografia

Źródło: „haslo,Logika_modalna”