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.