TERMinator
What's Aristotle's Problem, Anyway?
Boole is Such a Square
Converting the Obverse with my Contraposse
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?