Basic Notions of Logic Flashcards
What is an argument?
An argument is any set of declarative sentences, one of which is designated as the conclusion of the argument, any others being its premises
What is another term for the words true and false?
Truth-values
What is the Principle of Bivalence?
The assumption that every declarative sentence is either true or false.
Name two reasons why the Principle of Bivalence is controversial.
- “Sherlock lives in 221b Baker Street’ is neither true nor false because Sherlock Holmes doesn’t exist.
- There is ‘no fact of the matter’ to some statements such as whether something takes good or is beautiful.
Define valid argument
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)
Define invalid argument
An argument is invalid if and only if it is possible for the premises to be true and the conclusion false. (TT/F)
Name this symbol:
|=
double turnstile
What does Γ |= A mean?
The argument with premises Γ and conclusion A is valid
What does Γ|/= A mean?
The argument with premises Γ and conclusion A is invalid
If an argument is valid and has a false conclusion, one can we deduce from the definition of argument?
That it has at least one false premise.
What are the three kinds of valid arguments?
- True premises and a true conclusion
- At least one false premise and a true conclusion
- At least one false premise and a false conclusion
What is a sound argument?
An argument is sound if and only if it is valid and its premises
are true. (TT/T)
What is an unsound argument?
An argument is unsound if and only if it is either invalid or has at least one false premise.
Why is an argument being sound or unsound significant?
Classing an argument as sound or unsound is not subjective. Proves an argument is convincing objectively.
What is a set of sentences?
Collection of sentences where one is not singled out as a conclusion
What is a consistent set of sentences?
A set of sentences is consistent if and only if it is possible for all the members of that set to be true.
What is an inconsistent set of sentences?
A set of sentences is consistent if and only if it is not possible for all the members of that set to be true.
What is a logically false sentence (or contradiction)? Give an example.
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.
Would a set consisting only of a single logically false sentence be consistent or inconsistent?
logically inconsistent because members (only one in this case) cannot all be true.
Can a set containing a logically inconsistent sentence be consistent?
No. It will be inconsistent.