
Originally Posted by
Speakpigeon
Why no science of logic?
By science of logic, I mean a scientific investigation of logic as objective performance and manifest capability of human beings, investigation that would try to develop a formal model of logic which would be accurate and operational.
I can't think of any important aspect of the empirical world which is similarly neglected by science.
There doesn't seem to be any practical impossibility.
Cost would not be a significant factor.
Logic seems to be a rather crucial aspect of human intelligence, which is itself at the centre of the very costly drive to produce artificial intelligence systems. The usefulness of an accurate formal model of logic seems therefore beyond question.
So, 2,400 years after Aristotle, why is there still, in the 21st century, no science of logic?
EB
Math and science are consider different disciplines. Science deals with physical processes. Science looks at the biological process of the brain that could give rise to logic.
Since the rise of computers logic has moved from philosophy to computer science, which is considered a separate discipline from math, although there is overlap.
It is heavy reading, you could try to read Knuth's books especially Semi Numerical Algorithms. The focus and attention is there, but it is has evolved far beyond Aristotle and his syllogisms. Classical logic from philosophy has little direct use.
There are several applied forms of symbolic logic, one being Boolean Algebra with a standard set of electrical symbols which I am familiar with.
BNF is used to describe the logic behind each instruction in a processor instruction ire set.
https://en.wikipedia.org/wiki/Backus%E2%80%93Naur_form
Depending on what you work on symbolic and formal logic are common.
There is symbol;ic language to describe computer languages, part of that covered under Theory Of Computaion.