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)

    Nothing is accidental in the universe—this is one of my Laws of Physics—except the entire universe itself, which is Pure Accident, pure divinity.
    Joyce Carol Oates (b. 1938)