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”....
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)
Repository Citation
Shapiro, Stewart and Kouri Kissel, Teresa, "Classical Logic" (2018). Philosophy Faculty Publications. 61.
https://digitalcommons.odu.edu/philosophy_fac_pubs/61
Comments
Open access to the Encyclopedia has been made possible by a world-wide funding initiative.