Introduction to Formal Logic
Informal Logic
Syllogisms
Translating Arguments
Square of Opposition
100

The art and science of reasoning

What is logic?

100

The fallacy of Bulverism.

What is an attack on a person's source of belief?

100

The truth or falsity of a proposition or statement

What is truth-value?

100

The logic name for the being verb in a proposition.

What is copula?

100

The letter or symbol for which the subject term is represented.

What is S?

200

A word or phrase that represents a class of related things

What is a term?

200

I tried to talk to that new boy yesterday and he immediately stuck out his tongue. Boys are so rude!

What is hasty generalization?

200
A contrary relationship of statements in which neither can be true.

What is contrariety?

200

The whole point of the argument or the proposition for which someone is arguing.

What is conclusion?

200

Some S is not P.

What is an O statement?

300

One of the two branches in the study of logic centering on the form of an argument

What is formal logic?

300

You have gotten angry before also, I just did something about it.

What is Tu QuoQue?

300

The recognition and naming or classification of an object or concept

What is simple apprehension?

300

The term in a proposition that contains the subject of a categorical syllogism.

What is minor term?

300
Negative Quality and Universal Quality.

What is an E Statement?

400

An idea or truth accepted as already true

What is a foundational belief?

400

The fallacy that judges the whole from a part.

What is fallacy of composition?

400
The only valid O-type form.

What is OAO-3?

400

A reason given that leads to the arguer's conclusion.

What is premise?

400

The relationship of opposition that states that I and O cannot both be false, but they can both be true.

What is subcontrariety?

500

A type of logic that deals with statements and their relationship to each other.

What is categorical logic?

500

A paradox studied by a school of Philosophers in third century BC which did not fit Aristotle's system of logic. 

What is the liar's paradox?

500

P then Q. ~Q. Thus ~P.

What is Modus Tollens?

500

The branch of logic pioneered by Aristotle that deals primarily with categories of things where an argument can be respresented with symbols

What is categorical logic?

500

The falsity of the particular implies the falsity of the universal.

What is superimplication?

M
e
n
u