Today’s Topics. Introduction to Predicate Logic Venn Diagrams Categorical Syllogisms Venn Diagram tests for validity Rule tests for validity. Propositional logic is limited. Some arguments that are clearly valid cannot be shown valid in our system.
Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.
Propositional and full predicate logic are modern inventions (post 1870)
Prior to the late 1800’s logic was a very narrow discipline, concerned only with a special type of sentence called a Categorical Proposition
Go to the Handouts link and download the handout entitled Venn Study Guide. NOTE that you will need to add some of your own diagrams.
A quantifier (all or some)
A subject class (subject term)
A copula (linking verb)
A predicate class
Shade a region to show that it is empty.
Place an X in a region to show that it is occupied.
A Categorical Syllogism is a special type of argument.
A categorical syllogism consists of three propositions, 2 premises and one conclusion, each of which is a must be a categorical proposition.