**Classical logic** identifies a class of formal logics that have been most intensively studied and most widely used. The class is sometimes called **standard logic** as well. They are characterised by a number of properties:

- Law of the excluded middle and Double negative elimination;
- Law of noncontradiction, and the principle of explosion;
- Monotonicity of entailment and Idempotency of entailment;
- Commutativity of conjunction;
- De Morgan duality: every logical operator is dual to another;

While not entailed by the preceding conditions, contemporary discussions of classical logic normally only include propositional and first-order logics.

The intended semantics of classical logic is bivalent. With the advent of algebraic logic it became apparent however that classical propositional calculus admits other semantics. In Boolean-valued semantics (for classical propositional logic), the truth values are the elements of an arbitrary Boolean algebra; "true" corresponds to the maximal element of the algebra, and "false" corresponds to the minimal element. Intermediate elements of the algebra correspond to truth values other than "true" and "false". The principle of bivalence holds only when the Boolean algebra is taken to be the two-element algebra, which has no intermediate elements.

Read more about Classical Logic: Examples of Classical Logics, Non-classical Logics

### Other articles related to "logics, logic, classical logic, classical":

... There exists a continuum of different intermediate

**logics**... Specific intermediate

**logics**are often constructed by adding one or more axioms to intuitionistic

**logic**, or by a semantical description ... Examples of intermediate

**logics**include intuitionistic

**logic**(IPC, Int, IL, H)

**classical logic**(CPC, Cl, CL) IPC + p ∨ ¬p = IPC + ¬¬p → p = IPC + ((p ...

... negation in

**classical logic**... For

**classical**and intuitionistic

**logic**, the "=" symbol means that corresponding implications "…→…" and "…←…" for logical compounds can be both proved as theorems, and the ... Some of many-valued

**logics**may have incompatible definitions of equivalence and order (entailment) ...

**Classical Logic**

... permutes truth with false and conjunction with disjunction In

**classical logic**, with its intended semantics, the truth values are true (1 or T) and false (0 or ⊥) that is ...

**Classical Logic**- Non-

**classical Logic**s

... Computability

**logic**is a semantically constructed formal theory of computability, as opposed to

**classical logic**, which is a formal theory of truth ... Many-valued

**logic**, including fuzzy

**logic**, which rejects the law of the excluded middle and allows as a truth value any real number between 0 and 1 ... Intuitionistic

**logic**rejects the law of the excluded middle, double negative elimination, and the De Morgan's laws Linear

**logic**rejects idempotency of entailment as well Modal

**logic**extends ...

... In some logical calculi (notably, in

**classical logic**) certain essentially different compound statements are logically equivalent ... Less trivial example of a redundancy is a

**classical**equivalence between ¬P ∨ Q and P → Q ... Therefore, a

**classical**-based logical system does not need the conditional operator "→" if "¬" (not) and "∨" (or) are already in use, or may use the "→" only as a syntactic sugar for a ...

### Famous quotes containing the words logic and/or classical:

“What avail all your scholarly accomplishments and learning, compared with wisdom and manhood? To omit his other behavior, see what a work this comparatively unread and unlettered man wrote within six weeks. Where is our professor of belles-lettres, or of *logic* and rhetoric, who can write so well?”

—Henry David Thoreau (1817–1862)

“Compare the history of the novel to that of rock ‘n’ roll. Both started out a minority taste, became a mass taste, and then splintered into several subgenres. Both have been the typical cultural expressions of classes and epochs. Both started out aggressively fighting for their share of attention, novels attacking the drama, the tract, and the poem, rock attacking jazz and pop and rolling over *classical* music.”

—W. T. Lhamon, U.S. educator, critic. “Material Differences,” Deliberate Speed: The Origins of a Cultural Style in the American 1950s, Smithsonian (1990)