Logika modalna

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacji, wyszukiwania

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.

Własności i intuicje[edytuj | edytuj kod]

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 \Box X, gdzie \Box (A \land B) jest prawdą, ale \Box (B \land A) 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[edytuj | edytuj kod]

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 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  \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 dicto).

System S5[edytuj | edytuj kod]

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: \diamond X \leftrightarrow \lnot \square \lnot X i \square X \leftrightarrow \lnot \diamond \lnot X, gdzie X jest formułą zdaniową.

Język[edytuj | edytuj kod]

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:

  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
    dwuargumentowe:  \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[edytuj | edytuj kod]

Na gruncie systemu S5 przyjmuje się następują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[edytuj | edytuj kod]

  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.

Zobacz też[edytuj | edytuj kod]

Bibliografia[edytuj | edytuj kod]

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