Definice
Modální logika je obor logiky, který zkoumá výroky obsahující modality – způsoby, jimiž je něco pravdivé. Klasická logika pracuje s tím, zda výrok platí, nebo neplatí. Modální logika rozlišuje, zda něco platí nutně, nebo jen možná; a v rozšířeních i to, zda to víme, zda to má platit, nebo zda to platí vždy či někdy.
Základními operátory jsou nutnost (□, „je nutné, že“) a možnost (◇, „je možné, že“), které jsou vzájemně propojeny: něco je nutné právě tehdy, když není možné, aby to neplatilo.
| druh modality | typický výraz | příklad |
|---|---|---|
| aletická (logická, metafyzická) | nutně, možná | „Je možné, že prší.“ |
| epistemická | vím, je jisté, nevylučuji | „Nevím, že neprší.“ |
| deontická | musíš, smíš, nesmíš | „Měl bys zůstat.“ |
| temporální | vždy, někdy, už nikdy | „Vždycky to tak bude.“ |
| doxastická | věřím, domnívám se | „Věřím, že přijde.“ |
Pro Kompendium je modální logika užitečná hlavně jako diagnostický slovník: umožňuje přesně popsat, kdy se v řeči nenápadně mění druh nebo síla modality.
Původ a kontext pojmu
Úvahy o nutnosti a možnosti sahají k Aristotelovi. Moderní modální logiku založil C. I. Lewis systémy striktní implikace (Symbolic Logic, s C. H. Langfordem, 1932). Rozhodující sémantiku „možných světů“ vypracoval Saul Kripke (od roku 1959): výrok je nutný, platí-li ve všech světech dostupných z daného světa, a možný, platí-li aspoň v jednom. Georg Henrik von Wright položil základy deontické logiky („Deontic Logic“, 1951), Jaakko Hintikka logiky epistemické (Knowledge and Belief, 1962) a Arthur Prior logiky temporální.
Pro knihu je na modální logice podstatná především schopnost zpřesnit, co přesně kdo tvrdí.
Jak se projevuje
V knize nejde o projevy logiky samotné, ale o modální posuny v řeči, které lze pozorovat:
- Z možnosti na skutečnost. „Mohl by tě zradit“ → „zradí tě“ → „zradil tě“, bez nového důkazu.
- Z nevědění na vědění. „Nemůžeš vědět, že to tak nebylo“ je použito jako důkaz, že to tak bylo.
- Z doporučení na povinnost. „Bylo by dobré…“ se během rozhovoru stane „musíš“, a odmítnutí je pak vykládáno jako porušení.
- Z jednou na vždy. „Tentokrát jsi selhal“ → „vždycky selžeš“; temporální zobecnění vytváří bezvýchodnost.
- Nutnost bez důvodu. „Tak to prostě je“, „jinak to být nemůže“ – nutnost je tvrzena tam, kde jde o volbu nebo konvenci.
- Rozmazání modalit. Řeč se pohybuje mezi „možná“, „určitě“ a „musí“ tak rychle, že posluchač ztrácí přehled, co bylo vlastně řečeno.
Mechanismus
Strukturálně modální posuny působí proto, že běžná řeč modality neoznačuje přesně. Posluchač doplňuje sílu tvrzení z tónu, kontextu a autority mluvčího. Kde autorita soustavně posouvá modalitu směrem k nutnosti a povinnosti, vzniká svět, v němž je méně možností, než ve skutečnosti existuje.
Kompendium popisuje dva vzorce. EA-5.1.11 Modální dezorientace narušuje schopnost rozlišit skutečné, možné a nutné – člověk pak nedokáže posoudit, co se opravdu stalo a co jen mohlo nastat. EA-5.4.23 Aplikace modálního paradoxu staví člověka před požadavky, které nemohou být současně splnitelné. Obojí souvisí s logickou koherencí: kde se modality mísí, mohou vedle sebe stát tvrzení, která by si při přesném čtení odporovala.
Odlišení
- Od běžné nepřesnosti řeči: všichni občas přeháníme („vždycky přijdeš pozdě“); posun se stává vzorcem, když je soustavný, jednosměrný a slouží kontrole.
- Od legitimního odhadu rizika: říct „je možné, že se nemoc vrátí“ je poctivé; problém nastává, když se z možnosti vyvozuje povinnost nebo vina.
- Od úzkostného myšlení: katastrofizace („co kdyby…“) mění možnost v jistotu i bez vnějšího vlivu; je předmětem kognitivně-behaviorální terapie.
- Od paranoidních stavů: posun od možnosti k jistotě u bludů má klinický charakter a vyžaduje psychiatrické posouzení.
Význam pro Kompendium
Modální logika dává čtenáři přesné otázky: Je to nutné, nebo možné? Víme to, nebo to jen nelze vyloučit? Je to povinnost, nebo doporučení? Platí to vždy, nebo tentokrát? Tyto otázky lze použít v rozhovoru s klientem, při analýze výpovědí (Posuzování věrohodnosti) i při čtení manipulativních textů. Pojem se uplatňuje v kartě EA-5.1.11 a souvisí s řadou paradoxů v Kapitole 9.
Obecný příklad (anonymizovaný kompozit). V rozhovorech s vedoucím týmu se pracovník postupně dozvídal, že „by mohl ztratit důvěru“, pak že „ji ztrácí“ a nakonec že „ji ztratil už dávno“. Žádná konkrétní událost se nestala. Když si s poradkyní rozepsal výroky podle modality, poprvé viděl, že tvrzení zesilovalo samo, bez důvodů.
Obrana a zotavení
Pro jednotlivce:
- Přepsat si důležitá tvrzení a u každého označit modalitu: je / může být / musí / vím / věřím.
- Ptát se: „Jak víš, že to musí být takhle?“ a „Co by se stalo, kdybych nemusel?“
- Hledat, co by tvrzení vyvrátilo (Falsifikační myšlení, Verifikace tvrzení).
Pro profesionála:
- V terapii vracet modality na jejich místo: z „vždycky“ na „tentokrát“, z „musím“ na „chci / nechci“. Tento postup je blízký kognitivní restrukturalizaci.
- Při forenzní práci zaznamenávat modalitu výpovědí doslovně; posun mezi „možná“ a „určitě“ je důležitým údajem.
Literatura
- Lewis, C. I., Langford, C. H. (1932). Symbolic Logic.
- von Wright, G. H. (1951). Deontic Logic. Mind.
- Hintikka, J. (1962). Knowledge and Belief.
Související
Logika a argumentace
- Logická koherence – soudržnost tvrzení, kterou modální posuny narušují.
- Inference – vyvozování, při němž modality hrají roli.
- Tautologie – výrok nutně pravdivý z formy.
- Self reference – sebe-vztažnost, zdroj modálních paradoxů.
Techniky
- EA-5.1.11 Modální dezorientace – narušení rozlišení skutečného, možného a nutného.
- EA-5.4.23 Aplikace modálního paradoxu – nesplnitelné požadavky.
Ověřování tvrzení
- Sebe-obrana: Verifikace tvrzení – praktické ověření, co je skutečně doloženo.