Outline of Logic - Classical Logic

Classical Logic

Classical logic –

  • Properties of classical logics:
    • Law of the excluded middle
    • Double negative elimination
    • Law of noncontradiction
    • Principle of explosion
    • Monotonicity of entailment
    • Idempotency of entailment
    • Commutativity of conjunction
    • De Morgan duality – every logical operator is dual to another
  • Term logic
  • General concepts in classical logic
    • Baralipton
    • Baroco
    • Bivalence
    • Boolean logic
    • Boolean-valued function
    • Categorical proposition
    • Distribution of terms
    • End term
    • Enthymeme
    • Immediate inference
    • Law of contraries
    • Logical connective
    • Major term
    • Middle term
    • Minor term
    • Organon
    • Polysyllogism
    • Port-Royal Logic
    • Premise
    • Prior Analytics
    • Relative term
    • Sorites paradox
    • Square of opposition
    • Sum of Logic
    • Syllogism
    • Tetralemma
    • Truth function

Read more about this topic:  Outline Of Logic

Famous quotes containing the words classical and/or logic:

    “Et in Arcadia ego.
    [I too am in Arcadia.]”
    —Anonymous, Anonymous.

    Tomb inscription, appearing in classical paintings by Guercino and Poussin, among others. The words probably mean that even the most ideal earthly lives are mortal. Arcadia, a mountainous region in the central Peloponnese, Greece, was the rustic abode of Pan, depicted in literature and art as a land of innocence and ease, and was the title of Sir Philip Sidney’s pastoral romance (1590)

    “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)