Difference between revisions of "Logic"
(Created page with "Logic is a subject matter that uses symbol systems to relate cause and effect possibilities.") |
m (Text replacement - "{{#ev:youtube|hP3ENPc8Jf0 |width=900 |height=500 }} " to "{{#widget:YouTube |id= hP3ENPc8Jf0 |width= 900 |height=500 }}") |
||
(44 intermediate revisions by 2 users not shown) | |||
Line 1: | Line 1: | ||
[[wikipedia:Logic|Logic]] is a subject matter that uses | [[wikipedia:Logic|Logic]]<ref name="MathSource">{{: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]]. | |||
Some of the directly related ideas can be found here: | |||
*[[Mathematical logic]] | |||
*[[Extensible logic]] | |||
*[[Reversible logic]] | |||
*[[wikipedia:Quantum logic|Quantum logic]] | |||
=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. | |||
==A great starting point== | |||
To learn logic, it might be easier to first play around with Lambda Calculus, since it is a small language that embeds all kinds of combinatorial powers. The best source for this is to listen to '''[[Dana Scott on Lambda Calculus]]'''. In particular, the first hour of this lecture series<ref>{{:Video/Dana Scott - Theory and Models of Lambda Calculus Untyped and Typed - Part 1 of 5 - λC 2017}}</ref>, Scott present the historical context. It will be useful to see why logic is very much computational and combinatorial in nature. | |||
==Gödel Numbering== | |||
Learning logic cannot be without learning [[Gödel Numbering System]]<ref extends="MathSource">p. 592-617</ref>. This simple framing provides a number-theoretic namespace for all formal languages. The incremental addition of vocabulary to this language, also can be represented in this framing. | |||
=The Dimensionality of Logic= | |||
If logic were to be a self-consistent structure, it must all be bounded in a singular entity, therefore, it should NOT have isolated dimensions, all dimensions and content must all be connected. This idea was well reflected in the notion of Lattice, the bounded data structure that allows everything considered in a unifying logic to be related with a type of common ordering relations. These ideas have been articulated by the following ideas: | |||
# Geometry of Logic<ref>[http://finitegeometry.org/sc/16/logic.html Geometry of Logic]</ref><ref>{{:Video/The Geometry of Causality}}</ref> | |||
# Geometry of Interaction<ref>[[wikipedia:Geometry of interaction|Geometry of Interaction on Wikipedia]]</ref> | |||
==Types of Dimensions== | |||
When dealing with logic, the ideas of geometry must be connected with one more aspect, the notion of time, or order. Only by adding the directed relations, Logic possess sufficient expressive power to conduct reasoning activities. This leads to the incorporation of computation, a dynamic sequence of decision making, that has been operationally proven to be the essence of making choices at all scales of physical and non-physical contexts. This also leads to the revelation that why Logic and Type theory can be related to physical dimensions, in terms of different types of interactions. More importantly, thinking of dimensionality in terms of types could help shape and compress the complexity of foundational reasoning processes. Specifically, teaching young children<ref>[[Gasing Method]]</ref> to learn physics and math concepts from scratch. | |||
=Interesting Dicussions= | |||
Readers can find some relevant discussions about Logic, particularly, [[wikipedia:Logicism|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.): | |||
{{#widget:YouTube | |||
|id= hP3ENPc8Jf0 | |||
|width= 900 | |||
|height=500 | |||
}}|KTUVdXI2vng|||||start=341}} | |||
<noinclude> | |||
=References= | |||
<references /> | |||
==Related Pages== | |||
*[[Is in field::Logic]] | |||
{{#ask: [[Logically related::Logic]]}} | |||
[[Category:Logic]] | |||
[[Category:Data]] | |||
[[Category:Invariance]] | |||
[[Category:Meta mathematics]] | |||
[[Category:Gödel Number]] | |||
[[Category:Cognitive Science]] | |||
</noinclude> |
Latest revision as of 05:43, 13 January 2024
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.
A great starting point
To learn logic, it might be easier to first play around with Lambda Calculus, since it is a small language that embeds all kinds of combinatorial powers. The best source for this is to listen to Dana Scott on Lambda Calculus. In particular, the first hour of this lecture series[3], Scott present the historical context. It will be useful to see why logic is very much computational and combinatorial in nature.
Gödel Numbering
Learning logic cannot be without learning Gödel Numbering SystemCite error: Invalid <ref>
tag; invalid names, e.g. too many. This simple framing provides a number-theoretic namespace for all formal languages. The incremental addition of vocabulary to this language, also can be represented in this framing.
The Dimensionality of Logic
If logic were to be a self-consistent structure, it must all be bounded in a singular entity, therefore, it should NOT have isolated dimensions, all dimensions and content must all be connected. This idea was well reflected in the notion of Lattice, the bounded data structure that allows everything considered in a unifying logic to be related with a type of common ordering relations. These ideas have been articulated by the following ideas:
Types of Dimensions
When dealing with logic, the ideas of geometry must be connected with one more aspect, the notion of time, or order. Only by adding the directed relations, Logic possess sufficient expressive power to conduct reasoning activities. This leads to the incorporation of computation, a dynamic sequence of decision making, that has been operationally proven to be the essence of making choices at all scales of physical and non-physical contexts. This also leads to the revelation that why Logic and Type theory can be related to physical dimensions, in terms of different types of interactions. More importantly, thinking of dimensionality in terms of types could help shape and compress the complexity of foundational reasoning processes. Specifically, teaching young children[7] to learn physics and math concepts from scratch.
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.):
|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: 科学出版社.
- ↑ Scott, Dana (Oct 12, 2017). Dana Scott - Theory and Models of Lambda Calculus Untyped and Typed - Part 1 of 5 - λC 2017. local page: LambdaConf.
- ↑ Geometry of Logic
- ↑ O'Dowd, Matt (Feb 3, 2017). The Geometry of Causality. local page: PBS Space Time. Retrieved Dec 1, 2024.
- ↑ Geometry of Interaction on Wikipedia
- ↑ Gasing Method
Related Pages
Abstract data, Data, Definition/Logic, Logic Model, Meta Data, Plausibility, Symbolic systems