# Talk:Modules

## 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