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:

    “Several classical sayings that one likes to repeat had quite a different meaning from the ones later times attributed to them.”
    —Johann Wolfgang Von Goethe (1749–1832)

    “Our argument ... will result, not upon logic by itself—though without logic we should never have got to this point—but upon the fortunate contingent fact that people who would take this logically possible view, after they had really imagined themselves in the other man’s position, are extremely rare.”
    —Richard M. Hare (b. 1919)