Formal semantics (logic)  

From The Art and Popular Culture Encyclopedia

Jump to: navigation, search

Related e

Wikipedia
Wiktionary
Shop


Featured:

In logic, formal semantics OR logical semantics, is the study of the semantics, or interpretations, of formal and (idealizations of) natural languages usually trying to capture the pre-theoretic notion of entailment. (Although both linguistics and logic lay claim to providing theories of natural language, according to Geach, logic generally ignores the "idiotism of idiom", and sees natural languages as cluttered with idioms of no logical interest.)




Unless indicated otherwise, the text in this article is either based on Wikipedia article "Formal semantics (logic)" or another language Wikipedia page thereof used under the terms of the GNU Free Documentation License; or on research by Jahsonic and friends. See Art and Popular Culture's copyright notice.

Personal tools