surreptitious57 wrote: ↑
Wed Feb 27, 2019 2:08 am
Logic is the foundation of both philosophy and mathematics but they are also separate disciplines
Computer science is a branch of both mathematics and science which are also separate disciplines
I will accept your premises as valid for now, simply so that I can help you unify these concepts into one.
What is the foundation of logic?
Grammar and semantics. The rules for forming coherent, consistent and meaningful thoughts.
These coherent thoughts are then expressed through language.
Every unique set of "rules for forming coherent, consistent and meaningful thoughts" a new language/logic makes.
Since you can have a near-infinite set of rules. And a near-infinite set of rule permutations - you can have near-infinite languages (this is what Postmodern philosophers have been on about. This is what Derida's means by "il n'y a pas de hors-texte" .
It alludes to the fact that text, symbols, squiggles and characters contain absolutely no meaning without knowing the grammar, semantics and most importantly - the INTENTION of the person who expressed any particular thought into language/logic/mathematics.
In the simplest term possible: in a universe where you are free to invent an near-infinite number of languages - what are the odds that any two people speak the EXACT same language? But I am getting a little off-topic.
Back to near-infinite number of languages. How do we enumerate ALL of them?
https://en.wikipedia.org/wiki/Chomsky_h ... 0_grammars
Type-0 grammars include all formal grammars. They generate exactly all languages that can be recognized by a Turing machine.
Turing machines are the foundational concept of Computer Science.
Now that we have unpacked all the things to the bottom. We have established these two truths:
Turing machines are computers.
Grammar is foundational of language.
Now follow my finger up to the surface.
Turing machines can enumerate ALL Type-0 formal grammars: logic, mathematics, programming languages!
You brain is a Turing machine.
Understanding how your mind works is computer science. Once you understand your mind. All languages can be unified.