Fundamentals of Logic: Reasoning and Argumentation
Understanding Logic
Logic is the science of reasoning and correct thinking. It studies how we can think clearly, reason properly, and reach valid conclusions.
Example: 1. All humans are mortal. 2. Socrates is human. Therefore, Socrates is mortal.
Key Point: Logic tells us how to think, not what to think.
Why Logic Matters
- Think Clearly: Avoid confusion and mistakes.
- Make Correct Decisions: Enhances problem-solving skills.
- Distinguish Right from Wrong: Avoid fallacies and flawed reasoning.
- Improve Knowledge: Understand concepts deeply.
- Practical Application: Essential for philosophy, science, economics, and debates.
Core Concepts
- Concepts: Basic ideas like truth, reasoning, and inference.
- Propositions: Sentences that are either true or false.
- Arguments: A series of statements used to prove a point.
- Inference: The process of deriving conclusions from premises.
- Fallacies: Mistakes in reasoning that logic helps identify and avoid.
Types of Inference
Deductive Inference
Reasoning from a general principle to a specific case. If the premises are true, the conclusion must be true.
Example: All humans are mortal (general); Socrates is human (specific). Therefore, Socrates is mortal (conclusion).
Inductive Inference
Reasoning from specific cases to a general principle. The conclusion is probable, not certain.
Example: The sun rose in the east yesterday and today; therefore, the sun always rises in the east (probable conclusion).
Word Meaning: Denotation vs. Connotation
1. Denotation
The literal or dictionary meaning of a word. Example: “Dog” refers to a four-legged, domesticated animal.
2. Connotation
The implied or associated emotional meaning of a word. Example: “Dog” may imply loyalty, friendship, or, in some contexts, a negative trait.
Aristotelian Propositions
Aristotle classified propositions based on quantity (Universal vs. Particular) and quality (Affirmative vs. Negative).
The Square of Opposition
A diagram showing relationships between A, E, I, and O propositions:
- Contradictory: One must be true, the other false.
- Contrary: Both cannot be true, but both can be false.
- Subcontrary: Both cannot be false, but both can be true.
- Subalternation: Truth flows from Universal to Particular.
Immediate vs. Mediate Inference
Immediate Inference
A conclusion drawn from a single proposition.
Mediate Inference
A conclusion drawn from two or more propositions.
Rules of Logical Validity
An argument is valid if the conclusion logically follows from the premises. Common rules include:
- Distribution of Middle Term: The middle term must be distributed at least once.
- Consistency: Premises must not contradict each other.
- Terms in Conclusion: All terms must be present in the premises.
- Negative Premises: If a premise is negative, the conclusion must be negative.
Truth Tables in Symbolic Logic
A truth table shows the truth or falsity of a proposition for all possible values. Logical connectives include:
- AND (∧): True if both are true.
- OR (∨): True if at least one is true.
- NOT (¬): The opposite of the value.
- IF…THEN (→): False only if P is True and Q is False.
- IF AND ONLY IF (↔): True if both are the same.