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