Logic Vocabulary Flashcards
1
Q
Define Logic
A
The science and art of reasoning well.
2
Q
Define The Law of Excluded Middle
A
Any statement is either true or false.
3
Q
Define The Law of Identity
A
If a statement is true, then it is true.
4
Q
Define The Law of Noncontradiction
A
A statement cannot be both true and false.
5
Q
Define Formal Logic
A
Deals with proper modes of reasoning
6
Q
Define Informal Logic
A
Deals with operations of thinking that are
indirectly related to reasoning.
7
Q
Define Induction
A
Reasoning with probability from examples or experience to general
rules
8
Q
Define Deduction
A
Reasoning with certainty from premises to conclusions
9
Q
Define Categorial Logic
A
Deals with the syllogism, which is a type of deductive argument in which
the conclusion connects one category (or term) with another,
hence the name catergorial logic.
10
Q
Define Reasoning
A
Drawing proper conclusions from other information.
11
Q
Define Propositional Logic
A
Connects entire propositions together in arguments
12
Q
Define Term
A
A concept that is expressed precisely in words.
13
Q
Define Definition
A
A statement that gives the meaning of a term.
14
Q
Define Ambiguous
A
Having more than one definition.
15
Q
Define Vague Word
A
A word who’s extent is unclear
16
Q
Define Precising Definition
A
Seeks to make more presice what was previously
vague or fuzzy.
17
Q
Define Stipulative Definition
A
Increases the vocabulary of the language
to which it is added
18
Q
Define Theoretical Definition
A
A theory about the term being defined.
19
Q
Define Persuasive Definition
A
An attempt at persuading the listener one way or
another toward the term being defined.
20
Q
Define Lexical Definition
A
Shows relationships or reduces ambiguity by providing a single,
established meaning of a term.
21
Q
Define Genus
A
A term that is more
general, broad, or abstract than the original term
and includes it.
22
Q
Define Species
A
A term that is more specific, narrow or concrete
than the original term and is included by it.
23
Q
Define genus and species hierarchy
A
The relationship between genus and species,
with genus placed above species on a chart.
24
Q
Define mutually exclusive
A
Two species that are mutally exclusive do not overlap
A term cannot be both at the same time.
25
Define Exhaustive
A group of species containing all species of a genus.
26
Define Extension
The sum of all individual objects described
| by a term.
27
Define Intension
The sum of all the common attributes
| denoted by a term.
28
Define Defining by synonym
Giving a synonym of the term being defined.
29
Define Defining by Example
Giving an example of the term being defined.
30
Defining by genus and difference
Giving the genus and intensions of the term being defined.
31
Name six rules for defining by genus and difference
A definition should:
1) state the essential attributes of the term
2) not be circular
3) not be too broad or too narrow
4) not be unclear of figurative
5) be stated positively if possible
6) be the same part of speech as the term
32
Define Statement
A sentence that is either true or false
33
Define Self-report
As statement by a person concerning
| his or her own desires, beliefs, or feelings.
34
Define Self-supporting statement
A statement whose truth value can be
determined from the statement
itself.
35
Define supported statement
A statement whose truth value depends on
evidence or information outside
itself
36
Define tautology
A statement that is true by logical stucture.
37
Define self-contradiction
A statement that is false due to its logical structure.
38
Define Authority
Known understanding of a subject
39
Define Experience
Knowledge gained through personal senses.
40
Define deduction
Reasoning with certainty from
| premises to conclusions.
41
Define Consistent
Able to be true at the same time
42
Define Inconsistent
Unable to be true at the same time.
43
Define Implication
Being required to be true for another statement to be true
44
Define Logically Equivalent
Two statements are logically equivalent if they imply each other
45
Define Independent
Two statements are independant if the truth
| value of one does not effect that of the other.
46
Define Disagreement
An appearance of inconsistency.
47
Define Real Disagreement
Actual inconsistency between two statements.
48
Define Apparent Disagreement
A difference of opinion or perception.
49
Define Verbal Disagreement
A misunderstanding due to differing definitions
| for one or more words.
50
Define Categorical Statement
A statement that confirms or denies something about
| a given subject.
51
Define Subject
The term being described, or about which something is asserted.
52
Define Predicate
The term that describes or asserts something
| about the subject.
53
Define Quantity
The scope of the claim about the extension of the subject.
| universal or partial
54
Define Quality
The affirmative or negative nature of a claim about the subject.
55
What is the square of opposition?
A diagram of the basic relationships between Categorical Statements
with the same subject and predicate.
56
What is an A statement?
A universal affirmative statement.
57
What is an E statement?
A universal negative statement
57
What is an E statement?
A universal negative statement
58
What is an I statement?
A particular affirmative statement
59
What is an O statement?
A particular negative statement
60
Define Contradiction
Having opposite truth values
61
Define Contrary
Unable to be true at the same time.
62
Define Subcontrary
Unable to be false at the same time.
63
Define Subimplication
The relationship between a universal and particular statement of the same quality, in which the truth of the universal necessitates the truth of the particular.
64
Define Superimplication
The relationship between a universal and particular statement of the same quality, in which the falsity of the particular necessitates the falsity of the universal.
65
Define Argument
A set of statements, one of which appears to
| be implied or supported by the others.
66
Define Premises
The two statements other than the conclusion
67
Define Conclusion
The statement that appears to be implied by the other
| statements in an argument.
68
Define Categorial Syllogism
A syllogism consisting of three statements in categorical form.
69
Define Minor Term
The subject of the conclusion also used in one premises.
70
Define Major Term
The predicate of the conclusion also used in one premise
71
Define Middle Term
The term found once in each premise.
72
Define Major Premise
The premise containing the major term
73
Define Minor Premise
The premise containing the minor term.
74
Define Schema
A representation of a syllogism, having statements in standard order with standard abbreviations of its terms.
75
Define Mood
A three letter description of a categorical
syllogism when the statements are arranged in standard form.
76
Define Figure
The arrangement of terms.
77
Define Form
The mood and figure of a syllogism.
78
Define Valid
An arguement is valid if its conclusion follows logically from its premises.
79
Define Invalid
Illogical
| When dealing with sylogisms
80
Define Sound
Logically valid and factually true.
81
Define Counter Example
A second syllogism with the same form that shows the first to be invalid.
82
Define Distributed Term
A term which represnts all members of its category
83
Define Fallacy of Undistributed Middle
Lack of any distribution of the middle term within both premises.
84
Define Fallacy of Illicit Major
Where the major term is distributed in the conclusion but not in its premise.
85
Define Fallacy of Illicit Minor
Where the minor term is distributed in the conclusion but not in its premise.
86
Define Fallacy of Two Negative Premises
Where the syllogism has two negative premises
87
Define Fallacy of Negative Premise and Affirmative Conclusion
Having an affirmative conclusion with at least one negative premise
88
Define Fallacy of Two Affirmative Premises and a Negative Conclusion
Having two affirmative premises and a negative conclusion.
89
Define Immediate Inference
A statement that can inferred directly from another statement
90
Define Converse
A statement whose subject and predicate have been reversed. It is only valid for E and I statements.
91
Define Obverse
A statement of the opposite quality with a negated predicate.
92
Define Complement
The set of all terms not included in the given term.
93
Define Contrapositive
A statement whose subject and predicate have been switched and negated.
94
Define Singular Statement
Refers to a single person or thing.
95
Define Indefinite Statement
A statement whose quantity is unclear
96
Define Hypothetical Statement
A statement that affirms an outcome if a condition is met
97
Define Enthymeme
A syllogism with one assumed statement
98
Define Hypothetical
A statement that affirms an outcome if a condition is met.
99
Define Antecedent
The condition that must be met.
100
Define Consequent
The outcome that will occur if a condition is met.
101
Define Pure Hypothetical Syllogism
An argument that uses only hypothetical statements.
102
Define Mixed Hypothetical Syllogism
An arguement that uses both hypothetical and categorical statements.
103
Define Modus Ponens
Affirming the antecedent
104
Define Modus Tollens
Denying the consequent
105
Define Affirming the Consequent
Affirming the consequent to prove the antecedent
106
Define Denying the Antecedent
Denying the antecedent to disprove the consequent
107
Define Informal Fallacy
A popular but invalid form of argument.
108
Define Fallacy of Distraction
An Argument that points to information that is irrelevent to the conclusion.
109
Define Ipse Dixit
Faulty appeal to authority.
110
Define Ad Populum
Appeal to the people
111
Define Ad baculum
Appeal to force
112
Define Ad Hominem
Attacking the opponent
113
Define Bulverism
Appeal to origins
114
Define Tu Quoque
Appeal to difference in argument and behavior.
115
Define Ad Ignorantiam
Proof by lack of evidence
116
Define Chronological Snobbery
Appeal to time
117
Define Fallacy of Ambiguity
Arguments that change the meanings or importance of terms in an argument.
118
Define Equivocation
Changing the meaning of a word mid-arguement.
119
Accent
Changes the emphasis of certain words mid-arguement
120
Define Amphiboly
Vagueness of grammar within an arguement.
121
Define Compositition
Assuming what is true for part of a term is true for all of it.
122
Define Division
Assuming what is true for the whole of something is true for all parts of it.
123
Define Fallacy of Form
Weakness of structure
124
Define Circular Reasoning
Assuming that which you are trying to prove.
125
Define Post Hoc Ergo Propter Hoc
Assuming sequence in time implies cause-and-effect
126
Define Either/Or
Assuming there are only two options.
127
Define Complex Question
Assumes an answer to an unasked question
128
Define Apriorism
Hasty generalization
129
Define Proposition
A statement
130
Define Propositional Logic
A branch of formal, deductive logic in which the basic unit of thought is the proposition.
131
Define Truth Functional Proposition
A proposition whose truth value depends of the truth values of its component parts
132
Define Simple Proposition
A proposition that has only one component part.
133
Define Complex Proposition
A proposition that has more than one component part.
134
Define Logical Operator
Words that combine or modify simple propositions to make compound propositions
135
Define Propositional Constant
An uppercase letter that represents a single, given proposition
136
Define Propositional Variable
A lowercase letter that represents any proposition
137
Define Negation
A logical operator that denies or contradicts a proposition.
138
Define Truth Table
A listing of the possible truth values for a set of one or more propositions
139
Define Defining Truth Table
Displays the truth values produced by a logical operator modifying a minimum number of variables
140
Define Conjunction
A logical operator that joins two propositions and is true only if both the propositions(conjuncts) are true
141
Define Disjunction
A logical operator that is true if and only if at least one of the propositions(disjuncts) are true
142
Define Exclusive "Or"
Allows for either of two propositions but not both.
143
Define Inclusive "Or"
Allows for one or both of two propositions
144
Define Truth Value
The truthfulness/falsity of a given statement
145
Define Conditional
A logical operator that asserts that one component(antecedent) implies the other(consequent)
146
Define Biconditional
A logical operator that is true only when both propositions have the same truth value
147
Define Tautology
A proposition that is true due to its logical structure
148
Define Self-Contradiction
A proposition that is false due to its logical structure
149
Define Valid
An argument is valid if its conclusion follows logically from its premises
150
Define Consistent
Able to be true at the same time
151
Define Inconsistent
Unable to be true at the same time.
152
Define Equivalence
Having the same truth values.
153
Define Dilemma
An argument which presents a choice between two conditionals.
154
Define Going between the horns
Providing a third alternative to a dilemma.
155
Define Grasping the Horns
Rejecting one of the conditionals of a dilemma
156
Define Rebutting the Horns
Providing a counter Dilemma
157
Define Formal Proofs of Validity
A step-by-step deduction of a conclusion from a set of premises
158
Define Rule of Inference
A valid argument form which can be used to justify steps in a proof.
