Erotetics

Last updated

Erotetics or erotetic logic is a part of logic, devoted to logical analysis of questions. It is sometimes called the logic of questions and answers.

Contents

Overview

The idea was originally developed by Richard Whately. For example, he noted the ambiguity of the interrogation "Why?" (1) It could be a reason, such as why the angles of a triangle sum to two right angles, or (2) a cause, such as why days are shorter in winter than summer, or (3) a design requirement as in a timepiece. [1] [2]

In 1936 Whately's work was revived by Eugeniu Sperantia. [3] In 1955 Mary and Arthur Prior recalled Whately's suggestion for a variable copula to write questions symbolically. Recognizing the consequent symbolic calculus, they note that it is insufficient for the logic of interrogatives, which is antisymbolic. [2]

In 1940 R. G. Collingwood published An Essay on Metaphysics in which he examined presuppositions in statements and questions. In fact he claimed "Every statement that anybody ever makes is made in the answer to a question." By way of explanation, he wrote "In proportion as a man is thinking scientifically when he makes a statement, he knows the statement is the answer to a question and he knows what the question is." In this sense, when thinking is scientifically ordered, a question is logically prior to its own answer. Collingwood also asserts that "Each question involves a presupposition." [4]

In 1966 Nuel D. Belnap, Jr. wrote on "Questions, Answers, and Presuppositions". [5]

In 1963 MIT Press published Communication: A Logical Model by David Harrah that focused on questions as pivotal in communication. The same year Belnap published An Analysis of Questions: Preliminary Report. C. L. Hamblin reviewed the works of Harrah and Belnap together: he considered them a launching of erotetics into serious consideration. [6] Later, Nuel Belnap and T. B. Steel Jr. wrote The Logic of Questions and Answers (1976), [7] which came at a watershed moment: while purportedly continuing the philosophical investigation of Harrah, they anticipated query languages and data base management systems. The bibliography included 25 references on question answering and natural language understanding.

For most of the time, researchers concentrated on the relation between questions and answers. Recently, more attention is given to the way questions come from sentences or other questions, similar to entailment. [8] Some contributions in this direction are Jaakko Hintikka's interrogative model and Andrzej Wiśniewski's inferential erotetic logic (IEL). In the interrogative model, questioning is seen as game played between two parties. One of these parties may be reality.

In 2011 Anna Brożek published The Theory of Questions which started with philosophical context (ontology, epistemology), then use in human intercourse, with a consideration of cognition and answers. Embedded questions and situational analysis are noted, as well as specific considerations with regard to science, psychology, and surveys. Concluding chapters consider legal proceedings, philosophical questions, and the history of erotetic study in Poland in the 20th-century. [9]

Erotetics has been used for insight into teaching: "To teach someone something is to answer that person’s questions about some subject matter." [10]

See also

Related Research Articles

<span class="mw-page-title-main">Question</span> Request for information

A question is an utterance which serves as a request for information. Questions are sometimes distinguished from interrogatives, which are the grammatical forms typically used to express them. Rhetorical questions, for instance, are interrogative in form but may not be considered bona fide questions, as they are not expected to be answered.

In logic, the semantics of logic or formal semantics is the study of the semantics, or interpretations, of formal languages and natural languages usually trying to capture the pre-theoretic notion of logical consequence.

Nuel Dinsmore Belnap Jr. is an American logician and philosopher who has made contributions to the philosophy of logic, temporal logic, and structural proof theory. He taught at the University of Pittsburgh from 1963 until his retirement in 2011.

Logical harmony, a name coined by Michael Dummett, is a supposed constraint on the rules of inference that can be used in a given logical system.

A free logic is a logic with fewer existential presuppositions than classical logic. Free logics may allow for terms that do not denote any object. Free logics may also allow models that have an empty domain. A free logic with the latter property is an inclusive logic.

<span class="mw-page-title-main">Jaakko Hintikka</span> Finnish philosopher and logician

Kaarlo Jaakko Juhani Hintikka was a Finnish philosopher and logician. Hintikka is regarded as the founder of formal epistemic logic and of game semantics for logic.

In the branch of linguistics known as pragmatics, a presupposition is an implicit assumption about the world or background belief relating to an utterance whose truth is taken for granted in discourse. Examples of presuppositions include:

The Latin term characteristica universalis, commonly interpreted as universal characteristic, or universal character in English, is a universal and formal language imagined by Gottfried Leibniz able to express mathematical, scientific, and metaphysical concepts. Leibniz thus hoped to create a language usable within the framework of a universal logical calculation or calculus ratiocinator.

In logic, a four-valued logic is any logic with four truth values. Several types of four-valued logic have been advanced.

In mathematical logic, algebraic logic is the reasoning obtained by manipulating equations with free variables.

Daniel Kolak is a Croatian-American philosopher who works primarily in philosophy of mind, personal identity, cognitive science, philosophy of science, philosophy of mathematics, philosophy of logic, philosophy of religion, and aesthetics. He is professor of philosophy at the William Paterson University of New Jersey and an Affiliate of the Rutgers University Center for Cognitive Science (RuCCS). Kolak is the founder of the philosophical therapy known as cognitive dynamics.

1976 in philosophy

In logic, contingency is the feature of a statement making it neither necessary nor impossible. Contingency is a fundamental concept of modal logic. Modal logic concerns the manner, or mode, in which statements are true. Contingency is one of three basic modes alongside necessity and possibility. In modal logic, a contingent statement stands in the modal realm between what is necessary and what is impossible, never crossing into the territory of either status. Contingent and necessary statements form the complete set of possible statements. While this definition is widely accepted, the precise distinction between what is contingent and what is necessary has been challenged since antiquity.

<span class="mw-page-title-main">Charles Leonard Hamblin</span>

Charles Leonard Hamblin was an Australian philosopher, logician, and computer pioneer, as well as a professor of philosophy at the New South Wales University of Technology in Sydney.

<span class="mw-page-title-main">Anna Brożek</span> Polish philosopher

Anna Magdalena Brożek is a Polish philosopher and musician.

Dialogical logic was conceived as a pragmatic approach to the semantics of logic that resorts to concepts of game theory such as "winning a play" and that of "winning strategy".

<span class="mw-page-title-main">Logic</span> Study of correct reasoning

Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or logical truths. It studies how conclusions follow from premises due to the structure of arguments alone, independent of their topic and content. Informal logic is associated with informal fallacies, critical thinking, and argumentation theory. It examines arguments expressed in natural language while formal logic uses formal language. When used as a countable noun, the term "a logic" refers to a logical formal system that articulates a proof system. Logic plays a central role in many fields, such as philosophy, mathematics, computer science, and linguistics.

In logic, a finite-valued logic is a propositional calculus in which truth values are discrete. Traditionally, in Aristotle's logic, the bivalent logic, also known as binary logic was the norm, as the law of the excluded middle precluded more than two possible values for any proposition. Modern three-valued logic allows for an additional possible truth value.

Thomas Brevard Steel Jr. is an American computer scientist.

References

  1. ↑ Richard Whately (1845), Elements of Rhetoric, page 58, via Internet Archive.
  2. 1 2 Mary Prior and Arthur Prior "Erotetic Logic", The Philosophical Review 64(1) (1955): pp. 43–59 doi : 10.2307/2182232.
  3. ↑ Eugeniu Sperantia (1936) "Remarques sur les propositions interrogatives". Projet d'une "logique du problème", Actes du Congrès International de Philosophie Scientifique, VII Logique, Paris, pp. 18–28.
  4. ↑ R. G. Collingwood (1940) An Essay on Metaphysics at Google Books.
  5. ↑ Nuel D. Belnap, Jr. (1966) "Questions, Answers, and Presuppositions", The Journal of Philosophy 63(20): 609–11, American Philosophical Association Eastern Division Sixty-Third Annual Meeting.
  6. ↑ C. L. Hamblin (1964) "Reviews: Communication and Analysis of Questions", Australasian Journal of Philosophy 42: 146–51 doi : 10.1080/00048406412341121
  7. ↑ Nuel Belnap & J.B. Steel (1976) The Logic of Questions and Answers, Yale University Press ISBN   0-300-01962-9.
  8. ↑ Joke Meheus (2001) "Adaptive Logics for Question Evocation", Logique et Analyse, pp. 135–164 Jstor.
  9. ↑ Anna Brożek (2011) The Theory of Questions: Erotitics through the Prism of its Philosophical Background and Practical Applications, Polish Analytical Philosophy volume 99, Brill/Rodopi, doi : 10.1163/9789401207324.
  10. ↑ C.J.B. MacMillan & James W. Garrison (1988) A Logical Theory of Teaching: Erotetics and Intensionality, Kluwer doi : 10.1007/978-94-009-3067-4.

Sources

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.