Reasoning
Logic and Fallacies
1,803 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 an example of a tautology?
-
p ∨ ¬p
-
p ∧ ¬p
-
p → q
-
p ⊕ q
A
Correct answer
Explanation
A tautology is a proposition that is true for all possible combinations of truth values of its variables. The proposition p ∨ ¬p is a tautology because it is true for all possible combinations of truth values of p. This can be verified using the truth table for the logical operators ∨ and ¬.
Which fallacy is commonly discussed in the Nyaya School's theory of inference?
-
Affirming the Consequent
-
Denying the Antecedent
-
Appeal to Ignorance
-
Ad Hominem
A
Correct answer
Explanation
Affirming the Consequent is a common fallacy discussed in the Nyaya School's theory of inference.
Which of the following is not a major problem in the Philosophy of Mathematics?
-
The problem of universals
-
The problem of induction
-
The problem of free will
-
The problem of evil
C
Correct answer
Explanation
The problem of free will is not a major problem in the Philosophy of Mathematics.
What is the principle of relevance in relevant logic?
-
Every premise in an argument must be relevant to the conclusion.
-
The conclusion of an argument must be relevant to every premise.
-
Both premises and conclusions must be relevant to each other.
-
Relevance is determined by the context of the argument.
-
Relevance is determined by the logical form of the argument.
A
Correct answer
Explanation
The principle of relevance in relevant logic states that every premise in an argument must be relevant to the conclusion.
What is the role of entailment in relevant logic?
-
Entailment is a necessary condition for a valid argument.
-
Entailment is a sufficient condition for a valid argument.
-
Entailment is both a necessary and sufficient condition for a valid argument.
-
Entailment is not a necessary or sufficient condition for a valid argument.
-
Entailment is a type of logical fallacy.
A
Correct answer
Explanation
In relevant logic, entailment is a necessary condition for a valid argument, meaning that if the premises of an argument entail the conclusion, then the argument is valid.
What are some of the applications of relevant logic?
-
Artificial intelligence
-
Computer science
-
Philosophy
-
Linguistics
-
Law
Correct answer
Explanation
Relevant logic has applications in various fields, including artificial intelligence, computer science, philosophy, linguistics, and law.
How does relevant logic differ from other non-classical logics?
-
Relevant logic is based on a different set of axioms.
-
Relevant logic uses a different type of inference rule.
-
Relevant logic has a different interpretation of truth.
-
Relevant logic is more complex than other non-classical logics.
-
Relevant logic is less expressive than other non-classical logics.
A
Correct answer
Explanation
Relevant logic differs from other non-classical logics primarily in its use of a different set of axioms.
Which of the following is NOT a type of ambiguity?
-
Lexical ambiguity
-
Structural ambiguity
-
Semantic ambiguity
-
Anaphora
D
Correct answer
Explanation
Anaphora is a type of discourse relation, not a type of ambiguity. It refers to the use of a pronoun or other referring expression to refer back to a previously mentioned entity in the discourse.
Which of the following is NOT a type of inference?
-
Anaphora resolution
-
Conversational implicature
-
Presupposition
-
Entailment
A
Correct answer
Explanation
Anaphora resolution is a technique used in natural language processing to identify and resolve anaphoric references in a text. It is not a type of inference.
Which of the following is a key concept in dynamic semantics?
-
Context
-
Reference
-
Truth conditions
-
Logical form
A
Correct answer
Explanation
Context is a key concept in dynamic semantics because it is the context that determines the meaning of an utterance. The context includes the speaker, the hearer, the time and place of the utterance, and the shared knowledge and beliefs of the speaker and hearer.
Which of the following is a key concept in formal semantics?
-
Logical form
-
Truth conditions
-
Compositionality
-
All of the above
D
Correct answer
Explanation
Logical form, truth conditions, and compositionality are all key concepts in formal semantics.
What is the primary role of logic in mathematics?
-
To provide a framework for mathematical reasoning
-
To derive new mathematical theorems
-
To analyze the structure of mathematical proofs
-
To solve mathematical problems
A
Correct answer
Explanation
Logic serves as the foundation for mathematical reasoning, establishing rules and principles that govern the validity of mathematical arguments and proofs.
Which branch of logic is primarily concerned with the study of mathematical structures?
-
Propositional Logic
-
Predicate Logic
-
Modal Logic
-
Fuzzy Logic
B
Correct answer
Explanation
Predicate Logic, also known as First-Order Logic, is extensively used in mathematics to analyze and formalize mathematical structures and theories.
Which mathematical concept is closely related to the logical notion of implication?
-
Equivalence
-
Converse
-
Contrapositive
-
Inverse
C
Correct answer
Explanation
The contrapositive of a conditional statement is logically equivalent to the original statement. It is formed by negating both the hypothesis and the conclusion and then interchanging them.
What is the significance of Gödel's incompleteness theorems in the context of mathematics and logic?
-
They demonstrate the existence of true statements that cannot be proven within a given axiomatic system.
-
They provide a method for constructing consistent and complete axiomatic systems.
-
They establish the limits of mathematical knowledge and provability.
-
They disprove the existence of non-standard models of arithmetic.
A
Correct answer
Explanation
Gödel's incompleteness theorems reveal the fundamental limitations of formal axiomatic systems, showing that there are statements that are true but unprovable within those systems.