Je nemonotónní logika logikou?
Title in English | Is a nonmonotonic logic really a logic? |
---|---|
Authors | |
Year of publication | 2012 |
Type | Article in Periodical |
Magazine / Source | Profil - Elektronický časopis pro filozofii |
MU Faculty or unit | |
Citation | |
Field | Philosophy and religion |
Keywords | nonmonotonic logic; nonmonotonic reasoning; defeasible reasoning; classical logic |
Description | Nonmonotonic logic was devised in order to capture so called defeasible reasoning, i.e., sort of everyday life reasoning, which leads to tantatively valid arguments that can be later retracted in the light of new information. This brings nonmonotonic logic to sharp contrast with classical logic, which is monotonic, i.e., no additional premises can invalidate once already valid arguments. Many took this as a sufficient reason to claim that nonmonotonic logic is not really a logic. In this paper we try to show that such a conclusion is very hasty and that nonmonotonic logic has a right to call itself a logic. |