Unit 1: Fundamentals of Logic (DSM 252)

1. Nature of Logic
2. Truth and Validity
3. Traditional Classification of Propositions
4. Modern Classification of Propositions
5. Exam Focus: Tips, FAQs & Mnemonics

Nature of Logic

Logic is the systematic study of the methods and principles used to distinguish correct reasoning from incorrect reasoning. It serves as a tool for intellectual inquiry, providing a formal framework to analyze the structure of arguments independent of their specific subject matter.

Core Characteristics

Formal Science: It focuses on the form or structure of thoughts rather than the actual content.
Normative Discipline: It establishes the norms or standards (laws of thought) that human reasoning ought to follow to reach valid conclusions.
Analytical Tool: It is used to detect errors, inconsistencies, and fallacies in various discourses, including science, law, and everyday conversation.

"Logic is the study of the structure of arguments to ensure that conclusions follow necessarily from their premises."

Truth and Validity

A fundamental requirement in logic is understanding the distinction between Truth and Validity, as they belong to different logical categories.

1. Truth

Truth is a property of individual propositions (statements). A proposition is "true" if it accurately corresponds to a fact or state of affairs in the objective world. For example, the statement "The Earth revolves around the Sun" is true because it matches reality.

2. Validity

Validity is a property of arguments. An argument is valid if its conclusion follows logically and necessarily from its premises. If an argument is valid and all its premises are true, it is called a Sound Argument.

Feature	Truth	Validity
Applied To	Propositions / Sentences	Arguments / Syllogisms
Evaluation Basis	Correspondence with external facts.	Internal logical structure.
Value	True or False	Valid or Invalid

Exam Tip: An argument can be valid even if its premises and conclusion are false. Validity only cares about the "If-Then" relationship: If the premises are true, the conclusion must be true.

Traditional Classification of Propositions

Traditional logic, primarily Aristotelian, classifies propositions based on their Quantity and Quality. These are known as Categorical Propositions.

The Four Standard Forms

A (Universal Affirmative): All S is P. (Example: All men are mortal.)
E (Universal Negative): No S is P. (Example: No cats are dogs.)
I (Particular Affirmative): Some S is P. (Example: Some students are hardworking.)
O (Particular Negative): Some S is not P. (Example: Some apples are not sweet.)

Distribution of Terms

In categorical propositions, a term is distributed if it refers to all members of that class.

A: Subject is distributed.
E: Both Subject and Predicate are distributed.
I: Neither term is distributed.
O: Predicate is distributed.

Modern Classification of Propositions

Modern or Symbolic logic classifies propositions based on their complexity and logical operators.

1. Simple Propositions

A proposition that does not contain any other proposition as a component. It makes a single claim about reality. (Example: "It is raining.")

2. Compound Propositions

Propositions that contain at least one other proposition as a component, joined by logical connectives.

Negation: "It is not the case that..." (Symbol: ~)
Conjunction: Both parts are true. (Symbol: • or &)
Disjunction: At least one part is true. (Symbol: v)
Implication/Conditional: "If... then..." (Symbol: ¹ or →)
Equivalence/Biconditional: "If and only if" (Symbol: º or ↔)

Exam Focus Enhancements

Mnemonic for Distribution: Remember "ASEBINOP".
A distributes Subject.
E distributes Both.
I distributes None.
O distributes Predicate.

Common Mistake: Do not call a proposition "valid" or an argument "true." Use the correct terminology to avoid losing marks.

Frequently Asked Questions

Q: Is every sentence a proposition?
A: No. Only declarative sentences that can be either true or false are propositions. Questions, commands, and exclamations are not propositions in logic.

Q: Why is Modern Logic preferred over Traditional Logic for complex arguments?
A: Modern logic uses symbols to represent relationships that traditional logic (which only handles Subject-Predicate forms) cannot easily analyze, such as relational or multi-component statements.