Atheistforums.com

Humanities Section => Philosophy & Rhetoric General Discussion => Topic started by: Baruch on December 06, 2016, 11:11:59 PM

Title: Getting past Scholastic dogma aka Aristotelianism ...
Post by: Baruch on December 06, 2016, 11:11:59 PM
https://aeon.co/videos/western-logic-has-held-contradictions-as-false-for-centuries-is-that-wrong

The CPU bus logic of my computer and yours, is three-state, not two-state ... so the law of excluded middle doesn't apply.  The notion that 2+2=4 is true in some number systems, but not in others ... 2+2=11 in base 3.  One can claim that is just a notational technicality, but in number theory, that isn't so ... in arithmetic there are some things that are true in all number systems, some which are true in some number systems and false in others, and there are things that are false in all number systems.  Some abstractions are so difficult, that there is no proof at present, that such and such is true in all number systems ... this may be because some proofs are undecidable (aka no Turing machine can simulate a proof, because the simulation doesn't necessarily terminate).  A valid proof is one that can be shown to terminate after no more than X steps ... with confirmation or denial.
Title: Re: Getting past Scholastic dogma aka Aristotelianism ...
Post by: Cavebear on December 09, 2016, 05:09:14 AM
Quote from: Baruch on December 06, 2016, 11:11:59 PM
https://aeon.co/videos/western-logic-has-held-contradictions-as-false-for-centuries-is-that-wrong

The CPU bus logic of my computer and yours, is three-state, not two-state ... so the law of excluded middle doesn't apply.  The notion that 2+2=4 is true in some number systems, but not in others ... 2+2=11 in base 3.  One can claim that is just a notational technicality, but in number theory, that isn't so ... in arithmetic there are some things that are true in all number systems, some which are true in some number systems and false in others, and there are things that are false in all number systems.  Some abstractions are so difficult, that there is no proof at present, that such and such is true in all number systems ... this may be because some proofs are undecidable (aka no Turing machine can simulate a proof, because the simulation doesn't necessarily terminate).  A valid proof is one that can be shown to terminate after no more than X steps ... with confirmation or denial.

Given that we normally count in base 10 (and yes I was quite good at different base systems in school) was there some point to your post?
Title: Re: Getting past Scholastic dogma aka Aristotelianism ...
Post by: Baruch on December 09, 2016, 06:43:13 PM
Quote from: Cavebear on December 09, 2016, 05:09:14 AM
Given that we normally count in base 10 (and yes I was quite good at different base systems in school) was there some point to your post?

Yes, but it is OK if you didn't get it.  Basically that black/white thinking is stupid, though not as stupid as black/black thinking or white/white thinking.