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:
“It is certain that the only hope of retroductive reasoning ever reaching the truth is that there may be some natural tendency toward an agreement between the ideas which suggest themselves to the human mind and those which are concerned in the laws of nature.”
—Charles Sanders Peirce (1839–1914)
“The formation of an oppositional world view is necessary for feminist struggle. This means that the world we have most intimately known, the world in which we feel “safe” ... must be radically changed. Perhaps it is the knowledge that everyone must change, not just those we label enemies or oppressors, that has so far served to check our revolutionary impulses.”
—Bell (c. 1955)