Philosophy Formal Logic Questions Medium
In formal logic, classical and non-classical non-monotonic logic are two different approaches that deal with reasoning and inference in different ways.
Classical non-monotonic logic follows the principles of classical logic, which is based on the law of excluded middle and the principle of non-contradiction. It assumes that a statement is either true or false, and that logical inferences are made based on deductive reasoning. In classical non-monotonic logic, new information does not change the truth value of existing statements, and the logical consequences derived from a set of premises remain valid even when new information is added.
On the other hand, non-classical non-monotonic logic deviates from the principles of classical logic and allows for reasoning that is not strictly deductive. It recognizes that new information can lead to a revision of previously held beliefs or conclusions. In non-classical non-monotonic logic, the truth value of a statement can change when new information is introduced, and logical inferences may be revised or invalidated based on this new information. This type of logic is often used in situations where uncertainty, incomplete information, or conflicting evidence are present.
In summary, the main difference between classical and non-classical non-monotonic logic lies in their treatment of new information and the revision of logical inferences. Classical non-monotonic logic adheres to the principles of classical logic and maintains the validity of logical consequences even with the addition of new information. Non-classical non-monotonic logic, on the other hand, allows for the revision of beliefs and logical inferences based on new information, accommodating uncertainty and incomplete information.