CS Peirce introduced the concept of abduction into our epistemic lexicon. It is a view of problem solving that emphasizes ecological contexts, preparatory or predictive predilection knotted to learning and inquiry. Abduction is essentially tied more broadly to pragmatism. One view of the brain reflects the fact that predictive predilections knotted to abduction or hypothesis testing dominates the landscape of diverse forms of problem solving. Abduction is biologically constrained and contextual, not a monolithic term and runs the range of (...) neural capability. (shrink)

This book is devoted to a different proposal--that the logical structure of the scientist's method should guarantee eventual arrival at the truth given the scientist's background assumptions.

In Jaakko Hintikka's interrogative model of inquiry, the strategic principles governing empirical inquiry turn out to be closely related to those governing deductive reasoning. Hence it is important to study the precise analogies which obtain between deductive logic and interrogative inquiry. The basic concept of the interrogative model is the relation of model consequence $\text{M}\colon \text{T}\vdash \text{C}$. It is said to obtain iff C can be derived from T by means of an interrogative process in the (...) model M. We prove here a counterpart of Craig 's interpolation theorem for the concept of model consequence. The interrogative analogue to definability is a logical generalization of methodologists' concept of identifiability. For this concept, we prove an analogue to Beth's theorem. Some further philosophical consequences of these results are mentioned. For instance, identifiability is a good rational reconstruction of the idea of observability. (shrink)

The Interrogative Model of Inquiry and Dynamic Epistemic Logics are two central paradigms in formal epistemology. This paper is motivated by the observation of a significant complementarity between them: on the one hand, the IMI provides a framework for investigating inquiry represented as an idealized game between an Inquirer and Nature, along with an account of the interaction between questions and inferences in information-seeking processes, but is lacking a formulation in the multi-agent case; on the other hand, DELs (...) model various operations of information change in multi-agent systems, but the field is lacking a proper integration of question and inference dynamics, along with an application to the investigation of inquiry processes. The goal of this paper is to integrate the two paradigms in such a way as to combine their respective insights. To this end, we develop a formal system called DEL $$_\mathrm{IMI }$$ IMI which aims to represent the interaction between question and inference dynamics in inquiry—as described by the IMI—in a multi-agent setting, and this in such a way as to enable an investigation of inquiry games with multi-agent dimensions. The DEL $$_\mathrm{IMI }$$ IMI system is designed to represent the possible moves of such inquiry games through three types of epistemic actions: agents addressing questions to Nature, agents addressing questions to other agents, agents drawing logical inferences. We then show how the resulting framework can be used to formally define multi-agent inquiry games. We conclude by evaluating the interest of the DEL $$_\mathrm{IMI }$$ IMI system for the IMI and DELs paradigms. (shrink)

The Conduct of Inquiry is a practical introduction to logic and scientific method. It provides a comprehensive and current discussion of the logic of scientific method and scientific reasoning. The author places consistent stress on the evaluation of actual scientific reasoning and the development of critical thinking skills by employing numerous examples that require the application of the principles discussed in the text. Each chapter lays out basic, underlying principles of logic and scientific method and illustrates (...) them by reference to detailed case studies in the history of science. The method of proceeding from concrete case studies to general principle embodied in the examples provides an understandable progression for those learning the basic ideas of logic and scientific method. (shrink)

This book is Dewey's most fully developed treatment of logic as the theory of Inquiry. It is a later work which reflects, in part, Dewey's readings of C.S. Peirce during the 1930's. -/- Reprinted in Series: The collected works of John Dewey / ed. by Jo Ann Boydston, 3,12.; The later works, 1925 - 1953, Vol. 12.

This paper pursues a thorough-going instrumentalist, or means-ends, approach to the theory of inductive inference. I consider three epistemic aims: convergence to a correct theory, fast convergence to a correct theory and steady convergence to a correct theory (avoiding retractions). For each of these, two questions arise: (1) What is the structure of inductive problems in which these aims are feasible? (2) When feasible, what are the inference methods that attain them? Formal learning theory provides the tools for a complete (...) set of answers to these questions. As an illustration of the results, I apply means-ends analysis to various versions of Goodman's Riddle of Induction. (shrink)

Jenner (1749–1826) is known as the father of the smallpox vaccine. Through an inferential analysis of Jenner’s report of inquiry, in which medical practice and medical research are intrinsically intertwined, we highlight his use of abductive hypotheses. Our understanding of abduction is based on the Gabbay and Woods (2005, The Reach of Abduction Insight and Trial, 2, 39) model, in which hypotheses can be activated even when they have not been confirmed, as well as Magnani’s Select and Test model (...) (1992, 2017). We discuss the fundamental role of abductive hypotheses in experimental medicine and understood in the sense of Bernard (1865, Introduction à l’étude la médecine expérimentale). We conclude with remarks about mechanistic hypotheses discussed by Jenner, in relation to the thesis advocated by Russo and Williamson (2007, Int. Stud. Philos. Sci., 21, 157–170). (shrink)

For Derrida, the ‘‘as if’’, as a regulative principle directly appropriated and modified from its Kantian context, becomes the central lynchpin for understanding, not only Derrida's philosophical system as a whole, but also his numerous seemingly enigmatic references to his ‘‘jewishness’’. Through an analysis of the function of the ‘‘as if’’ within the history of thought, from Greek tragedy to the poetry of Wallace Stevens, I hope to show how Derrida can only appropriate his Judaic roots as an act of (...) mourning that seeks to render the lost object as present, ‘‘as if’’ it were incorporated by the subject for whom this act nevertheless remains an impossibility. As Derrida discerns within the poetry of Paul Celan, bringing a sense of presence/presentness to our experiences, and as a confirmation of the subject which the human being struggles to assert, is the poetic task par excellence. It is seemingly also, if Derrida is to be understood on this point, the only option left to a humanity wherein poetry comes to express what religious formulations can no longer justify. (shrink)

Is methodological theory a priori or a posteriori knowledge? It is perhaps a posteriori improvable, somehow. For example, Duhem discovered that since scientists disagree on methods, they do not always know what they are doing. How is methodological innovation possible? If it is inapplicable in retrospect, then it is not universal and so seems defective; if it is, then there is a miracle here. Even so, the new explicit awareness of rules previously implicitly known is in itself beneficial. And so, (...) improved methodology may make for improved methods. Hence, methodology is in part descriptive, in part prescriptive. Knowing this, a methodologist might improve his own studies. For example, Popper would then not hasten to conclude from the fact that past scientists depended on positive evidence that they had better do so in future as well; perhaps a lesser concern with confirmation may increase the productivity of scientific inquiry. (shrink)

Heralded as “the crowning work of a great career,” _Logic: The Theory of Inquiry _was widely reviewed. To Evander Bradley McGilvary, the work assured De­wey “a place among the world’s great logicians.” William Gruen thought “No treatise on logic ever written has had as direct and vital an impact on social life as Dewey’s will have.” Paul Weiss called it “the source and inspiration of a new and powerful movement.” Irwin Edman said of it, “Most phi­losophers write postscripts; (...) Dewey has made a program. His _Logic _is a new charter for liberal intelligence.” Ernest Nagel called the _Logic _an im­pressive work. Its unique virtue is to bring fresh illumination to its subject by stressing the roles logical principles and concepts have in achieving the ob­jectives of scientific inquiry.”. (shrink)

We propose a dynamic-epistemic analysis of the different epistemic operations constitutive of the process of interrogative inquiry, as described by Hintikka’s Interrogative Model of Inquiry (IMI). We develop a dynamic logic of questions for representing interrogative steps, based on Hintikka’s treatment of questions in the IMI, along with a dynamic logic of inferences for representing deductive steps, based on the tableau method. We then merge these two systems into a dynamic logic of interrogative inquiry (...) which articulates a joint treatment of questions and inferences, providing thereby a unified framework representing the informational dynamics of interrogative inquiry. We provide sound and complete axiomatic systems for the three dynamic logics that we introduce, we compare our framework with existing approaches, and we finally propose several directions for further work. (shrink)

Philosophers at least since Kant, with Larry Laudan being a recent example, have suggested that scientific inquiry be thought of as a problem-solving or question-answering activity. The logic of such a conception of scientific inquiry has not been studied systematically, however. This paper presents some of the main aspects of the logic on which such a conception of science is based. That logic is called in this paper model-oriented logic, and it is suggested that (...) one can systematically study optimal questioning strategies with it. (shrink)

Epistemologists have recently proposed a number of norms governing rational inquiry. My aim in this paper is to unify and explain recently proposed norms of inquiry by developing a general account of the conditions under which inquiries are rational, analogous to theories such as evidentialism and reliabilism for rational belief. I begin with a reason-responsiveness conception of rationality as responding correctly to possessed normative reasons. I extend this account with a series of claims about the normative reasons for (...) inquiry that we possess. I apply the account to shed light on two classes of norms that have featured prominently in recent discussions: norms of clutter avoidance forbidding agents from engaging in trivial inquiries, and norms of logical non-omniscience governing properties such as the deductive closure and consistency of an agent's belief state. I conclude with a discussion of the sense in which norms of inquiry should be regarded as epistemic norms. (shrink)

Those who speak of the philosophy of science do not all have the same sort of study in mind. For some it is speculation about the overall nature of the world. Others take it to be basic theory of knowledge and perception. And for still others, it is a branch of philosophical analysis focused speci is meant to be a study falling under fically on science. The present book this last category. Generally, such a study has two aspects: one, methodological, (...) dealing with the logical structure of science, the other, substantive, dealing with scientific concepts. Our concern here is primarily methodological; and, where discussion veers at times towards substantive matters, this will be largely for the purpose of illustrating underlying methodological points. It should also be added that our considerations will be of a general sort, intended to apply to all of science with no special concern for any particular divisions. Except in an incidental manner, therefore, we shall give no primary attention to special problems in the methodology of the social sciences or in the philosophy of physics or of biology. And if we draw the larger portion of our examples from the physical rather than from the behavioral sciences, this is done merely for simplicity, succinctness, and similar conveniences of exposition rather than out of specialized concern for any particular area. (shrink)

SummaryTruth‐definitions play a crucial role in the foundations of logic and semantics. Tarsik‐type truth‐definitions are not possible to formulate in a usual first‐order language for itself, and they have been criticized because they do not account for what makes them definitions of truth. It has been suggested that truth should instead be characterized by reference to the «language‐games» of verification and falsification. The author's game‐theoretical semantics here explained for formal first‐order languages, can be thought of as a realization of (...) this idea. More technically speaking, GTS can also be thought of as a systematization of the well‐known aepsilon‐delta, definitions in the foundations of analysis. In GTS, truth is not defined by reference to winning a play of a game, but as the existence of a winning strategy in the game for the verifier. In a first‐order language, the game‐theoretical truth‐condition of a sentence S can accordingly be expressed by an explicit second‐order sentence asserting the existence of the Skolem function of S.The semantical games of GTS must be distinguished not only from the «games» of formal proof but also from the «games» in volved in our ordinary activities of verification and falsification. The latter have been modelled as games of inquiry by the author, and they are essentially epistemic games where the meaning of truth is taken for granted and where the aim of the game is to come to know certain truths. To assimilate them to the semantical games constitutive of truth is a form of Meno's paradox. (shrink)

This book explores the two major elements of Hintikka’s model of inquiry: underlying game theoretical motivations and the central role of questioning. The chapters build on the Hintikkan tradition extending Hintikka’s model and present a wide variety of approaches to the philosophy of inquiry from different directions, ranging from erotetic logic to Lakatosian philosophy, from socio-epistemologic approaches to strategic reasoning and mathematical practice. Hintikka's theory of inquiry is a well-known example of a dynamic epistemic procedure. In (...) an interrogative inquiry, the inquirer is given a theory and a question. He then tries to answer the question based on the theory by posing questions to nature or an oracle. The initial formulation of this procedure by Hintikka is rather broad and informal. This volume introduces a carefully selected responses to the issues discussed by Hintikka. The articles in the volume were contributed by various authors associated with a research project on Hintikka's interrogative theory of inquiry conducted in the Institut d’Histoire et de Philosophie des Sciences et des Techniques of Paris, including those who visited to share their insight. (shrink)

Pragmatic bioethics represents a novel approach to the discipline of bioethics, yet has met with criticisms which have beset the discipline of bioethics in the past. In particular, pragmatic bioethics has been criticized for its excessively fuzzy approach to fundamental questions of normativity, which are crucial to a field like bioethics. Normative questions need answers, and consensus is not always enough. The approach here is to apply elements of the discourse ethics of Habermas and Putnam to the sphere of bioethics, (...) in order to develop a normative structure out of the framework of bioethical inquiry as it stands. The idea here is that the process of inquiry contains its own normative structure as it aims to discover norms. Such an approach, which fuses pragmatic bioethics with discourse ethics, may rightly be called a "Pragmatic Discourse Bioethics.". (shrink)

This work introduces and defends a radically different type of liberal political theory by severing liberal thought from all underlying moral foundations. Its aim is to present a type of liberalism capable of accommodating the richly diverse differences of worldview and moral theory of the good present in today's pluralist societies. By constructing liberalism as a purely political doctrine, the author develops a theory of toleration, and civil association more generally, capable of meeting liberalism's historic commitment to diversity. While the (...) justification for such a liberalism must be made in prudential terms, rather than the more familiar moral terms used to support competing liberal theories, the liberalism developed here remains faithful to the liberal tradition by defending a theory of equal liberty as the primary political virtue of a just society. (shrink)

Heralded as "the crowning work of a great career," Logic: The Theory of Inquiry was widely reviewed. To Evander Bradley McGilvary, the work assured Dewey "a place among the world's great logicians." William Gruen thought "No treatise on logic ever written has had as direct and vital an impact on social life as Dewey's will have." Paul Weiss called it "the source and inspiration of a new and powerful movement." Irwin Edman said of it, "Most philosophers write (...) postscripts; Dewey has made a program. His Logic is a new charter for liberal intelligence." Ernest Nagel called the Logic an impressive work. Its unique virtue is to bring fresh illumination to its subject by stressing the roles logical principles and concepts have in achieving the objectives of scientific inquiry.". (shrink)

Empiricism is a claim about the contents of the mind: its classic slogan is nihil est in intellectu quod non fuerit in sensu, ‘there is nothing in the mind (intellect, understanding) which is not first in the senses’. As such, it is not a claim about the fundamental nature of the world as material. I focus here on in an instance of what one might term the materialist appropriation of empiricism. One major component in the transition from a purely epistemological (...) claim about the mind and its contents, to an ontological claim about the nature of the world, is the new focus on brain-mind relations in the eighteenth century. Here I examine a Lockean trajectory as exemplified in Joseph Priestley’s 1777 Disquisitions Relating to Matter and Spirit. But Locke explicitly ruled out that his inquiry into the logic of ideas amounted to a ‘physical consideration of the mind’. What does it mean, then, for Priestley to present himself as continuing a Lockean tradition, while presenting mental processes as tightly identified with ‘an organical structure such as that of the brain’ (although he was not making a strict identity claim as we might understand it, post-Smart and Armstrong)? One issue here is that of Priestley's source of ‘empirical data’ regarding the correlation and indeed identification of mental and cerebral processes. David Hartley’s theory in his 1749 Observations on Man was, as is well known, republished in abridged form by Priestley, but he discards Hartley's 'vibratory neurophysiology' while retaining the associationist framework, although not because he disagreed with the former. Yet Hartley was at the very least, strongly agnostic about metaphysical issues (and it is difficult to study these authors while bracketing off religious considerations). One could see Locke and Hartley as articulating programs for the study of the mind which were more or less naturalistic (more strongly so in Hartley’s case) while avoiding ‘materialism’ per se; in contrast, Priestley bit the (materialist) bullet. In this paper I examine Priestley’s appropriation and reconstruction of this ‘micro-tradition’, while emphasizing its problems. (shrink)

Community of inquiry is most often seen as a dialogical procedure for the cooperative development of reasonable approaches to knowledge and meaning. This reflects a deep commitment to normatively based reasoning that is pervasive in a wide range of approaches to critical thinking and argument, where the underlying theory of reasoning is logic driven, whether formal or informal. The commitment to normative reasoning is deeply historical reflecting the fundamental distinction between reason and emotion. Despite the deep roots of (...) the distinction and its canonization in current educational thought, contemporary cognitive neuroscience presents a fundamental challenge to the viability of the distinction and thus to any effort that sees education for reasonable judgment to be based on the remediation of cognition in isolation from its roots in the emotions. Cognitive neuroscience looks at the deep connections between emotion and memory, information retrieval, and resistance to refutation. This conforms with earlier studies in experimental psychology, which showed resistance to changing beliefs in the face of evidence, including evidence based on personal experience. This paper will look at the recent research including speculations from neurological modeling that shows the depth of connection between, emotions, memory and reasoning. It will draw implications for dialogic thinking within a community of inquiry including systematic self-reflection as an essential aspect of critical thinking. (shrink)

This paper examines critically the reconstruction of the ‘Sherlock Holmes sense of deduction’ proposed jointly by M.B. Hintikka and J. Hintikka in the 1980s, and its successor, the interrogative model of inquiry developed by J. Hintikka and his collaborators in the 1990s. The Hintikkas’ model explicitly used game theory in order to formalize a naturalistic approach to inquiry, but the imi abandoned both the game-theoretic formalism, and the naturalistic approach. It is argued that the latter better supports the (...) claim that the imi provides a ‘logic of discovery’, and safeguards its empirical adequacy. Technical changes necessary to this interpretation are presented, and examples are discussed, both formal and informal, that are better analyzed when these changes are in place. The informal examples are borrowed from Conan Doyle’s The Case of Silver Blaze, a favorite of M.B. and J. Hintikka. (shrink)

Tractatus Logico-Pilosophicus, the only book published during Ludwig Wittgenstein's lifetime , has since attracted the imagination of generations of philosophers as a work of great philosophical genius. Nonetheless, even today, more than eighty years later, philosophers are struggling to reconcile its diverse themes within a single, coherent picture. The present work is an attempt to meet this challenge. ;Wittgenstein considered the single proposition as a concrete model for the fact. The challenge is to show how a system of propositions can (...) serve as a model of reality. My work concentrates on three pillars of the logic of the Tractatus: the picture theory, negation as "reversal of sense," the independence of elementary propositions. Using a simple scenario of the ordering of objects or letters on a line, I examine the conflict generated by the attempt to adequately accommodate all three themes and offer my own solution. My solution brings implications to the problem of negation and to the Tractatus's thesis that the possibilities of logical space are spanned by the possible configurations of the ultimately simple objects. One such implication, which stands in contrast to the common reading, is that in atomic facts we have 'complex objects' as constituents. ;The resolution offered, furthermore, exposes an intrinsic difficulty in the Tractatus, for which I have reserved the term arbitrary choice. The difficulty is manifested in the lack of assurance---from the perspective of logic---that a concept-word will preserve its 'standard' meaning when it is reapplied or when its scope of application varies. In this I uncover the seed of central themes in Wittgenstein's later philosophy, e.g. the rule-following argument, as present already in the Tractatus. ;In the concluding chapter, I suggest a new account for the nature of the proposition by connecting the analysis offered in the Tractatus with the subject of time and motion. The picture with which the work concludes then considers language not as corresponding to reality, but as engaged or synchronized with reality---if you will, it is a picture of language and reality in a dance. (shrink)

A constructive analysis of reasoning as a self-corrective process of learning in which a dialectic between inquiry and anomaly, between intuition and inference, between analysis and synthesis, between induction and deduction, gradually produces a virtually unconditioned but always corrigible solution to a problem. The argument is both a synthesis of contributions from classical and modern philosophers to the interpretation of learning and an attempt to bridge the gap between critical thinking and formal logic in the analysis of reasoning. (...) The aim is to show that learning as well as demonstration has a logic susceptible to philosophical analysis. (shrink)

Although extremely comprehensive in its subject-matter, catholic in its treatment of diverse points of view, and lucid, this book is not simply a survey. Rather, it is, in its own way, original—not because any information or thesis it contains is new, but because it offers a clear, synoptic, and sophisticated look at what has been a relatively ill-defined and fragmented sector of philosophy, that of determining the nature of the "behavioral sciences." Kaplan's way of accomplishing this is to consider the (...) concepts and activities of science "functionally"; and he generally finds that "no one function can suffice" to show us what, e.g., a law of nature is, or what an experiment is, or what a model is, etc. Thus he typically finds other, mutually competing theories both partially true and too narrow. He also has much that is illuminating to say about the Deweyan ideas that the logic of science is fundamentally a "logic-in-use" ; and that scientific concepts are "open" and properly depend on the context of inquiry, rather than on the logician, for their "closure." Consonant with these themes is his stress on the openness of the concept of methodology itself: behavioral scientists, he contends, will gain no salvation merely by finding better procedures. Of greater importance are the values, choices, and invention of the inquirer himself; and Kaplan, accordingly, treats these matters in detail.—C. T. W. (shrink)

Nissen draws on Logic: The Theory of Inquiry, and also uses quotations from four others of Dewey's books, mostly in the section on truth. The monograph is an unrelenting attack on Dewey's theories, following the lead of Bertrand Russell's criticisms in Schilpp's The Philosophy of John Dewey. Nissen takes key terms of the theories, renders each into a form which he finds clearer, and comparing this form with other statements from Dewey, judges the results Dewey achieves to be (...) incorrect, trivial, or absurd.--M. B. M. (shrink)

This article investigates the place of trust in learning relations in the classroom, not only between teacher and student, but also between student and student. To do this, it will first examine a pedagogy called community of inquiry, espoused by John Dewey and used in most Philosophy for Children courses in Australia. It will then consider what different forms of trust are involved in other power relations in the classroom, particularly the rational structuralism of R.S Peters, or the experiential (...) philosophy of Maria Montessori. It concludes that a community of inquiry shifts the ethical learning relation in significantly different ways because for educational growth, it values ethical trust more highly than a strategic trust in logical principle, duty, Truth, or cost/benefit analysis. (shrink)

To explain the phenomena in the world of our experience, to answer the question “why?” rather than only the question “what?”, is one of the foremost objectives of all rational inquiry; and especially, scientific research in its various branches strives to go beyond a mere description of its subject matter by providing an explanation of the phenomena it investigates. While there is rather general agreement about this chief objective of science, there exists considerable difference of opinion as to the (...) function and the essential characteristics of scientific explanation. In the present essay, an attempt will be made to shed some light on these issues by means of an elementary survey of the basic pattern of scientific explanation and a subsequent more rigorous analysis of the concept of law and of the logical structure of explanatory arguments. (shrink)

In recent years, pragmatism in general and John Dewey in particular have been of increasing interest to philosophers of science. Dewey's work provides an interesting alternative package of views to those which derive from the logical empiricists and their critics, on problems of both traditional and more recent vintage. Dewey's work ought to be of special interest to recent philosophers of science committed to the program of analyzing ``science in practice.'' The core of Dewey's philosophy of science is his theory (...) of inquiry---what he called ``logic.'' There is a major lacuna in the literature on this point, however: no contemporary philosophers of science have engaged with Dewey's logical theory, and scholars of Dewey's logic have rarely made connections with philosophy of science. This paper aims to fill this gap, to correct some significant errors in the interpretation of key ideas in Dewey's logical theory, and to show how Dewey's logic provides resources for a philosophy of science. (shrink)

In recent years, there has been a growing interest in truthmaker semantics as a framework for understanding a range of phenomena in philosophy and linguistics. Despite this interest, there has been limited study of the various logics that arise from the semantics. This paper aims to address this gap by exploring numerous ‘truthmaker logics’ and proving their compactness and decidability. This is in continuation with the inquiry of Fine and Jago (2019), who proved compactness and decidability for a particular (...) kind of truthmaker logic. The key results going into this are (1) ‘standard translations’ into first-order logic; (2) a truthmaker analogue of the finite model property; and (3) a proof showing that truthmaker consequence on semilattices coincides with truthmaker consequence on complete lattices. Finally, the connection with modal logic is examined. Specifically, it is illustrated how endowing truthmaker semantics with classical negation results in modal information logics. (shrink)