I argue that Descartes' Second Causal Proof of God in the Third Meditation evidences, and commits him to, the belief that time is "strongly discontinuous" -- that is, that there is actually a gap between each consecutive moment of time. Much of my article attempts to reconcile this interpretation, the "received view," with Descartes' statements about time, space, and matter in his other writings, including his correspondence with various philosophers.

This paper is about the causal exclusion argument against non-reductive physicalism. Many philosophers think that this argument poses a serious problem for non-reductive theories of the mind — some think that it is decisive against them. In the first part I will outline non-reductive physicalism and the exclusion argument. Then I will distinguish between three versions of the argument that address three different versions of non-reductive physicalism. According to the first, the relation between mental and physical events is token-identity. (...) According to the second, mental events are distinct from physical events, but the latter metaphysically include and determine the former. And on the third version, mental and physical events are entirely distinct. I will argue that the causal exclusion argument is not decisive against non-reductive physicalism in any of the three versions. According to non-reductive physicalism, mental events are dependent on physical events. Causal exclusion and overdetermination, however, requires distinct and independent causes. I will argue that the burden of proof lies with the opponents of non-reductive physicalism, who have to explain how metaphysically dependent events can possibly overdetermine an effect or exclude each other from being causally efficacious. (shrink)

This paper puts forward three critiques of pardo’s second-order proof rules thesis. The first criticism states that these rules are not suitable to guide the interpretation of standards of proof rules because they confuse matters of legal interpretation with matters of epistemology. The second criticism states that second-order proof rules are affected by the same indeterminacy problems they are designed to resolve, thereby rendering them unsuitable for the task they are purposely designed for. The (...) third criticism renders pardo’s proposal redundant. a reconceptualization of second-order proof rules is offered. (shrink)

There is a long tradition of logic, from Aristotle to Gödel, of understanding a proof from the concepts of necessity and causality. Gödel's attempts to define provability in terms of necessity led him to the distinction of formal and absolute (abstract) provability. Turing's definition of mechanical procedure by means of a Turing machine (TM) and Gödel's definition of a formal system as a mechanical procedure for producing formulas prompt us to understand formal provability as a mechanical causality. We propose (...) a formalism which makes explicit the mechanical causal nature of a TM's work. We claim that Gödel's axiomatised ontotheology and his ontological proof give a clue for the understanding of the concept of absolute provability and the pattern of the corresponding absolute completeness proof, respectively. (shrink)

Gödel's ontological argument is related to Gödel's view that causality is the fundamental concept in philosophy. This explicit philosophical intention is developed in the form of an onto-theological Gödelian system based on justification logic. An essentially richer language, so extended, offers the possibility to express new philosophical content. In particular, theorems on the existence of a universal cause on a causal "slingshot" are formulated.

The third Meditation is typically understood to contain two a posteriori arguments for the existence of God. The author focuses on the second argument, where Descartes proves the existence of God partly in virtue of proving that Descartes cannot be the cause of himself. To establish this, Descartes argues that if he were the cause of himself, then he would endow himself with any conceivable perfection. The justification for this claim is that bringing about a substance is more difficult (...) than creating an attribute, so anything that can do the former can do the latter. While current explanations of this justification are either implausible or inadequate, the author argues that this principle derives support from a scholastic distinction between being-as-such and determinate being. With this distinction in view, we can make sense of Descartes's argument without appealing to ambiguous or inadequate notions. (shrink)

Avicenna's proof for the existence of God (the Necessary Existent) in the Metaphysics of the Salvation relies on the claim that every possible existent shares a common cause. I argue that Avicenna has good reason to hold this claim given that he thinks that (1) every essentially ordered causal series originates in a first, common cause and that (2) every possible existent belongs to an essentially ordered series. Showing Avicenna's commitment to 1 and 2 allows me to respond (...) to Herbert Davidson's and Richard Swinburne's claim that Avicenna's proof for the Necessary Existent is incomplete and fallacious -/- . (shrink)

Recent attempts to resolve the Paradox of the Gatecrasher rest on a now familiar distinction between individual and bare statistical evidence. This paper investigates two such approaches, the causal approach to individual evidence and a recently influential (and award-winning) modal account that explicates individual evidence in terms of Nozick's notion of sensitivity. This paper offers counterexamples to both approaches, explicates a problem concerning necessary truths for the sensitivity account, and argues that either view is implausibly committed to the impossibility (...) of no-fault wrongful convictions. The paper finally concludes that the distinction between individual and bare statistical evidence cannot be maintained in terms of causation or sensitivity. We have to look elsewhere for a solution of the Paradox of the Gatecrasher. (shrink)

I discuss an important feature of the notion of cause in Post. An. 1. 13, 78b13–28, which has been either neglected or misunderstood. Some have treated it as if Aristotle were introducing a false principle about explanation; others have understood the point in terms of coextensiveness of cause and effect. However, none offers a full exegesis of Aristotle's tangled argument or accounts for all of the text's peculiarities. My aim is to disentangle Aristotle's steps to show that he is arguing (...) in favour of a logical requirement for a middle term's being the appropriate cause of its explanandum. Coextensiveness between the middle term and the attribute it explains is advanced as a sine qua non condition of a middle term's being an appropriate or primary cause. This condition is not restricted either to negative causes or to middle terms in second‐figure syllogisms, but ranges over all primary causes qua primary. (shrink)

According to orthodox causal decision theory, performing an action can give you information about factors outside of your control, but you should not take this information into account when deciding what to do. Causal decision theorists caution against an irrational policy of 'managing the news'. But, by providing information about factors outside of your control, performing an act can give you two, importantly different, kinds of good news. It can tell you that the world in which you find (...) yourself is good in ways you can't control, and it can also tell you that the act itself is in a position to make the world better. While the first kind of news does not speak in favor of performing an act, I believe that the second kind of news does. I present a revision of causal decision theory which advises you to manage the news about the good you stand to promote, while ignoring news about the good the world has provided for you. (shrink)

Aristotelian causal theories incorporate some philosophically important features of the concept of cause, including necessity and essential character. The proposed formalization is restricted to one-place predicates and a finite domain of attributes (without individuals). Semantics is based on a labeled tree structure, with truth defined by means of tree paths. A relatively simple causal prefixing mechanism is defined, by means of which causes of propositions and reasoning with causes are made explicit. The distinction of causal and factual (...) explanation are elaborated, and examples of cyclic and convergent causation are given. Soundness and completeness proofs are sketched. (shrink)

A finer-grained delineation of a given explanandum reveals a nexus of closely related causal and non- causal explanations, complementing one another in ways that yield further explanatory traction on the phenomenon in question. By taking a narrower construal of what counts as a causal explanation, a new class of distinctively mathematical explanations pops into focus; Lange’s characterization of distinctively mathematical explanations can be extended to cover these. This new class of distinctively mathematical explanations is illustrated with the (...) Lotka-Volterra equations. There are at least two distinct ways those equations might hold of a system, one of which yields straightforwardly causal explanations, but the other of which yields explanations that are distinctively mathematical in terms of nomological strength. In the first, one first picks out a system or class of systems, finds that the equations hold in a causal -explanatory way; in the second, one starts with the equations and explanations that must apply to any system of which the equations hold, and only then turns to the world to see of what, if any, systems it does in fact hold. Using this new way in which a model might hold of a system, I highlight four specific avenues by which causal and non- causal explanations can complement one another. (shrink)

One of the most fundamental questions in the philosophy of mathematics concerns the relation between truth and formal proof. The position according to which the two concepts are the same is called deflationism, and the opposing viewpoint substantialism. In an important result of mathematical logic, Kurt Gödel proved in his first incompleteness theorem that all consistent formal systems containing arithmetic include sentences that can neither be proved nor disproved within that system. However, such undecidable Gödel sentences can be established (...) to be true once we expand the formal system with Alfred Tarski s semantical theory of truth, as shown by Stewart Shapiro and Jeffrey Ketland in their semantical arguments for the substantiality of truth. According to them, in Gödel sentences we have an explicit case of true but unprovable sentences, and hence deflationism is refuted. -/- Against that, Neil Tennant has shown that instead of Tarskian truth we can expand the formal system with a soundness principle, according to which all provable sentences are assertable, and the assertability of Gödel sentences follows. This way, the relevant question is not whether we can establish the truth of Gödel sentences, but whether Tarskian truth is a more plausible expansion than a soundness principle. In this work I will argue that this problem is best approached once we think of mathematics as the full human phenomenon, and not just consisting of formal systems. When pre-formal mathematical thinking is included in our account, we see that Tarskian truth is in fact not an expansion at all. I claim that what proof is to formal mathematics, truth is to pre-formal thinking, and the Tarskian account of semantical truth mirrors this relation accurately. -/- However, the introduction of pre-formal mathematics is vulnerable to the deflationist counterargument that while existing in practice, pre-formal thinking could still be philosophically superfluous if it does not refer to anything objective. Against this, I argue that all truly deflationist philosophical theories lead to arbitrariness of mathematics. In all other philosophical accounts of mathematics there is room for a reference of the pre-formal mathematics, and the expansion of Tarkian truth can be made naturally. Hence, if we reject the arbitrariness of mathematics, I argue in this work, we must accept the substantiality of truth. Related subjects such as neo-Fregeanism will also be covered, and shown not to change the need for Tarskian truth. -/- The only remaining route for the deflationist is to change the underlying logic so that our formal languages can include their own truth predicates, which Tarski showed to be impossible for classical first-order languages. With such logics we would have no need to expand the formal systems, and the above argument would fail. From the alternative approaches, in this work I focus mostly on the Independence Friendly (IF) logic of Jaakko Hintikka and Gabriel Sandu. Hintikka has claimed that an IF language can include its own adequate truth predicate. I argue that while this is indeed the case, we cannot recognize the truth predicate as such within the same IF language, and the need for Tarskian truth remains. In addition to IF logic, also second-order logic and Saul Kripke s approach using Kleenean logic will be shown to fail in a similar fashion. (shrink)

In his "Ontological proof", Kurt Gödel introduces the notion of a second-order value property, the positive property P. The second axiom of the proof states that for any property φ: If φ is positive, its negation is not positive, and vice versa. I put forward that this concept of positiveness leads into a paradox when we apply it to the following self-reflexive sentences: (A) The truth value of A is not positive; (B) The truth value of (...) B is positive. Given axiom 2, sentences A and B paradoxically cannot be both true or both false, and it is also impossible that one of the sentences is true whereas the other is false. (shrink)

In psychiatry, pharmacological drugs play an important experimental role in attempts to identify the neurobiological causes of mental disorders. Besides being developed in applied contexts as potential treatments for patients with mental disorders, pharmacological drugs play a crucial role in research contexts as experimental instruments that facilitate the formulation and revision of neurobiological theories of psychopathology. This paper examines the various epistemic functions that pharmacological drugs serve in the discovery, refinement, testing, and elaboration of neurobiological theories of mental disorders. I (...) articulate this thesis with reference to the history of antipsychotic drugs and the evolution of the dopamine hypothesis of schizophrenia in the second half of the twentieth century. I argue that interventions with psychiatric patients through the medium of antipsychotic drugs provide researchers with information and evidence about the neurobiological causes of schizophrenia. This analysis highlights the importance of pharmacological drugs as research tools in the generation of psychiatric knowledge and the dynamic relationship between practical and theoretical contexts in psychiatry. (shrink)

The development of causal modelling since the 1950s has been accompanied by a number of controversies, the most striking of which concerns the Markov condition. Reichenbach's conjunctive forks did satisfy the Markov condition, while Salmon's interactive forks did not. Subsequently some experts in the field have argued that adequate causal models should always satisfy the Markov condition, while others have claimed that non-Markovian causal models are needed in some cases. This paper argues for the second position (...) by considering the multi-causal forks, which are widespread in contemporary medicine (Section 2). A non-Markovian causal model for such forks is introduced and shown to be mathematically tractable (Sections 6, 7, and 8). The paper also gives a general discussion of the controversy about the Markov condition (Section 1), and of the related controversy about probabilistic causality (Sections 3, 4, and 5). (shrink)

Abstract In this paper I consider an easier-to-read and improved to a certain extent version of the causal chance-based analysis of counterfactuals that I proposed and argued for in my A Theory of Counterfactuals. Sections 2, 3 and 4 form Part I: In it, I survey the analysis of the core counterfactuals (in which, very roughly, the antecedent is compatible with history prior to it). In section 2 I go through the three main aspects of this analysis, which are (...) the following. First, it is a causal analysis, in that it requires that intermediate events to which the antecedent event is not a cause be preserved in the main truth-condition schema. Second, it highlights the central notion to the semantics of counterfactuals on the account presented here -- the notion of the counterfactual probability of a given counterfactual, which is the probability of the consequent given the following: the antecedent, the prior history, and the preserved intermediate events. Third, it considers the truth conditions for counterfactuals of this sort as consisting in this counterfactual probability being higher than a threshold. In section 3, I re-formulate the analysis of preservational counterfactuals in terms of the notion of being a cause, which ends up being quite compact. In section 4 I illustrate this analysis by showing how it handles two examples that have been considered puzzling – Morgenbesser's counterfactual and Edgington's counterfactual. Sections 5 and on constitute Part II: Its main initial thrust is provided in section 5, where I present the main lines of the extension of the theory from the core counterfactuals (analyzed in part I) to counterfactuals (roughly) whose antecedents are not compatible with their prior history. In this part II, I elaborate on counterfactuals that don't belong to the core, and more specifically on so-called reconstructional counterfactuals (as opposed to the preservational counterfactuals, which constitute the core counterfactual-type). The heart of the analysis is formulated in terms of processes leading to the antecedent (event/state), and more specifically in terms of processes likely to have led to the antecedent, a notion which is analyzed entirely in terms of chance. It covers so-called reconstructional counterfactuals as opposed to the core, so-called preservational counterfactuals, which are analyzed in sections 2 and 3 of part I. The counterfactual probability of such reconstructional counterfactuals is determined via the probability of possible processes leading to the antecedent weighed, primarily and roughly, by the conditional probability of the antecedent given such process: The counterfactual probability is thus, very roughly, a weighted sum for all processes most likely to have led to the antecedent, diverging at a fixed time. In section 6 I explain and elaborate further on the main points in section 5. In section 7 I illustrate the reconstructional analysis. I specify counterfactuals which are so-called process-pointers, since their consequent specifies stages in processes likely to have led to their antecedent. I argue that so-called backtracking counterfactuals are process-pointers counterfactuals, which fit into the reconstructional analysis, and do not call for a separate reading. I then illustrate cases where a speaker unwittingly employs a certain counterfactual while charitably construable as intending to assert (or ‘having in mind’) another. Here I also cover the issue of how to construe what one can take as back-tracking counterfactuals, or counterfactuals of the reconstructional sort, and more specifically, which divergence point they should be taken as alluding to (prior to which the history is held fixed). Some such cases also give rise to what one can take as a dual reading of a counterfactual between preservational and reconstructional readings. Such cases may yield an ambiguity, where in many cases one construal is dominant. In section 8 I illustrate the analysis by applying it to the famous Bizet-Verdi counterfactuals. This detailed analysis of counterfactuals (designed for the indeterministic case) has three main distinctive elements: its being chance-based, its causal aspect, and the use it makes of processes most likely to have led to the antecedent-event. This analysis is couched in a very different conceptual base from, and is an alternative account to, analyses in terms of the standard notion of closeness or distance of possible worlds, which is the main feature of the Stalnaker-Lewis-type analyses of counterfactuals. This notion of closeness or distance plays no role whatsoever in the analysis presented here. (This notion of closeness has been left open by Stalnaker, and to significant extent also by Lewis's second account.) . (shrink)

I explore, from a proof-theoretic perspective, the hierarchy of classical and paraconsistent logics introduced by Barrio, Pailos and Szmuc in (Journal o f Philosophical Logic,49, 93-120, 2021). First, I provide sequent rules and axioms for all the logics in the hierarchy, for all inferential levels, and establish soundness and completeness results. Second, I show how to extend those systems with a corresponding hierarchy of validity predicates, each one of which is meant to capture “validity” at a different inferential (...) level. Then, I point out two potential philosophical implications of these results. (i) Since the logics in the hierarchy differ from one another on the rules, I argue that each such logic maintains its own distinct identity (contrary to arguments like the one given by Dicher and Paoli in 2019). (ii) Each validity predicate need not capture “validity” at more than one metainferential level. Hence, there are reasons to deny the thesis (put forward in Barrio, E., Rosenblatt, L. & Tajer, D. (Synthese, 2016)) that the validity predicate introduced in by Beall and Murzi in (Journal o f Philosophy,110(3), 143–165, 2013) has to express facts not only about what follows from what, but also about the metarules, etc. (shrink)

For over 20 years, Jaegwon Kim’s Causal Exclusion Argument has stood as the major hurdle for non-reductive physicalism. If successful, Kim’s argument would show that the high-level properties posited by non-reductive physicalists must either be identical with lower-level physical properties, or else must be causally inert. The most prominent objection to the Causal Exclusion Argument—the so-called Overdetermination Objection—points out that there are some notions of causation that are left untouched by the argument. If causation is simply counterfactual dependence, (...) for example, then the Causal Exclusion Argument fails. Thus, much of the existing debate turns on the issue of which account of causation is appropriate. In this paper, however, I take a bolder approach and argue that Kim’s preferred version of the Causal Exclusion Argument fails no matter what account one gives of causation. Any notion of causation that is strong enough to support the premises of the argument is too strong to play the role required in the logic of the argument. I also consider a second version of the Causal Exclusion Argument, and suggest that although it may avoid the problems of the first version, it begs the question against a particular form of non-reductive physicalism, namely emergentism. (shrink)

The paper considers three questions. First, what is the connection between economics and agency? It is argued that causation and explanation in economics fundamentally depend on agency. So a philosophical understanding of economic explanation must be sensitive to an understanding of agency. Second, what is the connection between agency and causation? A causal view of agency-involving explanation is defended against a number of arguments from the resurgent noncausalist tradition in the literature on agency and action-explanation. If agency is (...) fundamental to economic explanation, it is argued, then so is causation. Third, what is the connection between causal explanation and the natural sciences? It is argued that, though the explanations given in economics and other social sciences are causal explanations, they are different in kind from the causal explanations of the natural sciences. On the one hand, then, the causal explanations of the social sciences are irreducible to those found in the natural sciences. On the other hand, the causal relations described by the social sciences are not completely autonomous; they do not float free of, or operate independently from, the causal relations charted by the natural sciences. (shrink)

In this paper, I motivate skepticism about the causal efficacy of moral properties in two ways. First, I highlight a tension that arises between two claims that moral realists may want to accept. The first claim is that physically indistinguishable things do not differ in any causally efficacious respect. The second claim is that physically indistinguishable things that differ in certain historical respects have different moral properties. The tension arises to the extent to which these different moral properties (...) are supposed to have different effects on people. I will introduce a class of cases in which this tension arises and suggest that the moral properties in these cases have no causal power. I will also question whether there are differences between the moral properties in these cases and moral properties in other cases that do not involve physically indistinguishable things that could make the latter moral properties causally efficacious. The second way that I motivate skepticism consists in pointing out a unique feature of cases in which moral properties are supposed both to supervene on historical properties and to be causally efficacious. These cases allow us to change moral properties with alleged effects while we hold constant the nonmoral candidates for causal contribution to those effects. This feature of these cases is unique because in most other cases the moral properties supervene on the physical properties in the nonmoral candidates, such that we cannot change the former while holding constant the latter. This way of changing moral properties provides empirical grounds for testing their causal efficacy. (shrink)

I examine the meaning and merits of a premise in the Exclusion Argument, the causal closure principle that all physical effects have physical causes. I do so by addressing two questions. First, if we grant the other premises, exactly what kind of closure principle is required to make the Exclusion Argument valid? Second, what are the merits of the requisite closure principle? Concerning the first, I argue that the Exclusion Argument requires a strong, “stringently pure” version of closure. (...) The latter employs two qualifications concerning the physical sufficiency and relative proximity of the physical cause required for every physical effect. The second question is addressed in two steps. I begin by challenging the adequacy of the empirical support offered by David Papineau for closure. Then I assess the merits of “level” and “domain” versions of stringently pure closure. I argue that a domain version lacks adequate and non-question-begging support within the context of the Exclusion Argument. And I argue that the level version leads to a puzzling metaphysics of the physical domain. Thus, we have grounds for rejecting the version of closure required for the Exclusion Argument. This means we can resist the Exclusion Argument while avoiding the implausible implications that come with rejecting one of its other premises. That is, because there are grounds to reject causal closure, one can reasonably affirm the non-overdeterminative causal efficacy of conscious mental states while denying that the latter are identical with physical states. (shrink)

I argue that Berkeley's distinctive idealism/immaterialism can't support his view that objects of sense, immediately or mediately perceived, are causally inert. (The Passivity of Ideas thesis or PI) Neither appeal to ordinary perception, nor traditional arguments, for example, that causal connections are necessary, and we can't perceive such connections, are helpful. More likely it is theological concerns,e.g., how to have second causes if God upholds by continuously creating the world, that's in the background. This puts Berkeley closer to (...) Malebranche than to Hume. -/- As far the what I call the "first strategy;" defending the passivity of ideas by ordinary introspection, I refer to the work of the French psychologist Albert Michotte,(1940) and those now extending his experiments, to show that (1) there is an immediate and quite robust visual impression of causality, (admitted in fact by Berkeley, Malebranche and Hume) and (2) of more importance, the impression isn't due to projecting into nature expectations gained from experienced regularities. (shrink)

For many philosophers, the relation of medicine to health is exemplary for understanding the relation of human power to nature in general. Drawing on Heidegger and Aquinas, this paper examines the relation of art to nature as it emerges in the second book of Aristotle’s Physics, and it does so by articulating the duality of efficient causality. The art of medicine operates as a dispositive cause rather than as a perfective cause; it removes obstacles to the achievement of health, (...) but it does not impose health. Medicine, on this conception, aids the efficient causality of the natural body rather than substituting for it. The loss of dispositive causality makes efficient causality an imposition of force that bypasses the natural power to achieve natural goods. The paper concludes, with Plato, by arguing that dispositive causality offers a way to understand not only medicine but also governing, teaching, and parenting. (shrink)

Several of Thomas Aquinas's proofs for the existence of God rely on the claim that causal series cannot proceed in infinitum. I argue that Aquinas has good reason to hold this claim given his conception of causation. Because he holds that effects are ontologically dependent on their causes, he holds that the relevant causal series are wholly derivative: the later members of such series serve as causes only insofar as they have been caused by and are effects of (...) the earlier members. Because the intermediate causes in such series possess causal powers only by deriving them from all the preceding causes, they need a first and non-derivative cause to serve as the source of their causal powers. (shrink)

The paper proposes two logical analyses of (the norms of) justification. In a first, realist-minded case, truth is logically independent from justification and leads to a pragmatic logic LP including two epistemic and pragmatic operators, namely, assertion and hypothesis. In a second, antirealist-minded case, truth is not logically independent from justification and results in two logical systems of information and justification: AR4 and AR4¢, respectively, provided with a question-answer semantics. The latter proposes many more epistemic agents, each corresponding to (...) a wide variety of epistemic norms. After comparing the different norms of justification involved in these logical systems, two hexagons expressing Aristotelian relations of opposition will be gathered in order to clarify how (a fragment of) pragmatic formulas can be interpreted in a fuzzy-based question-answer semantics. (shrink)

Causal decision theory defines a rational action as the one that tends to cause the best outcomes. If we adopt counterfactual or probabilistic theories of causation, then we may face problems in overdetermination cases. Do such problems affect Causal decision theory? The aim of this work is to show that the concept of causation that has been fundamental in all versions of causal decision theory is not the most intuitive one. Since overdetermination poses problems for a counterfactual (...) theory of causation, one can think that a version of causal decision theory based on counterfactual dependence may also be vulnerable to such scenarios. However, only when an intuitive, not analyzed notion of causation is presupposed as a ground for a more plausible version of causal decision theory, overdetermination turns problematic. The first interesting consequence of this is that there are more reasons to dismiss traditional theories of causation (and to accept others). The second is to confirm that traditional causal decision theory is not based on our intuitive concept of the causal relation. (shrink)

Proponents of the utilitarian animal welfare argument (AWA) for veganism maintain that it is reasonable to expect that adopting a vegan diet will decrease animal suffering. In this paper I argue otherwise. I maintain that (i) there are plausible scenarios in which refraining from meat-consumption will not decrease animal suffering; (ii) the utilitarian AWA rests on a false dilemma; and (iii) there are no reasonable grounds for the expectation that adopting a vegan diet will decrease animal suffering. The paper is (...) divided into four sections. In the first, I set out the utilitarian AWA in its original form. I give some background and I distinguish it from other, related arguments. In the second, I discuss the causal impotence objection, a popular objection to the utilitarian AWA. I explain how the objection works by means of a conceptual distinction between consumers and producers. In the third, I explain how proponents of the utilitarian AWA respond to this objection. In particular, I set out in some detail what I call the expected utility response. In the fourth and final section, I use the three objections noted above to explain why I do not find this response convincing. (shrink)

Can the second law of thermodynamics explain our mental experience of the direction of time? According to an influential approach, the past hypothesis of universal low entropy also explains how the psychological arrow comes about. We argue that although this approach has many attractive features, it cannot explain the psychological arrow after all. In particular, we show that the past hypothesis is neither necessary nor sufficient to explain the psychological arrow on the basis of current physics. We propose two (...) necessary conditions on the workings of the brain that any account of the psychological arrow of time must satisfy. And we propose a new reductive physical account of the psychological arrow of time compatible with time-symmetric physics, according to which these two conditions are also sufficient. Our proposal has some radical implications, for example, that the psychological arrow of time is fundamental, whereas the temporal direction of entropy increase in the second law of thermodynamics and the past hypothesis is derived from it, rather than the other way around. 1Introduction2A Physical Account of the Psychological Arrow of Time3Necessary Conditions for the Psychological Arrow of Time4The Psychological Arrow of Time via the Second Law of Thermodynamics and the Past Hypothesis5Why the Past Hypothesis Is Insufficient for the Psychological Arrow of Time5.1Stage 1, Version 1: From the past hypothesis to the psychological arrow via typicality5.2Stage 1, Version 2: From the past hypothesis to the psychological arrow via dynamical or causal considerations5.3Stage 2: From entropy gradient in the brain to the psychological arrow of time6Why the Past Hypothesis Is Unnecessary for the Psychological Arrow of Time7A New Reductive Account of the Psychological Arrow of Time. (shrink)

The problem of deviant causal chains is endemic to any theory of action that makes definitional or explanatory use of a causal connection between an agent’s beliefs and pro-attitudes and his bodily movements. Other causal theories of intentional phenomena are similarly plagued. The aim of this chapter is twofold. First, to defend Davidson’s defeatism. In his treatment of deviant causal chains, Davidson makes use of the clause “in the right way” to rule out causal waywardness, (...) but he regards any attempt at specifying ‘right’ sorts of causal histories as hopeless and even harmful. To my mind, Davidson’s defeatism contains a valuable insight, so I shall try to explain the reasons for it. Second, I shall try to answer a question that has often been ignored or passed over in the literature; namely the question of what it is that deviant causal chains deviate from. (shrink)

This paper aims to achieve a better understanding of what Socrates means by “sumfvne›n” in the sections of the Phaedo in which he uses the word, and how its use contributes both to the articulation of the hypothetical method and the proof of the soul’s immortality. Section I sets out the well-known problems for the most obvious readings of the relation, while Sections II and III argue against two remedies for these problems, the first an interpretation of what the (...) sumfvne› n relation consists in, the second an interpretation of what sorts of thing the relation is meant to relate. My positive account in Section IV argues that we should take the musical connotations of the term seriously, and that Plato was thinking of a robust analogy between the way pitches form unities when related by certain intervals, and the way theoretical claims form unities when related by explanatory co-dependence. Section V surveys the work of IV from the point of view of the initial difficulties and suggests further consequences for the hypothetical method, including the logical relation between the sumfvne›n and diafvne›n relations, and the need for care in ordering the results of a hypothesis. -/- “But anyhow I proceeded in this way: on each occasion hypothesising the lÒgow which I judged to be strongest, I put down as true the things that seem to me to sumfvne›n with it – both about a causal account and any of the other things that are – but those things that did not I put down as false.” (Phaedo 100a3-7). -/- “But if someone clung to the hypothesis itself, you would bid him goodbye and wouldn’t answer him until you had examined its results, whether according to you they sumfvne› or diafvne› with one another.” (Phaedo 101d3-5). (shrink)

Causal contextualism holds that sentences of the form ‘c causes e’ have context-sensitive truth-conditions. We consider four arguments invoked by Jonathan Schaffer in favor of this view. First, he argues that his brand of contextualism helps solve puzzles about transitivity. Second, he contends that how one describes the relata of the causal relation sometimes affects the truth of one’s claim. Third, Schaffer invokes the phenomenon of contrastive focus to conclude that causal statements implicitly designate salient alternatives (...) to the cause and effect. Fourth, he claims that the appropriateness of a causal statement depends on what is contextually taken for granted or made salient. We show that causal invariantism can explain these linguistic data at least as well as contextualism. We then argue that pace Schaffer, some causal sentences are always correct and can never be plausibly denied, regardless of the context. (shrink)

Many philosophers think all abstract objects are causally inert. Here, focusing on novels, I argue that some abstracta are causally efficacious. First, I defend a straightforward argument for this view. Second, I outline an account of object causation—an account of how objects cause effects. This account further supports the view that some abstracta are causally efficacious.

Abstract objects are standardly taken to be causally inert, however principled arguments for this claim are rarely given. As a result, a number of recent authors have claimed that abstract objects are causally efficacious. These authors take abstracta to be temporally located in order to enter into causal relations but lack a spatial location. In this paper, I argue that such a position is untenable by showing first that causation requires its relata to have a temporal location, but (...) class='Hi'>second, that if an entity is temporally located then it is spatiotemporally located since this follows from the theory of Relativity. Since abstract objects lack a spatiotemporal location, then if something is causally efficacious, it is not abstract. (shrink)

When evaluating theories of causation, intuitions should not play a decisive role, not even intuitions in flawlessly-designed thought experiments. Indeed, no coherent theory of causation can respect the typical person’s intuitions in redundancy (pre-emption) thought experiments, without disrespecting their intuitions in threat-and-saviour (switching/short-circuit) thought experiments. I provide a deductively sound argument for these claims. Amazingly, this argument assumes absolutely nothing about the nature of causation. I also provide a second argument, whose conclusion is even stronger: the typical person’s (...) class='Hi'>causal intuitions are thoroughly unreliable. This argument proceeds by raising the neglected question: in what respects is information about intermediate and enabling variables relevant to reliable causal judgment? (shrink)

Causal selection is the cognitive process through which one or more elements in a complex causal structure are singled out as actual causes of a certain effect. In this paper, we report on an experiment in which we investigated the role of moral and temporal factors in causal selection. Our results are as follows. First, when presented with a temporal chain in which two human agents perform the same action one after the other, subjects tend to judge (...) the later agent to be the actual cause. Second, the impact of temporal location on causal selection is almost canceled out if the later agent did not violate a norm while the former did. We argue that this is due to the impact that judgments of norm violation have on causal selection—even if the violated norm has nothing to do with the obtaining effect. Third, moral judgments about the effect influence causal selection even in the case in which agents could not have foreseen the effect and did not intend to bring it about. We discuss our findings in connection to recent theories of the role of moral judgment in causal reasoning, on the one hand, and to probabilistic models of temporal location, on the other. (shrink)

This paper aims to defend deliberation-compatibilism against several objections, including a recent counterexample by Yishai Cohen that involves a deliberator who believes that whichever action she performs will be the result of deterministic manipulation. It begins by offering a Moorean-style proof of deliberation-compatibilism. It then turns to the leading argument for deliberation-incompatibilism, which is based on the presumed incompatibility of causal determinism and the ‘openness’ required for rational deliberation. The paper explains why this argument fails and develops a (...) coherent account of how one can rationally deliberate and believe in causal determinism without inconsistency. The second half of the paper then takes up Cohen's proposed counterexample and his Four-Case Deliberation Argument against deliberation-compatibilism, which is meant to mirror Derk Pereboom's famous Four-Case Manipulation Argument. In response, the author defends a hard-line reply to FCDA but also argues that the notion of ‘sourcehood’ relevant to rational deliberation differs from that involved in free will. (shrink)

(1) Suppose that you care only about speaking the truth, and are confident that some particular deterministic theory is true. If someone asks you whether that theory is true, are you rationally required to answer "yes"? -/- (2) Suppose that you face a problem in which (as in Newcomb's problem) one of your options---call it "taking two boxes"---causally dominates your only other option. Are you rationally required to take two boxes? -/- Those of us attracted to causal decision theory (...) are under pressure to answer "yes" to both questions. However, it has been shown that many existing decision theories are inconsistent with doing so (Ahmed 2014). A simple proof shows that the same goes for an even wider class of theories: all "suppositional" decision theories. The moral is that causal decision theorists must either answer "no" to one of the above questions, or else abandon suppositional decision theories. (shrink)

This chapter presents a series of experiments that elicit causal judgments using statements that do not include the verb "to cause". In particular, our interest is in exploring the extent to which previously observed effects of normative considerations on agreement with what we call "cause"-statements, i.e. those of the form "X caused ..." extend as well to those of the form "X V-ed Y", where V is a lexical causative. Our principal finding is that in many cases the effects (...) do not extend in this way, and moreover that the cases where we do find the same pattern are those where the causal verb used has a negative valence of its own. We draw two main conclusions from this finding. First, it reveals how the almost exclusive focus on "cause"-statements in the experimental study of causal judgment has led to findings that are unrepresentative of the full range of ordinary causal thinking, and provides a proof of concept as to how this thinking can be studied in its full variety. Second, the results of our experiments provide significant indirect support for the contention that the effect of moral considerations on agreement with "cause"-statements reflect the fact that these statements are most often used to assign responsibility for an event, and not just to describe the causal structure of what happened. It is not causal judgments in general that result from a process in which normative considerations play a role, but perhaps only those judgments that express a determination of moral responsibility. (shrink)

After introductory reminder of and comments on Gödel’s ontological proof, we discuss the collapse of modalities, which is provable in Gödel’s ontological system GO. We argue that Gödel’s texts confirm modal collapse as intended consequence of his ontological system. Further, we aim to show that modal collapse properly fits into Gödel’s philosophical views, especially into his ontology of separation and union of force and fact, as well as into his cosmological theory of the nonobjectivity of the lapse of time. (...) As a result, modal collapse should not be conceived in Gödel so much as a deficit, but rather as a kind of the rise of modalities to the “perfect” being. We further show that, in accordance with Gödel’s ontology, the concepts of modality and time should be derived in terms of the “fundamental philosophical concept” of cause. To give an example of how a formalization of such causative Gödelian ontology and ontological proof might look, we propose the transformation of GO into a kind of causally re-interpreted justification logic. (shrink)

Callard (2007) argues that it is metaphysically possible that a mathematical object, although abstract, causally affects the brain. I raise the following objections. First, a successful defence of mathematical realism requires not merely the metaphysical possibility but rather the actuality that a mathematical object affects the brain. Second, mathematical realists need to confront a set of three pertinent issues: why a mathematical object does not affect other concrete objects and other mathematical objects, what counts as a mathematical object, and (...) how we can have knowledge about an unchanging object. (shrink)

This paper deals with the deuteros plous, literally ‘the second voyage’, proverbially ‘the next best way’, discussed in Plato’s Phaedo, the key passage being Phd. 99e4-100a3. I argue that (a) the ‘flight into the logoi’ can have two different interpretations, a standard one and a non-standard one. The issue is whether at 99e-100a Socrates means that both the student of erga and the student of logoi consider images (‘the standard interpretation’), or the student of logoi does not consider images (...) but that “consistency should suffice for truth” (‘the non-standard interpretation’); (b) the non-standard one implies the problem of the hypothesis, a problem analogous to the problem of the elenchus; (c) there is a structural analogy between Descartes’ ontological argument for the existence of God in his 5th Meditation and the final proof for the immortality of the soul in the Phaedo. (shrink)

A con-reason is a reason which plays a role in motivating and explaining an agent's behaviour, but which the agent takes to count against the course of action taken. Most accounts of motivating reasons in the philosophy of action do not allow such things to exist. In this essay, I pursue two aims. First, I argue that, whatever metaphysical story we tell about the relation between motivating reasons and action, con- reasons need to be acknowledged, as they play an explanatory (...) role not played by pro- reasons. Second, I respond to an argument recently developed by David-Hillel Ruben to the effect that a causal theory of action – still known as ‘the standard story’ – cannot account for con- reasons. His argument attempts to show that a fundamental principle of the causal theory cannot be reconciled with the role con- reasons play in a certain kind of imagined case. I first argue that a causal theorist is not, in fact, committed to the problematic. (shrink)

The thesis revolves around the following questions. What is time? Is time tensed or tenseless? Do things endure or perdure, i.e. do things persist by being wholly present at many times, or do they persist by having temporal parts? Do causes bring their effects into existence, or are they only correlated with each other? Within a realist approach to metaphysics, the author claims that the tensed view of time, the endurance view of persistence, and the production view of causality naturally (...) combine into what is called the dynamic view of temporal reality, and that the tenseless view of time, the perdurance view of persistence, and the correlation view of causality naturally combine into what is called the static view of temporal reality. The author argues in favour of a dynamic view. During the discussion a number of metaphysical problems are addressed. First, it is argued that the charges that the dynamic view is contradictory, made by J.M.E. McTaggart and David Lewis, are viciously circular. Secondly, it is argued that the static view cannot account for change, and deprives metaphysics of essential means to provide natural explanations to empirical phenomena. Thirdly, the author presents a novel account of the nature of necessary causal production. He suggests that the traditional conception of causes as essentially being external to the effects should be abandoned, and that causal production instead should be explicated in terms of reciprocal interactions between coexistent substances. (shrink)

Edward Feser defends the ‘Neo-Platonic proof ’ for the existence of the God of classical theism. After articulating the argument and a number of preliminaries, I first argue that premise three of Feser’s argument—the causal principle that every composite object requires a sustaining efficient cause to combine its parts—is both unjustified and dialectically ill-situated. I then argue that the Neo-Platonic proof fails to deliver the mindedness of the absolutely simple being and instead militates against its mindedness. Finally, (...) I uncover two tensions between Trinitarianism and the Neo-Platonic proof. (shrink)

In my thesis, I develop two distinct themes. The first part of my thesis is devoted to indicative conditionals and approaching them from an empirically informed perspective. In the second part, I am developing classical topics of philosophy of science, specifically, scientific objectivity and the role of values in science, in connection to recent methodological developments, revolving around the Replication Crisis.

In this Master's dissertation, I try to show that the causal theory of memory, which is the only theory developed so far that at first view seems more plausible and that could be integrated with psychological explanations and investigations of memory, shows some conceptual and ontological problems that go beyond the internal inconsistencies that each version can present. On one hand, the memory phenomenon analyzed is very limited: in general it is reduced to the conscious act of remembering expressed (...) in a propositional format: the idea of an agent who can control his memory reports, in contrast to a passive subject who merely retrieve his encoded memories, is not even considered. Furthermore, the representational function of memory is the only function taken into account; and all the diachronic changes that could entail a dynamic conception of memory are ignored, as is the consideration of context in a broad sense of the term. On the other hand, causal theories make some implicit assumptions that are obviously questionable (e.g., the difference between facts and events) and leave some of their key concepts unexplained, like the nature of the causality, the isomorphism between the memory trace and the memory event, etc. Nonetheless, the principal point that we criticized is the idea of a correspondence between a past event or representation of it, the correspondent memory trace and the memory representation of it. Psychological models of memory, with the exception of the spatial analogy, question some of these assumptions and suggest that memory information is organized in a way other than that implied by the causal theory. But it is distributed connectionism that actually challenges the causal theory of memory, not only through some of its basic postulates, like the superpositional conception of memory traces, their mutual influence and constant state of change, but also because it is compatible with a more situated approach to memory phenomena as well as with the idea that memory in reality accomplishes a variety of functions that go beyond the representational one. The explicit and implicit ideas provided by distributed connectionism, together with the previous criticisms that we made to of causal theory, clearly suggest the possibility of developing another kind of philosophical theory of memory, different from existing theories. This task, nonetheless, implies: (a) A much deeper study of connectionism principles and memory models, as well as of the rival candidate, symbolism, plus the evaluation of these models in the light of psychological and neurophysiological empirical research, which unfortunately I have not dealt with in this work. (b) An analysis of the metaphysical nature of events and facts, in order to see if we should decide in favor of a realist or a non-realist account. It is also clear that this decision can’t be taken without an examination of perception studies (and not exclusively philosophical ones) which would be crucial for determining what is encoded in memory, and studies devoted to language, which, I suspect, plays an important role in the segmentation of reality. (c) A clarification of the notion of causality, because we wouldn’t like to deny any kind entail the complete disappearance of boundaries between memory and imagination. And even if I suspect that my future work will question the existence of absolute boundaries between these two capacities, the notion of causality can’t be completely erase from the theory of memory without erasing the memory phenomenon itself. But this causality, as we’ve already showed, can’t consist in the naïve conception adopted by the causal accounts of memory, nor can it be explained in counterfactual terms. If we think of the reconsolidation concept, of the interdependence between all the memory system, and of the deciding influence of context, it’s almost sure that more than one notion of causality will need to be invoked in order to explain memory. (d) Because I do not want to reduce the study of memory exclusively to cases of remembering, it’s essential to analyze how memory intervenes not only in imagination, but also in perception, reasoning and future projection, for example. In this respect, we could quote the interesting articles of Atance & O’Neill (2001) and Bucker & Carroll (2006), the first concerning the relationship between episodic memory and episodic future thinking, the second concerning the relationship between episodic memory and all kinds of self-projection, such as navigation and theory of mind, relations that would also have to be explored from a philosophical perspective, in particular to overcome the tendency to suppose that representation is the only function of memory. I will also mention the necessity of combining the notion of metamemory with that of memory to some extent; as I have already remarked, it is implausible to suppose that a subject who consciously remembers something is unable to exert any kind of control over his memory reports. (e) Finally, in order to integrate a situated conception of memory into a philosophical account, it will also be indispensable to take into consideration what is known as “everyday memory research” as well as studies in social and collective memory. (shrink)

This paper introduces and defends a new principle for when a structural equation model is apt for analyzing actual causation. Any such analysis in terms of these models has two components: a recipe for reading claims of actual causation off an apt model, and an articulation of what makes a model apt. The primary focus in the literature has been on the first component. But the problem of structural isomorphs has made the second especially pressing (Hall 2007; Hitchcock 2007a). (...) Those with realist sympathies have reason to resist the standard response to this problem, which introduces a normative parameter into the metaphysics (Hall 2007; Halpern and Hitchcock 2010, 2015; Halpern 2016a; Menzies 2017; Gallow 2021). However, the only alternative solution in the literature leaves central questions unanswered (Blanchard and Schaffer 2017). I propose an independently motivated aptness requirement, Evident Mediation, that provides the missing details and resolves the structural isomorph problem without need for a normative parameter. (shrink)

Interesting as they are by themselves in philosophy and mathematics, paradoxes can be made even more fascinating when turned into proofs and theorems. For example, Russell’s paradox, which overthrew Frege’s logical edifice, is now a classical theorem in set theory, to the effect that no set contains all sets. Paradoxes can be used in proofs of some other theorems—thus Liar’s paradox has been used in the classical proof of Tarski’s theorem on the undefinability of truth in sufficiently rich languages. (...) This paradox (as well as Richard’s paradox) appears implicitly in Gödel’s proof of his celebrated first incompleteness theorem. In this paper, we study Yablo’s paradox from the viewpoint of first- and second-order logics. We prove that a formalization of Yablo’s paradox (which is second order in nature) is non-first-orderizable in the sense of George Boolos (1984). (shrink)

This dissertation begins by addressing the question of when a causal model is apt for deciding questions of actual causation with respect to some target situation. I first provide relevant background about causal models, explain what makes them promising as a tool for analyzing actual causation, and motivate the need for a theory of aptness as part of such an analysis (Chapter 1). I then define what it is for a model on a given interpretation to be accurate (...) of, that is, say only true things about, some target situation. This involves a systematization of various representational principles mentioned and/or discussed throughout the literature into a method of interpretation, which I propose be taken as standard (Chapter 2). Next, I explain and address two reasons for which accuracy as I’ve defined it is insufficient for aptness. The first reason – already discussed in the literature – is the problem of structural isomorphs. In response, I propose the aptness condition of Explicit Partial Mediation (Chapter 3). The second reason – which has yet to be noticed – is the problem of the indeterminacy of accuracy. As I demonstrate, a model is accurate of a target situation only relative to a set of background possibilities – what I call a modal profile. It follows that a model represents a situation only relative to some modal profile or other. I go on to discuss the ramifications of this observation for a theory of actual causation in terms of models. I argue that the relativity be taken at face value and built into our metaphysical account of causation, resulting in a view that I call causal relativism (Chapter 4). I explore one advantage of this view in detail: that the resulting account can defend the principle of strong proportionality against several objections (Chapter 5). Finally, I apply the earlier discussion of aptness to attempts to provide a semantics of counterfactuals in terms of causal models – an interventionist semantics. I show how just as a similarity semantics relies on an opaque notion of similarity, an interventionist semantics relies on an analogous notion of aptness. The challenge of articulating aptness thus undermines the claim that an interventionist semantics avoids representational problems inherent in a similarity semantics (Chapter 6). I close with a recap and suggestions for future research (Chapter 7). -/- . (shrink)