1. Introduction to Deductive Logic Flashcards

1
Q

Truth-preservation.

A

Never takes one from truths to a falsehood. The premises do not lead to false conclusions.

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

Valid reasoning.

A

Reasoning that is truth-preserving: the premises do not lead to false conclusions.

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

List (7) examples of systems of deductive logic:

A

(1) Euclid’s axiomatization of plane geometry (300 BCE; classical Greece); 5 fundamental assumptions/axioms;
(2) Giuseppe Peano; successfully axiomatized arithmetic (1889);
(3) Aristotle (350 BCE); developed “categorical” or “syllogistic” logic;
(4) Gottlob Frege; invented axiomatic predicate logic;
(5) David Hilbert; Hilbert-style deductive system; most suited for first-order logic;
(6) Bertrand Russell; axiomatic predicate logic;
(7) other logicians in the late nineteenth and early twentieth centuries.

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

What is the difference between “Roberta will pass if she completes all of her homework” and “Roberta will pass only if she completes all of her homework”?

A

If “Roberta will pass if she completes all of her homework” is true, then Roberta can still pass even if she does not complete her homework. Completing all of her homework may not be the only pathway for Roberta to pass. This is unless “Roberta will pass only if she completes all of her homework”.

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

What kinds of sentences have a truth value?

A

Sentences that assert something.

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

What truth values can a sentence have?

A

True, false, and indeterminate.

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

Argument.

A

A set of two or more sentences, one of which is designated as the conclusion and the others as the premises.

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

Sets.

A

Abstract objects that have members (zero or more).

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

Argument in standard form.

A

Lists premises with a horizontal line under the last premise, followed by a conclusion.

p1.
p2.
- - - - -
c.

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

Logically valid argument.

A

An argument is logically valid if and only if it is not possible for all the premises to be true and the conclusion false. An argument is logically invalid if and only if it is not logically valid.

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

A logical valid argument, by definition, is _____.

A

…truth preserving.

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

Logically sound argument.

A

An argument is logically sound if and only if it is logically valid and all of its premises are true. An argument is logically unsound if and only if it is not logically sound.

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

Provide an example of an argument that is logically valid but not logically sound:

A

p1. Italy is a country that is located in North America.
p2. Every country that is located in North America uses the United States dollar as its currency.
- - - - -
c. Italy uses the United States dollar as its currency.

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

Provide an example of an argument that is logically valid and logically sound:

A

p1. The United States is a country that is located in North America.
p2. No country that is located in North America uses the euro as its currency.
- - - - -
c. The United States doe not use the euro as its currency.

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

Provide (7) examples of conclusion indicator expressions:

A

(1) therefore,
(2) thus,
(3) it follows that,
(4) so,
(5) hence,
(6) consequently, and
(7) as a result,

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

Provide (6) examples of premise indicator expressions:

A

(1) since,
(2) for,
(3) because,
(4) on account of,
(5) inasmuch as, and
(6) for the reason that.

17
Q

Does the formal definition of ‘argument’ allow for arguments in which the premise(s) provide no support whatsoever for the conclusion?

A

Yes, but it will be invalid if it is possible for the premise to be true and the conclusion false.

18
Q

Logically true sentence.

A

A sentence is logically true if and only if it is not possible for the sentence to be false.
- All sentences of the form p or not p, where p has a truth-value and not p is a denial of p.

19
Q

Logically false sentence.

A

A sentence is logically false if and only if it is not possible for the sentence to be true.
- All sentences of the form p and not p, where p has a truth-value and not p is a denial of p.

20
Q

Logically indeterminate sentence.

A

A sentence is logically indeterminate if and only if it is neither logically true nor logically false.
- Whether the truth value is true or false, it depends upon how the world in fact is.

21
Q

Provide an example of a logically true sentence:

A

Either June will pass Chemistry 101 or June will not pass Chemistry 101.

22
Q

Provide an example of a logically false sentence:

A

Both June will pass Chemistry 101 and June will not pass Chemistry 101.

23
Q

Provide an example of a logically indeterminate sentence:

A

It rained on July 6, 1309 in what is now San Francisco.

24
Q

Logically equivalent sentences.

A

Sentences p and q are logically equivalent if and only if it is not possible for one of these sentences to be true while the other sentence is false.

25
Q

Provide an example of logically equivalent sentences:

A

‘Jake loves Henry’ and ‘Henry is loved by Jake’.

26
Q

Logical consistency.

A

A set of sentences is logically consistent if and only if it is possible for all members of that set to be tyrue. A set of sentences is logically inconsistent if and only if it is not logically consistent.

27
Q

Provide an example of a logically consistent set:

A

{Tom is left-handed, Carol is left-handed, Mona is left-handed}

28
Q

Provide an example of a logically inconsistent set:

A

{Everyone in the room is left-handed, Mona is in the room, Mona is not left-handed}

29
Q

Entailment.

A

A set of sentences logically entails a sentence if and only if is impossible for the members of the set to be true and that sentence false.

30
Q

Provide an example of a sentence that this set entails:

{Henry and Joan will both receive their law degrees in June}

A

Joan will receive her law degree in June.

31
Q

Provide an example of a sentence that is entailed by:

{Andrew plays soccer, Siri Plays tennis}

A

Andrew does not play tennis and Siri does not play soccer.