formal semantics

Examples

• All

• The theory of possible worlds—a modern adaptation of a Leibnizian concept—was originally developed as a means to solve problems in formal semantics.

  Academic text (1992)

• Thomas is unusual in that he has done just straight up formal semantics work, especially on modality.

• For example, knowledge representation techniques focus on formal semantics and flexibility of modeling frameworks and put less emphasis on actual problem solving that requires efficient tools.

  Academic text (2017)

• Since it is defined in purely abstract terms, the model can be justified by any successful use and by the particular interpretation on which this use is based—by literary theory no less than by formal semantics.

  Academic text (1992)

• In the meantime, philosophers working in formal semantics were making brief allusions to the resemblance of possible worlds to "stories" (Adams) and to "books" (Plantinga).

  Academic text (1992)

• As Dolezel writes, "Specific features of fictional worlds of literature cannot be derived from the possible-world model of formal semantics, yet they can be identified only against the background of this model frame" ("Mimesis" 486).

  Academic text (1992)

• In linguistics, formal semantics helps analyze the meanings derived from sentence structures.

• Courses in formal semantics often cover the mathematical principles that underpin language analysis.

How Formal

formal semantics

• Specialized

9.1

conceptual semantics

• Specialized

9.3

Surface Forms

Morphology

Etymology