Je nemonotónní logika logikou?
Vol.13,No.1(2012)
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.
nemonotónní logika; nemonotónní uvažování; zrušitelné uvažování; klasická logika
Alchourrón, C. E., Gärdenfors, P., Makinson, D. (1985) „On the Logic of Theory Change: Partial Meet Contraction and Revision Functions”, Journal of Symbolic Logic, Vol. 50, No. 2, s. 510–530.
Copyright © Pro-Fil