334
úprav
d |
(zopar restylizacii) |
||
'''Modálna logika''' je odvetvie [[logika|logiky]] ktoré skúma logickú štruktúru ''nutnosti'' a ''možnosti'' s ktorými klasická [[výroková logika|výroková]] alebo [[predikátová logika|predikátová]] logika nedokážu plnohodnotne narábať. Napríklad výrok
:"Je možné, že slnko práve prestalo svietiť."
je z hladiska klasickej výrokovej logiky [[atomárny fakt|atomárny]]. To znamená, že výroková logika ho chápe ako ďalej nedeliteľný celok a nezaujíma sa o jeho vnútornú štruktúru. Modálna logika ide hlbšie a rozlišuje v tomto výroku dve komponenty: tak zvanú '''logickú modalitu''' "Je možné, že" a samotný výrok pod modalitou "Slnko práve prestalo svietiť".
V užšom význame pojem '''modálna logika''' označuje konkrétny [[logický kalkul]] študovaný v rámci modálnej logiky vo vyššie uvedenom
Naopak, v širšom význame slova sa pojem '''modálna logika''' používa pre celú triedu [[intenzionálna logika|intenzionálnych logík]] akými sú napríklad [[deontická logika]], [[doxastická logika]], [[epistemická logika]], [[temporálna logika]], [[dynamická logika]] ale aj modálna logika vo význame uvedenom na začiatku.
|
úprav