formal semantics

Also found in: Thesaurus, Wikipedia.
ThesaurusAntonymsRelated WordsSynonymsLegend:
Noun1.formal semantics - the branch of semantics that studies the logical aspects of meaning
semantics - the study of language meaning
Mentioned in ?
References in periodicals archive ?
The basic ideas and results of TKR are set forth in numerous publications both in Russian and English, in particular, in [12-30], TKR is the kernel of Integral Formal Semantics of NL, its basic principles and composition are stated in [16] and in Chapter 2 of [25].
I am in a privileged position to carry out this integration, since I have contributed top research in both distributional and formal semantics.
He then applies theories of epistemic justification, belief revision, epistemology, and formal semantics for counterfactuals to verificationism.
This paper compares the formal semantics approach to genericity, within which genericity is viewed as a species of quantification, and a growing body of experimental and developmental work on the topic, mainly by psychologists rather than linguists, proposing that genericity is categorically different from (and significantly simpler than) quantification.
Hendler, and Pascal Hitzler, discusses the opportunities and challenges related to combining formal semantics with data analytics approaches.
proposed extended EPC (eEPC) which introduced further elements such as process participants or data and information systems [5] Kindler [6] considers the absence of formal semantics which also allows the exchange of models between tools of different vendors and prevents the use of powerful analytical techniques.
Recanati offers a sophisticated accommodation of both formal semantics and informal pragmatics in his subtle balance between Indexicalism--the most developed unitary formal semantics--and Meaning Eliminativism--the most developed relativist pragmatics.
So it's self-consciously pitched as a synthesis of the pragmatist tradition of thinking about language with the analytic tradition inspired by the formal semantics of mathematical, artificial languages.
They cover meaning and reference, truth-theoretic semantics, meaning skepticism, the metaphysics and epistemology of meaning and content, and formal semantics.
Varieties of Formal Semantics, Foris, Dordrecht, 1984, p.
Watergate does provide Rabate with an opportunity to dip a toe into analytic philosophy, but his discussion of liar paradoxes in formal semantics, and the attempt to reduce mathematics to formal logic, has questionable relevance to Richard Nixon and lying in the everyday world.
Therefore we should introduce formal semantics into existing standards.

Full browser ?