...

/

First Mechanization for Validity

First Mechanization for Validity

Learn about the algorithm for computing validity with examples.

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 stepsAn algorithm is defined as the steps that need to be taken to solve a problem. can analyze any logical argument and, after the last step, output if the input logical argument is valid or invalid. The main idea is to identify the mood and figure of the argument so that it can be easily looked up in the known valid forms; the initial steps all lead up to that.

Press + to interact

Step 1: Ensuring categorical syllogism

...
Access this course and 1400+ top-rated courses and projects.