This book is a study in the logic of questions (sometimes called erotetic logic). The central topics in erotetic logic have been the structure of questions and the question-answer relationship. This book doesn't neglect these problems, but much of it is focussed on other issues. The main subject is the logical analysis of certain relations between questions and the contexts of their appearance. And our aim is to elaborate the conceptual apparatus of the inferential approach to the logic of questions. (...) Questions are asked for many reasons and for different purposes. Yet, before a question is asked or posed, a questioner must arrive at it. In many cases arriving at a question resembles coming to a conclusion: there are some premises involved and some inferential thought processes take place. If we agree that a conclusion need not be "conclusive", we may say that sometimes questions can play the role of conclusions. But questions can also perform the role of premises: we often pass from some "initial" question to another question. In other words, there are inferential thought processes - we shall call them erotetic inferences - in which questions play the roles of conclusions or conclusions and premises. The inferential approach to the logic of questions focusses its attention on the analysis of erotetic inferences. This book consists of eight chapters. (shrink)

The concept of erotetic argument is introduced. Two relations between sets of declarative sentences and questions are analysed; and two classes of erotetic arguments are characterized.

By and large, Inferential Erotetic Logic (IEL, for short) is an approach to the logic of questions which puts in the centre of attention inferential aspects of questioning. IEL is not an enterprise of the last few years only. The idea originates from the late 1980s. It evolved through time. Initially, the stress was put on the phenomenon of question raising. This changed gradually, as some forms of reasoning that involve questions have appeared to be analyzable by means of the (...) conceptual apparatus developed. In this essay I present the basics of IEL and comment on them. Most, though not all, of the ideas discussed here have been scattered across my earlier publications. The invitation from the organizers of the Asking and Answering workshop (Greifswald, September 2020) resulted in an attempt of presenting the themes of IEL in a concise but, as I hope, also comprehensible way. (shrink)

This paper argues for the idea that the logic of questions should focus its attention on the analysis of arguments in which questions play the role of conclusions. The relevant concepts of validity are discussed and the concept of the logic of questions of a semantically interpreted formalized language is introduced.

Our aim is to express in exact terms the old idea of solving problems by pure questioning. We consider the problem of derivability: "Is A derivable from Δ by classical propositional logic?". We develop a calculus of questions E*; a proof (called a Socratic proof) is a sequence of questions ending with a question whose affirmative answer is, in a sense, evident. The calculus is sound and complete with respect to classical propositional logic. A Socratic proof in E* can be (...) transformed into a Gentzen-style proof in some sequent calculi. Next we develop a calculus of questions E**; Socratic proofs in E** can be transformed into analytic tableaux. We show that Socratic proofs can be grounded in Inferential Erotetic Logic. After a slight modification, the analyzed systems can also be viewed as hypersequent calculi. (shrink)

Three semantic relations are analyzed: the relation of implication of a question by a question and a set of declarative sentences, the relation of implication of a question by a question, and the relation of strong implication of a question by a question and a set of declarative sentences. The connections between these concepts and the concepts of relative soundness, partial answerhood and presupposition are examined. The principal results are theorems about, to speak generally, epistemic reducibility of well-posed questions to (...) sequences of implied yes-no questions. (shrink)

First-order logic is formalized by means of tools taken from the logic of questions. A calculus of questions which is a counterpart of the Pure Calculus of Quantifiers is presented. A direct proof of completeness of the calculus is given.

The concept of search scenario is explicated in terms of erotetic logic, i.e., the logic of questions. Different kinds of erotetic search scenarios are characterized. The basic logical properties of erotetic search scenarios are analyzed.

"The importance of questions is beyond doubt. But the degree of attention paid to them in logic and linguistics is still less than they deserve." What is a question? How to represent questions in formal languages? How to model reasoning in which questions are involved? Can we prove anything by means of pure questioning? How to model goal-directed problem solving? These are the main issues of Andrzej Wi niewski's "Questions, Inferences, and Scenarios." This book offers a state-of-the-art exposition of (...) Inferential Erotetic Logic, that is, an approach to the logic of questions focused on inferences which lead to questions as conclusions. Wi niewski characterizes semantic relations which determine validity of these inferences within the framework of Minimal Erotetic Semantics, applicable to a wide range of formal languages. He elaborates in detail the concept of erotetic search scenario, a tool for modelling problem solving. Moreover, the author presents some applications of Inferential Erotetic Logic in proof theory. Andrzej Wi niewski is one of the most prominent contemporary researchers in the logic of questions. Currently, he is a full professor at the Department of Logic and Cognitive Science, Institute of Psychology, Adam Mickiewicz University in Pozna, Poland. (shrink)

Inferential erotetic logic and inquisitive semantics give accounts of questions and model various aspects of questioning. In this paper we concentrate upon connections between inquisitiveness, being the core concept of INQ, and question raising, characterized in IEL by means of the concepts of question evocation and erotetic implication. We consider the basic system InqB of INQ, remain at the propositional level and show, inter alia, that: a disjunction of all the direct answers to an evoked question is always inquisitive; a (...) formula is inquisitive if, and only if it evokes a yes–no question whose affirmative answer expresses a possibility for the formula; inquisitive formulas evoke questions whose direct answers express all the possibilities for the formulas, and each question erotetically implies a question whose direct answers express the possibilities for the direct answers to the implying question. (shrink)

This paper develops a new proof method for two propositional paraconsistent logics: the propositional part of Batens' weak paraconsistent logic CLuN and Schütte's maximally paraconsistent logic Φv. Proofs are de.ned as certain sequences of questions. The method is grounded in Inferential Erotetic Logic.

The concepts of question evocation and erotetic implication play central role in Inferential Erotetic Logic. In this paper, deduction theorems for question evocation and erotetic implication are proven. Moreover, it is shown how question evocation by a finite non-empty set of declaratives can be reduced to question evocation by the empty set, and how erotetic implication based on a finite non-empty set of declaratives can be reduced to a relation between questions only.

A relativized concept of a possiblecorrect answer to a why-question is introduced. Acertain procedure of looking for acceptable answers towhy-questions is analyzed in terms of erotetic logic,i.e., the logic of questions.

entailment; families of sets; logic of questions.

In earlier publications of the first author it was shown that intentional explanation of actions, functional explanation of biological traits and causal explanation of abnormal events share a common structure. They are called explanation by specification (of a goal, a biological function, an abnormal causal factor, respectively) as opposed to explanation by subsumption under a law. Explanation by specification is guided by a schematic train of thought, of which the argumentative steps not concerning questions were already shown to be logically (...) valid (elementary) arguments.Independently, the second author developed a new, inferential approach to erotetic logic, the logic of questions. In this approach arguments resulting in questions, with declarative sentences and/or other questions as premises, are analyzed, and validity of such arguments is defined. (shrink)

An alternative conceptual setting of the basic system of inquisitive semantics is presented. A situational interpretation of the proposed formalism is discussed.

We consider structures of the form, where Φ and Ψ are non-empty sets and is a relation whose domain is Ψ. In particular, by using a special kind of a diagonal argument, we prove that if Φ is a denumerable recursive set, Ψ is a denumerable r.e. set, and R is an r.e. relation, then there exists an infinite family of infinite recursive subsets of Φ which are not R -images of elements of Ψ. The proof is a very elementary (...) one, without any reference even to e.g. the -theorem. Some consequences of the main result are also discussed. (shrink)

There are inferences from a sentence or a set of sentences to a question. The relation between the premises and conclusions of such inferences is sometimes called arising.

The issue of adequacy of the Turing Test (TT) is addressed. The concept of Turing Interrogative Game (TIG) is introduced. We show that if some conditions hold, then each machine, even a thinking one, loses a certain TIG and thus an instance of TT. If, however, the conditions do not hold, the success of a machine need not constitute a convincing argument for the claim that the machine thinks.

The concepta question is reducible to a non-empty set of questions is defined and examined. The basic results are: (1) each question which is sound relative to some of its presuppositions is reducible to some set of binary (i.e. having exactly two direct answers) questions; (b) each question which has a finite number of direct answers is reducible to some finite set of binary questions; (c) if entailment is compact, then each normal question (i.e. sound relative to its presuppositions) is (...) reducible to some finite set of binary questions. (shrink)

The issue of reduction of propositions to sets of possible worlds is addressed. It is shown that, under some natural assumptions, there always exist recursive propositions, i.e. decidable sets of possible worlds, which are not assigned to any sentence of a language. Some consequences of this result are discussed.

It is claimed that Kuipers' approach to explanation opens the possibility for a further refinement of his own refined HD method for the evaluation of theories. One severe problem for the HD method, refined or not, is theory-ladeness. Given that experimental results are theory-laden, the comparative evaluation of alternative hypotheses is always relative to background knowledge. This difficulty can be avoided by supplementing HD considerations with the principle of inference to the best explanation. The authors sketch a program for doing (...) this. The general idea plays on some similarities between Kuipers' account of explanation and Lipton's. The former, however, is considered more flexible than the latter, which makes it even more attractive for the purpose under consideration. (shrink)

The method of Socratic proofs (SP-method) simulates the solving of logical problem by pure questioning. An outcome of an application of the SP-method is a sequence of questions, called a Socratic transformation. Our aim is to give a method of translation of Socratic transformations into trees. We address this issue both conceptually and by providing certain algorithms. We show that the trees which correspond to successful Socratic transformations—that is, to Socratic proofs—may be regarded, after a slight modification, as Gentzen-style proofs. (...) Thus proof-search for some Gentzen-style calculi can be performed by means of the SP-method. At the same time the method seems promising as a foundation for automated deduction. (shrink)

This book is the second of two volumes devoted to the work of Theo Kuipers, a leading Dutch philosopher of science. Philosophers and scientists from all over the world, thirty seven in all, comment on Kuipers’ philosophy, and each of their commentaries is followed by a reply from Kuipers. The present volume is devoted to Kuipers’ neo-classical philosophy of science, as laid down in his Structures in Science . Kuipers defends a dialectical interaction between science and philosophy in that he (...) views philosophy of science as a meta-science which formulates cognitive structures that provide heuristic patterns for actual scientific research, including design research. In addition, Kuipers pays considerable attention to the computational approaches to philosophy of science as well as to the ethics of doing research. Thomas Nickles, David Atkinson, Jean-Paul van Bendegem, Maarten Franssen, Anne Ruth Mackor, Arno Wouters, Erik Weber & Helena de Preester, Eric Scerri, Adam Grobler & Andrzej Wisniewski, Alexander van den Bosch, Gerard Vreeswijk, Jaap Kamps, Paul Thagard, Emma Ruttkamp, Robert Causey, Henk Zandvoort comment on these ideas of Kuipers, and many present their own account. The present book also contains a synopsis of Structures in Science. It can be read independently of the first volume of Essays in Debate with Theo Kuipers, which is devoted to Kuipers’ From Instrumentalism to Constructive Realism. (shrink)

Contents: Matti SINTONEN: From the Science of Logic to the Logic of Science. I: HISTORICAL PERSPECTIVES. Zev BECHLER: Hintikka on Plenitude in Aristotle. Marja-Liisa KAKKURI-KNUUTTILA: What Can the Sciences of Man Learn from Aristotle? Martin KUSCH: Theories of Questions in German-Speaking Philosophy Around the Turn of the Century. Nils-Eric SAHLIN: 'HE IS NO GOOD FOR MY WORK': On the Philosophical Relations between Ramsey and Wittgenstein. II: FORMAL TOOLS: INDUCTION, OBSERVATION AND IDENTIFIABILITY. Theo A.F. KUIPERS: The Carnap-Hintikka Programme in Inductive Logic. (...) Isaac LEVI: Caution and Nonmonotonic Inference. Ilkka NIINILUOTO: Inductive Logic, Atomism, and Observational Error. Arto MUTANEN: Theory of Identifiability. III: QUESTIONS IN INQUIRY: THE INTERROGATIVE MODEL. Sylvain BROMBERGER: Natural Kinds and Questions. Scott A. KLEINER: The Structure of Inquiry in Developmental Biology. Andrzej WISNIEWSKI: Some Foundational Concepts of Erotetic Semantics. Jan WOLE??N??SKI: Science and Games. IV: GROWTH OF KNOWLEDGE: EXPLANATION AND DISCOVERY. Matti SINTONEN: Explanation: The Fifth Decade. Erik WEBER: Scientific Explanation and the Interrogative Model of Inquiry. George GEBHARD: Scientific Discovery, Induction, and the Multi-Level Character of Scientific Inquiry. Mika KIIKERI: On the Logical Structure of Learning Models. V: JAAKKO HINTIKKA: REPLIES. VI: ABSTRACTS. (shrink)

The goal of this paper is to propose correspondence analysis as a technique for generating the so-called erotetic calculi which constitute the method of Socratic proofs by Andrzej Wiśniewski. As we explain in the paper, in order to successfully design an erotetic calculus one needs invertible sequent-calculus-style rules. For this reason, the proposed correspondence analysis resulting in invertible rules can constitute a new foundation for the method of Socratic proofs. Correspondence analysis is Kooi and Tamminga's technique for designing proof (...) systems. In this paper it is used to consider sequent calculi with non-branching, invertible rules for the negation fragment of classical propositional logic and its extensions by binary Boolean functions. (shrink)

People sometimes argue for questions, as can be verified by a Web search using as search terms phrases consisting of a conclusion indicator and an interrogative particle. These arguments provide a reason for asking the question and thus try to establish that it needs to be answered. Typically, they do so either in order to motivate interest in discovering the answer or in order to challenge addressees or a third party to explain their behaviour. The “inferential erotetic logic” of the (...) Polish logician Andrzej Wiśniewski provides a basis for evaluating the inferences in such arguments. For an inference from one or more statements to a question to be valid, the statements and the context must entail that the question has a true answer without entailing that any particular answer is true. Further, there must be a point to asking the question, such as the addressees’ ignorance of the correct answer to it; this requirement may be a pragmatic rather than a semantic constraint. Wiśniewski’s logic also covers inferences from questions to questions, but humans rarely articulate such inferences; this part of his logic is applicable to problem solving and proof theory rather than to arguments for questions. (shrink)

The main goal of this article is to show diverse approaches in political culture and some of the problems arising from this, as well as to point out the differences between the two perspectives – theories of political science and political philosophy. The author starts by analysing the classic definition of political culture developed by Gabriel Almond and presents the critique of this definition. He also describes a new approach proposed by researchers, such as Władysław Markiewicz, Andrzej W. Jabłoński (...) and Zbigniew Blok. The main problem with Almond’s concept – as the political scientists indicate – is that it is of little relevance for empirical studies. The researchers try to make this concept more useful as a research tool for examining political reality. On the other hand, Cezary Kościelniak and Janusz Wiśniewski attempt to define political culture in political philosophy’s terms. Their intention is to make this concept work as a counterfactual conceptualization of political reality. (shrink)

The formalist point of view maintains that formal derivations underlying proofs, although usually not carried out in practice, contribute to the confidence in mathematical theorems. Opposing this opinion, the main claim of the present paper is that such a gain of confidence obtained from any link between proofs and formal derivations is, even in principle, impossible in the present state of knowledge. Our argument is based on considerations concerning length of formal derivations. Thanks to Jody Azzouni for enlightening discussions concerning (...) the subject of this paper and to anonymous referees whose important remarks permitted us to correct the arguments and improve presentation. The remaining flaws remain, of course, solely the responsibility of the author. This research was partially supported by NSERC discovery grant and by the Research Chair in Distributed Computing at the Université du Québec en Outaouais. CiteULike Connotea Del.icio.us What's this? (shrink)

Musik stellt heute soziale Beziehungen her, die kein Eigentum mehr verlangen. Aber sie kann trotzdem nicht systemunabhängig agieren, ohne selbst Teil einer kapitalen Verwertungslogik zu sein. Dieser unauflösbare Konflikt ist die Basslinie für einen Mix, den Andrzej Steinbach und Achim Szepanski in Ultrablack of Music: Feindliche Übernahme vorlegen. Steinbach montiert drei unterschiedliche Texte: Eine TV-Talkshow als Kammerspiel, eine Namensliste aller RAF-Mitglieder in Form einer Partitur und einen Computercode einer zerhackten McKinsey Werbung. 1971 hatte der WDR die Sendung "Ende offen: (...) Pop und Co - die andere Musik zwischen Protest und Kommerz!" ausgestrahlt, bei der Nikel Pallat, Mitglied der Band Ton Steine Scherben, eine Axt unter seiner Jacke hervorholte und mehrmals mit voller Kraft auf den Tisch einschlug. Er ging dabei nicht kaputt, aber die Geste war unmissverständlich. (shrink)

ABSTRACT A review of two of the strands of cultural studies that Mark Fenster contends are superior to Murray Edelman’s analysis of mass public opinion—Gramsci’s theory of hegemony, and Bourdieu’s sociology—and a more general look at work in the field of cultural studies suggests that all of these alternatives suffer from severe theoretical and methodological limitations. Future studies of culture and politics need to pose questions similar to the ones that preoccupied Edelman, but they must move beyond the political and (...) interpretive biases that have dominated cultural studies (some of which Edelman shared), as well as the questionable view of “ideology” as a matter of elite domination of the masses, rather than as a mediating, constitutive force in the process of individual opinion formation. (shrink)

This is the first, out of two papers, in which we identify all logics between C1 and S5 having the same theses without iterated modalities. All these logics canbe divided into certain groups. Each such group depends only on which of thefollowing formulas are theses of all logics from this group:,,, ⌜∨ ☐q⌝,and for any n > 0 a formula ⌜ ∨ ⌝, where has not the atom ‘q’, and and have no common atom. We generalize Pollack’s result from [12],where (...) he proved that all modal logics between S1 and S5 have the same theseswhich does not involve iterated modalities. (shrink)