Epistemology is the study of knowledge and justified belief. Belief is thus central to epistemology. It comes in a qualitative form, as when Sophia believes that Vienna is the capital of Austria, and a quantitative form, as when Sophia's degree of belief that Vienna is the capital of Austria is at least twice her degree of belief that tomorrow it will be sunny in Vienna. Formal epistemology, as opposed to mainstream epistemology (Hendricks 2006), is epistemology done in a formal way, (...) that is, by employing tools from logic and mathematics. The goal of this entry is to give the reader an overview of the formal tools available to epistemologists for the representation of belief. A particular focus will be the relation between formal representations of qualitative belief and formal representations of quantitative degrees of belief. (shrink)

Debates about scientific realism are closely connected to almost everything else in the philosophy of science, for they concern the very nature of scientific knowledge. Scientific realism is a positive epistemic attitude toward the content of our best theories and models, recommending belief in both observable and unobservable aspects of the world described by the sciences. This epistemic attitude has important metaphysical and semantic dimensions, and these various commitments are contested by a number of rival epistemologies of science, known collectively (...) as forms of scientific antirealism. This article explains what scientific realism is, outlines its main variants, considers the most common arguments for and against the position, and contrasts it with its most important antirealist counterparts. (shrink)

(i) Scientific realism is primarily a metaphysical doctrine about the existence and nature of the unobservables of science. (ii) There are good explanationist arguments for realism, most famously that from the success of science, provided abduction is allowed. Abduction seems to be on an equal footing, at least, with other ampliative methods of inference. (iii) We have no reason to believe a doctrine of empirical equivalence that would sustain the underdetermination argument against realism. (iv) The key to defending realism from (...) the pessimistic meta-induction is that we have greatly improved our capacity to understand the unobservable world over recent centuries. (shrink)

I argue against the claim, advanced by David Albert and Barry Loewer, that all non-fundamental laws can be derived from those required to underwrite the second law of thermodynamics.

⦿ In my dissertation I introduce, motivate and take the first steps in the implementation of, the project of naturalising modal metaphysics: the transformation of the field into a chapter of the philosophy of science rather than speculative, autonomous metaphysics. -/- ⦿ In the introduction, I explain the concept of naturalisation that I apply throughout the dissertation, which I argue to be an improvement on Ladyman and Ross' proposal for naturalised metaphysics. I also object to Williamson's proposal that modal metaphysics (...) --- or some view in the area --- is already a quasi-scientific discipline. -/- ⦿ Recently, some philosophers have argued that the notion of metaphysical modality is as ill defined as to be of little theoretical utility. In the second chapter I intend to contribute to such skepticism. First, I observe that each of the proposed marks of the concept, except for factivity, is highly controversial; thus, its logical structure is deeply obscure. With the failure of the "first principles" approach, I examine the paradigmatic intended applications of the concept, and argue that each makes it a device for a very specific and controversial project: a device, therefore, for which a naturalist will find no use for. I conclude that there is no well-defined or theoretically useful notion of objective necessity other than logical or physical necessity, and I suggest that naturalising modal metaphysics can provide more stable methodological foundations. -/- ⦿ In the third chapter I answer a possible objection against the in-principle viability of the project: that the concept of metaphysical modality cannot be understood through the philosophical analysis of any scientific theory, since metaphysical necessity "transcends'' natural necessity, and science only deals with the latter. I argue that the most important arguments for this transcendence thesis fail or face problems that, as of today, remain unsolved. -/- ⦿ Call the idea that science doesn't need modality, "demodalism''. Demodalism is a first step in a naturalistic argument for modal antirealism. In the fourth chapter I examine six versions of demodalism to explain why a family of formalisms, that I call "spaces of possibility'', are (i) used in a quasi-ubiquitous way in mathematised sciences (I provide examples from theoretical computer science to microeconomics), (ii) scientifically interpreted in modal terms, and (iii) used for at least six important tasks: (1) defining laws and theories; (2) defining important concepts from different sciences (I give several examples); (3) making essential classifications; (4) providing different types of explanations; (5) providing the connection between theory and statistics, and (6) understanding the transition between a theory and its successor (as is the case with quantisation). -/- ⦿ In fifth chapter I propose and defend a naturalised modal ontology. This is a realism about modal structure: my realism about constraints. The modal structure of a system are the relationships between its possible states and between its possible states and those of other systems. It is given by the plurality of restrictions to which said system is subject. A constraint is a factor that explains the impossibility of a class of states; I explain this concept further. First, I defend my point of view by rejecting some of its main rivals: constructive empiricism, Humean conventionalism, and wave function realism, as they fail to make sense of quantum chaos. This is because the field requires the notion of objective modal structure, and the mentioned views have trouble explaining the modal facts of quantum dynamics. Then, I argue that constraint realism supersedes these views in the context of Bohm's standard theory and mechanics, and underpins the study of quantum chaos. Finally, I consider and reject two possible problems for my point of view. -/- ⦿ A central concern of modal metaphysicians has been to understand the logical system that best characterises necessity. In the sixth chapter I intend to recover the logical project applied to my naturalistic modal metaphysics. Scientists and philosophers of science accept different degrees of physical necessity, ranging from purely mathematically necessary facts that restrict physical behaviour, to kinetic principles, to particular dynamical constraints. I argue that this motivates a multimodal approach to modal logic, and that the time dependence of dynamics motivates a logic of historical necessity. I propose multimodal propositional (classical) logics for Bohmian mechanics and the Everettian theory of many divergent worlds, and I close with a criticism of Williamson's approach to the logic of state spaces of dynamic systems. (shrink)

We discuss some methodological aspects of the relation between physics and metaphysics by dealing specifically with the case of non-relativistic quantum mechanics. Our main claim is that current attempts to productively integrate quantum mechanics and metaphysics are best seen as approaches of what should be called ‘the metaphysics of science’, which is developed by applying already existing metaphysical concepts to scientific theories. We argue that, in this perspective, metaphysics must be understood as an autonomous discipline. It results that this metaphysics (...) cannot hope to derive any kind of justification from science. Thus, one of the main motivations of such project, which is the obtaining of a scientifically respectable justification for the attribution of a single true metaphysical profile to the posits of a scientific theory, is doomed because of the emergence of metaphysical underdetermination from the outset. If metaphysics floats free from physics, which is a premise of such project of integration between these two areas, then it is always possible to attribute more than one metaphysical profile to dress physical entities. (shrink)

I show that a theory may be empirically adequate according to van Fraassen's definition even though it can be observationally determined that the theory is false. I suggest a modification of empirical adequacy that avoids this result.

Philosophy can shed light on mathematical modeling and the juxtaposition of modeling and empirical data. This paper explores three philosophical traditions of the structure of scientific theory—Syntactic, Semantic, and Pragmatic—to show that each illuminates mathematical modeling. The Pragmatic View identifies four critical functions of mathematical modeling: (1) unification of both models and data, (2) model fitting to data, (3) mechanism identification accounting for observation, and (4) prediction of future observations. Such facets are explored using a recent exchange between two groups (...) of mathematical modelers in plant biology. Scientific debate can arise from different modeling philosophies. (shrink)

We argue that a modified version of Mill’s method of agreement can strongly confirm causal generalizations. This mode of causal inference implicates the explanatory virtues of mechanism, analogy, consilience, and simplicity, and we identify it as a species of Inference to the Best Explanation (IBE). Since rational causal inference provides normative guidance, IBE is not a heuristic for Bayesian rationality. We give it an objective Bayesian formalization, one that has no need of principles of indifference and yields responses to the (...) Voltaire objection, van Fraassen’s Bad Lot objection, and John Norton’s recent objection to IBE. (shrink)

Erklärungstheoretisch bestimmter Kohärenzbegriff.

My dissertation explores the ways in which Rudolf Carnap sought to make philosophy scientific by further developing recent interpretive efforts to explain Carnap’s mature philosophical work as a form of engineering. It does this by looking in detail at his philosophical practice in his most sustained mature project, his work on pure and applied inductive logic. I, first, specify the sort of engineering Carnap is engaged in as involving an engineering design problem and then draw out the complications of design (...) problems from current work in history of engineering and technology studies. I then model Carnap’s practice based on those lessons and uncover ways in which Carnap’s technical work in inductive logic takes some of these lessons on board. This shows ways in which Carnap’s philosophical project subtly changes right through his late work on induction, providing an important corrective to interpretations that ignore the work on inductive logic. Specifically, I show that paying attention to the historical details of Carnap’s attempt to apply his work in inductive logic to decision theory and theoretical statistics in the 1950s and 1960s helps us understand how Carnap develops and rearticulates the philosophical point of the practical/theoretical distinction in his late work, offering thus a new interpretation of Carnap’s technical work within the broader context of philosophy of science and analytical philosophy in general. (shrink)

O argumento da inferência da melhor explicação enuncia que dado que uma evidência necessita de explicação e dado que uma hipótese, baseada em conhecimento anterior verdadeiro, ofereceu uma melhor explicação do que suas rivais para, conclui-se que temos boas razões para acreditar que H é verdadeira. Este argumento é apresentado com a finalidade de apresentar razões em favor da confiabilidade da metodologia científica: a melhor teoria teria emergido num contexto competitivo no qual foram eliminadas teorias rivais. Para antirrealistas, porém, este (...) argumento apresenta sérias deficiências. Um dos problemas deste argumento está na premissa, que descreve uma competição entre hipóteses rivais; de acordo com Kyle Stanford, o registro histórico mostra que a competição nem sempre teria ocorrido, já que algumas hipóteses rivais a uma hipótese proposta nem mesmo teriam sido concebidas, e portanto a confiabilidade da ciência não seria, ao menos em alguns casos, um produto de inferências eliminativas; com isso estaríamos diante do “problema das alternativas não concebidas”. Neste artigo pretendemos descrever sumariamente o argumento da inferência da melhor explicação. Em seguida, apresentamos o problema das alternativas não concebidas. Após, mostramos um estudo de caso oferecido por Stanford para uma defesa de sua posição. Por fim, na conclusão, apontamos um pequeno problema na proposta de Stanford. (shrink)

I resolve several pressing and recalcitrant problems in contemporary philosophy of science using resources from John Dewey's philosophy of science. I begin by looking at Dewey's epistemological and logical writings in their historical context, in order to understand better how Dewey's philosophy disappeared from the limelight, and I provide a reconstruction of his views. Then, I use that reconstruction to address problems of evidence, the social dimensions of science, and pluralism. Generally, mainstream philosophers of science with an interest in Dewey (...) pay little attention to the body of scholarship on Dewey and tend to misinterpret or miss important features of his work, while Dewey scholars generally do not connect his work to the nuanced problems of the contemporary scene (with some notable exceptions). My dissertation helps to fill this important gap and correct common interpretive mistakes by reconstructing and clarifying Dewey's philosophy of science and using it to resolve several contemporary problems. Though his is the road less traveled, Dewey's views provide a good starting place for addressing current concerns. He worked towards a model of science that is both fully naturalistic and fundamentally oriented towards human practice, demands that have been strongly argued for but poorly assimilated by most mainstream philosophers of science. He treats scientific practice, and human thinking generally, as not only embodied but also socially and technologically embedded, and thus can be used to open up a dialogue with much of the social studies of science. He has an anti- foundationalist but structured epistemology, and he offers a way to navigate the narrow paths between an immodest and simplistic realism and the pessimistic extremes of anti-realism and social constructivism, a pursuit of interest to many major philosophers of science at present. Philosophy of science took a different path in the twentieth century, beginning with the "received view'' of logical positivism that left many of the nuances of the original movement by the wayside. No aspect of that starting point has avoided disrepute in recent decades. I show that Dewey avoided the wrong turns of mid- century philosophy of science which are now blocking the way forward. (shrink)

In October 2009 I decided to stop doing philosophy. This meant, in particular, stopping work on the book that I was writing on the nature of probability. At that time, I had no intention of making my unfinished draft available to others. However, I recently noticed how many people are reading the lecture notes and articles on my web site. Since this draft book contains some important improvements on those materials, I decided to make it available to anyone who wants (...) to read it. That is what you have in front of you. The account of Laplace’s theory of probability in Chapter 4 is very different to what I said in my seminar lectures, and also very different to any other account I have seen; it is based on a reading of important texts by Laplace that appear not to have been read by other commentators. The discussion of von Mises’ theory in Chapter 7 is also new, though perhaps less revolutionary. And the final chapter is a new attempt to come to grips with the popular, but amorphous, subjective theory of probability. The material in the other chapters has mostly appeared in previous articles of mine but things are sometimes expressed differently here. I would like to say again that this is an incomplete draft of a book, not the book I would have written if I had decided to finish it. It no doubt contains poor expressions, it may contain some errors or inconsistencies, and it doesn’t cover all the theories that I originally intended to discuss. Apart from this preface, I have done no work on the book since October 2009. (shrink)

Handbook of the History of Logic, vol. 10, eds. Dov Gabbay, Stephan Hartmann, and John Woods, forthcoming.

Proponents of Bayesian confirmation theory believe that they have the solution to a significant, recalcitrant problem in philosophy of science. It is the identification of the logic that governs evidence and its inductive bearing in science. That is the logic that lets us say that our catalog of planetary observations strongly confirms Copernicus’ heliocentric hypothesis; or that the fossil record is good evidence for the theory of evolution; or that the 3oK cosmic background radiation supports big bang cosmology. The definitive (...) solution to this problem would be a significant achievement. The problem is of central importance to philosophy of science, for, in the end, what distinguishes science from myth making is that we have good evidence for the content of science, or at least of mature sciences, whereas myths are evidentially ungrounded fictions. The core ideas shared by all versions of Bayesian confirmation theory are, at a good first approximation, that a scientist’s beliefs are or should conform to a probability measure; and that the incorporation of new evidence is through conditionalization using Bayes’ theorem. While the burden of this chapter will be to inventory why critics believe this theory may not be the solution after all, it is worthwhile first to summarize here the most appealing virtues of this simple account. There are three. First, the theory reduces the often nebulous notion of a logic of.. (shrink)

Over the past 50 years, there has been a great deal of philosophical interest in laws of nature, perhaps because of the essential role that laws play in the formulation of, and proposed solutions to, a number of perennial philosophical problems. For example, many have thought that a satisfactory account of laws could be used to resolve thorny issues concerning explanation, causation, free-will, probability, and counterfactual truth. Moreover, interest in laws of nature is not constrained to metaphysics or philosophy of (...) science; claims about laws play essential roles in areas as diverse as the philosophy of religion (e.g., in the argument from design) and the philosophy of mind (e.g., in the formulation of Davidson’s anomalous monism). In my dissertation, I consider and reject the widely-held thesis that the facts concerning laws can be reduced to the facts concerning the particular entities that the laws “govern,” and that the laws thus have no independent existence. I instead defend a version of nomic primitivism, according to which the facts about laws cannot be reduced to facts that are themselves non-nomic – i.e., to facts that do not fundamentally involve laws, counterfactuals, causes, etc. Insofar as the truth or falsity of reductionism about laws has implications for many of the problems mentioned above, I think that this result should be of interest even to those who who do not work in metaphysics or the philosophy of science. My methodology, which I lay out and defend in Chapter One, is a version of Carnapian explication. This method emphasizes the importance of articulating and maintaining clear distinctions between (1) the vague concept (or concepts) law of nature inherent in ordinary language and scientific practice and (2) the precise analyses of “law of nature” that philosophers have proposed as potential replacements for this concept. I argue that metaphysics-as-explication has clear advantages over rival conceptions of metaphysical methodology; in particular, it allows us to formulate evaluative criteria for metaphysical claims. In Chapter Two, I offer an example of how careful attention to concepts already in use can help resolve philosophical debate. Specifically, I argue that much recent literature has mistakenly assumed that there is only one concept of “law of nature” in use, while there are in fact at least two. Strong laws are the principles pursued by fundamental physics: they are true, objective, and bear distinctive relationships to counterfactuals and explanation. Weak laws, by contrast, lack at least one of these distinctive characteristics but play central roles in both the “special sciences” and in everyday life. In Chapters Three and Four, I offer extended arguments against the two most prominent versions of reductionism about laws – Humeanism and law necessitarianism. According to philosophical Humeans, the laws of nature supervene upon the non-modal, non-nomic facts concerning the behavior of particular things at particular times and places. Law necessitarians, by contrast, argue that the laws are in fact metaphysically necessary, and that which laws there are is determined by a class of primitive, modally loaded facts concerning the essences, natures, or dispositions. I argue that both of these views are mistaken insofar as they disagree with well-entrenched scientific practices and those in favor of reductionism have failed to provided sufficient reason for thinking that these practices should be revised. Much of my argument is focused on the role played by a number of supposed methodological principles, including appeals to intuition, parsimony, and methodological naturalism. While the conclusions of this dissertation are explicitly constrained to laws, many of the arguments should be of interest to those who are concerned about philosophical methodology (especially in the role of intuition in philosophical argument) or the appropriate relation between metaphysics, science, and the philosophy of science. (shrink)

The status of laws of nature has been the locus of a lively debate in recent philosophy. Most participants have assumed laws play an important role in science and metaphysics while seeking their objective ground in the natural world, though some skeptics have questioned this assumption. So-called Humeans look to base laws on actual, particular facts such as those specified in David Lewis’s Humean mosaic. Their opponents argue that such a basis is neither necessary nor sufficient to support the independent (...) existence of scientific laws. This essentially metaphysical debate has paid scant attention to the details of scientific practice. It has mostly focused on so-called fundamental laws, assumed to take a particular form. I propose a pragmatist alternative—not as another position in the debate but as an alternative to the debate itself. This pragmatist alternative offers a view that questions the representational conception of truth presupposed by participants to the debate as well as the metaphysical import of fundamental laws. Statements of law serve many different purposes in science: I’ll look at some. But their central role is in inference, primarily to improve the epistemic state of a scientist with limited access to information. To play this role, a scientific law statement need be neither necessary, unconditionally universal nor even true. It must merely be sufficiently reliable within its domain of application. The use of laws in astrophysics and metrology will help to illustrate these points. (shrink)

A problem with recent work about the relationship between metaphysics and science, especially in the theorizing of those who identify as “naturalized metaphysicians”, is the spotty, metaphorical characterization of what it means for science to “constrain” metaphysics. The most robust account of scientific constraint on metaphysical theorizing is advanced by James Ladyman and Don Ross in their 2007 book Every Thing Must Go. Ladyman & Ross claim that the only legitimate metaphysical hypotheses are those that unify two previously disparate scientific (...) explanations. I will critique Ladyman & Ross’ account of naturalized metaphysics, and offer an alternative view of naturalized metaphysics as a practice of constructing physically possible models of reality. This account yields a different view of science’s constraint on metaphysics, specifically, that models must be physically possible in order to be of methodological and heuristic use to scientists. (shrink)

This thesis focuses on models of conceptual change in science and philosophy. In particular, I developed a new bootstrapping methodology for studying conceptual change, centered around the formalization of several popular models of conceptual change and the collective assessment of their improved formal versions via nine evaluative dimensions. Among the models of conceptual change treated in the thesis are Carnap’s explication, Lakatos’ concept-stretching, Toulmin’s conceptual populations, Waismann’s open texture, Mark Wilson’s patches and facades, Sneed’s structuralism, and Paul Thagard’s conceptual revolutions. (...) -/- In order to analyze and compare the conception of conceptual change provided by these different models, I rely on several historical reconstructions of episodes of scientific conceptual change. The historical episodes of scientific change that figure in this work include the emergence of the morphological concept of fish in biological taxonomies, the development of scientific conceptions of temperature, the Church-Turing thesis and related axiomatizations of effective calculability, the history of the concept of polyhedron in 17th and 18th century mathematics, Hamilton’s invention of the quaternions, the history of the pre-abstract group concepts in 18th and 19th century mathematics, the expansion of Newtonian mechanics to viscous fluids forces phenomena, and the chemical revolution. I will also present five different formal and informal improvements of four specific models of conceptual change. I will first present two different improvements of Carnapian explication, a formal and an informal one. My informal improvement of Carnapian explication will consist of a more fine-grained version of the procedure that adds an intermediate, third step to the two steps of Carnapian explication. I will show how this novel three-step version of explication is more suitable than its traditional two-step relative to handle complex cases of explications. My second, formal improvement of Carnapian explication will be a full explication of the concept of explication itself within the theory of conceptual spaces. By virtue of this formal improvement, the whole procedure of explication together with its application procedures and its pragmatic desiderata will be reconceptualized as a precise procedure involving topological and geometrical constraints inside the theory of conceptual spaces. My third improved model of conceptual change will consist of a formal explication of Darwinian models of conceptual change that will make vast use of Godfrey-Smith’s population-based Darwinism for targeting explicitly mathematical conceptual change. My fourth improvement will be dedicated instead to Wilson’s indeterminate model of conceptual change. I will show how Wilson’s very informal framework can be explicated within a modified version of the structuralist model-theoretic reconstructions of scientific theories. Finally, the fifth improved model of conceptual change will be a belief-revision-like logical framework that reconstructs Thagard’s model of conceptual revolution as specific revision and contraction operations that work on conceptual structures. -/- At the end of this work, a general conception of conceptual change in science and philosophy emerges, thanks to the combined action of the three layers of my methodology. This conception takes conceptual change to be a multi-faceted phenomenon centered around the dynamics of groups of concepts. According to this conception, concepts are best reconstructed as plastic and inter-subjective entities equipped with a non-trivial internal structure and subject to a certain degree of localized holism. Furthermore, conceptual dynamics can be judged from a weakly normative perspective, bound to be dependent on shared values and goals. Conceptual change is then best understood, according to this conception, as a ubiquitous phenomenon underlying all of our intellectual activities, from science to ordinary linguistic practices. As such, conceptual change does not pose any particular problem to value-laden notions of scientific progress, objectivity, and realism. At the same time, this conception prompts all our concept-driven intellectual activities, including philosophical and metaphilosophical reflections, to take into serious consideration the phenomenon of conceptual change. An important consequence of this conception, and of the analysis that generated it, is in fact that an adequate understanding of the dynamics of philosophical concepts is a prerequisite for analytic philosophy to develop a realistic and non-idealized depiction of itself and its activities. (shrink)

State of art paper on the topic laws of nature, around the problem of identification what is to be a law of nature. The most prominent theories of contemporary philosophical literature are discussed and analysed, such as: the simple regularity theory, from Hume; the Mill-Ramsey-Lewis best systems theory; the Dretske-Tooley-Armstrong theory of laws as relations among universals; Ellis’s essentialist theory; Cartwright’s theory of laws as ceteris paribus laws; the anti-reductionist theories of Lange, Maudlin and Carroll, the anti-realist theories of Mumford, (...) van Fraassen and Giere; etc. (shrink)

The problem of the justification of inductive inferences, also known as ‘Hume’s problem’, seems to have lost strength since the early 20th century, following several authors’ denial that induction is the method of science. Van Fraassen went beyond this denial and recently stated that induction does not exist. It is our aim to show that, in order to bring forward a coherent vision of science, in his reconstruction it is the observable (a crucial term for his Constructive Empiricism) that is (...) logically prior to the act of observing and not the other way round. We called this ‘the reverse image of observation’. (shrink)

This thesis seeks to demonstrate the continuing relevance of Wittgenstein’s approach to the problem of freedom of the will, primarily as expounded in his “Lectures on Freedom of the Will”. My overall aim is to show how Wittgenstein works to reconfigure the debates about freedom of the will so that it can be confronted as the kind of problem he thinks it ultimately is: an ethical and existential problem. Not published until 1989, the LFW have received scant critical attention. I (...) argue that Wittgenstein’s approach is highly distinctive in a way that makes it significantly less vulnerable than its closest cousins to certain powerful lines of critical attack. Chapter One brings out the distinctiveness of the LFW, especially vis-à-vis a putatively Wittgensteinian form of compatibilism, exemplified by Kai Nielsen. Albeit in different ways, Wittgenstein and Nielsen are both concerned to show why being caused to act, e.g. by the laws of nature, does not equate to being compelled to act, e.g. against one’s will. Unlike Nielsen, however, Wittgenstein further recognises that showing the compatibility of freedom and natural laws establishes no more than the logical consistency of holding people responsible, given determinism, and so cannot itself constitute a defence of our practices. Chapter Two introduces, as a still closer comparison with Wittgenstein, P. F. Strawson’s practice-based defence of interpersonal, ‘reactive’ attitudes. I argue that the same correlation between a belief in freedom of the will and the primitive expression of ‘reactive’ attitudes/feelings is central also to the LFW. However, I further argue that certain major lines of criticism of Strawson’s practice-based defence of our current practices, familiar in the critical literature, do not in the same way threaten Wittgenstein’s defence of a broader practice-based approach, one that encompasses both reactive and non-reactive attitudes. Chapters Three and Four deal with the difficulties arising from the recognition that our most entrenched and ‘natural’ attitudes are non-reactive rather than reactive, including attitudes that are properly called ‘fatalistic’. Chapter Three develops a response to Galen Strawson’s criticism that if reactive and non-reactive attitudes are both equally expressive of human nature, then any merely descriptive approach to these attitudes will be incapable of resolving the fundamental question of which of these sorts of attitude we ought to adopt. Finally, Chapter Four examines Wittgenstein’s sustained interest in forms of life, especially religious forms of life, which appear to give equal weight to both reactive and non-reactive attitudes. (shrink)

We have two main aims: to construct mathematical models for analysing determinism, causality and supervenience; and then to use these to demonstrate the possibility of constructing an ontic construal of the operation of free will - one requiring both the presentation of genuine alternatives to an agent and their selecting between them in a manner that permits the attribution of responsibility. Determinism is modelled using trans-temporal ontic links between discrete juxtaposed universe states and shown to be distinct from predictability. Causality (...) is defined on a temporal sequence of δ-algebras and quantified using a measure. The measure leads to definitions of causal overdetermination and epiphenomena. Proofs are constructed to demonstrate deterministic universes must carry their properties essentially but not necessarily locally. We argue determinism and causality are separate doctrines. These models and results are marshalled to put the case that a counterfactual construal of ontic choice cannot work. In response we propose ‘immanence’ - a modified form of indeterminism whereby a universe can present choices to its denizens. We prove that beings subsumed within a universe cannot pilot their own actions. We then argue these beings can exercise free will only when selecting between choices inhering within immanent relata. A being is responsible for its selections if and only if it is constituted of a temporally evolving deterministic substructure. Our proposal is novel: it avoids injecting indeterminism into the decision process. Topological models for property supervenience are developed and used to reconstruct standard definitions from the literature. These are then used to demonstrate considerations of supervenience do not affect our arguments. We have demonstrated that a model of the exercise of free will involving both genuine choices and responsibility is possible but can only operate within a non-deterministic universe possessing specific traits. (shrink)

It is well known that de se (or ‘self-locating’) propositions complicate the standard picture of how we should respond to evidence. This has given rise to a substantial literature centered around puzzles like Sleeping Beauty, Dr. Evil, and Doomsday—and it has also sparked controversy over a style of argument that has recently been adopted by theoretical cosmologists. These discussions often dwell on intuitions about a single kind of case, but it’s worth seeking a rule that can unify our treatment of (...) all evidence, whether de dicto or de se. -/- This paper is about three candidates for such a rule, presented as replacements for the standard updating rule. Each rule stems from the idea that we should treat ourselves as a random sample, a heuristic that underlies many of the intuitions that have been pumped in treatments of the standard puzzles. But each rule also yields some strange results when applied across the board. This leaves us with some difficult options. We can seek another way to refine the random-sample heuristic, e.g. by restricting one of our rules. We can try to live with the strange results, perhaps granting that useful principles can fail at the margins. Or we can reject the random-sample heuristic as fatally flawed—which means rethinking its influence in even the simplest cases. (shrink)

Bayesian confirmation theory—abbreviated to in these notes—is the predominant approach to confirmation in late twentieth century philosophy of science. It has many critics, but no rival theory can claim anything like the same following. The popularity of the Bayesian approach is due to its flexibility, its apparently effortless handling of various technical problems, the existence of various a priori arguments for its validity, and its injection of subjective and contextual elements into the process of confirmation in just the places where (...) critics of earlier approaches had come to think that subjectivity and sensitivity to context were necessary. (shrink)

This thesis will utilise the literature on the distinction between doing harm and allowing harm to develop a novel system of moral sequencing that can be applied to general moral problems to decide if, when, and how an agent should intervene to prevent harm from occurring to another agent. Off the back of this discussion, this thesis will offer a way of determining the responsibility of certain agents for their actions within a moral sequence. These motivations will be at the (...) centre of the discussions in this thesis and will be accomplished by ultimately updating the system of moral sequencing so that it makes sense of practical cases of inner-agent change, which itself provides a justification for intervening earlier, and potentially diminishing the responsibility for agents who have experienced an inner-agent change, in a moral sequence. (shrink)

Rational credence should be coherent in the sense that your attitudes should not leave you open to a sure loss. Rational credence should be such that you can learn when confronted with relevant evidence. Rational credence should not be sensitive to irrelevant differences in the presentation of the epistemic situation. We explore the extent to which orthodox probabilistic approaches to rational credence can satisfy these three desiderata and find them wanting. We demonstrate that an imprecise probability approach does better. Along (...) the way we shall demonstrate that the problem of “belief inertia” is not an issue for a large class of IP credences, and provide a solution to van Fraassen’s box factory puzzle. (shrink)

My two daughters would love to go tobogganing down the hill by themselves, but they are just toddlers and I am an apprehensive parent, so, before letting them do so, I want to ensure that the toboggan won’t go too fast. But how fast will it go? One way to try to answer this question would be to tackle the problem head on. Since my daughters and their toboggan are initially at rest, according to classical mechanics, their final velocity will (...) be determined by the forces they will be subjected to between the moment the toboggan will be released at the top of the hill and the moment it will reach its highest speed. The problem is that, throughout their downhill journey, my daughters and the toboggan will be subjected to an incredibly large number of forces—from the gravitational pull of any massive object in the universe to the weight of the snowflake that is sitting on the tip of one of my youngest daughter’s hairs—so that any attempt to apply the theory directly to the real-world system in all its complexity seems to be doomed to failure. (shrink)

In this paper I argue for a priori conjectural scientific knowledge about the world. Physics persistently only accepts unified theories, even though endlessly many empirically more successful disunified rivals are always available. This persistent preference for unified theories, against empirical considerations, means that physics makes a substantial, persistent metaphysical assumption, to the effect that the universe has a (more or less) unified dynamic structure. In order to clarify what this assumption amounts to, I solve the problem of what it means (...) to say of a theory that it is unified. There are, I argue, eight different kinds of unity important in theoretical physics, all varieties of one basic idea. This provides us with a precise way of partially ordering physical theories with respect to their degree of unity. It also leads to a hierarchical view of physics, according to which physics makes a number of increasingly insubstantial metaphysical assumptions concerning the comprehensibility and knowability of the universe. Two of these are identified as constituting a priori conjectures. I conclude by arguing that the view developed in the paper resolves the traditional clash between empiricism and rationalism in the philosophy of science, and has important implications for science, and for academic inquiry more generally. (shrink)

Charles S. Peirce luokitteli 1865 päättelyn lajit deduktioon, induktioon ja hypoteesiin, joista viimeksi mainittua hän luonnehti päättelynä vaikutuksista syihin tai päättelynä selitykseen. Hypoteesi on Peircelle induktion ohella tietoa laajentava päätelmä. 1890-luvun lopun kirjoituksissaan hän alkoi kutsua hypoteettista päättelyä uusilla nimillä ”retroduktio” ja ”abduktio”. Tässä vaiheessa Peirce kuvasi abduktiota tieteellisen päättelyn ensimmäisenä askeleena, mahdollisten arvausten esittämisenä, jonka tulokset on asetettava induktion kautta testeihin. Hänen tunnetuin kaavionsa abduktion loogiselle muodolle on vuodelta 1903: The surprising fact C is observed; But if A were (...) true, C would be a matter of course. Hence, there is reason to think that A is true. Toisin sanoen abduktio päättelee yllättävästä tosiseikasta hypoteettiseen teoriaan, joka selittäisi tämän faktan. Peircen ajatukset tulivat laajemmin tunnetuiksi, kun kuusiosainen Collected Papers ilmestyi 1931-35. Maailmansodan jälkeen hänen ehdotuksiaan on tulkittu kolmessa suunnassa. Hansonin mukaan abduktio on keksimisen logiikkaa. Laudanin mukaan abduktiossa on kyse ohjeesta työskennellä kiinnostavan hypoteesin parissa. Harmanin mukaan abduktio on päättelyä parhaaseen selitykseen. Monet loogikot, tekoälyn tutkijat ja tieteenfilosofit käyttävät termiä ”abduktio” suoraviivaisesti IBE:n synonyyminä, kun taas varovaisemman kannan ottavat mm. Aliseda, Magnani ja Douven. Toisaalta tätä rinnastusta on eri syistä pidetty harhaanjohtavana abduktion todellisen luonteen ja tehtävän perusteella. Myös monet Peirce-tutkijat ovat ottaneet intohimoisesti kantaa asiaan vedoten mestarin monitulkintaisiin kirjoituksiin. Esimerkiksi Minnamaier esittää, että abduktion samaistaminen IBE:n kanssa hämärtäisi Peircen erottelua induktion ja abduktion välillä. Campos argumentoi, että abduktio tulisi rajata selittävien hypoteesien generoimiseen, joten valikointi hypoteesien välillä ei kuulu sen tehtäviin. Gaultierin mukaan skeeman johtopäätös ei ole suositus testata A:n totuutta, vaan selvittää, onko A todellakin mahdollinen selitys C:lle. Sen sijaan Nyrupin mukaan jättää avoimeksi, tukeeko onnistunut selitys hypoteesin totuutta, joten abduktiossa on kyse hypoteesin työstämisestä. Peircen kirjoituksista puolen vuosisadan aikana kuitenkin löytyy aineksia kaikille kolmelle abduktion päätulkinnalle. Abduktio on ainoa menetelmä uusien ideoiden generoimiseksi. Abduktio auttaa tunnistamaan testaamisen arvioisia hypoteeseja. Joissakin tapauksissa, kuten havainnoissa ja historiallisissa päätelmissä, abduktio on ”pakottavaa” tai ”täysin varmaa”, joten sillä voi olla tekemistä myös hypoteesien oikeuttamisen kanssa. Vaikka Peirce päätyi esittämään, ettei abduktiivisiin päätelmiin liity mitään todennäköisyyksiä, hän kuitenkin myöhäisissäkin töissään antoi abduktiolle selkeän loogisen muodon. Lisäksi abduktion ja IBE:n yhteyttä puolustaa käsikirjoitus ”The Logic of Drawing History from Ancient Documents”, jossa Peirce antaa kriteerejä ”abduktiolle eli hypoteesien valinnan prosessille”. Näitä kriteerejä ovat selitysvoima, testattavuus, varovaisuus, laajuus ja yksinkertaisuus. Samantapaisia metodologisia sääntöjä ovat muotoilleet ne tutkijat, jotka ovat kehitelleet eteenpäin IBE:n muotoja. Vastaus otsikon kysymykseen on siis ”kyllä ja ei”. Vaikka Peirce keksi termin ”abduktio”, hänellä ei ole loputonta yksinoikeutta määrätä sen käytöstä. Hän ajatuksensa ovat inspiroivia tavalla, joka voi johtaa abduktion tutkimisessa erilaisiin suuntiin. Näitä linjoja on tarpeetonta oikeaoppisesti pitää toisilleen vastakkaisina. Keksimisen logiikka on kiehtova aihe, mutta samalla tavoin on aihetta analysoida sitä, miten keksittyjen selityshypoteesien paremmuutta voidaan vertailla ja millaisilla ehdoilla voisimme olla oikeutettuja hyväksymään parhaan toistaiseksi löydetyistä selityksistä. Kaikki nämä loogis-metodologiset tutkimuslinjat tekevät omalla tavallaan oikeutta Peircen filosofian suurille oivalluksille. (shrink)

The claim that there can be relations without relata, submitted by the radical ontic structural realist, mounts a serious challenge to her: on the one hand, the world is constituted, according to this sort of realism, just by structures and relations, and on the other hand, relations depend, mathematics says, on individual objects as relata. To resolve the problem, Steven French has argued that while the dependency of relations on relata is conceivable concerning the structure associated with the source of (...) representation, radical ontic structural realism assumes the existence of relations devoid of relata regarding the target of representation. In this article, I will argue this solution considered together with his semantics for the sentences that contain terms referring apparently to individual objects seems incoherent. (shrink)

Van Fraassen’s (1989) infamous best of a bad lot objection is widely taken to be the most serious problem that afflicts theories of inference to the best explanation (IBE), for it alleges to show that we should not accept the conclusion of any case of such reasoning as it actually proceeds. Moreover, this is supposed to be the case irrespective of the details of the particular criteria used to select best explanations. The best of a bad lot objection is predicated (...) on, and really only requires, the idea that in any real case of IBE where one hypothesis is favored as best over those with which it competes, it is always the case that it is more likely that the true explanation is to be found in the set of unformulated and unconsidered logical alternatives to the set of actually considered hypotheses. On this basis, Van Fraassen believes that accepting the conclusion of IBEs so understood is irrational and this is simply because such inferences are supposedly not probative. In this paper the best of a bad lot objection will be addressed and it will be shown that Van Fraassen’s notorious criticism of IBE depends on a problematic conflation of two notions of rationality and thus that his criticism of IBE involves a damning equivocation. In essence, he conflates ideal standards of rationality with epistemic standards of rationality and, in so doing, makes it appear to be the case that we should not accept the conclusions of IBEs. But, when we disambiguate the concepts of rationality at work in the argument Van Fraassen’s conclusion simply does not follow. (shrink)

The Integrated Information Theory (IIT) formulated for the first time in 2004 by the neuroscientist Giulio Tononi, is a theoretical framework aiming to scientifically explain phenomenal consciousness. The IIT is presented in the first part of this work. Broadly speaking, integrated information is an abstract quantitative measure of the causal power a system has on itself. The main claim of IIT is the identity between informational structures and experience. The nature of this identity will be the subject of the second (...) part. One can interpret the IIT as a fundamental law of nature connecting the physical domain to the mental domain. The philosophical implications of such a claim are numerous and they are subject to criticism. This will be the main concern of the third and last part. (shrink)

My objective in this article is to question whether the problem of free will can, within our current conceptual system, be framed coherently. It is already widely recognized that a mental faculty, the will, needed to initiate action, no longer fits with current thought. However, we can still ask whether human decisions and actions are determined by something other than the agent. So the important question is whether we still have a cogent concept of determinism. The two prevalent alternatives are (...) a closed set of deterministic laws of nature, and a simple distillation of the principle of sufficient reason: all events must have a cause. I first provide examples showing that philosophical concepts come and go as categorial frameworks change. The modern concept of deterministic laws of nature was developed during the latter half of the modern period and is now being called seriously into question. G. W. Leibniz’s principle of sufficient reason could only be justified in theological terms, which most contemporary Western scholars reject. I end with an inadequate account of a dawning worldview based on complex adaptive systems theory, in which most human actions are best described in terms of non-necessitating propensities. (shrink)

I begin by making some distinctions between kinds of response to a skeptical claim, the purpose of which is to explain what I mean by a "dissolution" of the problem of induction, and to focus on one of the ways it can be implemented. I then argue that previous attempts to dissolve the problem in this way fail, present mine, and defend it. Finally, I show that the dissolution of the problem doesn't improve our normative situation and may even worsen (...) it. (shrink)

Mathematicians often speak of conjectures, yet unproved, as probable or well-confirmed by evidence. The Riemann Hypothesis, for example, is widely believed to be almost certainly true. There seems no initial reason to distinguish such probability from the same notion in empirical science. Yet it is hard to see how there could be probabilistic relations between the necessary truths of pure mathematics. The existence of such logical relations, short of certainty, is defended using the theory of logical probability (or objective Bayesianism (...) or non-deductive logic), and some detailed examples of its use in mathematics surveyed. Examples of inductive reasoning in experimental mathematics are given and it is argued that the problem of induction is best appreciated in the mathematical case. (shrink)

Eliminative reasoning is a method that has been employed in many significant episodes in the history of science. It has also been advocated by some philosophers as an important means for justifying well-established scientific theories. Arguments for how eliminative reasoning is able to do so, however, have generally relied on a too narrow conception of evidence, and have therefore tended to lapse into merely heuristic or pragmatic justifications for their conclusions. This paper shows how a broader conception of evidence not (...) only can supply the needed justification but also illuminates the methodological significance of eliminative reasoning in a variety of contexts. (shrink)

Es wird der Frage nachgegangen, ob das No-Miracle Argument als ein Schluss auf die beste Erklärung ein gutes Argument ist. Diese Frage ist auch deshalb interessant, weil, wenn sie bejaht werden kann, es rational ist, anzunehmen, dass reife wissenschaftliche Theorien uns einen epistemischen Zugang zu einer Welt jenseits des direkt Beobachtbaren erschließen.

Selection explanations explain some non-accidental generalizations in virtue of a selection process. Such explanations are not particulaizable - they do not transfer as explanations of the instances of such generalizations. This is unlike many explanations in the physical sciences, where the explanation of the general fact also provides an explanation of its instances (i.e. standard D-N explanations). Are selection explanations (e.g. in biology) therefore a different kind of explanation? I argue that to understand this issue, we need to see that (...) a standard D-N explanation of some non-accidental generalization (al Fs are Gs) may also ipso facto explain its contrapositive (all non-Gs are non-Fs), but the explanation is particularizable with respect to the former but not to the latter. This can be seen by noting that the Raven Paradox counterexample to the H-D model of confirmation also generates a counterexample to the D-N model of explanation (all ravens are black does not explain why the non-black shoe is a non-raven). In such cases it is natural to take the generalization with the positive predicates to have a particularizable explanation. However, this need not be the case, and in selection explanations it is the generalization with the positive predicates whose explanation is no particularizable. Thus there is no need to suppose that selection explanations are fundamentally different. (shrink)

English abstract: This paper discusses the delicate relationship between traditional epistemology and the increasingly influential probabilistic (or ‘Bayesian’) approach to epistemology. The paper introduces some of the key ideas of probabilistic epistemology, including credences or degrees of belief, Bayes’ theorem, conditionalization, and the Dutch Book argument. The tension between traditional and probabilistic epistemology is brought out by considering the lottery and preface paradoxes as they relate to rational (binary) belief and credence respectively. It is then argued that this tension can (...) be alleviated by rejecting the requirement that rational (binary) beliefs must be consistent and closed under logical entailment. Instead, it is suggested that this logical requirement applies to a different type of binary propositional attitude, viz. acceptance. (shrink)

In this paper, I reply to Seungbae Park’s (2021) reply to my (Mizrahi 2021) reply to his (Park 2020) critique of the view I defend in Chapter 6 of The Relativity of Theory: Key Positions and Arguments in the Contemporary Scientific Realism/Antirealism Debate (Cham: Springer, 2020), namely, Relative Realism. Relative Realism is the view that, of a set of competing scientific theories, the more successful theory is comparatively true. Comparative truth is a relation between competing theories. So, to say that (...) T1 is comparatively true is to say that T1 is closer to the truth than its competitors, T2, T3, …, Tn. In his latest reply, Park (2021) clarifies his notions of “T-space” and “F-space,” which he now labels “T-space” and “O-space,” and further develops what he calls the “Argument from Double Spaces,” which is supposed to show that, contrary to what the relative realist argues, relative judgments about the comparative truth of competing theories are not rationally justified. I argue that Park’s revised version of the “Argument from Double Spaces” still fails as an argument against Relative Realism. (shrink)

I offer an explicit account of the underdetermination thesis as well as of the many challenges it poses to scientific realism; a way to answer to these challenges is explored and outlined, by shifting attention to the content of theories. I argue that, even if we have solid grounds (as I contend we do) to support that some varieties of the underdetermination thesis are true, scientific realism can still offer an adequate picture of the aims and achievements of science.

"Partial realism" is a common position in the contemporary philosophy of science literature. It states that the "essential" elements of empirically successful scientific theories accurately represent corresponding features the world. This thesis makes several novel contributions related to this position. Firstly, it offers a new definition of the concept of “empirical success”, representing a principled merger between the use-novelty and unification accounts. Secondly, it provides a comparative critical analysis of various accounts of which elements are "essential" to the success of (...) a theory, including structural realism and the divide et impera strategy. A novel account of essentialness, entitled the “empirically successful sub-theory "account", is defended. Thirdly, it is argued that the realism/anti-realism debate should put to the side metaphysical questions and focus instead on partial realism's commitment to the continuity of science. Because this commitment lacks metaphysical implications, it is referred to as "deflationary realism". Anti-realists cannot reject deflationary realism as a matter of a priori principle; its overall viability can therefore only be assessed by a careful examination of the history of science. Finally, another consequence of partial realism, named "partial rationalism", is defended. Partial rationalism states that, in cases where several competing theories have been suggested, scientists are rational just in case they accept the essential elements of each of the scientific theories on offer. This novel position subverts the existing literature on scientific "revolutions", as it sometimes demands that scientists devise a synthesis between competing scientific theories, instead of "choosing" only one. The philosophical points defended in this thesis are illustrated and supported by case studies from the history of science, including Fresnel’s wave theory of light, the Copernican revolution, the "neo-Darwinian synthesis" in evolutionary biology, the "prion revolution" in molecular biology, the miasma theory of disease, and the chemical revolution. (shrink)

Philosophical theories of evidence have been on offer, but they are mostly evaluated in terms of all-or-none desiderata — if they fail to meet one of the desiderata, they are not a satisfactory theory. In this thesis, I aim to accomplish three missions. Firstly, I construct a new way of evaluating theories of evidence, which I call a tool-based view. Secondly, I analyse the nature of what I will call the various relevance-mediating vehicles that each theory of evidence employs. Thirdly, (...) I articulate the comparative core of evidential reasoning in the historical sciences, one which is overlooked in major theories of evidence. On the first mission, I endorse a meta-thesis of pluralism on theories of evidence, namely a tool-based view. I regard a theory of evidence as a purpose-specific and setting-sensitive tool which has its own strengths, difficulties and limitations. Among the major theories of evidence I have reviewed, I focus on Achinstein’s explanationist theory, Cartwright’s argument theory and Reiss’s inferentialist account, scrutinising and evaluating them against the purposes they set out and the scope of their applications. On the second mission, I note that there is no such thing as intrinsically ‘being evidence’. Rather, I hold that relevance-mediating vehicles configure data, materials or claims in such ways that some of them are labelled evidence. I identify the relevance-mediating vehicles that the theories of evidence employ. On the final mission, I argue that the likelihoodist account is an appropriate tool for explaining the evidential reasoning in poorly specified settings where likelihoods can be only imprecisely compared. Such settings, I believe, are typical in the historical sciences. Using the reconstruction of proto-sounds in historical linguistics as a case study, I formalise the rationale behind it by means of the law of likelihood. (shrink)