Categorical syllogisms with TurboPascal
Chudzik, Michael P.
MetadataShow full item record
There are more interesting things to do for computer programmers than to develop new sorting techniques. This is the spirit behind this project. The main part of this project consists of a computer program written in Pascal. For the philosophy student, it takes text, breaks it down into propositions of a categorical syllogism, and analyzes the syllogism for logical validity. For people other than the logic student, a categorical syllogism is an argument made up of two premises and one conclusion. Therefore, what this program does, is take the text (as if out of a beginning logic text book) and performs three main steps: 1) Break the text down into the three propositions; 2) Break the three propositions down into computer data structures; 3) Analyze these data structures for logical validity