ThatQuiz Test Library Take this test now
Philosophy of logic - Quiz
Contributed by: Ferguson
  • 1. What is the primary branch of philosophy that studies the scope and nature of logic?
A) Ontology
B) Metaphysics
C) Epistemology
D) Philosophy of logic
  • 2. What discipline investigates properties of formal systems like consistency and completeness?
A) Metalogic
B) Informal logic
C) Deviant logic
D) Formal logic
  • 3. How is logic often characterized in academic literature?
A) The study of correct reasoning, valid inference, or logical consequence
B) The study of human psychology and thought processes
C) The study of linguistic conventions and grammar
D) The study of historical arguments and debates
  • 4. What does 'topic-neutral' mean in the context of logic?
A) Exclusive to informal language and natural discourse
B) Dependent on the scientific context of the premises
C) Focused only on mathematical subjects
D) Independent of the specific subject matter discussed
  • 5. Which type of logic addresses a wider range of arguments, including non-deductive ones found in natural language?
A) Formal logic
B) Extended logic
C) First-order logic
D) Informal logic
  • 6. How does the text define extended logics?
A) Logics that reject core assumptions of classical logic
B) Logics that accept classical axioms but add new logical vocabulary
C) Logics that identify exclusively with first-order logic
D) Logics that focus exclusively on non-deductive arguments
  • 7. What characterizes deviant logics?
A) They reject core assumptions of classical logic
B) They are identical to first-order logic
C) They extend classical logic with new vocabulary
D) They focus only on the study of semantics
  • 8. What is the primary difference between deductive and ampliative inferences?
A) Deductive is necessarily truth-preserving, while ampliative may introduce new information
B) Deductive is always informal, while ampliative is always formal
C) Deductive is always false, while ampliative is always true
D) Deductive focuses on context, while ampliative focuses on syntax
  • 9. How is the validity of a deductive inference often defined?
A) The conclusion is derived from semantic conventions only
B) The argument follows the strategic rules of rhetoric
C) Impossible for the premises to be true and the conclusion to be false
D) Possible for the premises to be true and the conclusion to be false
  • 10. What is the distinction between definitory rules and strategic rules in logic?
A) Definitory rules are syntactic, while strategic rules are semantic
B) Definitory rules are for premises, while strategic rules are for conclusions
C) Definitory rules determine validity, while strategic rules govern how to reach a conclusion
D) Definitory rules apply to informal logic, while strategic rules apply to formal logic
  • 11. What is the core belief of realists in the metaphysics of logic?
A) Logic has no basis in reality or truth
B) Logic is based on facts with mind-independent existence
C) Logic is purely a product of human psychology
D) Logic is based on conventions governing the use of language
  • 12. How do conventionalists view the laws of logic?
A) Based on divine revelation
B) Based on the conventions governing the use of language
C) Based on the laws of physics
D) Based on mind-independent facts
  • 13. What is the common characterisation of 'philosophical logic' mentioned in the text?
A) The study of formal system properties like completeness
B) The study of historical developments in mathematics
C) The application of logical methods to philosophical problems
D) The study of the nature of logical terms only
  • 14. What is a central concern regarding ontological commitments in logic?
A) Commitments associated with singular terms and existential quantifiers
B) Commitments associated with the history of philosophy
C) Commitments related to the truth of non-deductive arguments
D) Commitments related to the psychology of the arguer
  • 15. Classical logic is usually identified with which type of logic?
A) Deviant logic
B) Modal logic
C) Informal logic
D) First-order logic
  • 16. The philosophy of logic investigates the relationship between logic and which other field?
A) Architecture
B) Astronomy
C) Chemistry
D) Ontology
  • 17. What is one example of a property of a logical system studied by metalogic?
A) Social validity
B) Completeness
C) Empirical reliability
D) Logical truth
  • 18. What Greek word is the term 'logic' based on?
A) logon
B) legein
C) logos
D) logikos
  • 19. What is one of the senses associated with the word 'logos'?
A) reason
B) intuition
C) emotion
D) belief
  • 20. Which field studies the regularities of actual human thinking?
A) sociology
B) psychology
C) epistemology
D) logic
  • 21. What is a central feature of logic mentioned in the text?
A) empirical basis
B) subject-specificity
C) topic-neutrality
D) material content
  • 22. Logic is often described as what kind of discipline regarding how people should think?
A) biological
B) descriptive
C) empirical
D) normative
  • 23. What is an outward expression of inward reasoning according to the text?
A) feeling
B) argumentation
C) intuition
D) observation
  • 24. Logic is frequently described as the formal foundation of what?
A) only mathematics
B) only psychology
C) all knowledge
D) only linguistics
  • 25. The syntactic approach to logic is also known as what?
A) The set-theoretic model approach.
B) The deductive-theoretic approach.
C) The linguistic-subjective approach.
D) The empirical-inductive approach.
  • 26. What is a major problem with the syntactic approach mentioned in the text?
A) Difficulty in distinguishing formal from non-formal symbols.
B) It fails to use any symbols at all.
C) It is too easy to understand.
D) It relies too heavily on human intuition.
  • 27. The semantic approach to logic is also known as what?
A) The axiomatic-truth approach.
B) The syntactic-derivation approach.
C) The model-theoretic approach.
D) The natural language approach.
  • 28. For how long was Aristotelian syllogistics treated as the canon of logic?
A) Ten thousand years
B) One hundred years
C) Five hundred years
D) Over two thousand years
  • 29. What is the thesis that only one logic is correct?
A) Naturalism
B) Formalism
C) Monism
D) Pluralism
  • 30. What allows different alternative logical systems to be correct for different areas of discourse?
A) Universalism
B) Pluralism
C) Syllogistics
D) Monism
  • 31. Which of these is NOT listed as a meaning of the word 'is' in the text?
A) Existence
B) Causation
C) Identity
D) Predication
  • 32. What term is used for arguments that fail the evaluation of correctness?
A) Errors
B) Paradoxes
C) Fallacies
D) Contradictions
  • 33. What is an example of an informal fallacy mentioned in the text?
A) Strawman argument
B) First-order logic error
C) Variable mismatch
D) Constant substitution
  • 34. Which of the following is a problem associated with natural language identified in the text?
A) Strict grammatical rules
B) Too much precision
C) Ambiguities
D) Lack of expressiveness
  • 35. What is the main driver behind the development of new logical systems?
A) Increasing expressive flexibility
B) Reducing the number of formal languages
C) Replacing all natural language communication
D) Simplifying complex proofs
  • 36. In the context of modal logic, what does the symbol '◻' typically express?
A) Possibility
B) Obligation
C) Necessity
D) Permission
  • 37. What is a main criticism regarding the characterization of possible worlds?
A) It cannot be expressed in symbolic form
B) It is too simple
C) It is only applicable to deontic logic
D) It seems circular
  • 38. What is the third truth value in simple three-valued logic?
A) Undefined.
B) False.
C) Neither.
D) Unknown.
  • 39. What is a main challenge to the law of excluded middle mentioned in the text?
A) The existence of non-denoting terms.
B) The pragmatic theory of truth.
C) The liar paradox.
D) Gödel's incompleteness theorems.
  • 40. What is the primary distinction used to explain logical truth in the text?
A) The valid-invalid distinction
B) The deductive-inductive distinction
C) The formal-informal distinction
D) The analytic-synthetic distinction
  • 41. How does the text define a tautology?
A) An analytical truth whose denial implies a contradiction
B) A statement based on unknown variables
C) A proposition that requires experimentation to verify
D) A statement that is always empirically false
  • 42. Which philosopher argued that there are no purely analytic truths?
A) Gottlob Frege
B) Bertrand Russell
C) Willard Van Orman Quine
D) Immanuel Kant
  • 43. Which of the following is cited as a propositional connective?
A) Rain
B) Wisdom
C) Bachelors
D) If-then
  • 44. What is the relationship between sentences and propositions?
A) Sentences express propositions.
B) Propositions express sentences.
C) Sentences and propositions are identical.
D) Propositions are just written sentences.
  • 45. What distinguishes complex propositions from simple ones?
A) Simple propositions have no subpropositional parts.
B) Complex propositions contain other propositions linked by connectives.
C) Simple propositions do not have meaning.
D) Complex propositions are always true.
  • 46. How are deductive inferences characterized in terms of information?
A) Probabilistically uncertain
B) Highly informative
C) Scientifically experimental
D) Uninformative
  • 47. What is the most prominent form of ampliative inference?
A) Deduction
B) Formal logic
C) Induction
D) Monotonic reasoning
  • 48. Which of the following is identified as a source of error in an argument?
A) Form
B) Probability
C) Validity
D) Truth
  • 49. Who proposed that logical realism consists of the independence of logical facts from our cognitive and linguistic make-up?
A) An anonymous logician
B) The text does not mention an author
C) Sandra LaPointe
D) A famous German philosopher
  • 50. Which view suggests that logic is discovered rather than invented?
A) Conventionalism
B) Psychologism
C) Empiricism
D) Platonism
  • 51. What does psychologism identify logical laws with?
A) Abstract platonic objects
B) Psychological laws
C) Linguistic conventions
D) Objective features of the world
  • 52. What does second-order logic include existential quantification for?
A) Empty sets only
B) Material objects only
C) Individual numbers only
D) Predicates
  • 53. What is the view that only individuals exist called?
A) Psychologism
B) Platonism
C) Realism
D) Nominalism
  • 54. What is propositional logic an instance of?
A) Formal psychology
B) Arithmetic
C) Set theory
D) Boolean algebra
  • 55. What project is based on 20 axioms including first-order predicate logic and Zermelo–Fraenkel set theory?
A) Piagetian logic
B) Metamath
C) Logicist arithmetic
D) Boolean software
  • 56. According to the text, if logic is restricted to first-order predicate logic, is the logicist thesis correct?
A) It is undecided
B) Only for arithmetic
C) No
D) Yes
  • 57. What tool is mentioned as an example of an automated theorem prover for first-order logic?
A) Metamath
B) Prover9
C) Piaget logic
D) Boolean logic
Created with That Quiz — a math test site for students of all grade levels.