(FB 1548678844 Timestamp)
THAT THING WE CALL ‘LOGIC”
We can observe our use of logic, math, geometry, just fine, the way we can observe every other one of our senses. But, until the present era would could not inspect the mechanism by which logic, math, geometry function: the detection of differences in constant relations between recursive neural networks.
In other words, we lacked instrumentation for observation and measurement at such scales, and a paradigm (logic) for modeling them instrumental (computer science). it also is the most complex phenomenon we have examined which, because it’s heuristic (adaptive).
But the fundamentally ability of us to sense differences, particularly in something so informationally dense (concentrated) as speech, is produced by differences in degree and distribution of excitement of neural networks. In other words we sense both constant and inconstant relations, in what babbage correctly called ‘a difference engine’.
The logical facility consists in our ability to detect differences in constant relations between a nearly infinite hierarchy of forever-contingent associations. The discipline we call logic attempts to tests whether we ‘speak’ in constant relations. The discipline of formal logic attempts to produce a grammar of categories of constant relations in an effort to test for inconstant relations, claimed to be constant.
—“Long before the twentieth century the prevailing opinion was that Euclidean geometry, standard mathematics, and logic did not rest on experience in any obvious way. They were largely presupposed in our empirical work, and it was difficult to see what if anything might disconfirm them. Geometry was a special case and might be handled in different ways that we shall not discuss here. That leaves logic and mathematics.”—S.E.P.