Je nemonotónní logika logikou?

Vol.13,No.1(2012)

Abstract

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.


Keywords:
nemonotónní logika, nemonotónní uvažování, zrušitelné uvažování, klasická logika
References

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.

Metrics

0

0


54

Views

16

PDF (Čeština) views