semantics of logic
Sign in to saveAlso known as formal semantics, logical semantics, semantics
study of the semantics, or interpretations, of formal and natural languages
In the Vinony graph
Vinony's link graph records 594 inbound references to semantics of logic, and connects out to first-order logic, semantic theory of truth and mathematical logic.
It sits within the topics Formal semantics (natural language), Mathematical logic and Model theory.
Vinony links it to 15 Wikipedia language editions.
Connections
first-order logic
Entity
semantic theory of truth
Entity
mathematical logic
Entity
philosophy of language
Entity
proposition
Entity
formal language
Entity
logical disjunction
Entity
quantifier
Entity
formal system
Entity
possible world
Entity
recursive set
Entity
structure
Entity
principle of compositionality
Entity
formal semantics
Entity
diagram
Entity
ground expression
Entity
language
Entity
Aristotle
Entity
Confucius
Entity
Plato
Entity