Midterm 2 Flashcards

1
Q

A (particular) argument is _______ _______ if it is an instance of a valid argument form.

A

deductively valid

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

An argument form is _______ _______ if and only if its truth table contains no counterexamples.

A

deductively valid

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

A ________ for an argument form is a row of its truth table in which all the premises are true and the conclusion is false.

A

counterexample

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

A sentence is ________ if it logically contains another complete sentence as a component.

A

compound

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

A sentence is ________ if it is not compound.

A

simple

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

A _______ _______ is a pattern of words (or symbols) and blanks such that, whenever the blanks are filled with complete sentences, the result is a complete sentence.

A

sentential operator

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

A sentential operator is _______-________ if the truth or falsity of a compound sentence containing that operator is completely determined by the truth or falsity of its compound sentences.

A

truth-functional

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

The sentences that fill in the blanks for a conjuction are called ________.

A

conjuncts

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

The sentences that fill in the blanks of a disjunction are called ________.

A

disjuncts

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

The sentence that fill in the first blank of a conditional is called the ________.

A

antecedent

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

The sentence that fills in the second blank of a conditional is called the _________.

A

consequent

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

A well-formed formula (wff) is defined “recursively”:

A
  1. Any sentence letter (e.g. A;B;C; : : :) is a wff.
  2. If is a wff, so is .
  3. If and are wffs, so are ( & ), ( _ ), ( ! ), and ( $ ).
  4. And that’s all.
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

The ______ _______ of a wff is the last operator that was added as the wff was constructed.

A

major operator

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

A statement form is a ________ if every substitution instance of that form is true; that is, it is true in every row in its truth table.

A

tautology

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

A statement form is a ________ (or inconsistent) if every substitution instance of that form is false; that is, it is false in every row in its truth table.

A

contradiction

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

A statement form is a _________ if some substitution instance of that form is true and some is false; that is, it is true in at least one row in its truth table and false in at least one row in its truth table.

A

contingency

17
Q

Two statement forms are ________ ________ if an instance of the first form is true just in case the corresponding instance of the second form is true; that is, the columns below their major operators in their truth tables are identical.

A

logically equivalent

18
Q

An __________ is a set of determinately true or false sentences with three elements: 1. One
or more premises, which provide evidence or support. 2. One conclusion, which follows from
or is supported by the premises. 3. A claim about the connection between the premises and
the conclusion.

A

argument

19
Q

A sentence is ______ if it has absolute borderline cases.

A

vague

20
Q

A ________ _________ is an argument in which the premise(s) are claimed to lend
absolute support to the conclusion.

A

deductive argument

21
Q

An _________ ________ is an argument in which the premise(s) are not claimed to
lend absolute support to the conclusion. Instead, the premises are claimed to make the
conclusion probable or likely.

A

inductive argument

22
Q

An argument is _______ _______ if it has no counterexamples

A

deductively valid

An argument is DEDUCTIVELY INVALID otherwise.

23
Q

An argument has ______ ________ ______ if the truth of the conclusion is
very likely given the truth of the premises.

A

high inductive probability

An argument has LOW INDUCTIVE PROBABILITY otherwise.

24
Q

A _________ to an argument is a possible situation (or possible world) in which
all of the premises of the argument are true, and the conclusion false.

A

counterexample

25
Q

An argument is _______ if its premises are true and it is deductively valid.

A

sound

26
Q

A kind of reasoning is _________ if adding new premises will not make an argument
that succeeds in providing the claimed support for its conclusion fail to do so

A

monotonic

27
Q

A kind of reasoning is ____-___________ if adding new premises could make an
argument that succeeds in providing the claimed support for its conclusion fail to do so.

A

non-monotonic

28
Q

A ________ is a faulty argument or a faulty kind of argument.

A

fallacy

29
Q

A person commits a ________ ___ ________ if she supports her conclusion with
premises that are not relevant to the truth of the conclusion.

A

fallacy of relevance

30
Q

A person commits a ________ ________ if her argument relies on words or phrases
with ambiguous or vague meanings.

A

semantic fallacy

31
Q

A person commits a __________ _________ if she claims that the truth of her premises
would provide absolute support for the truth of the conclusion when in fact the truth of the
premises would not.

A

deductive fallacy

32
Q

A person commits an _________ __________ if she claims that the truth of her premises
would provide a certain degree of support for the truth of the conclusion when in fact the
truth of the premises would only provide some significantly weaker degree of support.

A

inductive fallacy

33
Q

a _______ is a sequence of statements, each of which is either a premise or a statement that is obtained from one or more earlier statements by applying one of the rules inference

A

proof