Submitted by Vico1730 t3_z0s4dw in philosophy
iiioiia t1_ixahvdf wrote
Reply to comment by chromeVidrio in On the advantages of believing that nothing is true by Vico1730
> We have now proven that it is either true or false that A is RL and that it is either true or false that B is RL.
What if they're tied?
chromeVidrio t1_ixai1ha wrote
Keep reading. I solve for that scenario.
Both are then false, i.e., not RL.
A ≠ RL
B ≠ RL
RL = not A or B
iiioiia t1_ixaitlr wrote
Who decides on the categorization algorithm implementation? Can there be only one?
chromeVidrio t1_ixaj8jw wrote
I am not sure what you mean by that.
The definition of RL? If that’s what you mean, it doesn’t matter. Define it however you want.
It could change the result but it will never change:
A = RL or not RL
B = RL or not RL
Give me another definition. I’ll solve it.
iiioiia t1_ixak6ks wrote
> The definition of RL? If that’s what you mean, it doesn’t matter. Define it however you want.
Ok then:
RL = both A and B.
You are thus incorrect.
chromeVidrio t1_ixakh2g wrote
RL = both A and B if RL ≠ SL
All you’ve done is change the definition of RL.
RL is no longer “singular leader.”
It now allows for ties.
RL = SL or tied racers
Therefore, RL = both A and B
A is still RL or not RL
B is still RL or not RL
It’s just solved differently with your new definition of RL. Now the answer is just true instead of false, which of course is allowed by “RL or not RL.”
iiioiia t1_ixaml6p wrote
> RL = both A and B if RL ≠ SL
Nope, regardless of whether RL == SL, due to the difference in my implementation.
> It now allows for ties.
For now....I might change it again!
> It’s just solved differently with your new definition of RL. Now the answer is just true instead of false, which of course is allowed by “RL or not RL.”
I don't think "just" is appropriate here, as the truth value is a function of the implementation. Barring a singular, conclusive/deterministic definition, it is subjective.
Regardless: ternary (and other kinds) of logic exists, it does not require your agreement or approval.
chromeVidrio t1_ixao733 wrote
Lol, again, it does not matter what is the definition of RL. It doesn’t even matter if RL changes.
A is always RL or not RL
B is always RL or not RL
To prove me wrong you need to show me a scenario where
A = not RL and RL
B = not RL and RL
It’s an impossibility. You cannot be not Race Leader and be Race Leader at the same time. You cannot be and not be at the same time. Ternary logic might exist but it’s wrong to the extent it might suggest that things need not always be true or false.
iiioiia t1_ixcz0xg wrote
What if there is no data feed for portions of the race? What value would one store for those timestamps?
chromeVidrio t1_ixcz31h wrote
RL or not RL
iiioiia t1_ixczzw1 wrote
Aka: unknown or null.
chromeVidrio t1_ixaqwse wrote
https://en.m.wikipedia.org/wiki/Law_of_noncontradiction
Here is the Wikipedia on this issue. Like you, others have challenged the law, but I don’t buy it for a second. I think Aristotle hit the nail on the head.
BugsRucker t1_ixaweko wrote
this has been fascinating to read both of you, just thought i'd throw that in instead of being a silent observer
chromeVidrio t1_ixawr1s wrote
cheers, it’s been a fun debate
/u/iiioiia has not convinced me but respect to him nonetheless
iiioiia t1_ixcz9t2 wrote
It was fun, I think we were kinda arguing two related but distinct points simultaneously though.....Reddit sucks for serious arguments.
iiioiia t1_ixczn8y wrote
I don't think this necessarily applies though as definitions (implementations) can do an end run around it, like a tie having zero race leader or two race leaders....there is the objective physical state of reality, and the subjective perceptual/narrative state, but humans tend to conflate the two (the subjective state often appears to be objective).
Viewing a single comment thread. View all comments