Unit 1: Fundamentals of Logic

Nature of Logic
Truth and Validity
Kinds of Proposition: Traditional and Modern
Exam Focus: FAQs & Tips

Nature of Logic

Logic is defined as the study of the methods and principles used to distinguish correct reasoning from incorrect reasoning. It provides the formal framework for analyzing the structure of arguments rather than their specific content.

Core Objectives of Logic

To define fundamental concepts and principles of reasoning.
To understand the application of logical principles in day-to-day life.
To employ logical methods to detect errors or fallacies in arguments.

Logic is the "science of sciences" because it provides the rules of reasoning used in every other field of study.

Truth and Validity

In logic, it is crucial to distinguish between the concepts of Truth and Validity. While they are often used interchangeably in common speech, they have very specific technical meanings in a logical context.

1. Truth

Truth is a property of individual propositions (statements). A proposition is "true" if it corresponds to a fact in the real world. For example, "The sun rises in the east" is a true proposition.

2. Validity

Validity is a property of deductive arguments. An argument is valid if its structure is such that if the premises are true, the conclusion must be true. Validity does not depend on whether the premises are actually true in reality, but on the logical connection between them.

Feature	Truth	Validity
Applies to	Propositions / Statements	Arguments / Syllogisms
Determined by	Correspondence with reality	Logical structure and connection
Possibilities	True or False	Valid or Invalid

Exam Tip: An argument can be Valid even if its premises are False. For example: "All cats are birds. All birds are dogs. Therefore, all cats are dogs." This structure is valid, even though the content is false.

Kinds of Proposition: Traditional and Modern

Propositions are classified differently by traditional (Aristotelian) logic and modern (Symbolic) logic.

1. Traditional Classification (Categorical Propositions)

Traditional logic focuses on Categorical Propositions, which state a relationship between a Subject (S) and a Predicate (P). There are four standard forms:

Universal Affirmative (A): All S is P.
Universal Negative (E): No S is P.
Particular Affirmative (I): Some S is P.
Particular Negative (O): Some S is not P.

2. Modern Classification

Modern logic expands the classification to include Compound Propositions and uses special symbols for analysis.

Simple Propositions: Contain only one component (e.g., "It is raining").
Compound Propositions: Contain two or more simple propositions joined by logical connectives.
- Conjunctive: P and Q.
- Disjunctive: P or Q.
- Hypothetical/Conditional: If P, then Q.

Exam Focus: FAQs & Tips

Practical Skill: In the practical examination, you will be expected to demonstrate your ability to identify propositions and identify whether an argument is valid or invalid based on its structure.

Common Pitfall: Do not say an argument is "True." Arguments are only Valid or Invalid. Only the statements within the argument can be True or False.

Frequently Asked Questions

Q: Can an invalid argument have true premises and a true conclusion?
A: Yes. Validity only refers to the necessity of the connection. If the conclusion doesn't logically follow from the premises, the argument is invalid, even if everything stated happens to be true in reality.

Q: What is the purpose of modern classification?
A: It allows for the symbolization of complex reasoning that traditional categorical logic cannot easily handle.