Yes, No... True, False.. Zero or One.. does exist something in the middle?
Hello everyone.
I would like to ask if, in terms of truth, do we only have true or false, zero or one, yes or no, or does exist something else in the middle describing something between the two. Should a thing lik this exist, what would it mean for our language, for mathematics, for computing, for human relationships?
I would like to ask if, in terms of truth, do we only have true or false, zero or one, yes or no, or does exist something else in the middle describing something between the two. Should a thing lik this exist, what would it mean for our language, for mathematics, for computing, for human relationships?
Comments (21)
Kaccayanagotta Sutta
See also https://en.wikipedia.org/wiki/Two_truths_doctrine
I think as a general rule, the Law of Excluded Middle applies. But there can be exceptions, e.g., fuzzy logic, or loaded questions like "Have you stopped beating your wife?"
@fishfry nicely addressed the dichotomy between zero and one.
As to "yes" and "no" there is "maybe". Example: "Will you be going to the event?"; here "yes" (I am decided on going), "no" (I am decided on not going), and the intermediate of "maybe" (I have not yet decided whether or not I will go) call all make sense.
As to true and false, there can be propositionally expressed partial truths which are thereby incomplete and, in so being, can at least given the epistemic impression of being partially false. A relatively easy, but trite, example is most any honest answer to the question of "what do you see?" That one is focusing one's visual attention on some item, say a lamp, is true. But it is equally true that one also sees a plethora of other items while focusing one's visual attention on the lamp - for instance, that on which the lamp rests and the immediate background to the lamp. So, at least form one semantic angle, the answer of "I'm seeing a lamp" will be a partial truth - also being partially false in not conveying all the other givens that are likewise seen by me simultaneously. Here, no deception is intended - but one cannot help but give a partial truth to the question. Hence, if you ask me what I see, I reply "a rock", and you then interpret by this that I don't see the mountain behind the rock, I wouldn't have lied to you about what I do and don't see - even though I also saw the mountain in the background.
BTW, I so far find that the Law of Excluded Middle always applies to cases where the alternatives are at least interpreted to be clearly dichotomized. The cat is either inside the room or outside the room - with no middle ground possible in this clear dichotomy between "inside" and "outside". But change the contextual semantics one interprets and one can change the possibilities addressed, thereby changing the parameters of what is intended by some given statement. For example, to answer that "the cat is both inside and outside the room" can make sense without negating either the Law of Excluded Middle or the Law of Noncontradiction, from which the former is derived - this by interpreting the cat to be sitting on the threshold of the given room's door. Here, the state of affairs of the cat is to be both inside and outside the room or, else, neither inside nor outside the room, in perfectly noncontradictory manners.
Hence, imo, all apparent contradictions are either contradictory and thereby nonsense or, else, can be interpreted to be partial truths. The statement, "they're the same but different" serves as an example: it either intends "same" and "not the same" at the same time and in the same respect as a middle between the two - in which case its nonsense - or that they're the same in one way and not the same in a different way at the same time - in which case it's use is intended to convey a noncontradictory state of affairs without in any way negating the Law of the Excluded Middle. Just that it does this without explicitly stating what the addressed, complete state of affairs is, and so can be interpreted as an expressed partial truth.
Same then applies to statements such as "neither is there a self nor is there not a self": these are either nonsense due to being contradictory and thereby breaking with the Law of the Excluded Middle or, else, convey more complex and noncontradictory states of affair by expressing partial truths. Hence, as with the cat being neither inside nor outside the room, but in-between on the door's threshold, were these statements to be nonconctradictory, they then would not break with the Law of the Excluded Middle.
So:
Quoting mads
In my opinion, givens can occur in the middle of these conceptual dichotomies, but, when they do so occur, they will yet manifest in manners accordant to the Law of Noncontradicition and the Law of the Excluded Middle.
Dude, up until now, didn't know it was yours!
Good point: can't forget about modality.
Not quite. The two together comprise the Law of Bivalence. Excluded middle says it has to be either true OR false. Non-contradiction says it must not be both true AND false. Together they make up Bivalence: true XOR false.
1. One is greater than zero
2. There's a 90% chance of rain tomorrow
3. Aliens may have visited earth in the past
Statement 1 has the mark of certainty, there are no words in it suggesting hesitation as to its truth. So, it's either true or false depending on whether it's got a sound argument to back it up or not. Statement fully unpacked is 1a. One is greater than zero is true
Statement 2 is clearly probabilistic in character (90% chance) and while the event (rainfall) isn't completely certain to occur, the statement itself (2) is implied to be true. It could be false if the number crunching that led to 90% had errors. Whatever the case, statement 2 is either true or false and not something in between. Statement 2 fully unpacked is 2a. There's a 90% chance of rain tomorrow is true
Statement 3 is also probabilistic but doesn't have a number assigned to the probability of aliens having visited the earth in the past. Nevertheless, it's implied that statement 3 is true while it's possible for it to be false. There's no middle ground here between true and false. Statement 3 unpacked is 3a. Aliens may have visited the earth in the past is true.
As you can see, even statements that deal with uncertain stuff are implicitly claimed as true despite the possibility of them being false. There is nothing in-between betwixt true and false.
That said, there are certain statements like:
4. Aliens had visited earth in the past
At first glance proposition 4 isn't true or false but 4 can easily be rephrased, with no loss in meaning at all, as:
4a. Aliens may have visited the earth in the past
Statement 4a is either true or false.
I guess we have to keep in mind the difference between probabilistic phenomena (uncertain) and propositions about probabilistic phenomena (certain truth/falsity).
My two cents.
What then do you make of this:
Quoting https://en.wikipedia.org/wiki/Law_of_excluded_middle
And this:
Quoting https://en.wikipedia.org/wiki/Law_of_excluded_middle
I know, it's Wikipedia. Still...
And for the second quote: That's completely correct, since the excluded middle is not, by itself, identical to bivalence. You need both excluded middle ("either T or F") and non-contradiction ("not both T and F") to make up bivalence ("T xor F").
So back to the LEM not being derived from the LNC. Having mulled it over some, should have said the LEM is derived from the Law of Identity (LID) via notions obtained from the LNC – with the LNC being derived from the LID. For instance: If A is A (ID) then A cannot both be A and not-A at the same time and in the same respect (NC); next, if the LID and the LNC, neither can A be something intermediate between A and not-A which, thereby, would be neither A nor not-A.
Any objections to that formulation? For the record, I don’t know of any non-arbitrary way to obtain the LEM in manners not derived from, else dependent on, the LID via notions of “A and not-A” provided in the LNC. If you happen to, curious to learn of them.
As an aside: Dialetheism to me … well, let’s say doesn’t exist on the very grounds that it does.
While there are variations in logic which do not rely on bivalence - being true, or false, with nothing in between - standard bivalent logic has long been preferred, and gets us further.
Yes, in mathematics, it's called "Probability", or "Fuzzy Logic". In philosophy it's called "the Excluded Middle" of a continuum, and in ordinary parlance it's called "Maybe".. Only if the postulates are directly contradictory, is there no middle ground. But that kind of certainty is hard to come by. Which is why philosophers argue a lot. :smile:
Yes, I find it misleading because it employs only one variable (A) rather than distinguishing between a subject (S) and a predicate (P) as attributed to it by a proposition. I also prefer referring to the so-called "laws of thought" as principles, since (as already noted) there are viable logical systems in which they do not hold.
The principle of contradiction (PC) is that S is not both P and not-P at the same time and in the same respect; i.e., it is never the case that both "S is P" and "S is not-P" are true. The principle of excluded middle (PEM) is that S is either P or not-P at any given time; i.e., it is always the case that either "S is P" or "S is not-P" is true. Neither of these entails the other, but taken together they entail the principle of bivalence (PB) along with the rule of double negation--if S is not not-P, then S is P.
In a word, yes. Examples include violations of LEM/bivalence (principle of Vagueness/ambiguity), consciousness (consciousness, sub-consciousness and unconsciousness), Being and Becoming, self referential statements (unresolved paradox/incompleteness), etc..
Living this life is indeed a mystery and somewhat incomplete and irrational and/or transcends the axioms of formal logic :snicker:
(Think of it another way; the metaphorical cosmic computer operates from yes/no and either/or (binary) systems, but living life isn't like that. If it were, we wouldn't survive meltdowns- well some people don't survive them anyway!)