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:
“We put [young children] into kindergarten where their reasoning powers are ruined; or, if we can afford it, we buy Montessori outfits that were invented for semi-imbeciles in Italian slums; or we send them to outdoor schools and give them prizes for sleeping.”
—Katharine Fullerton Gerould (1879–1944)
“Science asks no questions about the ontological pedigree or a priori character of a theory, but is content to judge it by its performance; and it is thus that a knowledge of nature, having all the certainty which the senses are competent to inspire, has been attained—a knowledge which maintains a strict neutrality toward all philosophical systems and concerns itself not with the genesis or a priori grounds of ideas.”
—Chauncey Wright (1830–1875)