First Mechanization for Validity
Explore how to apply Aristotle’s seven-step algorithm to determine the validity of categorical syllogistic arguments. Understand key steps including ensuring standard forms, identifying major, minor, and middle terms, and using mood and figure to classify and verify logical argument validity.
We'll cover the following...
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
