Engineering accident investigations are systematic inquiries into the facts and causes of engineering accidents. The aims of an engineering accident investigation include identifying significant truths about an accident, learning lessons to prevent similar future accidents, and authoritatively communicating the investigative results to the stakeholders. An important normative dimension along which an engineering accident investigation can be evaluated is its degree of success in fulfilling these aims. In this paper, I propose criteria for evaluating the degree of success of an engineering (...) accident investigation using a question-centered framework, and then argue for the relevance of this proposal to the actual engineering practice. The basic idea of my proposal is that an engineering accident investigation is successful to the extent that (1) questions that should arise in the investigation do arise, and (2) questions that arise—especially the more significant ones—are resolved satisfactorily by the end of the investigation. The first part of this paper unpacks my proposal by analyzing the following three concepts and illustrating them using examples from the TWA Flight 800 accident investigation: The (satisfactory) resolution of questions, the significance of questions, and the arising of questions. The second part of this paper argues for the relevance of my proposal to the practitioners and stakeholders of engineering accident investigations. First, I argue that my proposal is sensitive to the aims of the investigators and stakeholders regarding engineering accident investigations, and that it helps them navigate competing and conflicting aims. Second, I go beyond the TWA 800 case study and argue that my proposal explains the strengths and limitations of different types of accident causation models used in investigations. (shrink)

It is a common complaint that antireductionist arguments are primarily negative. Here I describe an alternative nonreductionist epistemology based on considerations taken from multidisciplinary research in biology. The core of this framework consists in seeing investigation as coordinated around sets of problems (problem agendas) that have associated criteria of explanatory adequacy. These ideas are developed in a case study, the explanation of evolutionary innovations and novelties, which demonstrates the applicability and fruitfulness of this nonreductionist epistemological perspective. This account also bears (...) on questions of conceptual change and theory structure in philosophy of science. †To contact the author, please write to: Department of Philosophy, University of Minnesota, 831 Heller Hall, 271 19th Ave. S., Minneapolis, MN 55455; e‐mail: [email protected]. (shrink)

Classic studies of explanation, such as those of Hempel and Bromberger, took it for granted that an explanation-seeking question of the form "Why P?" should be understood as asking about the proposition P. This view has been recently challenged by Bas van Fraassen and Alan Garfinkel. They acknowledge that some questions have the surface form "Why P?", but they hold that a correct reading for why-questions should take the form "Why P (rather than Q)?", where Q is a contrasting alternative. (...) This contrast theory is discussed here. It is argued that, properly understood, the contrast theory and the propositional approach can and should give equivalent readings to why-questions. (shrink)

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)

The official model of explanation proposed by the logical empiricists, the covering law model, is subject to familiar objections. The goal of the present paper is to explore an unofficial view of explanation which logical empiricists have sometimes suggested, the view of explanation as unification. I try to show that this view can be developed so as to provide insight into major episodes in the history of science, and that it can overcome some of the most serious difficulties besetting the (...) covering law model. (shrink)

This paper shows in detail how the formal semiotic of M. J. Cresswell [6] may be extended to provide an account of indirect question clauses in English. The resulting account is compared at various points with the theory recently propounded by Karttunen [12] and is argued to have two major advantages over the latter in that (i) it accommodates the manifest teleological relativity of who-clauses, and (ii) it avoids the need for categorial segregation of sentence-taking verbs from wh-clause-taking verbs while (...) offering a uniform explanation of various apparent semantic differences between them. (shrink)

We introduce a framework that can be used to model both mathematics and human reasoning about mathematics. This framework involves stochastic mathematical systems (SMSs), which are stochastic processes that generate pairs of questions and associated answers (with no explicit referents). We use the SMS framework to define normative conditions for mathematical reasoning, by defining a “calibration” relation between a pair of SMSs. The first SMS is the human reasoner, and the second is an “oracle” SMS that can be interpreted as (...) deciding whether the question–answer pairs of the reasoner SMS are valid. To ground thinking, we understand the answers to questions given by this oracle to be the answers that would be given by an SMS representing the entire mathematical community in the infinite long run of the process of asking and answering questions. We then introduce a slight extension of SMSs to allow us to model both the physical universe and human reasoning about the physical universe. We then define a slightly different calibration relation appropriate for the case of scientific reasoning. In this case the first SMS represents a human scientist predicting the outcome of future experiments, while the second SMS represents the physical universe in which the scientist is embedded, with the question–answer pairs of that SMS being specifications of the experiments that will occur and the outcome of those experiments, respectively. Next we derive conditions justifying two important patterns of inference in both mathematical and scientific reasoning: (i) the practice of increasing one’s degree of belief in a claim as one observes increasingly many lines of evidence for that claim, and (ii) abduction, the practice of inferring a claim’s probability of being correct from its explanatory power with respect to some other claim that is already taken to hold for independent reasons. (shrink)

Habits figure in action‐explanations because of their distinctive force. But what is the force of habit, and how does it motivate us? In this paper, I argue that the force of habit is the feeling of familiarity one has with the familiar course of action, where this feeling reveals a distinctive reason for acting in the usual way. I do this by considering and rejecting a popular account of habit's force in terms of habit's apparent automaticity, by arguing that one (...) can do something out of habit and from deliberation, before going on to defend The Familiarity View. (shrink)

This paper explains some of the reasoning behind “Can a Good Philosophical Contribution Be Made Just by Asking a Question?,” a paper which consists solely in its title and which is published in the same issue of the journal as the present paper. The method for explaining that reasoning consists in making available a lightly edited version of a letter the authors sent to the editors when submitting the title-only paper. The editors permitted publication of that paper on the condition (...) that the authors also separately publish a version of that letter; the present paper aims to fulfil that condition. (shrink)

This paper presents a simple decidable logic of functional dependence LFD, based on an extension of classical propositional logic with dependence atoms plus dependence quantifiers treated as modalities, within the setting of generalized assignment semantics for first order logic. The expressive strength, complete proof calculus and meta-properties of LFD are explored. Various language extensions are presented as well, up to undecidable modal-style logics for independence and dynamic logics of changing dependence models. Finally, more concrete settings for dependence are discussed: continuous (...) dependence in topological models, linear dependence in vector spaces, and temporal dependence in dynamical systems and games. (shrink)

To identify and conceptualize research problems in science, philosophers and often scientists rely on classical accounts of problems that focus on intellectual problems defined in relation to theories. Recently, philosophers have begun to study the structures and functions of research problems not defined in relation to theories. Furthermore, scientists have long pursued research problems often labeled as practical or applied. As yet, no account of problems specifies the description of both so-called intellectual problems and so-called applied problems. This article proposes (...) a new conceptual framework of problems that accounts both for intellectual aspects of problems and for their practical or applied aspects. I illustrate the account with an example of a recent research project from evolutionary biology, and I indicate further routes by that to develop the account, especially in connection to empirical studies of science. (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)

Orthodoxy has it that knowledge is absolute—that is, it cannot come in degrees. On the other hand, there seems to be strong evidence for the gradability of know-how. Ascriptions of know-how are gradable, as when we say that one knows in part how to do something, or that one knows how to do something better than somebody else. When coupled with absolutism, the gradability of ascriptions of know-how can be used to mount a powerful argument against intellectualism about know-how—the view (...) that know-how is a species of propositional knowledge. This essay defends intellectualism from the argument of gradability. It is argued that the gradability of ascriptions of know-how should be discounted as a rather superficial linguistic phenomenon, one that can be explained in a way compatible with the absoluteness of the state reported. (shrink)

The standard conception of misleading evidence has it that e is misleading evidence that p iff e is evidence that p and p is false. I argue that this conception yields incorrect verdicts when we consider what it is for evidence to be misleading with respect to questions like whether p. Instead, we should adopt a conception of misleading evidence according to which e is misleading with respect to a question only if e is in-fact irrelevant to that question – (...) a relation that requires that e fail to be both explanatorily connected to and evidence for any truth that answers the question. This modified conception allows e to be non-misleading evidence with respect to a question even if e is evidence for the false answer to that question. It also points toward a new argument for and explanation of the truth of a central premise – what Maria Lasonen-Aarnio dubs “Entitlement” – that generates the infamous dogmatism puzzle. (shrink)

Questions are, in many respects, the hallmarks of the philosopher's trade. They are passed down from one generation to the next and yet, throughout history, philosophers have had relatively little to say about questions. In particular, few have asked or tried to answer the question ‘what is a question'. I call this the ‘Question Question’ and I offer an answer to it in this paper, furnishing philosophical analysis with the results of a large online survey, which has been running for (...) more than a decade. (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)

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)

It has been widely accepted that intentional actions are “the actions to which “a certain sense of the question ‘why?’ is given application” (Anscombe 1957/2000: 9). But there are robust reasons for thinking that this claim is false. First, there are intentional actions for which such questions are unsound. We have good reasons for thinking that the questions are not “given application” in these cases. Second, when these questions are “given application” this is best explained, it is argued, not in (...) terms of a necessary link between intentional action and this type of enquiry, but in terms of the fact that this is an enquiry that we pursue when we take an agent to have exercised certain of their rational capacities. (shrink)

Will it rain tomorrow? Will there be a sea battle tomorrow? Will my death be painful? Wondering about the future plays a central role in our cognitive lives. It is integral to our inquiries, our planning, our hopes, and our fears. The aim of this paper is to consider various accounts of future contingents and the implications that they have for wondering about the future. I argue that reflecting on the nature of wondering about the future supports an Ockhamist account (...) of future contingents according to which many of them are true. Alternative accounts which maintain that no future contingents are true, either by claiming that they are all false or by claiming that they are neither true nor false, face difficulties concerning why it is appropriate to wonder about them. Reflecting on wondering in general, and wondering about the future in particular, suggests that in wondering how the future will go, we implicitly assume that there is a determinate fact of the matter. After presenting an attractive account of interrogative attitudes that has been recently proposed by Jane Friedman and outlining some norms governing wondering, I argue that all accounts of future contingents except Ockhamism face difficulties concerning why it is appropriate to wonder about them. (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)

The paper develops the idea that institutions are enablers. However, they do not only enable individuals and collectives to achieve their goals; first and foremost, they enable individuals and collectives to have a goal, to select and recognize certain possible states of affairs as targets of action, and as a result, to have a demand – especially a demand for further institutions. I make the case that properly functioning institutions are dedicated to making these states of affairs epistemically acquaintable. What (...) I will stress in particular is that acquaintance is first realized in the form of questions, which are linguistic expressions of acts of problematization. However, I will discuss less what an individual subject questions, but rather what the social dynamic of questioning is. This dynamic will be conceptualized in terms of epistemic dependence, and it will be singled out as the dynamic that gives rise to institutions. (shrink)

The aims of this paper are to provide a detailed taxonomy of noncanonical uses of interrogative sentences, i.e. when they are used not to ask a question but to convey some information, or to ask a question albeit not that expressed by the interrogative sentence exploited in the act, to identify properties of circumstances where an interrogative sentence is being used in this way, and to propose some maxims that govern the rational use of questions. Four main categories of such (...) cases are presented, and a few further subclasses are differentiated. I show how these types are interrelated, and what logical features differentiate them. I also propose a hypothesis for when an interrogative sentence is not being used in its primary mode. Studies on circumstances in which questions are used in other ways can shed light on maxims that govern asking and questioning in a rational conversation; therefore, some possible maxims of this kind are proposed. (shrink)

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)

Idealism is often associated with the kind of metaphysical system building which was successfully disposed of by logical positivism. As Hume's fork was intended to deliver a serious blow to Leibnizian metaphysics so logical positivism invoked the verificationist principle against the reawakening of metaphysics, in the tradition of German and British idealism. In the light of this one might reasonably wonder what Carnap's pragmatism could possibly have in common with Collingwood's idealism. After all, Carnap is often seen as a champion (...) of the logical positivist's critique of metaphysics, whilst Collingwood is renowned for his defence of the possibility of metaphysics against the attack to which Ayer subjected it. The answer is that they have more in common than one might suspect and that, once the relevant qualifications are made, there is as much convergence as there is contestation between Carnapian pragmatism and Collingwoodian idealism. (shrink)

This paper contributes to the calculization of evocation and erotetic implication as defined by Inferential Erotetic Logic (IEL). There is a straightforward approach to calculizing (propositional) erotetic implication which cannot be applied to evocation. First-order evocation is proven to be uncalculizable, i.e. there is no proof system, say FOE, such that for all X, Q: X evokes Q iff there is an FOE-proof for the evocation of Q by X. These results suggest a critique of the represented approaches to calculizing (...) IEL. This critique is expanded into a programmatic reconsideration of the IEL-definitions of evocation and erotetic implication. From a different point of view these definitions should be seen as desiderata that may or may not play the role of a point of orientation when setting up "rules of asking". (shrink)

This paper shows in detail how the formal semiotic of M. J. Cresswell [6] may be extended to provide an account of indirect question clauses in English. The resulting account is compared at various points with the theory recently propounded by Karttunen [12] and is argued to have two major advantages over the latter in that (i) it accommodates the manifest teleological relativity of ‘who’-clauses, and (ii) it avoids the need for categorial segregation of sentence-taking verbs from wh-clause-taking verbs while (...) offering a uniform explanation of various apparent semantic differences between them. (shrink)

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)

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.