ANGLO-AMERICAN PHILOSOPHY OF SCIENCE has tended to define itself squarely against the kinds of so-called metaphysical approaches that have characterized so-called continental philosophy in the line of descent from Husserl. Indeed, Husserl’s project of phenomenological enquiry was the target of criticism by Frege—and later by Gilbert Ryle—which pretty much set the agenda for subsequent debate. That project seemed to them some form of argument that reveals his basically psychologistic approach, one that purported to address issues of truth, validity, rational warrant, (...) and so forth, but which fell far short of the logical rigor attained by thinkers in the analytic tradition. Thus Husserl might claim—like Descartes and Kant before him—to be raising questions about the a priori forms of human knowledge and experience, forms that were given or necessarily presupposed in every possible act of cognition. Moreover, he might claim to have advanced beyond Kant in distinguishing more clearly between formal and transcendental logic, or judgments whose necessity follows from the ground rules of this or that logically binding system of thought, and judgments that result from a rigorous reflection on the genesis and structure of human understanding in general. However these claims counted for little with Husserl’s critics in the other, that is, post-Fregean analytical camp. What they chiefly objected to in Husserl’s project was the approach via thoughts and ideas in the mind of some perceiving or reasoning subject, even though Husserl was very often at pains to reject any merely empirical or psychologistic construal of his claims. To their way of thinking, all this talk about transcendental truth- and validity-conditions was just another variant of the bad old Cartesian-Kantian retreat to consciousness as the last court of appeal in epistemological matters. Only by rejecting that entire line of thought—that is to say, by adopting a strictly analytical or logico-semantic approach—could philosophy at last break free of its attachment to naive, subject-centered, or metaphysical notions of meaning and truth. (shrink)

This chapter contains sections titled: Belief Revision in Latin America: The Legacy of Carlos Alchourrón The AGM Approach The Logic of Theory Change and Epistemology What Is an Epistemic State? Departures from AGM References.

A study in the logic of theory change, examining the properties of maxichoice contraction and revision operations.

Belief Revision is a well-established field of research that deals with how agents rationally change their minds in the face of new information. The milestone of Belief Revision is a general and versatile formal framework introduced by Alchourrón, Gärdenfors and Makinson, known as the AGM paradigm, which has been, to this date, the dominant model within the field. A main shortcoming of the AGM paradigm, as originally proposed, is its lack of any guidelines for relevant change. To remedy (...) this weakness, Parikh proposed a relevance-sensitive axiom, which applies on splittable theories; i.e., theories that can be divided into syntax-disjoint compartments. The aim of this article is to provide an epistemological interpretation of the dynamics of splittable theories, from the perspective of Kuhn's inuential work on the evolution of scientific knowledge, through the consideration of principal belief-change scenarios. The whole study establishes a conceptual bridge between rational belief revision and traditional philosophy of science, which sheds light on the application of formal epistemological tools on the dynamics of knowledge. (shrink)

Imre Lakatos' "methodology of scientific research programs" and Alasdair MacIntyre's "tradition-constituted enquiry" are two sustained attempts to overcome the assumptions of logical empiricism, while saving the appearance that theory-change is rational. The key difference between them is their antithetical stand on the issue of incommensurability between large-scale theories. This divergence generates other areas of disagreement; the most important are the relevance of the historical record and the presence of decision criteria that are common to rival programs. I show (...) that Lakatos' rejection of the incommensurability thesis and dismissal of actual history are motivated by the belief that neither are compatible with the rationality of theory-change. If MacIntyre can deny the necessity of dispensing with the historical record, and show that incommensurability and the consequent absence of shared decision criteria are compatible with rationality in theory-change, then Lakatos' argument will lose its force, and MacIntyre will better honor the intention to take seriously the historicality of science. I argue that MacIntyre can dissolve tensions between incommensurability and rationality in theory-change if he is able, first, to distinguish a sense of the incommensurability thesis that preserves genuine rivalry between theories, and second, to show that the possibility of rationality in theory-change depends not on the presence of common decision criteria, but on the fact that traditions can fail by their own standards. After reconstructing and examining the argument, I conclude that the notion of a tradition's "internal failure" is coherent, but that it leaves crucial questions about the epistemology and ontology of traditions that must be answered if MacIntyre's proposal is to constitute a genuine improvement on Lakatos. (shrink)

The aim of this paper is to elucidate the question of whether Newtonian mechanics can be derived from relativity theory. Physicists agree that classical mechanics constitutes a limiting case of relativity theory. By contrast, philosophers of science like Kuhn and Feyerabend affirm that classical mechanics cannot be deduced from relativity theory because of the incommensurability between both theories; thus what we obtain when we take the limit c in relativistic mechanics cannot be Newtonian mechanics sensu stricto. In (...) this paper I focus on the alleged change of reference of the term mass in the transition from one theory to the other. Contradicting Kuhn and Feyerabend, special relativity theory supports the view that the mass of an object is a characteristic property of the object, that it has the same value in whatever frame of reference it is measured, and that it does not depend on whether the object is in motion or at rest. Thus mass preserves the reference through the change of theory, and the existence of a Newtonian limit of relativity theory provides a good example of the rationality of theory change in mathematical physics. (shrink)

This paper is concerned with formal aspects of the logic of theory change, and in particular with the process of shrinking or contracting a theory to eliminate a proposition. It continues work in the area by the authors and Peter Gärdenfors. The paper defines a notion of safe contraction of a set of propositions, shows that it satisfies the Gärdenfors postulates for contraction and thus can be represented as a partial meet contraction, and studies its properties (...) both in general and under various natural constraints. (shrink)

Examines the link between nonmonotonic inference relations and theory revision operations, focusing on the correspondence between abstract properties which each may satisfy.

An investigation of what might be called the logical formalization of the process of theory change due to anomalies is presented. By anomaly, we mean an observed fact falling into the explanatory scope of a theory that does not agree with the theory prevision. A classical approach to restore the explicative power of a theory faced with an anomaly is to propose new, tentative auxiliary hypotheses which, along with part of the old set of auxiliary (...) hypotheses, are able to solve the anomaly. After laying down some conclusions about the structure of such process, we propose a multi-modal and non-monotonic logical framework able to represent some key aspects of this important facet of the dynamics of scientific theories. Due to the necessity of accommodating incompatible tentative hypotheses, this framework incorporates a weak form of paraconsistency. As a case study, we analyze the anomalous behaviour of the planet Uranus that threatened the Newtonian celestial mechanics for more than half a century and gave rise to the discovery of Neptune. (shrink)

This thesis consists in six articles and a comprehensive summary. • The pourpose of the summary is to introduce the AGM theory of belief change and to exemplify the diversity and significance of the research that has been inspired by the AGM article in the last 25 years. The research areas associated with AGM was divided in three parts: criticisms, where we discussed some of the more common criticisms of AGM. Extensions where the most common extensions and variations (...) of AGM are presented and applications where we provided an overview of applications and connections with other areas of research. • Article I elaborates on the connection between partial meet contractions [AGM85] and kernel contractions [Han94a] in belief change theory. Also both functions are equivalent in belief sets, there are notequivalent in belief bases. A way to define incision functions from selection functions and vice versa is presented. It is explained under which conditions there are exact correspondences between selection and incision functions so that the same contraction operations can be obtained by using either of them. • Article II proposes an axiomatic characterization for ensconcement-based contraction functions, belief base functions proposed byWilliams and relates this function with other kinds of base contraction functions. • Article III adapts the Fermé and Hansson model of Shielded Contraction [FH01] as well as Hansson et all Credibility-Limited Revision [HFCF01] for belief bases, to join two of the many variations of the AGM model [AGM85], i.e. those in which knowledge is represented through belief bases instead of logic theories, and those in which the object of the epistemic change does not get the priority over the existing information as it is the case in the AGM model. • Article IV introduces revision by comparison a refined method for changing beliefs by specifying constraints on the relative plausibility of propositions. Like the earlier belief revision models, the method proposed is a qualitative one, in the sense that no numbers are needed in order to specify the posterior plausibility of the new information. The method uses reference beliefs in order to determine the degree of entrenchment of the newly accepted piece of information. Two kinds of semantics for this idea are proposed and a logical characterization of the new model is given. • Article V focuses on the extension of AGM that allows change for a belief base by a set of sentences instead of a single sentence. In [FH94], Fuhrmann and Hansson presented an axiomatic for Multiple Contraction and a construction based on the AGM Partial Meet Contraction. This essay proposes for their model another way to construct functions: Multiple Kernel Contraction, that is a modification of Kernel Contraction,proposed by Hansson [Han94a] to construct classical AGM contractions and belief base contractions. • Article VI relates AGM model with the DFT model proposed by Carlos Alchourrón [Alc93]. Alchourrón devoted his last years to the analysis of the notion of defeasible conditionalization. His definition of the defeasible conditional is given in terms of strict implication operator and a modal operator f which is interpreted as a revision function at the language level. This essay points out that this underlying revision function is more general than AGM revision. In addition, a complete characterization of that more general kind of revision that permits to unify models of revision given by other authors is given. (shrink)

Kuhn's theory of scientific change is founded on the idea that there are minimal defensible grounds for the claim that the history of science is characterized by the cumulative growth of knowledge. According to Kuhn, revolutionary theories in the history of science cannot be perceived as logical and empirical derivations from their predecessors since, quite often, the research methods, theoretical assumptions and the empirical findings of the former are incompatible with the latter. Thus, the analysis of each novel (...) scientific theory must begin with a recognition of the epistemological and ontological independence of that theory's paradigm. (shrink)

The book presents the results of the joint annual conference of the four Operations Research Societies DGOR, GM\OR, \GOR and SVOR, held in Vienna in 1990.

In this article, I will use the frame-model to analyze different kinds of concept change. Mainly, I will use frames to distinguish between what I will call inter-conceptual change and intra-conceptual change as well as between conceptual structure change and conceptual content change. Further, I will introduce the notion of conceptual enrichment as opposed to conceptual change. To achieve these goals, I will expand the frame-model where necessary and exemplify the proposed extensions by means (...) of a frame-based analysis of John L. Austin’s distinction between constative and performative utterances. (shrink)

Describes and discusses the rather special behaviour of one of the postulates in the AGM account of theory change.

In this book, David Stump traces alternative conceptions of the a priori in the philosophy of science and defends a unique position in the current debates over conceptual change and the constitutive elements in science. Stump emphasizes the unique epistemological status of the constitutive elements of scientific theories, constitutive elements being the necessary preconditions that must be assumed in order to conduct a particular scientific inquiry. These constitutive elements, such as logic, mathematics, and even some fundamental laws of (...) nature, were once taken to be a priori knowledge but can change, thus leading to a dynamic or relative a priori. Stump critically examines developments in thinking about constitutive elements in science as a priori knowledge, from Kant’s fixed and absolute a priori to Quine’s holistic empiricism. By examining the relationship between conceptual change and the epistemological status of constitutive elements in science, Stump puts forward an argument that scientific revolutions can be explained and relativism can be avoided without resorting to universals or absolutes. (shrink)

Traditional theories construe approximate truth or truthlikeness as a measure of closeness to facts, singular facts, and idealization as an act of either assuming zero of otherwise very small differences from facts or imagining ideal conditions under which scientific laws are either approximately true or will be so when the conditions are relaxed. I first explain the serious but not insurmountable difficulties for the theories of approximation, and then argue that more serious and perhaps insurmountable difficulties for the theory (...) of idealization force us to sever its close tie to approximation. This leads to an appreciation of lawlikeness as a measure of closeness to laws, which I argue is the real measure of idealization whose main purpose is to carve nature at its joints. (shrink)

Belief revision theory and philosophy of science both aspire to shed light on the dynamics of knowledge – on how our view of the world changes in the light of new evidence. Yet these two areas of research have long seemed strangely detached from each other, as witnessed by the small number of cross-references and researchers working in both domains. One may speculate as to what has brought about this surprising, and perhaps unfortunate, state of affairs. One factor may (...) be that while belief revision theory has traditionally been pursued in a bottom- up manner, focusing on the endeavors of single inquirers, philosophers of science, inspired by logical empiricism, have tended to be more interested in science as a multi-agent or agent-independent phenomenon. (shrink)

Despite recent major advances in the neuroscience underlying cognition, the processes of its emergence and evolution are far from being understood. In our view, current interrelated concepts of mind; knowledge; epistemology; perception; cognition and information fail to reflect the real dynamics of mental processes, their ontology and their logic. It has become routine to talk about information in relation to these processes, but there is no consensus about its most relevant qualitative and functional properties. We present a (...) class='Hi'>theory of human cognition based on an ontology and epistemology of information and information processes originally proposed by Wu including an ontological doctrine of the different grades of information; and an informational epistemology based on a noegenesis of the doctrine of informational intermediaries that mediate between the cognitive subject and object. This theory is supported by the new, non-propositional logic proposed recently by Brenner. We demonstrate the utility of our approach for the reconceptualization of the virtual properties of reality and cognition. It is strongly anti-representationalist and can provide the basis for the integration of inputs from outside the brain into cognitive structures. For us, the philosophy of information is a metaphilosophy, implying major changes in both the content and methodology of standard philosophical disciplines. We suggest that this philosophy of information and our informational approach may help guide research in a number of current areas of cognitive science. (shrink)

This work contrasts conservative or minimally mutilating revisions of empirical theories as they are identified in the presently dominant AGM model of formal belief revision and the structuralist program for the reconstruction of empirical theories. The aim is to make understandable why both approaches only partly succeed in substantially informing and formally restraining the issue. With respect to the rationality of minimal change, the overall result is negative. Readers with an interest in formal epistemology are provided with application (...) cases (mercury anomaly, revision of early thermo-dynamics, introduction of the neutrino), the historically inclined reader is offered a systematic perspective. The discussion can largely be followed without a background in formal logic. (shrink)

A common response to those who question the Law of Non-Contradiction is that it is impossible to debate such a fundamental law of logic. The reasons for this response vary, but what seems to underlie them is the thought that there is a minimal set of logical resources without which rational debate is impossible. This chapter argues that this response is misguided. First, it defends non-apriorism in logic: the view that logic is in the same epistemic boat (...) as other scientific theories. It then offers an account of logical theory change in terms of this epistemology. The LNC is discussed in terms of this account of logical theory change, and it is shown that rational debate over this law can, and does, proceed. Finally, arguments for and against the LNC are discussed, and how and where non-a priori considerations arise in these arguments are illustrated. (shrink)

The postulate of Recovery, among the six postulates for theory contraction, formulated and studied by Alchourrón, Gärdenfors and Makinson is the one that has provoked most controversy. In this article we construct withdrawal functions that do not satisfy Recovery, but try to preserve minimal change, and relate these withdrawal functions with the AGM contraction functions.

A common response to those who question the Law of Non-Contradiction is that it is impossible to debate such a fundamental law of logic. The reasons for this response vary, but what seems to underlie them is the thought that there is a minimal set of logical resources without which rational debate is impossible. This chapter argues that this response is misguided. First, it defends non-apriorism in logic: the view that logic is in the same epistemic boat (...) as other scientific theories. It then offers an account of logical theory change in terms of this epistemology. The LNC is discussed in terms of this account of logical theory change, and it is shown that rational debate over this law can, and does, proceed. Finally, arguments for and against the LNC are discussed, and how and where non-a priori considerations arise in these arguments are illustrated. (shrink)

According to the Relevant Alternatives (RA) Theory of knowledge, knowing that something is the case involves ruling out (only) the relevant alternatives. The conception of knowledge in epistemic logic also involves the elimination of possibilities, but without an explicit distinction, among the possibilities consistent with an agent’s information, between those relevant possibilities that an agent must rule out in order to know and those remote, far-fetched or otherwise irrelevant possibilities. In this article, I propose formalizations of two versions (...) of the RA theory. Doing so clarifies a famous debate in epistemology, pitting Fred Dretske against David Lewis, about whether the RA theorist should accept the principle that knowledge is closed under known implication, familiar as the K axiom in epistemic logic. Dretske’s case against closure under known implication leads to a study of other closure principles, while Lewis’s defense of closure by appeal to the claimed context sensitivity of knowledge attributions leads to a study of the dynamics of context. Having followed the first lead at length in other work, here I focus more on the second, especially on logical issues associated with developing a dynamic epistemic logic of context change over models for the RA theory. (shrink)

Pit is a multi-player card game that simulates the commodities trading market, and where actions consist of bidding and of swapping cards. We present a formal description of the knowledge and change of knowledge in that game. The description is in a standard language for dynamic epistemics expanded with assignment. Assignment is necessary to describe that cards change hands. The formal description is a prerequisite to model Pit in game theory. The main contribution of this paper should (...) be seen as the rigorous formalization of all knowledge in Pit. (shrink)

The paper surveys some recent work on formal aspects of the logic of theory change. It begins with a general discussion of the intuitive processes of contraction and revision of a theory, and of differing strategies for their formal study. Specific work is then described, notably Gärdenfors'' postulates for contraction and revision, maxichoice contraction and revision functions and the condition of orderliness, partial meet contraction and revision functions and the condition of relationality, and finally the operations (...) of safe contraction and revision. Verifications and proofs are omitted, with references given to the literature, but definitions and principal results are presented with rigour, along with discussion of their significance. (shrink)

I consider the idea of a propositional logic of location based on the following semantic framework, derived from ideas of Prior. We have a collection L of locations and a collection S of statements such that a statement may be evaluated for truth at each location. Typically one and the same statement may be true at one location and false at another. Given this semantic framework we may proceed in two ways: introducing names for locations, predicates for the relations (...) among them and an “at” preposition to express the value of statements at locations; or introduce statement operators which do not name locations but whose truth-conditional effect depends on the truth or falsity of embedded statements at various locations. The latter is akin to Prior’s approach to tense logic. In any logic of location there will be some basic operators which we can define. By ringing the changes on the topology of locations, different logical systems may be generated, and the challenge for the logician is then in each case to find operators, axioms and rules yielding a proof theory adequate to the semantics. The generality of the approach is illustrated with familiar and not so familiar examples from modal, tense and place logic, mathematics, and even the logic of games. To the memory of Ted Dawson, who introduced me to philosophy and the writings of Arthur Prior. (shrink)

Theory change is a central concern in contemporary epistemology and philosophy of science. In this paper, we investigate the relationships between two ongoing research programs providing formal treatments of theory change: the (post-Popperian) approach to verisimilitude and the AGM theory of belief change. We show that appropriately construed accounts emerging from those two lines of epistemological research do yield convergences relative to a specified kind of theories, here labeled “conjunctive”. In this domain, a (...) set of plausible conditions are identified which demonstrably capture the verisimilitudinarian effectiveness of AGM belief change, i.e., its effectiveness in tracking truth approximation. We conclude by indicating some further developments and open issues arising from our results. (shrink)

Preference is a key area where analytic philosophy meets philosophical logic. I start with two related issues: reasons for preference, and changes in preference, first mentioned in von Wright’s book The Logic of Preference but not thoroughly explored there. I show how these two issues can be handled together in one dynamic logical framework, working with structured two-level models, and I investigate the resulting dynamics of reason-based preference in some detail. Next, I study the foundational issue of entanglement (...) between preference and beliefs, and relate the resulting richer logics to belief revision theory and decision theory. (shrink)

In an attempt to explore the role of argumentation in scientific inquiry, I explore the conception of argument that appears fruitful in the light of the recent trends in the philosophy of science, away from logical empiricism, and toward a greater emphasis on change, disagreement, and history. I begin by contrasting typical instances philosopers’ theories of both empiricism and apriorism, with typical instances of scientists’ uses of these two attitudes, suggesting that such practice shows a judiciousness lacking in epistemological (...) theory. Then I examine at some length three important version of scientific judgement, namely Einstein's opportunism, Boltzmann's pluralism, and Huygens's eclecticism. I go on to discuss some recent work in the philosophy of science, exploring connections between the notion of judgment and Feyerabend's anarchism, Harold Brown's view of rationality, and Dudley Shapere's analysis of scientific change. All of this suggests a notion of argument in the sense of informallogic, and I examine some aspects of Galileo's work in its terms. (shrink)

Hans Reichenbach was a formidable figure in early-twentieth-century philosophy of science. Educated in Germany, he was influential in establishing the so-called Berlin Circle, a companion group to the Vienna Circle founded by his colleague Rudolph Carnap. The movement they founded—usually known as "logical positivism," although it is more precisely known as "scientific philosophy" or "logical empiricism"—was a form of epistemology that privileged scientific over metaphysical truths. Reichenbach, like other young philosophers of the exact sciences of his generation, was deeply (...) impressed by the far-reaching changes in physics brought about by Einstein's special and general theories of relativity. Reichenbach responded to scientific advances by doing fundamental work in space-time theories, in quantum mechanics, in statistical mechanics, and in the development of probability theory—making him the most important philosopher of physics in the first generation of logical empiricism. Forced from his academic position by the Nazi race laws in 1933, Reichenbach wrote _Experience and Prediction_ at the University of Istanbul, where had had fled, expressly to introduce logical positivism to English speakers. In the two decades following World War II, during the explosion of scientific advances in North America, logical positivism was the reigning theory of the philosophy of science and Reichenbach was at the peak of his career. But, inevitably, support for logical positivism began to wane as it became obvious that the justification of scientific theories could not be entirely resolved by relying on strictly formal, technical processes. The growth of the discipline of the history of philosophy of science, which has created an audience of scholars eager for seminal classics in scientific philosophy, and the evidence supporting a historicist paradigm within logical positivism are two important reasons to make _Experience and Prediction_ available once again. "Hans Reichenbach's_ Experience and Prediction_ is one of the most important books in twentieth-century philosophy of science. Its author was, along with Rudolf Carnap, one of the two principal ambassadors to North America of the exciting new European philosophical movement known here under the names 'Logical Positivism' and 'Scientific Philosophy.' In 1938, when the book was published, Reichenbach was an exile from his native Germany, teaching in Istanbul, Turkey, and about to emigrate to the United States to take up a prestigious position at UCLA. He wrote_ Experience and Prediction_ in English as his calling card to his new American colleagues. More than any other single book,_ Experience and Prediction_ set the agenda for the new discipline of the philosophy of science that was to emerge after World War II as, perhaps, the most exciting new area in North American philosophy. Many of the problems still at the focus of discussion were given their classic formulations in this book. Long out of print,_ Experience and Prediction_ appears here in a new edition accompanied by a splendid historical introduction by the noted young philosopher and historian of the philosophy of science, Alan Richardson. A jewel of a book may once again be appreciated in its proper setting." —Don A. Howard, University of Notre Dame. (shrink)

Our scientific theories, like our cognitive structures in general, consist of propositions linked by evidential, explanatory, probabilistic, and logical connections. Those theoretical webs ‘impinge on the world at their edges,’ subject to a continuing barrage of incoming evidence. Our credences in the various elements of those structures change in response to that continuing barrage of evidence, as do the perceived connections between them. Here we model scientific theories as Bayesian nets, with credences at nodes and conditional links between them (...) modelled as conditional probabilities. We update those networks, in terms of both credences at nodes and conditional probabilities at links, through a temporal barrage of random incoming evidence. Robust patterns of punctuated equilibrium, suggestive of ‘normal science’ alternating with ‘paradigm shifts,’ emerge prominently in that change dynamics. The suggestion is that at least some of the phenomena at the core of the Kuhnian tradition are predictable in the typical dynamics of scientific theory change captured as Bayesian nets under even a random evidence barrage. (shrink)

Semantic paradoxes pose a real threat to logics that attempt to be capable of expressing their own semantic concepts. Particularly, Curry paradoxes seem to show that many solutions must change our intuitive concepts of truth or validity or impose limits on certain inferences that are intuitively valid. In this way, the logic of a universal language would have serious problems. In this paper, we explore a different solution that tries to avoid both limitations as much as possible. Thus, (...) we argue that it is possible to capture the naive concepts of truth and validity without losing any of the valid inferences of classical logic. This approach is called the Buenos Aires plan. We present the logic of truth and validity, $$\mathsf {STTV}_{\omega }$$ based on the hierarchy of logics $$\textsf{ST}_{\omega }$$, whose validity predicate has the same semantic conditions as the material conditional. We argue that $$\mathsf {STTV}_{\omega }$$ is capable of blocking the problematic results while keeping the deductive power of classical logic as much as possible and offering an adequate semantic theory. On the other hand, one could object that it is not possible to reason with $$\mathsf {STTV}_{\omega }$$ because it is not closed under its logical principles. We respond to this objection and argue that the local characterization of validity shows how to make inferences using the logic $$\textsf{ST}_{\omega }$$. (shrink)

In this paper, we address the question whether the persistence of biological species raises some difficulty for the thesis of the metaphysical equivalence between three-dimensionalism (3D) and four-dimensionalism (4D). We argue that even if one assumes that ‘species’ is a homonymous term that refers to two entities (_evolverons_ or synchronic species and _phylons_ or diachronic ones), 3D/4D metaphysical equivalence still holds. In doing so, we challenge Reydon’s strong association between a synchronic view of species and a 3D theory of (...) persistence, and between the diachronic view of species and a 4D theory of persistence (2008). Finally, we show how this debate on persistence of species helps to illustrate some misunderstandings behind contemporary analytic metaphysics of change and persistence. (shrink)

This paper analyzes the notion of a minimal belief change that incorporates new information. I apply the fundamental decision-theoretic principle of Pareto-optimality to derive a notion of minimal belief change, for two different representations of belief: First, for beliefs represented by a theory – a deductively closed set of sentences or propositions – and second for beliefs represented by an axiomatic base for a theory. Three postulates exactly characterize Pareto-minimal revisions of theories, yielding a weaker set (...) of constraints than the standard AGM postulates. The Levi identity characterizes Pareto-minimal revisions of belief bases: a change of belief base is Pareto-minimal if and only if the change satisfies the Levi identity (for “maxichoice” contraction operators). Thus for belief bases, Pareto-minimality imposes constraints that the AGM postulates do not. The Ramsey test is a well-known way of establishing connections between belief revision postulates and axioms for conditionals (“if p, then q”). Pareto-minimal theory change corresponds exactly to three characteristic axioms of counterfactual systems: a theory revision operator that satisfies the Ramsey test validates these axioms if and only if the revision operator is Pareto-minimal. (shrink)

ABSTRACT I argue that this examination and appreciation for the shift to abductive reasoning should be extended to the intersection of neuroscience and novel brain-computer interfaces too. This paper highlights the implications of applying abductive reasoning to personalized implantable neurotechnologies. Then, it explores whether abductive reasoning is sufficient to justify insurance coverage for devices absent widespread clinical trials, which are better applied to one-size-fits-all treatments. INTRODUCTION In contrast to the classic model of randomized-control trials, often with a large number of (...) subjects enrolled, precision medicine attempts to optimize therapeutic outcomes by focusing on the individual.[i] A recent publication highlights the strengths and weakness of both traditional evidence-based medicine and precision medicine.[ii] Plus, it outlines a tension in the shift from evidence-based medicine’s inductive reasoning style (the collection of data to postulate general theories) to precision medicine’s abductive reasoning style (the generation of an idea from the limited data available).[iii] The paper’s main example is the application of precision medicine for the treatment of cancer.[iv] I argue that this examination and appreciation for the shift to abductive reasoning should be extended to the intersection of neuroscience and novel brain-computer interfaces too. As the name suggests, brain-computer interfaces are a significant advancement in neurotechnology that directly connects someone’s brain to external or implanted devices.[v] Among the various kinds of brain-computer interfaces, adaptive deep brain stimulation devices require numerous personalized adjustments to their settings during the implantation and computation stages in order to provide adequate relief to patients with treatment-resistant disorders. What makes these devices unique is how adaptive deep brain stimulation integrates a sensory component to initiate the stimulation. While not commonly at the level of sophistication as self-supervising or generative large language models,[vi] they currently allow for a semi-autonomous form of neuromodulation. This paper highlights the implications of applying abductive reasoning to personalized implantable neurotechnologies. Then, it explores whether abductive reasoning is sufficient to justify insurance coverage for devices absent widespread clinical trials, which are better applied to one-size-fits-all treatments.[vii] ANALYSIS I. The State of Precision Medicine in Oncology and the Epistemological Shift While a thorough overview of precision medicine for the treatment of cancer is beyond the scope of this article, its practice can be roughly summarized as identifying clinically significant characteristics a patient possesses (e.g., genetic traits) to land on a specialized treatment option that, theoretically, should benefit the patient the most.[viii] However, in such a practice of stratification patients fall into smaller and smaller populations and the quality of evidence that can be applied to anyone outside these decreases in turn.[ix] As inductive logic helps to articulate, the greater the number of patients that respond to a particular therapy the higher the probability of its efficacy. By straying from this logical framework, precision medicine opens the treatment of cancer to more uncertainty about the validity of these approaches to the resulting disease subcategories.[x] Thus, while contemporary medical practices explicitly describe some treatments as “personalized”, they ought not be viewed as inherently better founded than other therapies.[xi] A relevant contemporary case of precision medicine out of Norway focuses on the care of a patient with cancer between the ventricles of the heart and esophagus, which had failed to respond to the standard regimen of therapies over four years.[xii] In a last-ditch effort, the patient elected to pay out-of-pocket for an experimental immunotherapy (nivolumab) at a private hospital. He experienced marked improvements and a reduction in the size of the tumor. Understandably, the patient tried to pursue further rounds of nivolumab at a public hospital. However, the hospital initially declined to pay for it given the “lack of evidence from randomised clinical trials for this drug relating to this [patient’s] condition.”[xiii] In rebuttal to this claim, the patient countered that he was actually similar to a subpopulation of patients who responded in “open‐label, single arm, phase 2 studies on another immune therapy drug” (pembrolizumab).[xiv] Given this interpretation of the prior studies and the patient’s response, further rounds of nivolumab were approved. Had the patient not had improvements in the tumor’s size following a round of nivolumab, then pembrolizumab’s prior empirical evidence in isolation would have been insufficient, inductively speaking, to justify his continued use of nivolumab.[xv] The case demonstrates a shift in reasoning from the traditional induction to abduction. The phenomenon of ‘cancer improvement’ is considered causally linked to nivolumab and its underlying physiological mechanisms.[xvi] However, “the weakness of abductions is that there may always be some other better, unknown explanation for an effect. The patient may for example belong to a special subgroup that spontaneously improves, or the change may be a placebo effect. This does not mean, however, that abductive inferences cannot be strong or reasonable, in the sense that they can make a conclusion probable.”[xvii] To demonstrate the limitations of relying on the abductive standard in isolation, commentators have pointed out that side effects in precision medicine are hard to rule out as being related to the initial intervention itself unless trends from a group of patients are taken into consideration.[xviii] As artificial intelligence (AI) assists the development of precision medicine for oncology, this uncertainty ought to be taken into consideration. The implementation of AI has been crucial to the development of precision medicine by providing a way to combine large patient datasets or a single patient with a large number of unique variables with machine learning to recommend matches based on statistics and probability of success upon which practitioners can base medical recommendations.[xix] The AI is usually not establishing a causal relationship[xx] – it is predicting. So, as AI bleeds into medical devices, like brain-computer interfaces, the same cautions about using abductive reasoning alone should be carried over. II. Responsive Neurostimulation, AI, and Personalized Medicine Like precision medicine in cancer treatment, computer-brain interface technology similarly focuses on the individual patient through personalized settings. In order to properly expose the intersection of AI, precision medicine, abductive reasoning, and implantable neurotechnologies, the descriptions of adaptive deep brain stimulation systems need to deepen.[xxi] As a broad summary of adaptive deep brain stimulation, to provide a patient with the therapeutic stimulation, a neural signal, typically referred to as a local field potential,[xxii] must first be detected and then interpreted by the device. The main adaptive deep brain stimulation device with premarket approval, the NeuroPace Responsive Neurostimulation system, is used to treat epilepsy by detecting and storing “programmer-defined phenomena.”[xxiii] Providers can optimize the detection settings of the device to align with the patient’s unique electrographic seizures as well as personalize the reacting stimulation’s parameters.[xxiv] The provider adjusts the technology based on trial and error. One day machine learning algorithms will be able to regularly aid this process in myriad ways, such as by identifying the specific stimulation settings a patient may respond to ahead of time based on their electrophysiological signatures.[xxv] Either way, with AI or programmers, adaptive neurostimulation technologies are individualized and therefore operate in line with precision medicine rather than standard treatments based on large clinical trials. Contemporary neurostimulation devices are not usually sophisticated enough to be prominent in AI discussions where the topics of neural networks, deep learning, generative models, and self-attention dominate the conversation. However, implantable high-density electrocorticography arrays (a much more sensitive version than adaptive deep brain stimulation systems use) have been used in combination with neural networks to help patients with neurologic deficits from a prior stroke “speak” through a virtual avatar.[xxvi] In some experimental situations, algorithms are optimizing stimulation parameters with increasing levels of independence.[xxvii] An example of neurostimulation that is analogous to the use of nivolumab in Norway surrounds a patient in the United States who was experiencing both treatment-resistant OCD and temporal lobe epilepsy.[xxviii]Given the refractory nature of her epilepsy, implantation of an adaptive deep brain stimulation system was indicated. As a form of experimental therapy, her treatment-resistant OCD was also indicated for the off-label use of an adaptive deep brain stimulation set-up. Another deep brain stimulation lead, other than the one implanted for epilepsy, was placed in the patient’s right nucleus accumbens and ventral pallidum region given the correlation these nuclei had with OCD symptoms in prior research. Following this, the patient underwent “1) ambulatory, patient-initiated magnet-swipe storage of data during moments of obsessive thoughts; (2) lab-based, naturalistic provocation of OCD-related distress (naturalistic provocation task); and (3) lab-based, VR [virtual reality] provocation of OCD-related distress (VR provocation task).”[xxix] Such signals were used to identify when to deliver the therapeutic stimulation in order to counter the OCD symptoms. Thankfully, following the procedure and calibration the patient exhibited marked improvements in their OCD symptoms and recently shared her results publicly.[xxx] In both cases, there is a similar level of abductive justification for the efficacy of the delivered therapy. In the case study in which the patient was treated with adaptive deep brain stimulation, they at least had their neural activity tested in various settings to determine the optimum parameters for treatment to avoid them being based on guesswork. Additionally, the adaptive deep brain stimulation lead was already placed before the calibration trials were conducted, meaning that the patient had already taken on the bulk of the procedural risk before the efficacy could be determined. Such an efficacy test could have been replicated in the first patient’s cancer treatment, had it been biopsied and tested against the remaining immunotherapies in vitro. Yet, in the case of cancer with few options, one previous dose of a drug that appeared to work on the patient may justify further doses. However, as the Norwegian case presents, corroboration with known responses to a similar drug (from a clinical trial) could be helpful to validate the treatment strategy. (It should be noted that both patients were resigned to these last resort options regardless of the efficacy of treatment.) There are some elements of inductive logic seen with adaptive deep brain stimulation research in general. For example, abductively the focus could be that patient X’s stimulation parameters are different from patient Y’s and patient Z’s. In contrast, when grouped as subjects who obtained personalized stimulation, patients X, Y, and Z demonstrate an inductive aspect to this approach’s safety and/or efficacy. The OCD case holds plenty of abductive characteristics in line with precision medicine’s approach to treating cancer and as more individuals try the method, there will be additional data. With the gradual integration of AI into brain-computer interfaces in the name of efficacy, this reliance on abduction will continue, if not grow, over time. Moving forward, if a responsive deep brain stimulation treatment is novel and individualized (like the dose of nivolumab) and there is some other suggestion of efficacy (like clinical similarities to other patients in the literature), then it may justify insurance coverage for the investigative intervention, absent other unrelated reasons to deny it. III. Ethical Implications and Next Steps While AI’s use in oncology and neurology is not yet as prominent as its use in other fields (e.g., radiology), it appears to be on the horizon for both.[xxxi] AI can be found in both the functioning of the neurotechnologies as well as the implementation of precision medicine. The increasing use of AI may serve to further individualize both oncologic and neurological therapies. Given these implications and the handful of publications cited in this article, it is important to have a nuanced evaluation of how these treatments, which heavily rely on abductive justification, ought to be managed. The just use an abductive approach may be difficult as AI infused precision medicine is further pursued. At baseline, such technology relies on a level of advanced technology literacy among the general public and could exclude populations who lack access to basic technological infrastructure or know-how from participation.[xxxii] Even among nations with adequate infrastructure, as more patients seek out implantable neurotechnologies, which require robust healthcare resources, the market will favor patient populations that can afford this complex care.[xxxiii] If patients already have the means to pay for an initial dose/use of a precision medicine product out of pocket, should insurance providers be required to cover subsequent treatments?[xxxiv] That is, if a first dose of a cancer drug or a deep brain stimulator over its initial battery life is successful, patients may feel justified in having the costs of further treatments covered. The Norwegian patient’s experience implies there is a precedent for the idea that some public insurance companies ought to cover successful cancer therapies, however, insurance companies may not all see themselves as obligated to cover neurotechnologies that rely on personalized settings or that are based on precision/abductive research more than on clinical trials. CONCLUSION The fact that the cases outlined above rely on abductive style of reasoning implies that there may not be as strong a justification for coverage by insurance, as they are both experimental and individualized, when compared to the more traditional large clinical trials in which groups have the same or a standardized protocol (settings/doses). If a study is examining the efficacy of a treatment with a large cohort of patients or with different experimental groups/phases, insurance companies may conclude that the resulting symptom improvements are more likely to be coming from the devices themselves. A preference for inductive justification may take priority when ruling in favor of funding someone’s continued use of an implantable neurostimulator. There are further nuances to this discussion surrounding the classifications of these interventions as research versus clinical care that warrant future exploration, since such a distinction is more of a scale[xxxv] than binary and could have significant impacts on the “right-to-try” approach to experimental therapies in the United States.[xxxvi] Namely, given the inherent limitations of conducting large cohort trials for deep brain stimulation interventions on patients with neuropsychiatric disorders, surgically innovative frameworks that blend abductive and inductive methodologies, like with sham stimulation phases, have traditionally been used.[xxxvii] Similarly, for adaptive brain-computer interface systems, if there are no large clinical trials and instead only publications that demonstrate that something similar worked for someone else, then, in addition to the evidence that the first treatment/dose worked for the patient in question, the balance of reasoning would be valid and arguably justify insurance coverage. As precision approaches to neurotechnology become more common, frameworks for evaluating efficacy will be crucial both for insurance coverage and for clinical decision making. ACKNOWLEDGEMENT This article was originally written as an assignment for Dr. Francis Shen’s “Bioethics & AI” course at Harvard’s Center for Bioethics. I would like to thank Dr. Shen for his comments as well as my colleagues in the Lázaro-Muñoz Lab for their feedback. - [i] Jonathan Kimmelman and Ian Tannock, “The Paradox of Precision Medicine,” Nature Reviews. Clinical Oncology 15, no. 6 (June 2018): 341–42, https://doi.org/10.1038/s41571-018-0016-0. [ii] Henrik Vogt and Bjørn Hofmann, “How Precision Medicine Changes Medical Epistemology: A Formative Case from Norway,” Journal of Evaluation in Clinical Practice 28, no. 6 (December 2022): 1205–12, https://doi.org/10.1111/jep.13649. [iii] David Barrett and Ahtisham Younas, “Induction, Deduction and Abduction,” Evidence-Based Nursing 27, no. 1 (January 1, 2024): 6–7, https://doi.org/10.1136/ebnurs-2023-103873. [iv] Vogt and Hofmann, “How Precision Medicine Changes Medical Epistemology,” 1208. [v] Wireko Andrew Awuah et al., “Bridging Minds and Machines: The Recent Advances of Brain-Computer Interfaces in Neurological and Neurosurgical Applications,” World Neurosurgery, May 22, 2024, S1878-8750(24)00867-2, https://doi.org/10.1016/j.wneu.2024.05.104. [vi] Mark Riedl, “A Very Gentle Introduction to Large Language Models without the Hype,” Medium (blog), May 25, 2023, https://mark-riedl.medium.com/a-very-gentle-introduction-to-large-language-models-without-the-hype-5 f67941fa59e. [vii] David E. Burdette and Barbara E. Swartz, “Chapter 4 - Responsive Neurostimulation,” in Neurostimulation for Epilepsy, ed. Vikram R. Rao (Academic Press, 2023), 97–132, https://doi.org/10.1016/B978-0-323-91702-5.00002-5. [viii] Kimmelman and Tannock, 2018. [ix] Kimmelman and Tannock, 2018. [x] Simon Lohse, “Mapping Uncertainty in Precision Medicine: A Systematic Scoping Review,” Journal of Evaluation in Clinical Practice 29, no. 3 (April 2023): 554–64, https://doi.org/10.1111/jep.13789. [xi] Kimmelman and Tannock, “The Paradox of Precision Medicine.” [xii] Vogt and Hofmann, 1206. [xiii] Vogt and Hofmann, 1206. [xiv] Vogt and Hofmann, 1206. [xv] Vogt and Hofmann, 1207. [xvi] Vogt and Hofmann, 1207. [xvii] Vogt and Hofmann, 1207. [xviii] Vogt and Hofmann, 1210. [xix] Mehar Sahu et al., “Chapter Three - Artificial Intelligence and Machine Learning in Precision Medicine: A Paradigm Shift in Big Data Analysis,” in Progress in Molecular Biology and Translational Science, ed. David B. Teplow, vol. 190, 1 vols., Precision Medicine (Academic Press, 2022), 57–100, https://doi.org/10.1016/bs.pmbts.2022.03.002. [xx] Stefan Feuerriegel et al., “Causal Machine Learning for Predicting Treatment Outcomes,” Nature Medicine 30, no. 4 (April 2024): 958–68, https://doi.org/10.1038/s41591-024-02902-1. [xxi] Sunderland Baker et al., “Ethical Considerations in Closed Loop Deep Brain Stimulation,” Deep Brain Stimulation 3 (October 1, 2023): 8–15, https://doi.org/10.1016/j.jdbs.2023.11.001. [xxii] David Haslacher et al., “AI for Brain-Computer Interfaces,” 2024, 7, https://doi.org/10.1016/bs.dnb.2024.02.003. [xxiii] Burdette and Swartz, “Chapter 4 - Responsive Neurostimulation,” 103–4; “Premarket Approval (PMA),” https://www.accessdata.fda.gov/scripts/cdrh/cfdocs/cfpma/pma.cfm?id=P100026. [xxiv] Burdette and Swartz, “Chapter 4 - Responsive Neurostimulation,” 104. [xxv] Burdette and Swartz, 126. [xxvi] Sean L. Metzger et al., “A High-Performance Neuroprosthesis for Speech Decoding and Avatar Control,” Nature 620, no. 7976 (August 2023): 1037–46, https://doi.org/10.1038/s41586-023-06443-4. [xxvii] Hao Fang and Yuxiao Yang, “Predictive Neuromodulation of Cingulo-Frontal Neural Dynamics in Major Depressive Disorder Using a Brain-Computer Interface System: A Simulation Study,” Frontiers in Computational Neuroscience 17 (March 6, 2023), https://doi.org/10.3389/fncom.2023.1119685; Mahsa Malekmohammadi et al., “Kinematic Adaptive Deep Brain Stimulation for Resting Tremor in Parkinson’s Disease,” Movement Disorders 31, no. 3 (2016): 426–28, https://doi.org/10.1002/mds.26482. [xxviii] Young-Hoon Nho et al., “Responsive Deep Brain Stimulation Guided by Ventral Striatal Electrophysiology of Obsession Durably Ameliorates Compulsion,” Neuron 0, no. 0 (October 20, 2023), https://doi.org/10.1016/j.neuron.2023.09.034. [xxix] Nho et al. [xxx] Nho et al.; Erik Robinson, “Brain Implant at OHSU Successfully Controls Both Seizures and OCD,” OHSU News, accessed March 3, 2024, https://news.ohsu.edu/2023/10/25/brain-implant-at-ohsu-successfully-controls-both-seizures-and-ocd. [xxxi] Awuah et al., “Bridging Minds and Machines”; Haslacher et al., “AI for Brain-Computer Interfaces.” [xxxii] Awuah et al., “Bridging Minds and Machines.” [xxxiii] Sara Green, Barbara Prainsack, and Maya Sabatello, “The Roots of (in)Equity in Precision Medicine: Gaps in the Discourse,” Personalized Medicine 21, no. 1 (January 2024): 5–9, https://doi.org/10.2217/pme-2023-0097. [xxxiv] Green, Prainsack, and Sabatello, 7. [xxxv] Robyn Bluhm and Kirstin Borgerson, “An Epistemic Argument for Research-Practice Integration in Medicine,” The Journal of Medicine and Philosophy: A Forum for Bioethics and Philosophy of Medicine 43, no. 4 (July 9, 2018): 469–84, https://doi.org/10.1093/jmp/jhy009. [xxxvi] Vijay Mahant, “‘Right-to-Try’ Experimental Drugs: An Overview,” Journal of Translational Medicine 18 (June 23, 2020): 253, https://doi.org/10.1186/s12967-020-02427-4. [xxxvii] Michael S. Okun et al., “Deep Brain Stimulation in the Internal Capsule and Nucleus Accumbens Region: Responses Observed during Active and Sham Programming,” Journal of Neurology, Neurosurgery & Psychiatry 78, no. 3 (March 1, 2007): 310–14, https://doi.org/10.1136/jnnp.2006.095315. (shrink)

Ever since [4], systems of spheres have been considered to give an intuitive and elegant way to give a semantics for logics of theory- or belief- change. Several authors [5, 11] have considered giving up the rather strong assumption that systems of spheres be linearly ordered by inclusion. These more general structures are called hypertheories after [8]. It is shown that none of the proposed logics induced by these weaker structures are compact and thus cannot be given a (...) strongly complete axiomatization in a finitary logic. Complete infinitary axiomatizations are given for several intuitive logics based on hypertheories that are not linearly ordered by inclusion. (shrink)

This article discusses the potential of a contemporary understanding of what Heraclitus and the Stoics called ‘cosmological logos’, and its relation to human reason and cultural communication. I will relate the example of Descartes’ and his introspective method in Meditations on the First Philosophy (1647) to a contemporary understanding of the potential of introspection, related to theories of the embodied mind, virtual levels of nature and a possible connection between them. Where Descartes focused upon the rational properties of the logical (...) mind, and its potential to relate to nature’s higher logic, I relate my vision of a modern logos philosopher to Charles Sanders Peirce’s concept of nature’s ‘habits’, triad semiosis and the overall phaneroscopic phenomenology, which I connect to the concept of ‘aesthetic reason’. Aesthetic reason, in this context, represents a complex kind of rationality that involves a broader variety of cognitive processes. It is based on Extended Sentience, which includes properties of quantum communication that simultaneously work within the confinements of the mind–body, while simultaneously transgressing it. This article takes an overall evolutionary perspective, and claims that the prerequisites for experience and rationality are changing over historical time, due to evolutionary changes at endosemiotic levels of the mind–body. The prerequisites for Descartes’ activity of cognitive mediation and such of a modern logos philosopher, would thus not be equal. I will elaborate on the differences in this article. (shrink)

John D. Norton is responsible for a number of influential views in contemporary philosophy of science. This paper will discuss two of them. The material theory of induction claims that inductive arguments are ultimately justified by their material features, not their formal features. Thus, while a deductive argument can be valid irrespective of the content of the propositions that make up the argument, an inductive argument about, say, apples, will be justified (or not) depending on facts about apples. The (...) argument view of thought experiments claims that thought experiments are arguments, and that they function epistemically however arguments do. These two views have generated a great deal of discussion, although there hasn’t been much written about their combination. I argue that despite some interesting harmonies, there is a serious tension between them. I consider several options for easing this tension, before suggesting a set of changes to the argument view that I take to be consistent with Norton’s fundamental philosophical commitments, and which retain what seems intuitively correct about the argument view. These changes require that we move away from a unitary epistemology of thought experiments and towards a more pluralist position. (shrink)

Synchronic norms of theory choice, a traditional concern in scientific methodology, restrict the theories one can choose in light of given information. Diachronic norms of theory change, as studied in belief revision, restrict how one should change one’s current beliefs in light of new information. Learning norms concern how best to arrive at true beliefs. In this paper, we undertake to forge some rigorous logical relations between the three topics. Concerning, we explicate inductive truth conduciveness in (...) terms of optimally direct convergence to the truth, where optimal directness is explicated in terms of reversals and cycles of opinion prior to convergence. Concerning, we explicate Ockham’s razor and related principles of choice in terms of the information topology of the empirical problem context and show that the principles are necessary for reversal or cycle optimal convergence to the truth. Concerning, we weaken the standard principles of agm belief revision theory in intuitive ways that are also necessary for reversal or cycle optimal convergence. Then we show that some of our weakened principles of change entail corresponding principles of choice, completing the triangle of relations between,, and. (shrink)

Customary discussions of quantum measurements are unrealistic, in the sense that they do not reflect what happens in most actual measurements even under ideal circumstances. Even theories of measurement which discard the projection postulate tend to retain two unrealistic assumptions of the von Neumann theory: that a measurement consists of a single physical interaction, and that the topic of every measurement is information wholly contained in the quantum state of the object of measurement. I suggest that these unrealistic assumptions (...) originate from an overly literal interpretation of the operator formalism of quantum mechanics. I also suggest, following Park, that some issues can be clarified by distinguishing the sense of the term ''''measurement'''' occurring in the quantum-mechanical operator formalism, and the sense of ''''measurement'''' that refers to actual processes of gaining information about the physical world. (shrink)

I analyze the epistemic strategies used by paleontologists (between 1830–1930) to reconstruct features of ancient organisms from fossilized bodies and footprints by presenting two heuristics: (1) a “claim of harmony” which posits the harmonious interaction of natural objects in order for complex systems to be simplified and (2) the “kintsugi heuristic” which is used inter-theoretically to explore new claims of harmony. I apply these to three successive historical cases: Georges Cuvier’s laws of correlation, the panpsychist paleontology of Edward Drinker Cope, (...) and the single-character approach of Henry Fairfield Osborn. (shrink)

What the present work aimed to achieve is an assessment of the origin an d unity of Husserl s Logical Investigations. My approach was to take the history of its development as fundamental for the determination of its basic structure. Therefore, I proceeded to analyse Husserl s development between the Philosophy of Arithmetic and Logical Investigations with re spect to the fundamental issues in the justification of knowledge in mathematics and logic. In Husserl s own words, one of the (...) concerns that set him on the road to phenomenology was the clarification and analysis of the relation b etween the subjectivity of knowing and the objectivity of knowledge. Fro m my investigations it has, I hope, become apparent how this problem ori ginated in his earliest works and, through various influences and exchanges, led to his theory of intentionality in the first editio n of the Logical Investigations. The Logical Investigations is located between his Brentanist phase and t he ultimate development of transcendental phenomenology. It is the sedim ent of Husserl s logical investigations during the 1890s, which is the m ain period I analysed in the present work. Husserl himself often remarke s on the early origin of some of the issues he tried to deal with in the Logical Investigations. Still in his sketches for a new preface to the second edition of 1913, he took pains to point out the developmental his tory of the work from the Philosophy of Arithmetic onward. Regarding the Philosophy of Arithmetic, more often than not, Husserl remarks that it was just and elaboration of his Habilitationsschrift. Hence, following h is lead, we tried to embrace the whole period of his psychological and l ogical analyses from 1886/7 to 1900/01. Of course, I was certainly not the first, nor will I be the last, to be intrigued by Husserl s development in these years. Numerous books and articles have been written long before mine on precisely these issue s, often dealing with specific topics, such as the uneasy relation of psychology and psychologism in Husserl s work or fundamental inʂ 58;uences such as Bolzano s, which I therefore chose to leave aside. Not simply to duplicate or summarise such pre-existing scholarship, I tried to concentrate on the issues to which I felt I could contribute an orig inal insight, advancing the field. I would like to indicate ᤙ 7;ve points here, where I think I attained this goal: 1. The enduring relevance of Husserl s mathematical ba ckground. 2. Support for an early development of a theory of hig her order objects 3. A better evaluation of Frege s influence 4. A contextualisation of Schuhmann s thesis regarding the relevance of Twardowski for Husserl s notion of intentionality 5. The dependence of the unity of the Logical Investig ations on its historical development. Without understanding its developmental history we would misunderstand i ts internal coherence. In the first part we saw Husserl s early struggle to integrate the mathematical and psychological points of view on the philosophy of math ematics, a struggle that lasted from the Habilitationsschrift at least u p to and including his Doppelvortrag. The basic problem is the justi@ 257;cation of knowledge, in the case of mathematics, the justifica tion of knowledge in formal sciences, obtained with symbolic methods. Su ch problems regarding the subjectivity of knowing and the objectivity of knowledge guided the development of his position from Philosophy of Ari thmetic to Logical Investigations. In articulating his solution Husserl analysed the various relations betw een founding and founded layers of knowledge and whether and how one cou ld pass from on to the other. Already at the time of the Philosophy of A rithmetic he tried to account for higher order acts, relations and objec ts, the mature account of which would have to wait until the Logical Inv estigations and later. Among various influences on his progression towards phenomenology, Frege has been often considered to have provided the conversion to an ti-psychologism with his review of the Philosophy of Arithmetic. I think I have demonstrated that the review is almost entirely irrelevant in th is sense and that we should rather look at a much earlier influenc e on the Philosophy of Arithmetic. By showing that Brentano s conception of intentionality was already more sophisticated than until recently assumed, thanks to some recent public ations of unpublished material from Brentano s and Husserl s Nachlass, I think Schuhmann s thesis is right, but should be reinterpreted as being less radical than it would appear. Both Husserl and Twardowski were in& #64258;uenced by Brentano as his students. Following his and Meinong s l ead, they both elaborated a theory on intentionality, in connection with the other theories of intentionality in his school and the Brentano-Bol zano paradox. Furthermore, by providing a more continuous reading of Hus serl s development through the transcendental turn, I hope to have made clear that his later theory of the noema is not a return to a neo-Twardo wskian triadic position, but a reaffirmation, now in transcendental key, of his 1894 take on the matter. The Logical Investigations are uniquely determined by their historical c ontext in the middle of Husserl s development, falling almost exactly be tween the Habilitationsschrift and the Ideas. Due to their troubled hist ory, including changes in Husserl s earliest position around 1890, the f ailure of the second volume of the Philosophy of Arithmetic, various in& #64258;uences around 1894, and the subsequent reorientation and broadeni ng of his theories to a non-psychologistic logic and mathesis universali s, the Logical Investigations might at first seem to fall apart in two fundamentally disconnected books, the second one of which containin g six heterogeneous studies. It is my contention that it is exactly its troubled history that ties the Logical Investigations together, as Husse rl developed his logical investigations in the 1890s on the basis of a h andful thorny problems, including intentionality as centerpiece. From th e Habilitationsschrift to the Ideas it is the relation between subject a nd object, in all respects, ontological as well as epistemological, that guides his research. The Logical Investigations is a intermediate sedim ent of his struggles, containing an elaboration and improvement of his p osition in his early works and also pointing ahead towards the later pos ition of transcendental phenomenology as an implication and continuation of the solutions he proposes. Furthermore, I tried to address the problem that, while Husserl regarded his Logical Investigations as the breakthrough to phenomenology, many f undamental notions of the later transcendental phenomenology seem to be missing in the first edition of the Logical Investigations. The me thod of the reduction, the notion of a pure ego and a full account of th e noema are at most sketched or implied. Hence, I also looked ahead to t he further development of phenomenology after the Logical Investigations. As Husserl s influence has extended beyond the movement he found ed, I felt I could not bypass his significance for the currently d ominant analytical philosophy. Especially with respect to some of the co re topics of the Logical Investigations, but also earlier themes such as Husserl s semiotics, there is an interest in phenomenology from the ana lytic side. Nevertheless, precisely with regard to the unifying theme of intentionality, analytical philosophy often seems to miss the mark, and spectacularly so. I discussed Searle s influential, but in my opi nion, misguided and flawed approach, and I hope it is clear that I have chosen my method and approach in complete antithesis to his. The central contributions I was able to give, were only possible thanks to solid historical groundwork as necessary prerequisite for systematic analyses. Wherever possible, a reference to the original primary sources was provided, allowing the texts to speak for themselves and providing the reader with the critical instruments to evaluate my interpretations. As Husserl stood in a fruitful exchange with many other scholars, as st udent, colleague, friend and teacher, the intellectual context of his th oughts is essential to a correct understanding of his theories and aims. I hope to have found the right balance in the historical and the system atical aspects of my work to suit the interests of the reader and the re quirements of scholarship. (shrink)

By applying Arrow’s impossibility theorem for social choice to scientific theory choice, Okasha concludes that there is no acceptable theory choice rule. Okasha identifies the only way out of the impossibility in enriching the input for the theory choice rule, following Sen’s work for social choice. However, such a route seems not to be available for ‘large scale’ theory choices—i.e. choices among ‘key theories’ which imply a change of paradigm—based on Kuhn’s criteria, since these criteria (...) cannot provide a richer input. The aim of the paper is to explore two lines of response to this conclusion. The first response proposes an example suggesting that Kuhn’s criteria may, indeed, provide sufficiently rich inputs. The second one proposes to use Kuhn’s criteria to evaluate prior probability and likelihood of the theories, and then take these as elements of the ‘Bayesian theory choice rule’ that avoids the impossibility. I will then argue against an objection to the second response, derived from Stegenga’s observation that a rule that translates the information provided by Kuhn’s criteria into prior probabilities suffers from Arrovian impossibility. Finally, I will answer a separate interesting question suggested by Stegenga’s observation. (shrink)

An important trend in contemporary epistemology centers on elaborating an old idea of pragmatist pedigree: theory selection (and in general the process of changing view and fixing beliefs) presupposes epistemic values. This article focuses on analyzing the case where epistemic values are indeterminate or when the sources of valuation are multiple (epistemic values like coherence and simplicity need not order options in compatible ways). According to the theory that thus arises epistemic alternatives need not be fully ordered (...) by an underlying notion of information-value and therefore the usual economic techniques of optimization cannot be applied in order to compute optimal contractions. But in cases of this sort it is still rational to maximize, i.e. to deem an option as choosable when it is not known to be worse that any other. We present here basic results about a notion of liberal contraction based on maximizing quasi-orderings. This requires the previous solution of some open problems in the theory of rational choice functions, namely a full characterization of choice functions rationalizable in terms of maximization of quasi-transitive relations. We conclude by discussing the problem of what is the adequate feasible set for calculating maximizing solutions for contraction problems and by considering the epistemological roots of some counterexamples against the most fundamental axioms on choice functions (like α). While the first part of the paper shows how economic insights can be used to improve our understanding of the principles of belief formation and change, this final section reverses this strategy by showing the utility of epistemological insights and techniques for providing invariance conditions capable of regulating the applicability of the pure principles of choice. (shrink)

The book focuses on the modern understanding of human life-forms as constructs that followed an evolutionary history. The author thus finds science confronted with two questions: firstly, how the transgression of the virtual threshold between natural and cultural history was possible, secondly, how the socio-cultural constructs were able to develop in the course of history the way they did. The discussion concentrates on the problem of determining a processual logic in the development of societal structures as well as in (...) the development of cognition. The focus of attention is the historico-genetic reconstruction of cognition. The book was originally published in German as Historisch-genetische Theorie der Kultur (Weilerswist 2000: Velbrück). (shrink)