Je nemonotónní logika logikou?

Autoři

PEZLAR Ivo

Rok publikování 2012
Druh Článek v odborném periodiku
Časopis / Zdroj Profil - Elektronický časopis pro filozofii
Fakulta / Pracoviště MU

Filozofická fakulta

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.

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.