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:
“If thinking is like perceiving, it must be either a process in which the soul is acted upon by what is capable of being thought, or a process different from but analogous to that. The thinking part of the soul must therefore be, while impassable, capable of receiving the form of an object; that is, must be potentially identical in character with its object without being the object. Mind must be related to what is thinkable, as sense is to what is sensible.”
—Aristotle (384–322 B.C.)
“I have not yet learned to live, that I can see, and I fear that I shall not very soon. I find, however, that in the long run things correspond to my original idea,—that they correspond to nothing else so much; and thus a man may really be a true prophet without any great exertion. The day is never so dark, nor the night even, but that the laws at least of light still prevail, and so may make it light in our minds if they are open to the truth.”
—Henry David Thoreau (1817–1862)