The article develops and justifies, on the basis of the epistemological argumentation theory, two central pieces of the theory of evaluative argumentation interpretation: 1. criteria for recognizing argument types and 2. rules for adding reasons to create ideal arguments. Ad 1: The criteria for identifying argument types are a selection of essential elements from the definitions of the respective argument types. Ad 2: After presenting the general principles for adding reasons (benevolence, authenticity, immanence, optimization), heuristics are proposed for finding missing (...) reasons, for deductive arguments, e.g., semantic tableaux are suggested. (shrink)

FFormal dialogue system for tutorials DLT is introduced. The system allows for modelling certain behaviours related to questioning agendas observed in tutorial dialogues. Inferential Erotetic Logic is the underlying logic of questions used here. Tutorial dialogues retrieved from the Basic Electricity and Electronics Corpus are presented and analysed with the use of DLT.

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.

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.

In many natural languages, there are clear syntactic and/or intonational differences between declarative sentences, which are primarily used to provide information, and interrogative sentences, which are primarily used to request information. Most logical frameworks restrict their attention to the former. Those that are concerned with both usually assume a logical language that makes a clear syntactic distinction between declaratives and interrogatives, and usually assign different types of semantic values to these two types of sentences. A different approach has been taken (...) in recent work on inquisitive semantics. This approach does not take the basic syntactic distinction between declaratives and interrogatives as its starting point, but rather a new notion of meaning that captures both informative and inquisitive content in an integrated way. The standard way to treat the logical connectives in this approach is to associate them with the basic algebraic operations on these new types of meanings. For instance, conjunction and disjunction are treated as meet and join operators, just as in classical logic. This gives rise to a hybrid system, where sentences can be both informative and inquisitive at the same time, and there is no clearcut division between declaratives and interrogatives. It may seem that these two general approaches in the existing literature are quite incompatible. The main aim of this paper is to show that this is not the case. We develop an inquisitive semantics for a logical language that has a clearcut division between declaratives and interrogatives. We show that this language coincides in expressive power with the hybrid language that is standardly assumed in inquisitive semantics, we establish a sound and complete axiomatization for the associated logic, and we consider a natural enrichment of the system with presuppositional interrogatives. (shrink)

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)

Detectives and scientists are in the business of reasoning from observations to explanations. This they often do by raising cunning questionsduring their inquiries. But to substantiate this claim we need to know how questions arise and how they are nurtured into more specific hypotheses. I shall discuss what the problem is, and then introduce the so-called interrogative model of inquiry which makes use of an explicit logic of questions. On this view, a discovery processes can be represented as a model-based (...) game in which an inquirer subjects a source of information to a series of strategically organized questions. Strategic principles and why-questions are especially important in heuristical reasoning. Why-questions have their own peculiar nature among questions. They indicate that the inquirer's expectations are somehow disappointed, and that is cognitively challenging. In a finished argument why-questions can be omitted, but in the search for more specific questions they are highly important. As a detetective example I shall analyze Sherlock Holmes reasoning in Silver Blace, the scientific one is A.R. Wallace's discovery of the principle of natural selection. In both of these examples the meaning of questions, especially of well-chosen why-questions, of strategic principles, and of highly structured background knowledge come to the fore. Good questions frequent those who have orderly expectations, based on experience and expertise (detectives!) or highly structured background theories (scientists!). (shrink)

The paper is concerned with the rational requirements for suspended judgment, or what suspending judgment about a question rationally commits one to. It shows that two purported rational requirements for suspended judgment cannot both be true at the same time, at least when the entailment relation between questions is understood a certain way. The first one says that one is rationally required to suspend judgment about those questions that are entailed by the questions that one already suspends judgment about. The (...) second one says that one is rationally required to believe the presuppositions of the questions one suspends judgment about. Two plausible solutions to the problem are discussed. One of them explicates the relation of entailment between questions in an alternative manner, and the other one rejects the presupposition requirement. Either way, a closure requirement for suspended judgment can be maintained which is analogous to the closure requirement for belief. Whereas belief is ideally closed under entailment between propositions, suspended judgment is ideally closed under entailment between questions. (shrink)

In this paper, we explore the conceptual problems arising when using network analysis in person- centered care (PCC) in psychiatry. Personalized network models are potentially helpful tools for PCC, but we argue that using them in psychiatric practice raises boundary problems, i.e., problems in demarcating what should and should not be included in the model, which may limit their ability to provide clinically-relevant knowledge. Models can have explanatory and representational boundaries, among others. We argue that we can make more explicit (...) what kind of questions personalized network models can address in PCC, given their representational and explanatory boundaries, using perspectival reasoning. (shrink)

The authors of 200 arguments for questions posed 19 types of questions, justified them in 62 different ways, offered a justification of the question for 50 different types of purposes, and posed the question for 49 different types of purposes. Further consolidation of the categories used in the analysis is desirable and possible. Of the six most commonly posed types of questions, only three (yes-no questions, select questions, and either-or questions) are at first glance capable of formal representation in an (...) erotetic language of the sort described by Wiśniewski (1995, 1996, 2013), but all six (including also requests to explain, identify and find a means) can be represented formally using the interrogative operators devised by Kubiński (1980). As for the types of justification, four passages argued against posing a question by denying one of its presuppositions, a strategy that implies that a question without a true answer is not worth posing. Only 20 passages, however, argued for a question by asserting a presupposition – typically in cases where their addressees might think that the premissed presupposition is false. Close analysis of five passages randomly selected from the 200 turned up four distinct conditions assumed to be necessary for a question to be worth posing: absence of a false presupposition, a way of working out a correct answer, an unbiased answerer, and a need to answer the question. The first three of these conditions can generally be presumed to be satisfied, and would need to be mentioned in justifying a question only if there was a suspicion that they were not. The fourth condition, a need to answer the question, typically does need to be established, and was the genus of the types of justification identified in half of the passages arguing for a non-rhetorical question. The dominant purpose for justifying a question, found in 111 of the passages, was to establish a need to answer the question; given that justifying a question typically amounts to establishing a need to answer it, this purpose is internal to the practice. The most common generic purposes for posing the question for which an author argued were to provoke thought, to introduce subsequent discussion of the question, to indirectly claim something (in the case of rhetorical questions), to issue a challenge, and to seek enlightenment. (shrink)

Our aim is to model the behaviour of a cognitive agent trying to solve a complex problem by dividing it into sub-problems, but failing to solve some of these sub-problems. We use the powerful framework of erotetic search scenarios combined with Kleene’s strong three-valued logic. ESS, defined on the grounds of Inferential Erotetic Logic, has appeared to be a useful logical tool for modelling cognitive goal-directed processes. Using the logical tools of ESS and the three-valued logic, we will show how (...) an agent could solve the initial problem despite the fact that the sub-problems remain unsolved. Thus our model not only indicates missing information but also specifies the contexts in which the problem-solving process may end in success despite the lack of information. We will also show that this model of problem solving may find use in an analysis of natural language dialogues. (shrink)

Pragmatics and dialectics are two disciplines which have been amongst the first and most important partners for argument studies in the exploration of the complex realm of communication. Treating argumentation as a construct consisting of premises and conclusion allows for investigating some interesting properties of the phenomenon of reasoning, but does not capture a variety of aspects related to the usage of natural language and dialogical context in which real-life argumentation is typically embedded. This special issue explores some of the (...) fascinating research questions which emerge when we move beyond logic into the territory of the pragmatics and dialectics of argument. (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)

Various philosophers have recently defended norms of inquiry which forbid inquiry into questions which lack true answers. I argue that these norms are overly restrictive, and that they fail to capture an important relationship between inquiry and our position as non-ideal epistemic agents. I defend a more flexible and forgiving norm: Epistemic Improvement. According to this norm, inquiry into a question is permissible only if it’s not rational for one to be sure that by inquiring one won’t improve epistemically upon (...) the question. This norm illuminates the significant role that inquiry plays in our lives, given our epistemic nonideality, and it also motivates a robust understanding of the value of inquiry, as encompassing epistemic improvements which go beyond figuring out the answers to questions. (shrink)

(2013). In the beginning was the doing: the premises of the practical syllogism. Canadian Journal of Philosophy: Vol. 43, No. 3, pp. 303-321.

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)

Building on our diverse research traditions in the study of reasoning, language and communication, the Polish School of Argumentation integrates various disciplines and institutions across Poland in which scholars are dedicated to understanding the phenomenon of the force of argument. Our primary goal is to craft a methodological programme and establish organisational infrastructure: this is the first key step in facilitating and fostering our research movement, which joins people with a common research focus, complementary skills and an enthusiasm to work (...) together. This statement—the Manifesto—lays the foundations for the research programme of the Polish School of Argumentation. (shrink)

Science depends on judgments of the bearing of evidence on theory. Scientists must judge whether an observation or the result of an experiment supports, disconfirms, or is simply irrelevant to a given hypothesis. Similarly, scientists may judge that, given all the available evidence, a hypothesis ought to be accepted as correct or nearly so, rejected as false, or neither. Occasionally, these evidential judgments can be made on deductive grounds. If an experimental result strictly contradicts a hypothesis, then the truth of (...) the data deductively entails the falsity of the hypothesis. In the great majority of cases, however, the connection between evidence and hypothesis is non-demonstrative, or inductive. In particular, this is so whenever a general hypothesis is inferred to be correct on the basis of the available data, since the truth of the data will not deductively entail the truth of the hypothesis. It always remains possible that the hypothesis is false even though the data are correct. (shrink)

I develop a dynamic logic for reasoning about "interrogative belief revision", a new branch of belief revision theory that has been developed in a small number of papers, beginning with E. J. Olsson and D. Westlund's paper "On the role of the research agenda in epistemic change" [12]. In interrogative belief revision, epistemic states are taken to include a research agenda, consisting of questions the agent seeks to answer. I present a logic for revision of such epistemic states based on (...) the notion of an epistemic strategy, a stable plan of action that determines changes in the agent's research agenda. This idea is a further development of an idea put forward in [6], that changes in the research agenda of an agent should be determined by stable, "long term" research interests. I provide complete axioms and a decidability result for the logic. (shrink)

This paper answers the philosophical contentions defended in Horsten and Welch . It contains a description of the standard format of adaptive logics, analyses the notion of dynamic proof required by those logics, discusses the means to turn such proofs into demonstrations, and argues that, notwithstanding their formal complexity, adaptive logics are important because they explicate an abundance of reasoning forms that occur frequently, both in scientific contexts and in common sense contexts.

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.

This book contains a selection of the papers presented at the Logic, Reasoning and Rationality 2010 conference in Ghent. The conference aimed at stimulating the use of formal frameworks to explicate concrete cases of human reasoning, and conversely, to challenge scholars in formal studies by presenting them with interesting new cases of actual reasoning. According to the members of the Wiener Kreis, there was a strong connection between logic, reasoning, and rationality and that human reasoning is rational in so far (...) as it is based on logic. Later, this belief came under attack and logic was deemed inadequate to explicate actual cases of human reasoning. Today, there is a growing interest in reconnecting logic, reasoning and rationality. A central motor for this change was the development of non-classical logics and non-classical formal frameworks. The book contains contributions in various non-classical formal frameworks, case studies that enhance our apprehension of concrete reasoning patterns, and studies of the philosophical implications for our understanding of the notions of rationality. (shrink)

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 paper contains a survey of (mainly unpublished) adaptive logics of inductive generalization. These defeasible logics are precise formulations of certain methods. Some attention is also paid to ways of handling background knowledge, introducing mere conjectures, and the research guiding capabilities of the logics.