First Mechanization for Validity
Learn about the algorithm for computing validity with examples.
We'll cover the following...
- Algorithm for computing validity
- Step 1: Ensuring categorical syllogism
- Step 2: Ensuring standard forms of categorical propositions
- Step 3: Identifying the major, minor, and middle terms
- Step 4: Ordering the major premise, minor premise, and conclusion
- Step 5: Identifying the mood
- Step 6: Identifying the figure
- Step 7: Looking up the 15 valid forms
- Example 1
- Example 2
- Review and reflect
Algorithm for computing validity
Judging an argument for being valid is something that resides deep within the realm of our minds. Aristotle’s contributions have made that subconscious process more accessible to us. The following seven
Press + to interact
Step 1: Ensuring categorical syllogism
...Access this course and 1400+ top-rated courses and projects.