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:

    You expect far too much of a first sentence. Think of it as analogous to a good country breakfast: what we want is something simple, but nourishing to the imagination. Hold the philosophy, hold the adjectives, just give us a plain subject and verb and perhaps a wholesome, nonfattening adverb or two.
    Larry McMurtry (b. 1936)

    The counting-room maxims liberally expounded are laws of the Universe. The merchant’s economy is a coarse symbol of the soul’s economy. It is, to spend for power, and not for pleasure.
    Ralph Waldo Emerson (1803–1882)