What is the difference between Boolean logic and regular logic? Why was this differentiation necessary?
Boolean logic is an algebraic reformulation of logic, which is better adapted for the use in computers: 1) “Classical logic identifies a class of formal logics that have been most intensively studied and most widely used. They are characterised by a number of properties; non-classical logics are those that lack one or more of these properties, which are: – Law of the excluded middle and Double negative elimination; – Law of noncontradiction; – Monotonicity of entailment and Idempotency of entailment; – Commutativity of conjunction; – De Morgan duality: every logical operator is dual to another. Classical logic is bivalent, i.e. it uses only Boolean-valued functions. And while not entailed by the preceding conditions, contemporary discussions of classical logic normally only include propositional and first-order logics. Examples of classical logics: – Aristotle’s Organon introduces his theory of syllogisms, which is a logic with a restricted form of judgments: assertions take one of fou
