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:
“The method of authority will always govern the mass of mankind; and those who wield the various forms of organized force in the state will never be convinced that dangerous reasoning ought not to be suppressed in some way.”
—Charles Sanders Peirce (1839–1914)
“I hate this shallow Americanism which hopes to get rich by credit, to get knowledge by raps on midnight tables, to learn the economy of the mind by phrenology, or skill without study, or mastery without apprenticeship, or the sale of goods through pretending that they sell, or power through making believe you are powerful, or through a packed jury or caucus, bribery and “repeating” votes, or wealth by fraud.”
—Ralph Waldo Emerson (1803–1882)