Topic 8- Categorical Logic

Section 1: Categorical Statements

• Standard Forms and their Interpretation

Here we introduced our four standard forms and discussed how they are to be interpreted.

• A Statement- All F are G.
• E Statement- No F are G.
• I Statement- Some F are G.
• O Statement- Some F are not G.

• Logical Relations

We noted a number of logical relations between statements and terms. We noted that they they may be logically equivalent, contrary or contradictory.

• Negative Terms and Logical Operations

Here we introduced a standard means of forming negative terms. We introduced a number of logical operations such as conversion, contraposition and obversion.

• Putting Statements into Standard Form

Many statements, for example, the statement that it is not the case that not all jokes are funny, are not in standard form, but can be put into standard form. That not all jokes are funny can be restated as the O statement that some jokes are not funny.

• Putting Arguments in Standard Form

Here we will practice putting arguments in standard form.

Section 2: Venn Diagrams

• Tutorial on Classic Form and Venn Diagrams

Here we will study Venn Diagrams. If you wish you may:

• Go Directly to the Venn Diagram Builder(opens new window)
•