Modální logika: Porovnání verzí
Smazaný obsah Přidaný obsah
m +kat. + pahýl |
m typo |
||
Řádek 4:
== Historie a vývoj ==
První, kdo se začal zajímat o modální logiku, byl [[Aristoteles]], který v rámci své [[wiki:sylogistika|sylogistiky]] objevil řadu principů modální logiky.
Ve středověku toto odvětví dále zkoumal [[wiki:william ockham|W. Ockham]]. Analyzoval strukturu modálních výroků a modální sylogistiku.
Dalším podnětem pro hlubší zkoumání modální logiky se stala [[matematická logika]], na jejímž základě byly vytvořeny modální logiky [[wiki:modální logika trojhodnotová|trojhodnotové]] ([[J. Lukasiewicz]]), [[systém striktní implikace]] ([[C. I. Lewis]]), Lewisovy systémy s šesti neredukovatelnými modalitami, [[systémy relativní modality]] ([[G. H. Wright]]). <br />▼
▲Dalším podnětem pro hlubší zkoumání modální logiky se stala [[matematická logika]], na jejímž základě byly vytvořeny modální logiky [[wiki:modální logika trojhodnotová|trojhodnotové]] ([[J. Lukasiewicz]]), [[systém striktní implikace]] ([[C. I. Lewis]]), Lewisovy systémy s šesti neredukovatelnými modalitami, [[systémy relativní modality]] ([[G. H. Wright]]).
Další kdo se zabýval různými formami modalit byli například [[H. B. Curry]], [[W. V. Quine]], [[W. Ackermann]], dosud však obecně teorii modální logiky nikdo nezpracoval.
{{Pahýl}}
| |||