Semantics of logic

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.

For the linguistics branch, see Semantics. For other uses, see Semantics (disambiguation).
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.