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:
“Listen to me, imbecile. If the Treasury is important, then human life is not. This is clear. All those who think like you ought to admit this reasoning and count their lives for nothing because they hold money for everything.”
—Albert Camus (1913–1960)
“Vanity of science. Knowledge of physical science will not console me for ignorance of morality in time of affliction, but knowledge of morality will always console me for ignorance of physical science.”
—Blaise Pascal (1623–1662)