Revised entry by Stewart Shapiro on November 2, 2009. Changes to: Main text] Typically, a logic consists of a formal or informal language together with a deductive system and/or a model-theoretic semantics. The language is, or corresponds to, a part
» Full text »
