Basic Notions of Logic Flashcards

1
Q

What is an argument?

A

An argument is any set of declarative sentences, one of which is designated as the conclusion of the argument, any others being its premises

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

What is another term for the words true and false?

A

Truth-values

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

What is the Principle of Bivalence?

A

The assumption that every declarative sentence is either true or false.

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

Name two reasons why the Principle of Bivalence is controversial.

A
  1. “Sherlock lives in 221b Baker Street’ is neither true nor false because Sherlock Holmes doesn’t exist.
  2. There is ‘no fact of the matter’ to some statements such as whether something takes good or is beautiful.
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

Define valid argument

A

An argument is valid if and only if it is not possible for the premises to be true and the conclusion false.
Alternatively, whenever the premises are true, the conclusion must also be true. (everything apart from TT/F)

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

Define invalid argument

A

An argument is invalid if and only if it is possible for the premises to be true and the conclusion false. (TT/F)

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

Name this symbol:

|=

A

double turnstile

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

What does Γ |= A mean?

A

The argument with premises Γ and conclusion A is valid

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

What does Γ|/= A mean?

A

The argument with premises Γ and conclusion A is invalid

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

If an argument is valid and has a false conclusion, one can we deduce from the definition of argument?

A

That it has at least one false premise.

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

What are the three kinds of valid arguments?

A
  1. True premises and a true conclusion
  2. At least one false premise and a true conclusion
  3. At least one false premise and a false conclusion
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

What is a sound argument?

A

An argument is sound if and only if it is valid and its premises
are true. (TT/T)

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

What is an unsound argument?

A

An argument is unsound if and only if it is either invalid or has at least one false premise.

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

Why is an argument being sound or unsound significant?

A

Classing an argument as sound or unsound is not subjective. Proves an argument is convincing objectively.

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

What is a set of sentences?

A

Collection of sentences where one is not singled out as a conclusion

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

What is a consistent set of sentences?

A

A set of sentences is consistent if and only if it is possible for all the members of that set to be true.

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

What is an inconsistent set of sentences?

A

A set of sentences is consistent if and only if it is not possible for all the members of that set to be true.

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

What is a logically false sentence (or contradiction)? Give an example.

A

A sentence is logically false or a contradiction if and only it is not possible for the sentence to be true. e.g It is raining and it is not raining.

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

Would a set consisting only of a single logically false sentence be consistent or inconsistent?

A

logically inconsistent because members (only one in this case) cannot all be true.

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

Can a set containing a logically inconsistent sentence be consistent?

A

No. It will be inconsistent.

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

If a set is logically inconsistent but contains only one sentence, what type of sentence must it be?

A

False

22
Q

What is a logically true sentence (or tautology)? Give an example.

A

A sentence is logically true or a tautology if and only if it is not possible for the sentence to be false. e.g. It is raining or it is not raining.

23
Q

What is a logically indeterminate or contingent sentence? Give an example.

A

A sentence is logically indeterminate or contingent if and only it is neither logically true nor logically false. e.g It is raining.

24
Q

What are logically equivalent sentences?

A

The members of a pair of sentences are logically equivalent if and only it is not possible for one of the sentences to be true while the other sentence is false.

25
Q

Can an argument be logically false?

A

No, only a sentence can be logically false.

26
Q

Can a sentence be inconsistent?

A

No, only sets of sentences can be inconsistent.

27
Q

Can sentences be valid?

A

No, only arguments are valid.

28
Q

When is the only time a sentence could be valid?

A

But we’ll allow ourselves to call sentences valid if they can be the conclusion of a valid argument that has no premises, i.e. if they are logically true.

29
Q

Sentences

A

logical truth, logical falsity and logical indeterminacy

30
Q

Pairs of sentences

A

Logical Equivalence

31
Q

Sets of sentences

A

Consistency and inconsistency

32
Q

Arguments

A

validity, invalidity, soundness and unsoundness

33
Q

If an argument has a set of inconsistent premises and an arbitrary conclusion while it be valid or invalid?

A

Always valid because at least one sentence will be false (within the premises) therefore it can never ben the case that the premises are all true when the conclusion is false. The argument will not be sound.

34
Q

If an argument has a logically true sentence as its conclusion with arbitrary sentences as its premises, will it be valid or invalid?

A

Valid. It cannot be the case that the premises are true and the conclusion false.

35
Q

If the conclusion of an argument was identical to one of its premises, would it be valid or invalid?

A

It cannot be true that the premises are true and the conclusion is false, therefore it is valid.

36
Q

What is begging the question?

A

The argument assumes what has already been established. e.g. if the conclusion is identical to one of the premises.

37
Q

If we have a set consisting of one sentence which is designated as the conclusion, can it still be classed as an argument?

A

Yes.

38
Q

If an argument with no premises is valid, what must the conclusion be and why?

A

Logically true because it can only be the case that it is not possible for the premises of the argument to be true and the conclusion false. If it is not possible for the conclusion to be false, it must be logically true.

39
Q

What does |=A mean?

A

A is a tautology, A follows from no premises.

40
Q

What does “A → B” mean?

A

If A, then B

A is the antecedent, B is the consequent

41
Q

What does “A ∧ B” mean?

A

A and B

Conjuncts

42
Q

What does “A ∨ B” mean?

A

A or B

Disjuncts

43
Q

What does “A ≡ B” mean?

A

A if and only if B. Biconditional

44
Q

What does “¬A” mean?

A

not A, negation

45
Q

Which principles allow us to produce a valid argument from another argument?

A

Consequentia mirabilis, conditional proof, proof by cases and reductio ad absurdum

46
Q

What are logical fallacies?

A

Logical fallacies are inferences where the truth of the premises does not guarantee the truth of the conclusion.

47
Q

What are Valid inferences?

A

Valid inferences are inferences where the truth of the premises guarantees the truth of the conclusion: it is impossible for the premises to be true and the conclusion to be false.

48
Q

What is a syllogism?

A

A syllogism is an inference with two premises and a conclusion, where the premises and con- clusions state relations between properties.

49
Q

Universal affirmative

A

All A are B

50
Q

Universal negative

A

No A are B

51
Q

Particular affirmative

A

Some A are B

52
Q

Particular negative

A

Some A are not B