Re: [PEIRCE-L] Intuitionistic logic

2021-05-18 Thread John F. Sowa
Gary R, I'm glad you asked.GR> Please explain how this "blocks the way of inquiry" for folk like me who are apparently radically deficient in mathematics and logic so simply can't see it as such.  Intuitionistic logic is a restriction on the permissible rules of inference. That makes it impossib

Re: [PEIRCE-L] Intuitionistic logic

2021-05-18 Thread Gary Richmond
John, Jon, List, JAS: Peirce anticipates aspects of the formal system that is now known as intuitionistic logic--e.g., defining negation as the implication of falsity... JFS: Nobody knows what Peirce would have said about the less dogmatic treatment of intuitionistic logic by Heyting and others,

Re: [PEIRCE-L] Intuitionistic logic

2021-05-18 Thread John F. Sowa
Jon AS, I'm writing an article about Peirce's writings on logic in 1911, which I'll post to P-list soon.  And I'm glad that we can agree on that point. JFS> However, Peirce and Brouwer were on opposite sides of fundamental issues about the nature of mathematics.  ...  In general, Brouwer's assu

Re: [PEIRCE-L] Intuitionistic logic

2021-05-18 Thread Jon Alan Schmidt
John, List: I was hoping that the archive would be back in operation by the time I posted this, but I guess not. JFS: There have been some discussions about intuitionistic logic and the claim that Peirce anticipated aspects of Brouwer's version of intuitionistic logic The actual (and non-contro

[PEIRCE-L] Mario Bunge's ideas and Foundations of information technology

2021-05-18 Thread John F. Sowa
Alex and William, I agree with Mario B. that a foundation for ontology based on systems is far and away superior to a foundation based on physical things -- primarily because systems presuppose non-physical mathematics and the supra-physical laws that govern the physical things/stuff. Without

Re: [PEIRCE-L] Peircean Categories

2021-05-18 Thread Edwina Taborsky
Tom - that's exactly my point. The bank's 'intelligence system' will have a system in place that will enable it to deal with 'random input' - such as that method, just as you describe, where the bank's system will receive the 'rogue' input AND then, have a valid method [3-2] to

RE: [PEIRCE-L] Peircean Categories

2021-05-18 Thread Tom Tinsley
Edwina – I understand your analysis in respect to Peirce, but todays banking systems do not learn. Financial systems transmit through secure network systems where the allowable parties are known and banks pay for the service. Adding a new party is the responsibility of the people in the organ

Re: [PEIRCE-L] Peircean Categories

2021-05-18 Thread Edwina Taborsky
Tom - another comment using your banking machine example. The Peircean categorical framework enables complexity, in that the categories are not just 'pure' Firstness, Secondness, and Thirdness. They are nuanced. So, Secondness can be a pure crisp data bit. But, there i