Reasoning
Logic and Fallacies
1,716 Questions
Understand the fundamentals of propositional logic, logical inference rules, and paradoxes. This set includes identifying logical fallacies, including those found in classical Nyaya logic. Strong grasp of these concepts is crucial for scoring well in the reasoning sections of competitive tests.
Propositional logic modelsLogical inference rulesTypes of logical fallaciesParadoxes and contingent truthsNyaya logic concepts
Logic and Fallacies Questions
Which of the following is a common type of epistemic modal operator?
A
Correct answer
Explanation
K is a common epistemic modal operator that represents knowledge.
Which of the following is a common type of epistemic logic?
-
Propositional epistemic logic
-
First-order epistemic logic
-
Modal epistemic logic
-
All of the above
Correct answer
Explanation
Propositional epistemic logic, first-order epistemic logic, and modal epistemic logic are all common types of epistemic logic.
Which of the following is an example of an epistemic paradox?
-
The lottery paradox
-
The preface paradox
-
The sorites paradox
-
The liar paradox
B
Correct answer
Explanation
The preface paradox is an epistemic paradox that arises when an author claims to know something that they cannot know. For example, an author might claim to know that their book is free of errors, even though it is impossible for them to have checked every single statement in the book.
What are the rules of logical inference?
-
The rules of logical inference are based on the laws of thought
-
The rules of logical inference are based on the structure of language
-
The rules of logical inference are based on the customs and conventions of society
-
The rules of logical inference are based on the personal preferences of the individual
A
Correct answer
Explanation
The rules of logical inference are based on the laws of thought. These laws are universal and apply to all rational beings, regardless of their language or culture.
What is the fallacy of affirming the consequent?
-
Assuming that the conclusion of an argument is true because the premises are true
-
Assuming that the premises of an argument are true because the conclusion is true
-
Assuming that a statement is true because it has been repeated many times
-
Assuming that a statement is true because it is supported by authority
B
Correct answer
Explanation
The fallacy of affirming the consequent is assuming that the premises of an argument are true because the conclusion is true. This is a logical fallacy because the truth of the conclusion does not guarantee the truth of the premises.
What is the fallacy of denying the antecedent?
-
Assuming that the conclusion of an argument is false because the premises are false
-
Assuming that the premises of an argument are false because the conclusion is false
-
Assuming that a statement is false because it has been denied many times
-
Assuming that a statement is false because it is opposed by authority
B
Correct answer
Explanation
The fallacy of denying the antecedent is assuming that the premises of an argument are false because the conclusion is false. This is a logical fallacy because the falsity of the conclusion does not guarantee the falsity of the premises.
What is the difference between a disjunctive syllogism and a conjunctive syllogism?
-
A disjunctive syllogism has two premises and one conclusion, while a conjunctive syllogism has one premise and two conclusions
-
A disjunctive syllogism is based on the law of excluded middle, while a conjunctive syllogism is based on the law of non-contradiction
-
A disjunctive syllogism is valid if one of the premises is true, while a conjunctive syllogism is valid if both premises are true
-
A disjunctive syllogism is sound if the conclusion is true, while a conjunctive syllogism is sound if both premises are true
A
Correct answer
Explanation
A disjunctive syllogism has two premises and one conclusion, while a conjunctive syllogism has one premise and two conclusions. In a disjunctive syllogism, the premises are connected by the word "or". In a conjunctive syllogism, the premise is connected by the word "and".
Parmenides argued that reality is:
-
One and unchanging
-
Multiple and changing
-
Both one and multiple
-
None of the above
A
Correct answer
Explanation
Parmenides believed that reality is fundamentally one and unchanging, and that change and multiplicity are merely illusions.
Which theory of truth argues that truth is a property of sentences rather than statements?
-
Correspondence theory
-
Coherence theory
-
Pragmatic theory
-
Deflationary theory
D
Correct answer
Explanation
The deflationary theory of truth maintains that truth is not a property of statements but rather a property of sentences, and that truth is simply a matter of using language correctly.
The liar's paradox is a logical paradox that demonstrates the difficulties in defining truth. It involves a statement that asserts its own falsity. The paradox highlights the:
-
Self-referential nature of language
-
Incoherence of the concept of truth
-
Arbitrariness of truth claims
-
Subjectivity of truth
A
Correct answer
Explanation
The liar's paradox showcases the self-referential nature of language and the challenges in defining truth when statements refer to their own truth value.
Which of the following is a valid inference rule in PTL?
-
From G(p -> q) and p, infer q
-
From F(p & q), infer G(p)
-
From X(p U q), infer F(q)
-
From Y(p R q), infer G(q)
A
Correct answer
Explanation
This is a valid inference rule because if p holds forever and p implies q, then q must also hold forever.
What is the semantics of the formula G(p -> q)?
-
In every possible execution, p implies q
-
In some possible execution, p implies q
-
In every possible execution, p holds
-
In some possible execution, q holds
A
Correct answer
Explanation
G(p -> q) means that in every possible execution, if p holds then q also holds.
Which of the following is a valid inference rule in PTL?
-
From F(p & q), infer F(p)
-
From G(p -> q), infer G(q)
-
From X(p U q), infer X(q)
-
From Y(p R q), infer Y(q)
A
Correct answer
Explanation
This is a valid inference rule because if p and q hold eventually, then p must also hold eventually.
Which of the following is a valid inference rule in PTL?
-
From G(p -> q) and p, infer q
-
From F(p & q), infer G(p)
-
From X(p U q), infer F(q)
-
From Y(p R q), infer G(q)
A
Correct answer
Explanation
This is a valid inference rule because if p holds forever and p implies q, then q must also hold forever.
What is the puzzle of the contingent a priori?
-
The puzzle that arises from the fact that some statements that are necessarily true are also contingent.
-
The puzzle that arises from the fact that some statements that are contingent are also necessarily true.
-
The puzzle that arises from the fact that some statements that are true are also false.
-
The puzzle that arises from the fact that some statements that are false are also true.
A
Correct answer
Explanation
The puzzle of the contingent a priori arises from the fact that some statements that are necessarily true are also contingent, which challenges the traditional view that necessary truths are independent of experience.