Difference between revisions of "Definition/Logic"
Jump to navigation
Jump to search
| (3 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
[[wikipedia:Logic|Logic]] 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]]<ref>{{:BOOK/可拓逻辑初步}}</ref> to enumerate [[plausibilities]]. | [[wikipedia:Logic|Logic]]<ref>{{:Book/From Frege to Godel}}</ref> 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]]<ref>{{:BOOK/可拓逻辑初步}}</ref> to enumerate [[plausibilities]]. | ||
Based on this definition, any set of symbols that allows for the same possibility space can be thought of as the '''[[sameness|same]]''' language. This can be explained as the term: '''[[up to isomorphism]]''' in [[Category Theory]]. | Based on this definition, any set of symbols that allows for the same possibility space can be thought of as the '''[[sameness|same]]''' language. This can be explained as the term: '''[[up to isomorphism]]''' in [[Category Theory]]. | ||
| Line 5: | Line 5: | ||
=References= | =References= | ||
<references /> | <references /> | ||
=Related Page= | |||
[[Logically related::Logic]] | [[Logically related::Logic]] | ||
[[Definition::Logic]] | |||
</noinclude> | </noinclude> | ||
Latest revision as of 02:23, 4 September 2021
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.
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: 科学出版社.