Reasoning About Knowledge
If a logic includes formulae that mean that something is not known, this logic should not be monotonic. Indeed, learning something that was previously not known leads to the removal of the formula specifying that this piece of knowledge is not known. This second change (a removal caused by an addition) violates the condition of monotonicity. A logic for reasoning about knowledge is the autoepistemic logic.
Read more about this topic: Non-monotonic Logic
Famous quotes containing the words reasoning and/or knowledge:
“Accuracy is, in every case, advantageous to beauty, and just reasoning to delicate sentiment. In vain would we exalt the one by depreciating the other.”
—David Hume (1711–1776)
“What we know is not capable of being otherwise; of things capable of being otherwise we do not know, when they have passed outside our observation, whether they exist or not. Therefore the object of knowledge is of necessity. Therefore it is eternal; for things that are of necessity in the unqualified sense are all eternal; and things that are eternal are ungenerated and imperishable.”
—Aristotle (384–323 B.C.)