Timeline for Is the Law of Excluded Middle an allowed argument in court?
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 18, 2023 at 13:52 | comment | added | Peter LeFanu Lumsdaine | @Speakpigeon: LEM is one very abstract way to justify it, but another is as a piece of empirical knowledge, analogous to the assumption “Alice’s phone weights more than 1 nanogram”. Philosophically one might see these as weakly justified by induction — but in a court or any other real-world context, that’s beside the point, and they would be accepted as common knowledge. | |
| Sep 18, 2023 at 9:56 | comment | added | Speakpigeon | "Many specific sentences of the form P ∨ ¬P are constructively provable" But how is it possible to prove empirically that Alice's phone is either dead or not dead? I would have thought we take this as true only because it is an instance of a logical truth accepted as such. I think I certainly do. | |
| Sep 18, 2023 at 3:32 | history | answered | benrg | CC BY-SA 4.0 |