Je nemonotónní logika logikou?
Autoři | |
---|---|
Rok publikování | 2012 |
Druh | Článek v odborném periodiku |
Časopis / Zdroj | Profil - Elektronický časopis pro filozofii |
Fakulta / Pracoviště MU | |
Citace | |
Obor | Filosofie a náboženství |
Klíčová slova | nonmonotonic logic; nonmonotonic reasoning; defeasible reasoning; classical logic |
Popis | Nemonotónní logika vznikla za účelem systematicky zachytit tzv. zrušitelné uvažování, tj. typ každodenního uvažování, které vede jen k provizorně platným argumentům, jenž mohou být následně staženy s příchodem nových informací. Tím se ovšem nemonotónní logika dostává do ostrého kontrastu s klasickou logikou, která je monotónní, tj. žádné dodatečné premisy nemohou zrušit jednou již platné argumenty. To bylo pro mnohé dostatečným důvodem k tomu, aby nemonotónní logice upřeli status logiky. V tomto textu si ukážeme, že takový závěr je příliš unáhlený a že nemonotónní logika má právo se nazývat logikou. |