Classical Logic

02.11.2009 04:04

plato.stanford.edu

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

World

Philosophy Articles