Talk:Modules: Difference between revisions
Jump to navigation
Jump to search
Jiyu8iighx (talk | contribs) (→About the section "semantics": new section) |
Jiyu8iighx (talk | contribs) (Inference) |
||
(2 intermediate revisions by the same user not shown) | |||
Line 4: | Line 4: | ||
I think there are very many things to consider here. The formal semantics of truth value has only a very limited effect on the categorizing of module. | I think there are very many things to consider here. The formal semantics of truth value has only a very limited effect on the categorizing of module. | ||
[[User:Jiyu8iighx|Jiyu8iighx]] ([[User talk:Jiyu8iighx|talk]]) 15:28, 3 March 2022 (UTC) | |||
== Classification by semantic designs == | |||
=== Model of semantics === | |||
* Inference and epistemics | |||
** Bearer of semantics | |||
*** Truth value (model-theoretic) | |||
**** (Your solution to) Vagueness (e.g. sorites paradox) | |||
***** Many-valued | |||
***** Supervaluationism | |||
***** Subvaluationism | |||
***** Contextualism | |||
**** Self reference (e.g. Tarski undefinability) | |||
*** Logic consequence (proof-theoretic) | |||
*** Belief | |||
**** Describing the strength of belief | |||
**** Belief revision | |||
*** Ideal objects | |||
**** Instantiation (Reference from descriptions) | |||
*** Question, non-descriptive emotion etc. | |||
** Epistemic status/process of understanding and expressing | |||
*** Possibility | |||
*** Reference to the domain of discourse | |||
*** Presupposition | |||
** Restrictive rule for semantics (exclude impossible/ineffective ) | |||
* Compositionality | |||
** Quasi object (by Rudolf Carnap) (for high order logic) | |||
=== Syntactic mechanisms for semantics === | |||
* Syntactic compositionality | |||
** Infinite semantic objects | |||
*** Infinite syntactic objects (e.g. numbers) | |||
*** Describe by catastrophic changes | |||
** Macro-like designs (in computer science) | |||
*** Sequence | |||
*** Expansion of conjunctions | |||
* Frequently used conceptual subsystems | |||
** Inference | |||
*** Entailment | |||
*** Counterfactual conditional | |||
** Reference | |||
*** Quantifier | |||
** Epistemics | |||
*** Possibility | |||
** Time | |||
*** Events | |||
** Psychology and behavior | |||
*** Intention | |||
*** Normativity | |||
* Pragmatics | |||
** Options and elliptical sentences | |||
=== Conceptual system and name assignment === | |||
* Meta: which direction do you lean towards and plan to move on? | |||
** Conceptual analysis | |||
*** Descriptive (try to give definitions to existing concepts) | |||
*** Revisionary (try to define concepts that may satisfy our needs) | |||
** Expressing/understanding sentences | |||
*** Low cost formally : Less concepts in an expression (usually leads to a shorter expression) | |||
*** Low cost practical: Easy to obtain in mind, understand or prove/disprove | |||
*** Reliable: less possible to be false/inscrutable | |||
*** Detailed: may brings more knowledge | |||
*** Less pragmatics: reflect our demands directly and properly | |||
** Neutrality | |||
*** Pluralism views of the world | |||
*** Normatively neutral | |||
* Foundations | |||
** Theory of definitions | |||
*** Content of a definition | |||
**** Truth value's dependency on truth values | |||
**** Understandability's dependency on truth values | |||
***** Presupposition | |||
*** Validity of a definition (when can we say two concepts are equivalent) | |||
**** Extensional adequacy | |||
**** Same truth-maker | |||
** Different definitions of the same referents | |||
** Conceptual change and revision | |||
** Polysemy | |||
*** Default/order | |||
*** Fall-back mechanism | |||
*** Strong pattern matchings | |||
**** e.g. static/dynamic type system | |||
* Concepts | |||
** W.I.P. | |||
** Basic Abstraction | |||
** Geometry | |||
*** Foundations | |||
**** Euclidean geometry ("line", "point", "parallel" etc.) | |||
**** Affine space (continuous, quantitative directions and lengths etc.) | |||
**** Topology with metric ("connectivity", some topological classifications etc.) | |||
**** Non-euclidean geometry (Minkowski space etc.) | |||
**** Differential geometry ("vector field", "curvilinear coordinates", "tangent bundle", "volume" etc.) | |||
**** Transformations (Galilean group etc.) | |||
*** Typical geometric objects | |||
**** Regular polygons etc. | |||
** Strategy (Between internal aim and external world) | |||
*** W.I.P. | |||
** Physics | |||
*** Classical mechanics | |||
*** Electromagnetism | |||
**** especially geometric optics for images | |||
*** Statistical methods and some induced concepts from an approximation from quantum theory | |||
** Other upper-level concepts | |||
** Concepts directly trained in the neuro-network |
Latest revision as of 10:14, 9 March 2022
About the section "semantics"
Logic is another syntactic system, which has only formal semantics(proof-theoretic semantics or model-theoretic semantics — the latter lies in a meta language), how could it be the foundation of semantics?
I think there are very many things to consider here. The formal semantics of truth value has only a very limited effect on the categorizing of module. Jiyu8iighx (talk) 15:28, 3 March 2022 (UTC)
Classification by semantic designs
Model of semantics
- Inference and epistemics
- Bearer of semantics
- Truth value (model-theoretic)
- (Your solution to) Vagueness (e.g. sorites paradox)
- Many-valued
- Supervaluationism
- Subvaluationism
- Contextualism
- Self reference (e.g. Tarski undefinability)
- (Your solution to) Vagueness (e.g. sorites paradox)
- Logic consequence (proof-theoretic)
- Belief
- Describing the strength of belief
- Belief revision
- Ideal objects
- Instantiation (Reference from descriptions)
- Question, non-descriptive emotion etc.
- Truth value (model-theoretic)
- Epistemic status/process of understanding and expressing
- Possibility
- Reference to the domain of discourse
- Presupposition
- Restrictive rule for semantics (exclude impossible/ineffective )
- Bearer of semantics
- Compositionality
- Quasi object (by Rudolf Carnap) (for high order logic)
Syntactic mechanisms for semantics
- Syntactic compositionality
- Infinite semantic objects
- Infinite syntactic objects (e.g. numbers)
- Describe by catastrophic changes
- Macro-like designs (in computer science)
- Sequence
- Expansion of conjunctions
- Infinite semantic objects
- Frequently used conceptual subsystems
- Inference
- Entailment
- Counterfactual conditional
- Reference
- Quantifier
- Epistemics
- Possibility
- Time
- Events
- Psychology and behavior
- Intention
- Normativity
- Inference
- Pragmatics
- Options and elliptical sentences
Conceptual system and name assignment
- Meta: which direction do you lean towards and plan to move on?
- Conceptual analysis
- Descriptive (try to give definitions to existing concepts)
- Revisionary (try to define concepts that may satisfy our needs)
- Expressing/understanding sentences
- Low cost formally : Less concepts in an expression (usually leads to a shorter expression)
- Low cost practical: Easy to obtain in mind, understand or prove/disprove
- Reliable: less possible to be false/inscrutable
- Detailed: may brings more knowledge
- Less pragmatics: reflect our demands directly and properly
- Neutrality
- Pluralism views of the world
- Normatively neutral
- Conceptual analysis
- Foundations
- Theory of definitions
- Content of a definition
- Truth value's dependency on truth values
- Understandability's dependency on truth values
- Presupposition
- Validity of a definition (when can we say two concepts are equivalent)
- Extensional adequacy
- Same truth-maker
- Content of a definition
- Different definitions of the same referents
- Conceptual change and revision
- Polysemy
- Default/order
- Fall-back mechanism
- Strong pattern matchings
- e.g. static/dynamic type system
- Theory of definitions
- Concepts
- W.I.P.
- Basic Abstraction
- Geometry
- Foundations
- Euclidean geometry ("line", "point", "parallel" etc.)
- Affine space (continuous, quantitative directions and lengths etc.)
- Topology with metric ("connectivity", some topological classifications etc.)
- Non-euclidean geometry (Minkowski space etc.)
- Differential geometry ("vector field", "curvilinear coordinates", "tangent bundle", "volume" etc.)
- Transformations (Galilean group etc.)
- Typical geometric objects
- Regular polygons etc.
- Foundations
- Strategy (Between internal aim and external world)
- W.I.P.
- Physics
- Classical mechanics
- Electromagnetism
- especially geometric optics for images
- Statistical methods and some induced concepts from an approximation from quantum theory
- Other upper-level concepts
- Concepts directly trained in the neuro-network