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.

Imperatives cannot be true or false, so they are shunned by logicians. And yet imperatives can be combined by logical connectives: "kiss me and hug me" is the conjunction of "kiss me" with "hug me". This example may suggest that declarative and imperative logic are isomorphic: just as the conjunction of two declaratives is true exactly if both conjuncts are true, the conjunction of two imperatives is satisfied exactly if both conjuncts are satisfied—what more is there to say? Much more, (...) I argue. "If you love me, kiss me", a conditional imperative, mixes a declarative antecedent ("you love me") with an imperative consequent ("kiss me"); it is satisfied if you love and kiss me, violated if you love but don't kiss me, and avoided if you don't love me. So we need a logic of three -valued imperatives which mixes declaratives with imperatives. I develop such a logic. (shrink)

Recently, it has become a custom to treat questions as a game between two subjects. Unfortunately, one rarely goesbeyond the scheme of Questioner-Scientist and Answerer-Nature, althoughthe Interlocutor so conceived displays some undesirable features. This paperargues for the idea that logic of questions can be build as a logic of the gamebetween “knowledge resources” persons or theories, rather than errant Scientist and omniscient Nature. To this end the concept of epistemically-possibleworlds is discussed, which is conceived as analogous to that of possible (...) worldsin modal logic. And, furthermore, the concepts of relation of epistemic alternativeness and of epistemically-alternative worlds are introduced. On thisbasis a version of semantics for propositional, three-valued logic of questionsis offered and semantic proofs of some theses are given. (shrink)

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.

In a recent paper (Haslanger 2016), Sally Haslanger argues for the importance of structural explanation. Roughly, a structural explana- tion of the behaviour of a given object appeals to features of the struc- tures—physical, social, or otherwise—the object is embedded in. It is opposed to individualistic explanations, where what is appealed to is just the object and its properties. For example, an individualistic explanation of why someone got the grade they did might appeal to features of the essay they wrote—its (...) being well-written, answering the set question, etc. But if the class is graded on a curve, then a better explanation will appeal to features of the class—of the social structure in which the student is embedded. That she wrote a better paper than 90% of the class explains better than that she wrote a well-argued paper. In this paper, I get clear as to various candidate concepts of structure that we might appeal to in structural explanations, argue that Haslanger’s preferred account is lacking, and present an alterna- tive that is more conducive to social structural explanation. (shrink)

A number of logicians and philosophers have turned their attention in recent years to the problem of developing a logic of interrogatives. Their work has thrown a great deal of light on the formal properties of questions and question-sentences and has led also to interesting innovations in our understanding of the structures of performatives in general and, for example, in the theory of presuppositions. When, however, we examine the attempts of logicians such as Belnap or Åqvist to specify what, precisely, (...) a question is, or what it is to ask or raise a question, then what we are offered is somewhat less illuminating. Two alternative reductionist accounts seem in particular to have gained most favor: questions are identified either as special sorts of statements, or as special sorts of requests. As we hope will become clear in what follows, neither of these accounts is even nearly adequate; and matters are not improved if questions are identified, by force majeure, as combinations of statements and requests. (shrink)

The basic theory of scientific understanding presented in Sections 1–2 exploits three main ideas.First, that to understand a phenomenonP (for a given agent) is to be able to fitP into the cognitive background corpusC (of the agent).Second, that to fitP intoC is to connectP with parts ofC (via arguments in a very broad sense) such that the unification ofC increases.Third, that the cognitive changes involved in unification can be treated as sequences of shifts of phenomena inC. How the theory fits (...) typical examples of understanding and how it excludes spurious unifications is explained in detail. Section 3 gives a formal description of the structure of cognitive corpuses which contain descriptive as well as inferential components. The theory of unification is then refined in the light of so called puzzling phenomena, to enable important distinctions, such as that between consonant and dissonant understanding. In Section 4, the refined theory is applied to several examples, among them a case study of the development of the atomic model. The final part contains a classification of kinds of understanding and a discussion of the relation between understanding and explanation. (shrink)

How should the contrastivist formulate closure? That is, given that knowledge is a ternary contrastive state Kspq (s knows that p rather than q), how does this state extend under entailment? In what follows, I will identify adequacy conditions for closure, criticize the extant invariantist and contextualist closure schemas, and provide a contrastive schema based on the idea of extending answers. I will conclude that only the contrastivist can adequately formulate closure.

Van Fraassen and others have urged that judgements of explanations are relative to why-questions; explanations should be considered good in so far as they effectively answer why-questions. In this paper, I evaluate van Fraassen's theory with respect to mathematical explanation. I show that his theory cannot recognize any proofs as explanatory. I also present an example that contradicts the main thesis of the why-question approach—an explanation that appears explanatory despite its inability to answer the why-question that motivated it. This example (...) shows how explanatory judgements can be context-dependent without being why-question-relative. (shrink)

It was something of a dogma for much of the twentieth century that one cannot validly derive an ought from an is. More generally, it was held that non-normative propositions do not entail normative propositions. Call this thesis about the relation between the natural and the normative Natural-Normative Autonomy. The denial of Autonomy involves the entanglement of the natural with the normative. Naturalism entails entanglement—in fact it entails the most extreme form of entanglement—but entanglement does not entail naturalism. In a (...) ground-breaking paper “The autonomy of ethics” Arthur Prior constructed some intriguing counterexamples to Autonomy. While his counterexamples have convinced few, there is little agreement on what is wrong with them. I present a new analysis of Autonomy, one which is grounded in a general and independently plausible account of subject matters. While Prior’s arguments do establish shallow natural-normative entanglement, this is a consequence of simple logical relationships that hold between just about any two subject matters. It has nothing special to do with the logical structure of normativity or its relation to the natural. Prior’s arguments leave the fundamental idea behind natural-normative Autonomy intact. I offer a new argument for deep entanglement. I show that in any framework adequate for dealing with the natural and the normative spheres, a purely natural proposition entails a purely normative proposition, and vice-versa. But this is no threat to non-naturalist moral realism. In fact it helps ameliorate the excesses of an extreme non-naturalism, delivering a more palatable and plausible position. (shrink)

In debates about rationalizing action explanation causalists assume that the psychological states that explain an intentional action have both causal and rational features. I scrutinize the presuppositions of those who seek and offer rationalizing action explanations. This scrutiny shows, I argue, that where rational features play an explanatory role in these contexts, causal features play only a presuppositional role. But causal features would have to play an explanatory role if rationalizing action explanation were a species of causal explanation. Consequently, we (...) should conclude that action explanation is not a species of causal explanation. (shrink)

In recent years, the e ffort to formalize erotetic inferences (i.e., inferences to and from questions) has become a central concern for those working in erotetic logic. However, few have sought to formulate a proof theory for these inferences. To fill this lacuna, we construct a calculus for (classes of) sequents that are sound and complete for two species of erotetic inferences studied by Inferential Erotetic Logic (IEL): erotetic evocation and regular erotetic implication. While an attempt has been made to (...) axiomatize the former in a sequent system, there is currently no proof theory for the latter. Moreover, the extant axiomatization of erotetic evocation fails to capture its defeasible character and provides no rules for introducing or eliminating question-forming operators. In contrast, our calculus encodes defeasibility conditions on sequents and provides rules governing the introduction and elimination of erotetic formulas. We demonstrate that an elimination theorem holds for a version of the cut rule that applies to both declarative and erotetic formulas and that the rules for the axiomatic account of question evocation in IEL are admissible in our system. (shrink)

We can characterise thought in two different ways. Which is preferred can have implications for important issues about reasoning and the norms that govern cognition. The first, which owes much to the picture of the mind encountered in Descartes' Meditations, observes that paradigmatic examples of thoughts and inferences are events and processes whose special characteristics stem from their being ‘mental’ occurrences. For example they are conscious or, if unconscious, they stand in some special relation to thought processes that are conscious. (...) They typically involve attitudes towards contents or propositions. In general, thoughts have a distinctive onto-logical status and this status depends upon their being mental and typically conscious. The second emphasises that thought is a kind of activity with a definite function. It involves the use of intelligence to solve problems, answer questions, make plans and so on. Thought should be studied as a kind of goal-directed activity. Those interested in the norms that govern thought should attend to the role of responsible disciplined reflection in carrying out this activity. (shrink)

Uses erotetic logic to model the courtroom objection "Asked and Answered!".

In this paper, I consider a variant of the ancient Idle Argument involving so‐called “unconditionals” with interrogative antecedents. This new Idle Argument provides an ideal setting for probing the logic of these close relatives of if‐conditionals, which has been comparatively underexplored. In the course of refuting the argument, I argue that contrary to received wisdom, many unconditionals do not entail their main clauses, yet modus ponens is still unrestrictedly valid for this class of expressions. I make these lessons precise in (...) a formal system drawing on recent work in inquisitive semantics. My larger aim is to challenge standard truth preservation accounts of logic and deductive argumentation. (shrink)

Three fundamental claims are defended in this dissertation. First, the influence of Hume's epistemological program and his skepticism with respect to causal knowledge have hindered the development of an adequate theory of scientific explanation. Second, Hume's conception of causal knowledge is outdated, and knowledge of causation should be relieved of the special epistemological burden placed on it by Hume's followers. Finally, once relieved of this Humean epistemological burden, the causal theory of scientific explanation is superior to alternatives lying in the (...) tradition of Humean positivism. ;Humean positivism places severe constraints on theories of scientific explanation, and its influence on extant theories is reviewed. Recent positivist theories of scientific explanation are discussed critically, and are shown to suffer serious difficulties. Particular attention is paid to recent pragmatic theories and to Kitcher's unificationist theory. ;The causal theory of scientific explanation is developed through an examination of theories of causation. Traditional views , recent statistical theories, and Salmon's theory of causation are rejected in favor of Cartwright's thesis that causal laws are best understood as capacity ascriptions. The essential features of scientific explanations are then outlined: most prominent are the ascription of causal capacities and the description of causal interactions. The philosophical benefits of the causal theory are also summarized. ;Common objections to causal theories of explanation are treated. Of central importance is Hume's skeptical argument. Once Hume's conception of causal knowledge is modernized, however, his arguments yield no skepticism particular to the knowledge of causation: causal knowledge is as defensible as are more respectable types of empirical knowledge. Other important objections are also reviewed. ;Finally, historical studies of two well-known explanatory controversies--the Jensen-Lewontin debate concerning the heritability of IQ, and a dispute about the nature of cosmic radiation--are presented. Positivist theories of scientific explanation can account for neither the origin nor the manner of resolution of these controversies. In contrast, the causal theory of explanation is shown to illuminate the controversies successfully. This success offers additional evidence in favor of the causal theory of scientific explanation. (shrink)

This is a thesis about interdisciplinarity, scientific integration, and problem solving in sustainability science. Sustainability science is an emerging and highly interdisciplinary field that seeks to integrate vastly differentiated bodies of knowledge in addressing the challenge of transitioning contemporary societies towards sustainability. Interdisciplinarity is paramount. Interdisciplinarity in general, and in the context of sustainability science in particular, has often been associated with solving particular problems and problem solving is one important theme in this thesis. A central idea that is developed (...) is that of problem-feeding. Sometimes problems arise within one discipline that can only be solved with the help of another. This concept, that has predecessors in e.g. the work of Lindley Darden and Nancy Maull, is explored considerably. It is argued that in interdisciplinary contexts—such as sustainability science—where collaboration is sought it is important to maintain cross-boundary problem stability. That is to say, as the problem is transferred from one discipline to another transformations will often be necessary. These transformations then, need to be acceptable to all involved parties to maintain an active interdisciplinary connection. Another topic that is discussed both in the introductory essay and some of the papers included is that of scientific imperialism. Scientific imperialism—the infringement of one discipline upon the domain of another—is here suggested to be primarily a threat to in-terdisciplinary collaborations. A distinction is introduced between imperialist failures of expansionism and failures of replacement. These are labelled type-I and type-II imperialism respectively. Particular attention is devoted to the latter form. Type-II imperialism concerns cases where imperialist infringements fail as the imperial- izing framework replaces viable, or compatible alternatives. Such an error of replacement does, importantly, not imply that the framework or theory should be disregarded completely. This type of imperialist error can both be quite subtle, and damaging. For one, if one directs the attention to specific contexts knowledge is actually lost in the process. This is particularly serious in fields such as sustainability science that are, to such an large extent, aimed at influencing concrete policy. Finally, interdisciplinarity is difficult to achieve and in many cases represents a grand challenge in itself. There are however many different ways in which interdisciplinarity may be accomplished and different forms are suitable in different contexts. In a field such as sustainability science where complexity is such a prevalent feature, an inclusive, pluralist, approach is likely to be appropriate. (shrink)

In the complex teaching paradigm constructed and celebrated in classical Greek philosophy, geometry was the gateway to knowledge. Historically, mathematics provided the generational basis of education in Western civilization. Its impact as a disciplining subject was philosophically served by Plato’s most influential metaphysical involvement with the dialectical interplay of form and content, ideas and images, and the formal, hierarchic divisions of reality. Mathematics became a key--perhaps the key--for the establishment of natural, social and intellectual hierarchies in Plato’s work, and mathematical (...) capacities became synonymous with power--the power of abstraction needed to effect and control change. It was the provenience of the academic demands, levels, and achievements celebrated as culturally Western. From ancient Athens to medieval Europe, it became the principle of interactional/hierarchic selection: Similia similibus cognoscuntur--that is, only those things alike can interact cognitively; this launched the notion that mathematical ability is the best test for objectively determining who does and who does not qualify for a social, political, and intellectual meritocracy. (shrink)

causal relevance, a three-place relation between event types, and circumstances, and argue for a logical independence condition on properties standing in the causal relevance relation relative to circumstances. In section 3, I apply these results to show that functionally defined states are not causally relevant to the output or state transitions in terms of which they are defined. In section 4, I extend this result to what that output in turn causes and to intervening mechanisms. In section 5, I examine (...) the implications of this result for functional theories of mental states. In section 6, I distinguish between functional descriptions of properties and functional definitions of properties, and argue the former present no obstacle to mental states being causally relevant to behavior, but that this is so because they do not treat mental states as functional states. In section 7, I examine the nature of explanations that appeal to functional states or properties. section 8 identifies some difficulties that arise in thinking about specifically conscious mental states as functional states. section 9 is a brief conclusion. (shrink)