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
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,
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
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
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
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
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
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