Definitions Flashcards

1
Q

Logic

A

The study of methods for evaluating whether the premises of an argument adequately support its conclusion.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

argument

A

A set of statements where some of the statements, called the premises, are intended to support another, called the conclusion.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

statement

A

a sentence that is either true or false.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

deductive argument

A

an argument in which the premises are intended to guarantee the conclusion.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

inductive argument

A

an argument in which the premises are intended to make the conclusion probable, without guaranteeing it.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

valid argument

A

an argument in which it is necessary that, if the premises are true, then the conclusion is true

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

invalid argument

A

an argument in which it is not necessary that, if the premises are true, then the conclusion is true.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

sound argument

A

a valid argument in which all of the premises are true.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

unsound argument

A

an argument that either is invalid or has at least one false premise.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

argument form

A

a pattern of reasoning.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

substitution instance

A

an argument that results from uniformly replacing the variables in that form with statements (or terms)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

valid argument form

A

an argument form in which every substitution instance is a valid argument.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

formally valid argument

A

an argument that is valid in virtue of its form.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

negation

A

the negation of a statement is its denial.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
15
Q

conditional statement

A

an if-then statement, often simply called a “conditional.”

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
16
Q

antecedent

A

the if-clause of a conditional.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
17
Q

consequent

A

the then-clause of a conditional.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
18
Q

disjunction

A

an either-or statement.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
19
Q

disjuncts

A

the statements that make up a disjunction.

20
Q

fallacy of denying the antecedent

A

an invalid argument form: If A, then B; not A; so, not B.

21
Q

invalid argument form

A

one that has some invalid substitution instances

22
Q

counterexample

A

a counterexample to an argument form is a substitution instance in which the premises are true and the conclusion is false.

23
Q

good counterexample

A

a good counterexample to an argument form is a substitution instance in which the premises are well-known truths and the conclusion is a well-known falsehood.

24
Q

fallacy of affirming the consequent

A

an invalid argument form: If A, then B; B; so, A.

25
Q

categorical statement

A

a statement that relates two classes or categories, where a class is a set or collection of things.

26
Q

term

A

a word or phrase that stands for a class of things.

27
Q

conjunction

A

an “and” statement

28
Q

excess verbiage

A

a word or statement that adds nothing to the argument.

29
Q

discount

A

an acknowledgment of a fact or possibility that might be thought to render the argument invalid, weak, unsound, or uncogent.

30
Q

repetition

A

a restatement of a premise or conclusion, perhaps with a slightly altered wording.

31
Q

assurance

A

a statement, word, or phrase that indicates the author is confident of a premise or inference.

32
Q

hedge

A

a statement, word, or phrase that indicates that the author is confident of a premise or inference.

33
Q

enthymeme

A

an argument with an implicit premise or conclusion.

34
Q

atomic statement

A

one that does not have any other statement as a component.

35
Q

compound statement

A

one that has at least one atomic statement as a component.

36
Q

main logical opoerator

A

a compound statement is the one that governs the largest component or components of a compound statement.

37
Q

minor logical operator

A

an operator that governs smaller components.

38
Q

well-formed formula

A

(WFF) is a grammatically correct symbolic expression.

39
Q

conjuncts

A

the statements composing a conjunction.

40
Q

logical equivalence

A

two statements are logically equivalent if and only if they agree in truth value on every assignment of truth values to their atomic components.

41
Q

statement variable

A

a lowercase letter that serves as a placeholder for any statement - for example, p, q, r, s.

42
Q

truth-functional

A

a compound statement is truth-functional if its truth value is completely determined by the truth value of the atomic statements that compose it.

43
Q

material conditional

A

a conditional that is false only when its antecedent is true and its consequent is false; otherwise, it is true.

44
Q

material biconditional

A

a conjunction of two material conditionals; it is true when its constituent statements have the same truth value and false when they differ in truth value.

45
Q

tautology

A

a statement is a tautology if and only if it is true on every assignment of truth values to its atomic components.

46
Q

contradiction

A

a statement is a contradiction if and only if it is false on every assignment of truth values to its atomic components.

47
Q

contingent statement

A

a statement is contingent if and only if it is true on some assignments of truth values to its atomic components and false on others.