形式意味論
1. Formal semantics (logic)In logic, formal 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.
Read “Formal semantics (logic)” on English Wikipedia
Read “形式意味論” on Japanese Wikipedia
Read “Formal semantics (logic)” on DBpedia
Read “Formal semantics (logic)” on English Wikipedia
Read “形式意味論” on Japanese Wikipedia
Read “Formal semantics (logic)” on DBpedia
Discussions
Log in to talk about this word.