In medical diagnostic examination three main stages may be distinguished: (a) initial exploration, (b) hypothesis-directed investigation, and (c) final diagnosis making. The purpose of this work is to study some methodological problems concerning the second of the above stages of the diagnosis and to prepare a background for a mathematical model [30] of this process.In diagnostic problem solving, the reasoning proceeds along the main lines traced by some initial suggestions and passes through various intermediate elements which are connected with one (...) another forming ramifying chains and nets of inferences and hypotheses. Such a complex mental construction is based on laws which form medical knowledge and reflect various regularities and relations, causal, structural, functional, and others. (shrink)

The author, dismissing the feasibility of attaining the real facts of history, proposes to define historical truth as the set of all possible worlds that agree with all the sources available to the historian. He remarks that this conception is very close to that necessairly assumed today by cosmologists, when describing the evolution of the phisical universe.

In the course of investigating the living world, biologists regularly attribute semantic content to the phenomena they study. In this paper, I examine the case of a contemporary research program studying the navigation behaviors of ants and develop an account of the norms governing researchers’ ascriptions of semantic content in their research practices. The account holds that researchers assign semantic content to behaviors that reliably achieve a difficult goal-directed function, and it also suggests a productive role for attributions of semantic (...) content in the process of animal behavior research. (shrink)

Of the three views of theoretical knowledge which form the focus of this article, the first has its source in the work of Russell, the second in Ramsey, and the third in Carnap. Although very different, all three views subscribe to a principle I formulate as ‘the structuralist thesis’; they are also naturally expressed using the concept of a Ramsey sentence. I distinguish the framework of assumptions which give rise to the structuralist thesis from an unproblematic emphasis on the importance (...) of ‘structural’ differences for the analysis and interpretation of theories belonging to the exact sciences, and I review a number of logical properties of Ramsey sentences using very simple arithmetical theories and their models. I then develop a reconstruction of the views of Russell, Ramsey, and Carnap that clarifies the interrelationships among them by appealing to aspects of the arithmetical examples that inform my discussion of Ramsey sentences. I conclude with an account of the philosophical basis of the structuralist thesis and the fundamental difficulty to which it leads. (shrink)

Deductive and inductive logic confront this skeptical challenge: we can justify any logical principle only by means of an argument but we can acquire justification by means of an argument only if we are already justified in believing some logical principle. We could solve this problem if probative arguments do not require justified belief in their corresponding conditionals. For if not, then inferential justification would not require justified belief in any logical principle. So even arguments whose corresponding conditionals are epistemically (...) dependent upon their conclusions—epistemically self‐supporting arguments—need not be viciously circular. R.B. Braithwaite and James Van Cleve use internalist and externalist versions of this strategy in their proposed solutions to the problem of induction. Unfortunately, their arguments for self‐support are unsound and any theory of inferential justification that does not require justified belief in the corresponding conditionals of justification‐affording arguments is unacceptably arbitrary. So self‐supporting arguments cannot be justification‐creating. (shrink)

This paper in its contribution argues that there is the need to understand the metaphysical and epistemological issues that undergird human behaviour and ipso facto human nature in formulating development theories. This will enhance appropriate evaluation and application of these theories for the betterment of any society. It establishes the relevance of human nature to social theories. Accordingly, social theories spur the explanation, nature, function, institutions, and prediction of social patterns of development. Since society is primarily an amalgam of people (...) in social intercourse, human nature impinges on human behaveiour. Thus, just as the nature of molecular behaviour enhances the understanding of the behaviour of gases, proper understanding of social theories and those things that spur them enhance the understanding of human societies. Thus the understanding of the coherence and workability of any social theory is therefore predicated on the perspective gained on human nature. The critical, analytical and evaluative methods of philosophy will be dominant in the work. (shrink)

In the Bayesian approach to quantum mechanics, probabilities—and thus quantum states—represent an agent’s degrees of belief, rather than corresponding to objective properties of physical systems. In this paper we investigate the concept of certainty in quantum mechanics. Particularly, we show how the probability-1 predictions derived from pure quantum states highlight a fundamental difference between our Bayesian approach, on the one hand, and Copenhagen and similar interpretations on the other. We first review the main arguments for the general claim that probabilities (...) always represent degrees of belief. We then argue that a quantum state prepared by some physical device always depends on an agent’s prior beliefs, implying that the probability-1 predictions derived from that state also depend on the agent’s prior beliefs. Quantum certainty is therefore always some agent’s certainty. Conversely, if facts about an experimental setup could imply agent-independent certainty for a measurement outcome, as in many Copenhagen-like interpretations, that outcome would effectively correspond to a preexisting system property. The idea that measurement outcomes occurring with certainty correspond to preexisting system properties is, however, in conflict with locality. We emphasize this by giving a version of an argument of Stairs [(1983). Quantum logic, realism, and value-definiteness. Philosophy of Science, 50, 578], which applies the Kochen–Specker theorem to an entangled bipartite system. (shrink)

Este trabajo propone una herramienta teórica con la que es posible comparar diferentes explicaciones dirigidas a un mismo objeto de estudio. Esta herramienta se compone de tres conjuntos de virtudes: epistémicas, analíticas y pragmáticas. Para apoyar lo anterior se ofrecen dos estudios de caso, el primero compara dos explicaciones psicológicas sobre el espectro autista, el segundo compara dos explicaciones sobre el origen de los números desde una perspectiva empirista.

In this paper, I offer an analysis of the radical disagreement over the adequacy of string theory. The prominence of string theory despite its notorious lack of empirical support is sometimes explained as a troubling case of science gone awry, driven largely by sociological mechanisms such as groupthink (e.g. Smolin 2006). Others, such as Dawid (2013), explain the controversy by positing a methodological revolution of sorts, according to which string theorists have quietly turned to nonempirical methods of theory assessment given (...) the technological inability to directly test the theory. The appropriate response, according to Dawid, is to acknowledge this development and widen the canons of acceptable scientific methods. As I’ll argue, however, the current situation in fundamental physics does not require either of these responses. Rather, as I’ll suggest, much of the controversy stems from a failure to properly distinguish the “context of justification” from the “context of pursuit”. Both those who accuse string theorists of betraying the scientific method and those who advocate an enlarged conception of scientific methodology objectionably conflate epistemic justification with judgements of pursuit-worthiness. Once we get clear about this distinction and about the different norms governing the two contexts, the current situation in fundamental physics becomes much less puzzling. After defending this diagnosis of the controversy, I’ll show how the argument patterns that have been posited by Dawid as constituting an emergent methodological revolution in science are better off if reworked as arguments belonging to the context of pursuit. (shrink)

A consensus exists among contemporary philosophers of biology about the history of their field. According to the received view, mainstream philosophy of science in the 1930s, 40s, and 50s focused on physics and general epistemology, neglecting analyses of the 'special sciences', including biology. The subdiscipline of philosophy of biology emerged (and could only have emerged) after the decline of logical positivism in the 1960s and 70s. In this article, I present bibliometric data from four major philosophy of science journals (Erkenntnis, (...) Philosophy of Science, Synthese, and the British Journal for the Philosophy of Science), covering 1930-59, which challenge this view. (shrink)

This paper defends a realist interpretation of theories and a modest realism concerning the existence of quantities as providing the best account both of the logic of quantity concepts and of scientific measurement practices. Various operationist analyses of measurement are shown to be inadequate accounts of measurement practices used by scientists. We argue, furthermore, that appeals to implicit definitions to provide meaning for theoretical terms over and above operational definitions fail because implicit definitions cannot generate the requisite descriptive content. The (...) special case of establishing a temperature scale is examined to show that nonrealist accounts fail to provide insight into the theoretical connections that scientific laws postulate to hold among quantities. (shrink)

The received theories of epistemology identify abductive inferences with the cognitive patterns of speculation (hypothesis formation) and insist that they cannot verify or confirm hypotheses. I criticize various descriptions of abduction, offer a structural analysis of abductive inference,, characterize abduction without alluding to its putative role in inquiry, and then demonstrate that some abductions do provide evidence and that not all scientific hypotheses derive from abductive inferences. This result challenges those notions of scientific k knowledge that dismiss some central scientific (...) ideas (for example, evolution) as ‘meta-physical research programs’ or ‘just theories’ when they are instead well substantiated by abductive evidence. (shrink)

Early philosophical accounts of explanation mistook the function of boundary conditions for that of contingent facts. I diagnose where this misunderstanding arose and establish that it persists. I...

The place of induction in the framing and test of scientific hypotheses is investigated. The meaning of 'induction' is first equated with generalization on the basis of case examination. Two kinds of induction are then distinguished: the inference of generals from particulars (first degree induction), and the generalization of generalizations (second degree induction). Induction is claimed to play a role in the framing of modest empirical generalizations and in the extension of every sort of generalizations--not however in the invention of (...) high-level hypotheses containing theoretical predicates. It is maintained, on the other hand, that induction by enumeration is essential in the empirical test of the lowest-level consequences of scientific theories, since it occurs in the drawing of "conclusions" from the examination of empirical evidence. But it is also held that the empirical test is insufficient, and must be supplemented with theorification, or the expansion of isolated hypotheses into theories. Refutation is not viewed as a substitute for confirmation but as its complement, since the very notion of unfavorable case is meaningful only in connection with the concept of positive instance. Although the existence of an inductive method is disclaimed, it is maintained that the various patterns of plausible reasoning (inductive inference included) are worth being investigated. It is concluded that scientific research follows neither the advice of inductivism nor the injunction of deductivism, but takes a middle course in which induction is instrumental both heuristically and methodologically, although the over-all pattern of research is hypothetico-deductive. (shrink)

Factual statements that might qualify for the status of law statements are classed from various philosophically relevant standpoints (referents, precision, structure of predicates, extension, systemicity, inferential power, inception, ostensiveness, testability, levels, and determination categories). More than seven dozen of not mutually exclusive kinds of lawlike statements emerge. Strictly universal and counterfactually powerful statements are seen to constitute just one kind of lawlike statements; classificatory and some statistical laws, e.g., are shown not to comply with the requirements of universality and counterfactual (...) force. Conditions for lawlike statements to be called laws are then examined, and a liberal criterion of lawfulness is finally proposed, which reads thus: A proposition is a law statement if and only if it is a posteriori (not logically true), general in some respect (does not refer to unique objects), has been satisfactorily corroborated for the time being in some domain, and belongs to a theory (whether adult or embryonic). It is claimed that criteria of laws change alongside with the emergence of new usages of the term 'law', and that by adopting a liberal criterion of lawfulness we would conform to contemporary usage and would cease inhibiting the search for regularities in the sciences of man. (shrink)

I. Reputed shortcomings of Descartes as philosopher of science.II ‘Knowledge’ in mathematics and in physics. The ‘ontological’ postulates of Descartes's philosophy and philosophy of physics.III. The ‘foundations of dynamics’: ‘Newton's First Law of Motion’ and its status.IV. Descartes's conception of ‘hypothesis’: the competing claims of the ideal of the a priori in physics and the conception of retroductive inference. V. Descartes's notion of ‘analysis’. The distinction between ‘procedure’ and ‘inference’. The notion of ‘induction’ and ‘understanding through models’: ‘Snell's Law of (...) Refraction’. (shrink)

The author finds no support for the claim that J. M. Keynes had severe reservations, in general, as opposed to particular, concerning the application of mathematical, logical and statistical methods in economics. These misinterpretations rest on the omission of important source material as well as a severe misconstrual ofThe Treatise on Probability (1921).

To give a causal explanation is to give information about causal history. But a vast amount of causal history lies behind anything that happens, far too much to be included in any intelligible explanation. This is the Problem of Limitation for explanatory information. To cope with this problem, explanations must select for what is relevant to and adequate for answering particular inquiries. In the present paper this idea is used in order to distinguish two kinds of causal explanation, on the (...) grounds of systematic differences in their conditions of relevance and adequacy. It is further argued that these two forms of causal explanation are interdependent and their interaction provides an instrument through which causal knowledge is acquired and enhanced. What we understand causation in the world to be is neither unconditioned regularity, nor counterfactual dependence, but the sum of correct answers to explanatory inquiries of these two interdependent kinds. (shrink)

This paper argues that the medical conception of health as absence of disease is a value-free theoretical notion. Its main elements are biological function and statistical normality, in contrast to various other ideas prominent in the literature on health. Apart from universal environmental injuries, diseases are internal states that depress a functional ability below species-typical levels. Health as freedom from disease is then statistical normality of function, i.e., the ability to perform all typical physiological functions with at least typical efficiency. (...) This conception of health is as value-free as statements of biological function. The view that health is essentially value-laden, held by most writers on the topic, seems to have one of two sources: an assumption that health judgments must be practical judgments about the treatment of patients, or a commitment to "positive" health beyond the absence of disease. I suggest that the assumption is mistaken, the commitment possibly misdescribed. (shrink)

Philosophers of science have used various formulations of the "random mutation--natural selection" scheme to explain the development of scientific knowledge. But the uncritical acceptance of this evolutionary model has led to substantive problems concerning the relation between fact and theory. The primary difficulty lies in the fact that those who adopt this model (Popper and Kuhn, for example) are led to claim that theories arise chiefly through the processes of relatively random change. Systems theory constitutes a general criticism of this (...) model insofar as it demonstrates the necessity of supplementing this mechanism with the non-random influences exercised by the internal organization of a system on its own development. (shrink)

In the first part of my analysis, I wish briefly to clarify the different modes of relation found in the living being, and point out the multiplicity of disciplines in which biologists use (explicitly or implicitly) the notion of laws. In the second part, I shall analyse the notion of universal laws in biology and examine successively: (1) accidental generalizations; (2) non-causal biological correlations; (3) the meaning of 'necessity' in these correlations; and (4) causal connections. Finally, in the third part, (...) I shall examine statistical laws and probabilistic laws in biology, in particular: (1) chance in biology; (2) probabilistic theories; and (3) relations between logical probability and statistical probability. (shrink)

* Editor’s Note: This paper won the Young Epistemologist Prize for the Rutgers Epistemology conference held in 2003.

The meaning of scientific propositions is not always expressible in terms of observable phenomena. Such propositions involve generalizations, and also terms that are theoretical constructs. I study here how to assess the meaning of scientific propositions, that is, the specific import of theoretical terms. Empiricists have expressed a concern that scientific propositions, and theoretical terms, should always be, to some degree, related to observable consequences. We can see that the former empiricist criterion of meaning only implies for theoretical terms not (...) to be definable in terms of observable, but that their use put a constraint on the observable consequences of a theory. To that effect, Ramsey's method of formal elimination of theoretical terms can be an interesting tool. It has faced important logical objections, which have mostly been addressed with respect to the problem of the ontological commitment of the second-order quantification they imply. I show here that these criticisms can be overcome, and that there can be a successful Ramsey elimination of theoretical terms with first order sentences, making Ramsey's method a relevant tool to assess the empirical meaning of scientific propositions. (shrink)

To ascribe a telos is to ascribe a norm or standard of performance. That fact underwrites the plausibility of, say, teleological theories of mind. Teleosemantics, for example, relies on the normative character of teleology to solve the problem of “intentional inexistence”: a misrepresentation is just a malfunction. If the teleological ascriptions of such theories to natural systems, e.g., the neurological structures of the brain, are to be literally true, then it must be literally true that norms can exist independent of (...) intentional and psychological agency. Davies, for one, has argued that such norms are impossible within a naturalistic worldview. Consequently, teleological theories of mind, for example, cannot be literally true. I will show, however, that the truth conditions on normative statements do not presuppose intentional and psychological agency and, further, that a selectional regime is one naturalistic mechanism that satisfies those truth conditions. Norms, then, exist in the world independent of intentional and psychological agency. (shrink)

Cartesian representationalism and the Enlightenment heritage more broadly continue to play a pivotal role in shaping the 21st-century human scientific theory and practice. This introduction to a special section on the topic surveys some aspects of that heritage.

Modal logic has been applied in many different areas, as reasoning about time, knowledge and belief, necessity and possibility, to mention only some examples. In the present paper, an attempt is made to use modal logic to account for the semantics of theoretical sentences in scientific language. Theoretical sentences have been studied extensively since the work of Ramsey and Carnap. The present attempt at a modal analysis is motivated by there being several intended interpretations of the theoretical terms once these (...) terms are introduced through the axioms of a theory. (shrink)

On the critical side it is argued that, contrary to a widespread view, the explanation of particular facts does not play a central role in pure science and hence that philosophers of science are misguided in supposing that the understanding of such explanations is one of the central tasks of the philosophy of science. It is suggested that the view being attacked may stem in part from an impression that the establishing of a general law is tantamount to the explanation (...) of particular facts that "fall under" the law. This suggestion effects a bridge to the more positive part of the paper, which consists of an exploration of the complexities exhibited by the relation between the two activities. More specifically, I point out a number of disabilities, any one of which could prevent us from being able to explain particular facts that fall under a given law even after having established the law. Some of these have to do with the form of the law, and some have to do with our powers of detection vis-a-vis the particular facts in question. The former sort have to do with the ways in which laws may deviate from the strict-necessary-and-sufficient-condition ideal. The latter include the following points. (1) The individual explanatory factors may lie beyond our present powers of detection. (2) The complexity of such factors may be too great for us to be able to interrelate them. (3) We may be unable to apply concepts used in the law to facts in this area (although they are in fact applicable). (shrink)

Epistemologists have debated at length whether scientific discovery is a rational and logical process. If it is, according to the Artificial Intelligence hypothesis, it should be possible to write computer programs able to discover laws or theories; and if such programs were written, this would definitely prove the existence of a logic of discovery. Attempts in this direction, however, have been unsuccessful: the programs written by Simon's group, indeed, infer famous laws of physics and chemistry; but having found no new (...) law, they cannot properly be considered discovery machines. The programs written in the Turing tradition, instead, produced new and useful empirical generalization, but no theoretical discovery, thus failing to prove the logical character of the most significant kind of discoveries. A new cognitivist and connectionist approach by Holland, Holyoak, Nisbett and Thagard, looks more promising. Reflection on their proposals helps to understand the complex character of discovery processes, the abandonment of belief in the logic of discovery by logical positivists, and the necessity of a realist interpretation of scientific research. (shrink)

The analysis of function-ascribing statements, such as “the function of x is y”, is proving to be a difficult matter. It is difficult because we are only beginning to see the complexity which is involved in ascribing functions. The process of discovery has been slow and tedious, with each newly constructed analysis of the meaning of functional ascriptions yielding insights into the structure of functional analysis and functional explanation. However, as each analysis is, in turn, dismantled, we seem to see (...) our insights slip away. In the wake of each exchange, a new member is added to the list of desiderata for an analysis of function-ascribing statements. Thus, the matter of finding a proper analysis of function attributions becomes more and more complex. (shrink)

This paper aims at integrating the work onanalogical reasoning in Cognitive Science into thelong trend of philosophical interest, in this century,in analogical reasoning as a basis for scientificmodeling. In the first part of the paper, threesimulations of analogical reasoning, proposed incognitive science, are presented: Gentner''s StructureMatching Engine, Mitchel''s and Hofstadter''s COPYCATand the Analogical Constraint Mapping Engine, proposedby Holyoak and Thagard. The differences andcontroversial points in these simulations arehighlighted in order to make explicit theirpresuppositions concerning the nature of analogicalreasoning. In the (...) last part, this debate in cognitivescience is applied to some traditional philosophicalaccounts of formal and material analogies as a basisfor scientific modeling, like Mary Hesse`s, and tomore recent ones, that already draw from the work inArtificial Intelligence, like that proposed byAronson, Harré and Way. (shrink)

'Theory' is one of the most important words in the lexicon of contemporary sociology. Yet, their ubiquity notwithstanding, it is quite unclear what sociologists mean by the words 'theory,' 'theoretical,' and 'theorize.' I argue that confusions about the meaning of 'theory' have brought about undesirable consequences, including conceptual muddles and even downright miscommunication. In this paper I tackle two questions: what does 'theory' mean in the sociological language?; and what ought 'theory' to mean in the sociological language? I proceed in (...) five stages. First, I explain why one should ask a semantic question about 'theory.' Second, I lexicographically identify seven different senses of the word, which I distinguish by means of subscripts. Third, I show some difficulties that the current lack of semantic clarity has led sociology to. Fourth, I articulate the question, 'what ought "theory" to mean?,' which I dub the 'semantic predicament', and I consider what one can learn about it from the theory literature. Fifth, I recommend a 'semantic therapy' for sociology, and advance two arguments about SP: the principle of practical reason--SP is to a large extent a political issue, which should be addressed with the help of political mechanisms; and the principle of ontological and epistemological pluralism--the solution to SP should not be too ontologically and epistemologically demanding. (shrink)

This paper is a conceptual analysis of the theory debate in psychology, as carried out by cognitivists and radical behaviorists. The debate has focused on the necessity of theories in psychology. However, the logically primary issue is the nature of theories, or what theories are. This claim stems from the fact that cognitivists and radical behaviorists adopt disparate accounts of the nature of theories. The cognitivists' account is closely akin to the received view from logical positivism, where theories are collections (...) of statements and theoretical terms are restricted to designate unobservable entities. Radical behaviorists also conceive theories as collections of statements, but restrict theoretical terms in psychology to designate observable entities. If each side approaches the necessity issue with its preferred account, both agree that theories are necessary in psychology. Hence, there is no disagreement over the necessity of theories in psychology per se, only over the nature of theories. The received view, however, has been shown to suffer from irreparable difficulties that have led to its total rejection in post-positivistic philosophy of science. Alternative accounts, like the structuralist and semantic views, do not raise the issue of whether theories are necessary in psychology. (shrink)

In this paper I will be setting aside contextualists and closure-deniers and focusing solely on neo-Moorean versions of externalist responses to skepticism. I will be focusing on two prominent theses about externalist responses to skepticism, one positive and one negative. The positive thesis announces an alleged virtue of externalism: that externalism alone avoids skepticism. The negative thesis identifies an alleged defect of externalism: that externalism implausibly avoids skepticism. I will be critical of both theses, though I will try to uncover (...) the truth in the neighborhood of each. I’ll close by arguing briefly that the conclusions reached in examining these two theses give us a reason to endorse externalism. (shrink)

Neo‐Aristotelian ethical naturalism purports to show that moral evaluation of human action and character is an evaluation of natural goodness—a kind of evaluation that applies to living things in virtue of their nature and based on their form of life. The standard neo‐Aristotelian view defines natural goodness by way of generic statements describing the natural history, or the ‘characteristic’ life, of a species. In this paper, I argue that this conception of natural goodness commits the neo‐Aristotelian view to a problematic (...) anti‐individualism that results in the wrong assessment of individuals with uniquely adaptive adjustments. I then offer an alternative account of natural goodness that avoids this problem. Instead of relying on generic statements about a species, my account defines natural goodness based on counterfactual conditionals describing the modal properties of a single individual. I argue that this modal‐explanatory account gives a conception of natural goodness that is more intuitively plausible and better suited to capture the diversity and plasticity distinctive of life. (shrink)

To demarcate the limits of experimental knowledge, we probe the limits of what might be called an experiment. By appeal to examples of scientific practice from astrophysics and analogue gravity, we demonstrate that the reliability of knowledge regarding certain phenomena gained from an experiment is not circumscribed by the manipulability or accessibility of the target phenomena. Rather, the limits of experimental knowledge are set by the extent to which strategies for what we call ‘inductive triangulation’ are available: that is, the (...) validation of the mode of inductive reasoning involved in the source-target inference via appeal to one or more distinct and independent modes of inductive reasoning. When such strategies are able to partially mitigate reasonable doubt, we can take a theory regarding the phenomena to be well supported by experiment. When such strategies are able to fully mitigate reasonable doubt, we can take a theory regarding the phenomena to be established by experiment. There are good reasons to expect the next generation of analogue experiments to provide genuine knowledge of unmanipulable and inaccessible phenomena such that the relevant theories can be understood as well supported. This article is part of a discussion meeting issue ‘The next generation of analogue gravity experiments’. (shrink)

The weather report says that the chance of a hurricane arriving later today is 90%. Forewarned is forearmed: expecting a hurricane, before leaving home you pack your hurricane lantern.

Philosophers have proposed many accounts of biological function. A coarse-grained distinction can be made between backward-looking views, which emphasise historical contributions to fitness, and forward-looking views, which emphasise the current contribution to fitness or role of a biological component within some larger system. These two views are often framed as being incompatible and conflicting with one another. The emerging field of synthetic biology, which involves applying engineering principles to the design and construction of biological systems, complicates things further by adding (...) intentional design as a source of function. In the current study we explored how biology experts and novices think about function in the context of single-celled, multi-celled, and synthetic organisms. We also explored the extent to which each group were function pluralists, and if they were function pluralists, which accounts of function tended to be endorsed together. The results showed a surprising degree of similarity between experts and novices in most contexts, although certain differences were apparent. Most surprisingly, we found evidence not only of function pluralism in both groups, but pluralism between backward-looking and forward-looking accounts. We discuss these findings in the context of the philosophical debate on function and consider the practical implications for public acceptance of synthetic biology. First, we argue that philosophers of biology should re-examine the purported incompatibility between accounts of function. Second, we argue that due to the introduction of an intentional aetiology in synthetic biology, there may be an inherent conflict between the views of experts and novices when thinking about synthetic biology. (shrink)

To a large extent, the evidential base of claims in the philosophy of science has switched from thought experiments to case studies. We argue that abandoning thought experiments was a wrong turn, since they can effectively complement case studies. We make our argument via an analogy with the relationship between experiments and observations within science. Just as experiments and ‘natural’ observations can together evidence claims in science, each mitigating the downsides of the other, so too can thought experiments and case (...) studies be mutually supporting. After presenting the main argument, we look at potential concerns about thought experiments, suggesting that a judiciously applied mixed-methods approach can overcome them. (shrink)