## Homework for Unit 1, Lesson 3: Categorical Logic 1.0

Note: Click here for a PDF of this assignment.

### Assessing Categorical Arguments for Validity: Intuitive Method Edition

Indicate whether the following arguments are valid or invalid. Use the Imagination Method.

All philosophers are lovers of truth. No lovers of truth are closed-minded people. Thus, no philosophers are closed-minded people.

No soldiers are rich. No rich persons are poets. Hence, no soldiers are poets.

No scientists are poets. Some scientists are logicians. Therefore, some logicians are not poets.

Some actors are sculptors. Some poets are not actors. So, some poets are not sculptors.

Complete the following arguments in such a way such that each is valid:

All cats are _______.

Some _______ are pets.

So, some _______ are _______.

All _______ are _______.

No mammals are _______.

So, no _______ are _______.

Lastly, memorize the following terms, as well as the Square of Opposition diagram below:

Two statements are contradictories if and only if they cannot both be true simultaneously and they also cannot both be false simultaneously.

Two statements are contraries if and only if they cannot both be true simultaneously, but it is logically possible both are false.

Two statements are subcontraries if and only if they cannot both be false simultaneously but it is logically possible that both are true.

One statement P is a subaltern of another statement Q if and only if P must be true if Q is true.

One statement P is a superaltern of another statement Q if and only if P must be false if Q is false.