Talk:Modules
Revision as of 10:10, 9 March 2022 by Jiyu8iighx (talk | contribs) (→Classification by semantic designs: new section)
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
- Reference
- Quantifier
- Epistemics
- Possibility
- Time
- Events
- Psychology and behavior
- Intention
- Normativity
- Reference
- 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