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
Get hands-on with 1400+ tech skills courses.