-
Co znamená neklasičnost?
- neklasičnost znamená, že tyto logické systémy záměrně rezignují na některý z fundamentálních principů klasické logiky
- nezřídka se rozešly s Principem dvouhodnotovosti; někdy se částečně rozešly i s Principem kompozicionality.
- rozvoj po druhé světové válce, zvl. v Evropě
- v prostředí filosofické logiky má dominantní postavení modální logika a její varianty
-
jaké neklasické logiky znáš?
-
jmenuj představitele a hlavní princip trojhodnotové logiky
- v době mezi dvěma světovými válkami navržena nezávisle více autory
- - nejvýznamnější byl Jan Lukasiewicz
- inspiroval ho Aristotelův příklad vět o budoucích událostech (např. o budoucí námořní bitvě), jejichž pravdivost není nyní zjistitelná
- - Dmitrije Bočvara zase inspirovaly paradoxní věty, jejichž pravdivost rovněž není určitelná
třetí pravdivostní hodnota bývá značena například pomocí 1/2 (ad.) a je čtena jako nerozhodnuto, neurčitelná, není známo či paradoxní hodnota apod.
Stephen C. Kleene pomohl propagaci parciální dvouhodnotové logiky, přičemž absence pravdivostní hodnoty u nějaké funkce bývá reprezentována právě třetí pravdivostní hodnotou, takže daný přístup je chápán jako trojhodnotový
-
srovnej tři hlavní přístupy v trojhodnotové logice
- obvykle v trojhodnotové logice neplatí tautologie klasické logiky
- např. Bočvarův systém propaguje` třetí pravdivostní hodnotu natolik, že třetí pravdivostní hodnotu má každá formule, jejíž nějaká podformule nabývá třetí pravdivostní hodnotu
- v jiných trojhodnotových logikách tomu tak ale není, například je rozumné disponovat disjunkcí, jež je 1, pokud aspoň jeden disjunkt je 1
-
jaké znáš představitele vícehodnotových logik?
- někteří autoři mají tendenci vícehodnotové logiky porovnávat (např. Siegfried Gottwald, Melvin Fitting), jiní zas pracují na vybrané z nich
- (např. Heinrich Wansing a Jaroslav Šramko pracují na 16hodnotové logice)
- značný ohlas 4hodnotová logika Nuela Belnapa- stavy informace pravdivé / nepravdivé / sporné / žádné
-
charakterizuj Fuzzy logiky: představitele +na jakém principu fungují, typy
- fuzzy logika patří mezi vícehodnotové logiky
- vyvinuta v následnictví teorie fuzzy množin, kterou navrhl v 60. letech 20. století Lofti A. Zadeh
- namísto určitých hodnot používá interval ⟨1, 0⟩, tj. kontinuum hodnot
- výrokové spojky se chovají zcela klasicky na klasických hodnotách 1 a 0.
- úspěšně nasazována v teorii řídících systémů (aplikacemi jsou fuzzy regulátory např. v automatických pračkách), neboť je s to zpracovávat neurčitou informaci či instrukci (např. voda je středně málo teplá, zatočit hodně doleva)
- fuzzy VL se základně dělí na tzv. základní, Lukasiewiczovu, Gödelovu a produktovou logiku, jež se navzájem liší druhem t-normy (triangular norm), což je např. min(x, y) jakožto sémantika spojky ^.
- významnými představiteli jsou Siegfried Gottwald, Petr Hájek, Vilém Novák, Jan Pavelka, Libor Běhounek a Petr Cintula
-
charakterizuj modální logiku
-
charakterizuj Modální systém K
|
|