Law of Excluded Middle - Analogous Laws

Analogous Laws

Some systems of logic have different but analogous laws. For some finite n-valued logics, there is an analogous law called the law of excluded n+1th. If negation is cyclic and "∨" is a "max operator", then the law can be expressed in the object language by (P ∨ ~P ∨ ~~P ∨ ... ∨ ~...~P), where "~...~" represents n−1 negation signs and "∨ ... ∨" n−1 disjunction signs. It is easy to check that the sentence must receive at least one of the n truth values (and not a value that is not one of the n).

Other systems reject the law entirely.

Read more about this topic:  Law Of Excluded Middle

Famous quotes containing the words analogous and/or laws:

    Strikes and boycotting are akin to war, and can be justified only on grounds analogous to those which justify war, viz., intolerable injustice and oppression.
    Rutherford Birchard Hayes (1822–1893)

    As far as the laws of mathematics refer to reality, they are not certain, and as far as they are certain, they do not refer to reality.
    Albert Einstein (1879–1955)