Article outline

• 4.1A pragmatic primitive in semantics
  • 4.1.1Why formal semantics?
  • 4.1.2Varieties of inferential semantics
  • 4.1.3Meaning-use analysis of IS
• 4.2Semantic interpretation
  • 4.2.1Incoherence models
  • 4.2.2Entailment
• 4.3Logical vocabulary in IS
  • 4.3.1Negation
  • 4.3.2Conjunction
  • 4.3.3Modality
• 4.4Metalogical properties
  • 4.4.1Soundness and completeness
  • 4.4.2Semantic recursiveness
• Notes