Talk:Modules

From the Logical Languages Wiki
Jump to navigation Jump to search

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