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)
    • 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