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:
“As if reasoning were any kind of writing or talking which tends to convince people that some doctrine or measure is true and right.”
—Catherine E. Beecher (1800–1878)
“For some reason a nation feels as shy about admitting that it ever went forth to war for the sake of more wealth as a man would about admitting that he had accepted an invitation just for the sake of the food. This is one of humanity’s most profound imbecilities, as perhaps the only justification for asking one’s fellowmen to endure the horrors of war would be the knowledge that if they did not fight they would starve.”
—Rebecca West (1892–1983)