Document Type

Article

Publication Date

3-2018

Publication Title

Stanford Encyclopedia of Philosophy

Pages

15 pp.

Abstract

[From introductory section]

Typically, a logic consists of a formal or informal language together with a deductive system and/or a model-theoretic semantics. The language has components that correspond to a part of a natural language like English or Greek. The deductive system is to capture, codify, or simply record arguments that are valid for the given language, and the semantics is to capture, codify, or record the meanings, or truth-conditions for at least part of the language.

The following sections provide the basics of a typical logic, sometimes called “classical elementary logic” or “classical first-order logic”....

Comments

Open access to the Encyclopedia has been made possible by a world-wide funding initiative.

Original Publication Citation

Shapiro, S., & Kissel, T. K. (2018). Classical Logic. Stanford Encyclopedia of Philosophy. Retrieved from https://plato.stanford.edu/entries/logic-classical/

ORCID

0000-0001-6519-1723 (Kouri Kissel)

Share

COinS