Logic
Logic[1] is a piece of data that relates a hypothetical relation between source and destination objects. It is a subject matter that uses abstract data, or symbolic systems[2] to enumerate plausibilities. Based on this definition, any set of symbols that allows for the same possibility space can be thought of as the same language. This can be explained as the term: up to isomorphism in Category Theory.
Some of the directly related ideas can be found here:
Why study logic?
Logic has a unique position in the cognitive process of all systems. It is a kind of self-contained, or invariant foundation to help reason or compare against other things.
Interesting Dicussions
Readers can find some relevant discussions about Logic, particularly, Logicism. It can be watched on PBS Infinite Series here (starting at 5'41", just click on the following image, it will jump to that time point.):
{{#ev:youtube|KTUVdXI2vng|||||start=341}}
References
- ↑ van Heijenoort, Jean (2002). From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931. local page: Harvard University Press. ISBN 9780674324497.
- ↑ 蔡文; 杨春燕; 何斌 (November 2003). 可拓逻辑初步. Beijing: 科学出版社.
- ↑ 蔡文; 杨春燕; 何斌 (November 2003). 可拓逻辑初步. Beijing: 科学出版社.
Related Pages
Abstract data, Data, Definition/Logic, Logic Model, Meta Data, Plausibility, Symbolic systems