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:

    It has become the custom in our country to expect all Chief Executives, from the President down, to conduct activities analogous to an entertainment bureau. No occasion is too trivial for its promoters to invite them to attend and deliver an address.
    Calvin Coolidge (1872–1933)

    Those rules of old discovered, not devised,
    Are Nature sill, but Nature methodized;
    Nature, like liberty, is but restrained
    By the same laws which first herself ordained.
    Alexander Pope (1688–1744)