Ioannis G. Ntagkas

In recent epistemology many philosophers have adhered to a moderate foundationalism according to which some beliefs do not depend on other beliefs for their justification. Reliance on such ‘basic beliefs’ pervades both internalist and externalist theories of justification. In this article I argue that the phenomenon of perceptual learning – the fact that certain ‘expert’ observers are able to form more justified basic beliefs than novice observers – constitutes a challenge for moderate foundationalists. In order to accommodate perceptual learning cases, the moderate foundationalist will have to characterize the ‘expertise’ of the expert observer in such a way that it cannot be had by novice observers and that it bestows justification on expert basic beliefs independently of any other justification had by the expert. I will argue that the accounts of expert basic beliefs currently present in the literature fail to meet this challenge, as they either result in a too liberal ascription of justification or fail to draw a clear distinction between expert basic beliefs and other spontaneously formed beliefs. Nevertheless, some guidelines for a future solution will be provided.

In this dissertation, I develop and defend a model of causation that allows for dualist mental causation in worlds where the physical domain is physically complete. In Part I, I present the dualist ontology that will be assumed throughout the thesis and identify two challenges for models of mental causation within such an ontology: the exclusion worry and the common cause worry. I also argue that a proper response to these challenges requires a thoroughly lightweight account of causation, i.e. an account that allows for causes to be metaphysically distinct from the phenomena that produce or physically necessitate their effects. In Part II, I critically evaluate contemporary responses to these challenges from the philosophical literature. In particular, I discuss List and Stoljar’s criticism of exclusion worries, Kroedel’s alternative dualist ontology, concerns about the notion of causal sufficiency, and Lowe’s models of dualist mental causation. I argue that none of these proposals provide independent motivation for a thoroughly lightweight account of causation and therefore leave room for improvement. In the first four chapters of Part III, I develop a thoroughly lightweight model of causation, which builds on interventionist approaches to causation. First, I explain how so-called ‘holding fixed’-requirements in standard interventionist accounts stand in the way of dualist mental causation. I then argue that interventionist accounts should impose a robustness condition on causal correlations and that, with this condition in place, the ‘holding fixed’-requirements can be weakened such that they do allow for dualist mental causation. I dub the interventionist model with such weakened ‘holding fixed’-requirements ‘insensitive interventionism’, argue that it can counter the exclusion worry as well as the common cause worry, and explain under which circumstances it would predict there to be dualist mental causation. Importantly, these circumstances might, for all we know, hold in the actual world. In the final three chapters of Part III, I defend insensitive interventionism against some objections. I consider the objection that causation must be productive, the objection that causes must physically necessitate their effects, and the objection that insensitive interventionism is too permissive. I respond by drawing from the literature on causation by absences and on the relation between causation and fundamental physics. Overall, insensitive interventionism performs as well as standard interventionist accounts. I conclude that insensitive interventionism is a credible model of causation.

Some non-reductionists claim that so-called ‘exclusion arguments’ against their position rely on a notion of causal sufficiency that is particularly problematic. I argue that such concerns about the role of causal sufficiency in exclusion arguments are relatively superficial since exclusionists can address them by reformulating exclusion arguments in terms of physical sufficiency. The resulting exclusion arguments still face familiar problems, but these are not related to the choice between causal sufficiency and physical sufficiency. The upshot is that objections to the notion of causal sufficiency can be answered in a straightforward fashion and that such objections therefore do not pose a serious threat to exclusion arguments.

The doctrine of physicalism can be roughly spelled out simply as the claim that the physical state of the world determines the total state of the world. However, since there are many forms of determination, a somewhat more precise characterization is needed. One obvious problem with the simple formulation is that the traditional doctrine of epiphenomenalism holds that the mental is determined by the physical (and epiphenomenalists need not assert that there are any properties except mental and physical ones, so one can freely add to epiphenomenalism the claim that everything is determined by the physical state of the world). However, the orthodox view, which seems obviously correct, is that physicalists would and should balk at the claim that epiphenomenalism is a form of physicalism. The philosophical zombie thought experiment vividly reveals exactly why epiphenomenalism is not a version of physicalism. According to traditional epiphenomenalism the determination relation in question is causation, and causal relations do not hold with full necessity. They hold with at most nomological necessity. Thus there is a possible world, w, in which the causal laws (or, if one prefers a more Humean approach, where the cosmic regularities) are different in such a way that the physical states which in the actual world cause mental states either cause no mental states at all in w (the zombie option) or cause aberrant mental states (the inverted spectrum option). Why should the physicalist care about this ‘mere possibility’? Because it shows that the mental can vary independently of the physical and there can be no better demonstration of ontological distinctness 1 than independent variation. Therefore, physicalism requires that the sort of determination at issue must exhibit maximum modal force; it must be absolutely impossible for the mental to vary without attendant, determining physical variation (let us label this relation ‘logical determination’). I think the best way to state physicalism which meets this constraint is in terms of what are called minimal physical duplicates (MPDs) of possible worlds (an approach pioneered by David Lewis, see Lewis (1983b); see also Jackson (1998) and Chalmers and Jackson (2001))..

Semifactuals and Epiphenomenalism Mental properties are said to be epiphenomenal because they do not pass the counterfactual test of causal relevance. Jacob (1996) adopts the defence of causal efficacy of mental properties developed by LePore and Loewer (1987). They claim that those who argue for the epiphenomenalism of the mental place too strong a requirement on causal relevance, which excludes causally efficacious properties. Given a proper analysis of causal relevance, the causal efficacy of mental properties is saved. I defend the counterfactual test and epiphenomenalism of the mental against this critique. In causal counterfactuals we hold everything the same, take out the causal property and see if the effect property occurs. We do not replace the causal property with a barely different property as presupposed by LePore and Loewer. But I recognize some general problems in making counterfactual claims about mental events, which raise doubts about the usefulness of the counterfactual test in general.

I propose a new form of epiphenomenalism, 'explanatory epiphenomenalism', the view that the identification of A's mental properties does not provide a causal explanation of A's behaviour. I arrive at this view by showing that although anomalous monism does not entail type epiphenomenalism (despite what many of Davidson's critics have suggested), it does (when coupled with some additional claims) lead to the conclusion that the identification of A's reasons does not causally explain A's behaviour. I then formalize this view and show that it is an attractive position, because it captures the insights of existing forms of epiphenomenalism without their onerous metaphysical commitments.

I want to show that a common and plausible interpretation of what science tells us about the fundamental structure of the world – the ‘scientific picture of the world’ or SPW for short – leads to what I’ll call ‘generalized epiphenomenalism’, which is the view that the only features of the world that possess causal efficacy are fundamental physical features. I think that generalized epiphenomenalism follows pretty straightforwardly from the SPW as I’ll present it, but it might seem that, once granted, generalized epiphenomenalism is fairly innocuous, since its threat is too diffuse to provoke traditional worries about the epiphenomenal nature of mental states. If mental states are epiphenomenal only in the same sense that the putative powers of hurricanes, psyche- delic drugs or hydrogen bombs are epiphenomenal, then probably there is not much to worry about in the epiphenomenalism of the mental. I agree that the epiphenomenalism of hurricanes and the like is manageable, but it will turn out that ensuring manageability requires that mental states have an ontological status fundamentally different from that of hurricanes, drugs and bombs, a status that is in fact inconsistent with the SPW. So I’ll argue that generalized epiphenomenalism does have some seriously worrying consequences after all

Kripke models, interpreted realistically, have difficulty making sense of the thesis that there might have existed things that do not in fact exist, since a Kripke model in which this thesis is true requires a model structure in which there are possible worlds with domains that contain things that do not exist. This paper argues that we can use Kripke models as representational devices that allow us to give a realistic interpretation of a modal language. The method of doing this is sketched, with the help of an analogy with a Galilean relativist theory of spatial properties and relations.

Contemporaries often reject epiphenomenalism out of hand, while Russellian Monism is regarded as worthy of further development. It is argued here that this difference of attitudes is indefensible, because the easy rejection of EPI is due to its violating a certain Causal Intuition, and RM implicitly violates that same intuition. An enriched version of RM mitigates the violation, but the same mitigation results if we make a parallel enrichment of EPI. If RM and EPI are approached on a level playing field, it is not obvious which will prove to be the better view.

Some physicalists (Balog 2012, Howell 2013), and most dualists, endorse the acquaintance response to the Knowledge Argument. This is the claim that Mary gains substantial new knowledge, upon leaving the room, because phenomenal knowledge requires direct acquaintance with phenomenal properties. The acquaintance response is an especially promising way to make sense of the Mary case. I argue that it casts doubt on two claims often made on behalf of physicalism, regarding parsimony and mental causation. I show that those who endorse the acquaintance response face special obstacles to invoking parsimony in an argument for physicalism. And I show how acknowledging the phenomenon of acquaintance can ease the dualist’s problems with mental causation, by dispelling three key objections to epiphenomenalism. The most challenging of these objections is that epiphenomenalism blocks an evolutionary explanation of the so-called “hedonic/utility match”. I propose that pleasures and pains, while themselves epiphenomenal, can nonetheless explain positive and negative associations with stimuli, associations that can contribute to fitness.

I have always been a philosopher at heart. I write history of science and history of its philosophy primarily as a philosopher wary of his abstractions and broad conceptualizations. But that has not always been the case. Lakatos famously portrayed history of science as the testing ground for theories of scientific rationality. But he did so along the crudest Hegelian lines that did injury both to Hegel and to the history and methodology of science. Since science is ultimately rational, he argued, rival methodologies can prove their mettle by competing for whose tendentiously reconstructed account of the history of science renders more of it rational! My own approach to the relationship between history and philosophy of science started out perhaps a little more open-mindedly than Lakatos’s, but in a manner no less crude. Over the years the relationship between the history I wrote and the philosophy to which I was committed took on a firmer and more reciprocal shape. It did so in the course of a process that I now realize exemplified the philosophical position it eventually yielded. I would like to trace that development in the following pages and reflect as best I can on where it has lead and left me.

William Whewell was a giant of Victorian intellectual culture. His influence, whether recognized or forgotten, is palpable in areas as diverse as moral philosophy, mineralogy, architecture, the politics of education, physics, engineering, and theology. Recent studies of the place of the sciences in nineteenth-century Britain have repeatedly indicated the significance of Whewell's sweeping and critical proposals for a reformed account of scientific knowledge and moral values. However, until now there has been no detailed study of the context and impact of his project. This collection of essays by recognized authorities in the fields of history, history of science, and philosophy thus represents the first attempt to do justice to a magisterial nineteenth-century intellectual. More generally, it makes an important contribution to our understanding of Victorian intellectual life and its aftermath.

For many, the two key thinkers about science in the twentieth century are Thomas Kuhn and Karl Popper, and one of the key questions in contemplating science is how to make sense of theory change. In Creatively Undecided, philosopher Menachem Fisch defends a new way to make sense of the rationality of scientific revolutions. He argues, loosely following Kuhn, for a strong notion of the framework dependency of all scientific practice, while at the same time he shows how such frameworks can be deemed the possible outcomes of keen rational deliberation along Popperian lines. Fisch's innovation is to call attention to the importance of ambiguity and indecision in scientific change and advancement. Specifically, he backs the problem up, looking not at how we might communicate rationally across an already existing divide but at the rational incentive to create an alternative framework in the first place. Creatively Undecided will be essential reading for philosophers of science, and its vivid case study in Victorian mathematics will draw in historians.

This paper explores the relationship between mania, or pathologically elevated mood, and philosophical theories of well-being. A patient, Mr. M., is described who oscillated between periods when he refused medication and periods when he was willing to accept it, and whose desires and life objectives were radically different in his medicated and unmedicated states. The practical dilemmas this raised are explored in terms of the three principal philosophical theories of well-being: hedonism, the desire fulfillment theory, and objectivism. None of these adequately accounted for Mr. M.'s case: hedonism, because pleasure is increased in mildly manic states; desire fulfillment theories, because these suggest that an unending cycle of treatment and nontreatment would be in Mr. M.'s best interests; and objectivism, because, in a form that would be applicable to Mr. M., that theory brings with it substantial risks of paternalism. Four further philosophical approaches are explored briefly—approaches focusing on autonomy, rationality, personal identity, and illness, respectively—but these also provide no straightforward resolution of the clinical dilemmas. It is concluded that philosophical analysis, even if it does not resolve cases like Mr. M.'s, can deepen our understanding of the issues involved in clinical decision making in psychiatry, especially the importance of sensitivity to the patient's wishes and values; and conversely, that mild mania is an important "real life" case against which philosophical theories of well-being can be tested.

The article sets out a primitive ontology of the natural world in terms of primitive stuff—that is, stuff that has as such no physical properties at all—but that is not a bare substratum either, being individuated by metrical relations. We focus on quantum physics and employ identity-based Bohmian mechanics to illustrate this view, but point out that it applies all over physics. Properties then enter into the picture exclusively through the role that they play for the dynamics of the primitive stuff. We show that such properties can be local, as well as holistic, and discuss two metaphysical options to conceive them, namely, Humeanism and modal realism in the guise of dispositionalism. 1 Introduction2 Primitive Ontology: Primitive Stuff3 The Physics of Matter as Primitive Stuff4 The Humean Best System Analysis of the Dynamical Variables5 Modal Realism about the Dynamical Variables6 Conclusion.

Recent philosophy has paid considerable attention to the way our biases are liable to encroach upon our cognitive lives, diminishing our capacity to know and unjustly denigrating the knowledge of others. The extent of the bias, and the range of domains to which it applies, has struck some as so great as to license talk of a new form of skepticism. I argue that these depressing consequences are real and, in some ways, even more intractable than has previously been recognized. For the difficulties we face in this domain are fueled not only by implicit biases but by various other sorts of entrenched cognitive attitudes we bear toward others, whether or not we judge them to be our peers. Inasmuch as the epistemic standing of this broader set of attitudes is itself quite dubious, the problem of epistemic injustice turns out to be just one special case—albeit of a particularly nasty kind—from a broader domain of cases where the collaborative character of knowledge clashes with tendencies that make collaboration difficult. This makes the threat of skepticism all the greater, and at the same time makes it harder to see what path of escape there might be.

Oxford Studies in Medieval Philosophy showcases the best scholarly research in this flourishing field. The series covers all aspects of medieval philosophy, including the Latin, Arabic, and Hebrew traditions, and runs from the end of antiquity into the Renaissance. It publishes new work by leading scholars in the field, and combines historical scholarship with philosophical acuteness. The papers will address a wide range of topics, from political philosophy to ethics, and logic to metaphysics. OSMP is an essential resource for anyone working in the area.

First-order formalisations are often preferred to propositional ones because they are thought to underwrite the validity of more arguments. We compare and contrast the ability of some well-known logics—these two in particular—to formally capture valid and invalid arguments. We show that there is a precise and important sense in which first-order logic does not improve on propositional logic in this respect. We also prove some generalisations and related results of philosophical interest. The rest of the article investigates the results’ philosophical significance. A first moral is that the correct way to state the oft-cited superiority of first-order logic vis-`a-vis propositional logic is more nuanced than often thought. The second moral concerns semantic theory; the third logic’s use as a tool for discovery. A fourth and final moral is that second-order logic’s transcendence of first-order logic is greater than first-order logic’s transcendence of propositional logic.

Mathematics is everywhere and yet its objects are nowhere. There may be five apples on the table but the number five itself is not to be found in, on, beside or anywhere near the apples. So if not in space and time, where are numbers and other mathematical objects such as perfect circles and functions? And how do we humans discover facts about them, be it Pythagoras’ Theorem or Fermat’s Last Theorem? The metaphysical question of what numbers are and the epistemological question of how we know about them are central to the philosophy of mathematics. These and related philosophical questions are of particular interest because of mathematics’ unusual status. Mathematics is exceptional in that, on the one hand, it appears unhesitatingly true—no one doubts that 2 + 3 = 5—but on the other, as just noted, it is not about the physical world. This ambivalent status is what gives the philosophy of mathematics its special interest. The philosophy of mathematics is also one of the oldest academic fields, more or less coeval with philosophy itself. But contemporary philosophy of mathematics is rather different from its pre-twentieth-century antecedents, largely for three reasons. The first is that since the seventeenth century, mathematics has become integral to science. Science has over the past few centuries become increasingly mathematical, and indeed the fundamental science of nature, physics, is today recognised as a branch of applied mathematics. The second is that mathematics underwent a transformation in the course of nineteenth century: having started the century as a rather traditional-looking science of quantity it emerged a hundred years later a radically transformed abstract theory of structure. The final factor in the transformation of the philosophy of mathematics is the rise of modern logic. Developed by Frege, Cantor and others in the late nineteenth century, modern logic pervades contemporary mathematics, philosophy and computer science, and has had an immeasurable effect on the philosophy of mathematics. These volumes will collect the major works in this major field, with a focus on the last few decades. The anthology will include technical work, which interprets philosophically significant mathematical results or subfields of mathematics, as well as purely philosophical writing, aimed at those without advanced mathematics. The collection should be of interest to both philosophers and mathematicians, as well as to anyone who is susceptible to wondering what the main intellectual tool used in science, economics and finance, and indeed everyday life is ultimately about.

In this paper, we describe "metaphysical reductions", in which the well-defined terms and predicates of arbitrary mathematical theories are uniquely interpreted within an axiomatic, metaphysical theory of abstract objects. Once certain (constitutive) facts about a mathematical theory T have been added to the metaphysical theory of objects, theorems of the metaphysical theory yield both an analysis of the reference of the terms and predicates of T and an analysis of the truth of the sentences of T. The well-defined terms and predicates of T are analyzed as denoting abstract objects and abstract relations, respectively, in the background metaphysics, and the sentences of T have a reading on which they are true. After the technical details are sketched, the paper concludes with some observations about the approach. One important observation concerns the fact that the proper axioms of the background theory abstract objects can be reformulated in a way that makes them sound more like logical axioms. Some philosophers have argued that we should accept (something like) them as being logical.

Since the time of Aristotle, metaphysics has been an ill-defined term. This paper defines it as a logically idempotent metalinguistic identity of reality which couples the two initial ingredients of awareness: perceptual reality (the basis of physics), and cognitive-perceptual syntax, a formalization of mind. The explanation has been reduced to a few very simple, clearly explained mathematical ingredients. This paper contains no assumptions or arguable assertions, and is therefore presented as an advanced formulation of logic which has been updated for meaningful reference to the structure of reality at large. This structure, called the Cognitive-Theoretic Model of the Universe or CTMU, resolves the problems attending Cartesian dualism by replacing dualism with the mathematical property of self-duality, meaning (for reality-theoretic purposes) the quantum-level invariance of identity under permutation of objective and spatiotemporal data types. The CTMU takes the form of a global coupling or superposition of mind and physical reality in a self-dual metaphysical identity M:L<-->U, which can be intrinsically developed into a logico-geometrically self-dual, ontologically self- contained language incorporating its own medium of existence and comprising its own model therein.

The problem of causal inference is to determine if a given probability distribution on observed variables is compatible with some causal structure. The difficult case is when the causal structure includes latent variables. We here introduce the inflation technique for tackling this problem. An inflation of a causal structure is a new causal structure that can contain multiple copies of each of the original variables, but where the ancestry of each copy mirrors that of the original. To every distribution of the observed variables that is compatible with the original causal structure, we assign a family of marginal distributions on certain subsets of the copies that are compatible with the inflated causal structure. It follows that compatibility constraints for the inflation can be translated into compatibility constraints for the original causal structure. Even if the constraints at the level of inflation are weak, such as observable statistical independences implied by disjoint causal ancestry, the translated constraints can be strong. We apply this method to derive new inequalities whose violation by a distribution witnesses that distribution’s incompatibility with the causal structure. We describe an algorithm for deriving all such inequalities for the original causal structure that follow from ancestral independences in the inflation. For three observed binary variables with pairwise common causes, it yields inequalities that are stronger in at least some aspects than those obtainable by existing methods. We also describe an algorithm that derives a weaker set of inequalities but is more efficient. Finally, we discuss which inflations are such that the inequalities one obtains from them remain valid even for quantum generalizations of the notion of a causal model.

In order to claim that one has experimentally tested whether a noncontextual ontological model could underlie certain measurement statistics in quantum theory, it is necessary to have a notion of noncontextuality that applies to unsharp measurements, i.e., those that can only be represented by positive operator-valued measures rather than projection-valued measures. This is because any realistic measurement necessarily has some nonvanishing amount of noise and therefore never achieves the ideal of sharpness. Assuming a generalized notion of noncontextuality that applies to arbitrary experimental procedures, it is shown that the outcome of a measurement depends deterministically on the ontic state of the system being measured if and only if the measurement is sharp. Hence for every unsharp measurement, its outcome necessarily has an indeterministic dependence on the ontic state. We defend this proposal against alternatives. In particular, we demonstrate why considerations parallel to Fine’s theorem do not challenge this conclusion