TERMinator
Aristotle is my homeboy
Boole is Such a Square
Stop Trying to Convert Me!
Logic Grab Bag
100

Of "swimmingly", "Mary," and "All", only this one is an actual TERM

What is Mary

100

The type of fallacy Boole accused Aristotle's system of committing because it tried to infer from a universal proposition to a negative one.

What is the existential fallacy?

100

This is the process of reasoning by which a conclusion is drawn in one step from a given premise.

What is an immediate inference?

100

All non-As are non-Bs is the converse of this.

What is All non-Bs are non-As?

100
This is the definition of a valid deductive argument.
What is an argument in which if the premises are accepted as true, the conclusion must also be true, on pain of contradiction.
200

In the proposition "All S are P", P is this. (be specific)

What is the predicate term.

200

According to Aristotle, this type of move along the square is only valid when 'truth flows downward' or when 'falsity flows upward.'

What is subalternation?

200

Boole thought that trying to immediately infer from the truth of an E statement to an O statement resulted in this truth value.

What is undetermined.

200
"Some Bs are non-As" is the obverse of this statement.
What is Some Bs are not As?
200
This is a type of argument in which the conclusion 'goes beyond' the premises.
What is an inductive argument?
300

This part of a categorical proposition links the subject term to the predicate term.

What is the copula?

300

This relationship between A and E statements is governed by the rule that in order to have determinate the truth value for either of the two statements, at least one must be given as false.

What is the contrary relationship?

300

According to Boole, this can validly be inferred from the given premise that "It is false that All As are Bs."

What is (it is true that) Some As are not Bs?

300
Conversion yields determinate truth value only when applied to these types of statements.
What are E and I statements?
300
This type of deductive argument is both valid and has actually true premises.
What is a sound argument?
400

Some pigs are not flying animals is an O statement, which means it is this kind of categorical proposition.

What is a particular negative/ negative particular proposition?

400

This is the fallacy committed when one tries to infer, from the statement "Some A are B" to the statement that "It is false that some A are not B".

What is Illicit Subcontrary?

400

According to Boole, this can validly be inferred from the given premise: Some As are Bs.

What is It is false that No As are Bs.

400
"No Bs are non-As" is the contraposition of this statement.
What is No As are non-Bs?
400
In a conditional statement, this expresses the "sufficient" condition part of the statement.
What is the antecedent?
500

Both the subject and the predicate terms are distributed in this type of statement.

What is an E statement (universal negative)?

500

This relationship obtains between A statements and O statements.

What is the contradictory relationship?

500
Besides logic, this is one of the other fields to which Boole has made great contributions.
What is algebra or computing?
500
Obversion yields determinate truth value only when applied to these statement forms.
What is A, E, I, O. (all of them).
500
"If it rains, the ground gets wet. It is not raining. Therefore the ground is not wet" is an example of which type of formal fallacy?
What is Denying the Antecedent?
M
e
n
u