ABSTRACT
The logic of statements, unlike statement logic, can show us what is wrong with this:
No wolves are vegetarians Annabel is not a vegetarian __________ Annabel is a wolf
https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780203061350/f5ce7580-7c0c-4392-aeab-0c1bd683fe20/content/fig255_B.tif" xmlns:xlink="https://www.w3.org/1999/xlink"/> and right with this:Everyone who has a Rolls-Royce is rich My Granny has a Rolls __________ My Granny is rich.
Instead of statements, it deals with sets and individuals. Instead of truth-tables, it uses Venn diagrams to show invalidity and validity. You may know something about these already, from elementary mathematics; but though the general principle is the same, logicians use a different form. Be ready to forget some things you think you know. I shall start by showing you how to cope with - and then asking you to try