Formal_semantics_(logic)
Semantics of logic
Study of the semantics, or interpretations, of formal and natural languages
In logic, the semantics of logic or formal semantics is the study of the semantics, or interpretations, of formal languages and (idealizations of) natural languages usually trying to capture the pre-theoretic notion of logical consequence.
This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages)
|