Formal Semantics aims to provide a formal and systematic framework for understanding the meaning of linguistic expressions in natural languages.

The Compositionality Principle is a fundamental principle in Formal Semantics, stating that the meaning of a complex expression is derived from the meanings of its parts and the rules of combination.

Truth-conditional semantics focuses on the relationship between sentences and their truth values, aiming to provide a formal framework for evaluating the truth or falsity of statements.

Truth-conditional semantics assigns a truth value (true or false) to every sentence in a language, providing a formal framework for evaluating the truth or falsity of statements.

Model-theoretic semantics interprets sentences in terms of mathematical models, providing a formal framework for evaluating the truth or falsity of statements based on the properties of the model.

Lexical semantics focuses on the meaning of words and phrases, aiming to provide a systematic understanding of how words and phrases contribute to the overall meaning of sentences.

Pragmatic semantics emphasizes the role of context and speaker intentions in determining the meaning of utterances, providing a framework for understanding how language is used in communication.

Logical form is a representation of the meaning of a sentence in a language, providing a formal framework for analyzing the truth conditions and logical properties of sentences.

Referential semantics focuses on the relationship between language and the world, aiming to provide a systematic understanding of how words and phrases refer to objects, properties, and events in the world.

Dynamic semantics aims to analyze the meaning of sentences in context, providing a framework for understanding how the meaning of sentences changes depending on the context in which they are used.

Cognitive semantics emphasizes the role of cognitive processes in understanding the meaning of language, providing a framework for analyzing how our cognitive abilities shape our interpretation of linguistic expressions.

Event semantics focuses on the meaning of events and actions, aiming to provide a systematic understanding of how language represents and communicates information about events and actions.

Social semantics emphasizes the role of social and cultural factors in shaping the meaning of language, providing a framework for analyzing how language is used and interpreted within social and cultural contexts.

Discourse semantics focuses on the meaning of sentences in context, aiming to provide a systematic understanding of how the meaning of sentences is shaped by the discourse context in which they are used.

Intentional semantics emphasizes the role of speaker intentions and hearer expectations in determining the meaning of utterances, providing a framework for analyzing how speakers convey and hearers interpret communicative intentions.