Then take it up with Aristotle.FlashDangerpants wrote: ↑Sun Mar 15, 2020 2:12 am Only by setting them to the same value so that they weren't contradictory. Which is a useless way to test a law about contradictions.
The LNC does not prescribe what the value of P is.
The LNC does not prescribe what the value of ¬P is.
All that the LNC prescribes is that (P and ¬P) ⇔ False
Bullshit. I tested P ∧ ¬P. It says so - right in the code.FlashDangerpants wrote: ↑Sun Mar 15, 2020 2:12 am You tested (P ∧ P) ⇔ True and you just pretended to be testing the other thing.
Code: Select all
(p and (not p)) == true
Either the LNC is descriptive, and therefore falsifiable
OR
The LNC is prescriptive and you've lost the is-ought war.
There is no shenanigans here, other than your inability to resolve the conflict between mutable and immutable reality. Deja vu much?