Formal Semantics
A branch of linguistics that studies meaning using mathematical and logical frameworks. Covers truth-conditional semantics, model theory, and compositional meaning.
The study of meaning in language, logic, and computation. Explore how symbols, words, and structures convey understanding across linguistics, computer science, philosophy, and artificial intelligence.
1,247 verified articlesA branch of linguistics that studies meaning using mathematical and logical frameworks. Covers truth-conditional semantics, model theory, and compositional meaning.
An information extraction task that identifies the participants in a sentence with respect to the central predicate, mapping them to thematic roles like Agent or Patient.
Tim Berners-Lee's vision for machine-readable web data using RDF, OWL, and SPARQL. Enables automated reasoning and interoperability across distributed knowledge bases.
Examines the relationship between language, thought, and reality. Covers reference, sense, truth conditions, and the nature of meaning from Frege to contemporary pragmatics.
How modern neural networks map words and concepts into high-dimensional spaces where geometric distance correlates with semantic relatedness.
Understanding the boundary between literal meaning and contextual interpretation. Explores implicature, speech acts, and context-dependence in human communication.