Professional Documents
Culture Documents
LOGIC ASSIGNMENT GROUP 4. @eyasubirhanu
LOGIC ASSIGNMENT GROUP 4. @eyasubirhanu
1. **Deductive Argument:**
- Definition: Draws a conclusion necessarily following from premises.
- Example: All men are mortal (premise 1), Socrates is a man (premise 2), therefore
Socrates is mortal (conclusion).
2. **Inductive Argument:**
- Definition: Establishes a probable conclusion based on evidence.
- Example: Every observed swan is white (premise), therefore, all swans are
probably white (conclusion).
3. **Abductive Argument:**
- Definition: Infers the best explanation for observed phenomena.
- Example: The pavement is wet, the sky is cloudy; therefore, it probably rained.
4. **Analogical Argument:**
- Definition: Draws conclusions based on similarities between cases.
- Example: Since cats and dogs both enjoy sunbathing, your new cat might also like
it.
5. **Causal Argument:**
- Definition: Establishes a cause-and-effect relationship.
- Example: Increased exercise leads to improved health; hence, regular workouts
enhance well-being.
6. **Moral Argument:**
- Definition: Relies on moral principles to support a claim.
- Example: Actions that promote happiness are morally right; therefore, helping
others is morally right.
- **Deductive:**
- **Characteristic:** Guarantees the truth of the conclusion if premises are true.
- **Example:** All planets in the solar system orbit the sun. Mars is a planet.
Therefore, Mars orbits the sun.
- **Inductive:**
- **Characteristic:** Yields a probable conclusion based on the likelihood of
premises.
- **Example:** After observing numerous instances of sunrise in the east, one
induces that the sun will probably rise in the east tomorrow.
Logic and language are deeply interconnected, as language serves as the medium
through which logical reasoning is expressed and communicated. Logic provides the
principles governing valid reasoning, while language offers the tools to articulate and
convey those logical relationships. Effective communication relies on a shared
understanding of logical principles embedded in language.
3. **Negative Definitions:**
- **Rule:** Define a term by stating what it is not.
- **Example:** Justice is not favoritism; it is impartial treatment.
4. **Ostensive Definitions:**
- **Rule:** Pointing to or demonstrating the object being defined.
- **Example:** Defining a chair by pointing to an actual chair and saying, "This is a
chair."
5. **Stipulative Definitions:**
- **Rule:** Introducing a new term or giving a specific meaning to an existing term
for a particular context.
- **Example:** In a game, "blitz" might be stipulatively defined as a rapid, timed
round.
**Relevant Examples:**
- **Genus and Differentia:** A bird is an animal (genus) with feathers and the ability to
fly (differentia).
- **Essential and Accidental Features:** Feathers and the ability to fly are essential to
being a bird; coloration is an accidental feature.
- **Negative Definitions:** A bird is not a mammal or a reptile; it does not give birth to
live young or lay eggs with hard shells.
**Categorical Proposition:**
A categorical proposition is a statement that asserts or denies a relationship between
two classes or categories. These propositions are often formed by combining a
subject and a predicate with a linking verb (either "is" or "is not").
2. **Quantity (Universal/Particular):**
- **Universal:** Makes a statement about every member of the class.
- *Example:* All birds can fly.
- **Particular:** Makes a statement about some members of the class.
- *Example:* Some fruits are red.
3. **Quality (Affirmative/Negative):**
- **Affirmative:** Asserts a positive relationship between the subject and predicate.
- *Example:* All humans are mortal.
- **Negative:** Denies a relationship between the subject and predicate.
- *Example:* No reptiles are mammals.
4. **Distribution (Distributed/Undistributed):**
- **Distributed:** Refers to the entire class designated by the subject term.
- *Example:* All dogs (subject) are animals, distributing the term "dogs."
- **Undistributed:** Refers only to some members of the class.
- *Example:* Some cats (subject) are playful, leaving the term "cats" undistributed.
**Immediate Inferences:**
1. **Conversion:**
- *Universal Affirmative:* All S is P -> All P is S
- *Universal Negative:* No S is P -> No P is S
- *Particular Affirmative:* Some S is P -> Some P is S
- *Particular Negative:* Some S is not P -> Some P is not S
2. **Obversion:**
- *Affirmative:* All S is P -> No S is not P
- *Negative:* No S is P -> Some S is not P
3. **Contraposition:**
- *Universal Affirmative:* All S is P -> All non-P is non-S
- *Universal Negative:* No S is P -> No non-P is non-S
1. **Contradiction:**
- *Contradictory Pair:* A and E (All S is P vs. No S is P)
- *Example:* All humans are immortal (A) vs. No humans are immortal (E).
2. **Contrariety:**
- *Contrary Pair:* A and I (All S is P vs. Some S is not P)
- *Example:* All birds can fly (A) vs. Some birds cannot fly (I).
3. **Subcontrariety:**
- *Subcontrary Pair:* I and O (Some S is P vs. Some S is not P)
- *Example:* Some fruits are red (I) vs. Some fruits are not red (O).
4. **Subalternation:**
- *Subaltern Pair:* A and I, E and O (All S is P vs. Some S is P; No S is P vs. Some S
is not P)