logic

logic, the systematic study of valid inference. A distinction is drawn between logical validity and truth. Validity merely refers to formal properties of the process of inference. Thus, a conclusion whose value is true may be drawn from an invalid argument, and one whose value is false, from a valid sequence. For example, the argument All professors are brilliant; Smith is a professor, therefore, Smith is brilliant is a valid inference, but the argument All professors are brilliant; Smith is brilliant; therefore, Smith is a professor is an invalid inference, even if Smith is a professor.

Sections in this article:

• Introduction
• Mathematics and Logic
• Inductive Reasoning
• Post-Aristotelian Logic
• Aristotelian Logic

The Columbia Electronic Encyclopedia, 6th ed. Copyright © 2024, Columbia University Press. All rights reserved.

See more Encyclopedia articles on: Philosophy, Terms and Concepts