Michael Baumgartner

According to a prevalent view among philosophers formal logic is the philosopher’s main tool to assess the validity of arguments, i.e. the philosopher’s ars iudicandi. By drawing on a famous dispute between Russell and Strawson over the validity of a certain kind of argument – of arguments whose premises feature definite descriptions – this paper casts doubt on the accuracy of the ars iudicandi conception. Rather than settling the question whether the contentious arguments are valid or not, Russell and Strawson, upon discussing the proper logical analysis of definite descriptions, merely contrast converse informal validity assessments rendered explicit by nonequivalent logical for-malizations.

The first part of this paper finds Craver’s (2007) mutual manipulability theory (MM) of constitution inadequate, as it definitionally ties constitution to the feasibility of idealized experiments, which, however, are unrealizable in principle. As an alternative, the second part develops an abductive theory of constitution (NDC), which exploits the fact that phenomena and their constituents are unbreakably coupled via common causes. The best explanation for this common-cause coupling is the existence of an additional dependence relation, viz. constitution. Apart from adequately capturing the essential characteristics of constitution missed by MM, NDC has important ramifications for constitutional discovery—most notably, that there is no experimentum crucis for constitution, not even under ideal discovery circumstances.

An actual cause of some token effect is itself a token event that helped to bring about that effect. The notion of an actual cause is different from that of a potential cause – for example a pre-empted backup – which had the capacity to bring about the effect, but which wasn't in fact operative on the occasion in question. Sometimes actual causes are also distinguished from mere background conditions: as when we judge that the struck match was a cause of the fire, while the presence of oxygen was merely part of the relevant background against which the struck match operated. Actual causation is also to be distinguished from type causation: actual causation holds between token events in a particular, concrete scenario; type causation, by contrast, holds between event kinds in scenario kinds

For a long time, regularity accounts of causation have virtually vanished from the scene. Problems encountered within other theoretical frameworks have recently induced authors working on causation, laws of nature, or methodologies of causal reasoning – as e.g. May (Kausales Schliessen. Eine Untersuchung über kausale Erklärungen und Theorienbildung. Ph.D. thesis, Universität Hamburg, Hamburg, 1999), Ragin (Fuzzy-set social science. Chicago: University of Chicago Press, 2000), Graßhoff and May (Causal regularities. In W. Spohn, M. Ledwig, & M. Esfeld (Eds.), Current issues in causation (pp. 85–114). Paderborn: Mentis, 2001), Swartz (The concept of physical law (2nd ed.). http://www.sfu.ca/philosophy/physical-law/, 2003), Halpin (Erkenntnis, 58, 137–168, 2003) – to direct their attention back to regularity theoretic analyses. In light of the latest proposals of regularity theories, the paper at hand therefore reassesses the criticism raised against regularity accounts since the INUS theory of causation of Mackie (The cement of the universe. A study of causation. Oxford: Clarendon Press, 1974). It is shown that most of these objections target strikingly over-simplified regularity theoretic sketches. By outlining ways to refute these objections it is argued that the prevalent conviction as to the overall failure of regularity theories has been hasty.

While standard procedures of causal reasoning as procedures analyzing causal Bayesian networks are custom-built for (non-deterministic) probabilistic struc- tures, this paper introduces a Boolean procedure that uncovers deterministic causal structures. Contrary to existing Boolean methodologies, the procedure advanced here successfully analyzes structures of arbitrary complexity. It roughly involves three parts: first, deterministic dependencies are identified in the data; second, these dependencies are suitably minimalized in order to eliminate redundancies; and third, one or—in case of ambiguities—more than one causal structure is assigned to the minimalized deterministic dependencies.

The first part of this paper presents an argument showing that the currently most highly acclaimed interventionist theory of causation, i.e. the one advanced by Woodward, excludes supervening macro properties from having a causal influence on effects of their micro supervenience bases. Moreover, this interventionist exclusion argument is demonstrated to rest on weaker premises than classical exclusion arguments. The second part then discusses a weakening of interventionism that Woodward suggests. This weakened version of interventionism turns out either to be inapplicable to cases of downward causation involving supervening macro properties or to render corresponding causal claims meaningless. In sum, the paper argues that, contrary to what many non-reductive physicalists claim, interventionism does not render non-reductive physicalism immune to the problem of causal exclusion

One of the central objectives Shapiro and Sober pursue in is to show that what they call the master argument for epiphenomenalism, which is a type of causal exclusion argument, fails. Epiphe nomenalism, according to the terminology adopted in, designates the thesis that supervening macro properties have no causal influence on micro proper ties that are caused by the micro supervenience bases of those macro properties. Well-known classical exclusion arguments are designed to yield such macro-tomicro epiphenomenalism along the lines of the following reasoning: subject to the widely accepted principle of the causal closure of the physical, there exists a causally sufficient micro cause for every micro effect; if it is additionally assumed that macro properties supervene on micro properties without being identical to the latter and if — in light of the rareness of cases of causal overdetermination — micro effects are assumed not to be systematically overdetermined, it follows that macro properties are causally inert with respect to effects of their micro supervenience bases.

The first part of this paper argues that if Craver’s ([2007a], [2007b]) popular mutual manipulability account (MM) of mechanistic constitution is embedded within Woodward’s ([2003]) interventionist theory of causation--for which it is explicitly designed--it either undermines the mechanistic research paradigm by entailing that there do not exist relationships of constitutive relevance or it gives rise to the unwanted consequence that constitution is a form of causation. The second part shows how Woodward’s theory can be adapted in such a way that (MM) neither undermines the mechanistic paradigm nor reduces constitution to causation. However, it turns out that this modified theoretical embedding of (MM) makes it impossible to produce empirical evidence for constitutive relations. The paper ends by suggesting an additional criterion, the fat-handedness criterion, which, when combined with (MM), generates indirect empirical evidence for constitutive relevance.

 This article identifies problems with regard to providing criteria that regulate the matching of logical formulae and natural language. We then take on to solve these problems by defining a necessary and sufficient criterion of adequate formalization. On the basis of this criterion we argue that logic should not be seen as an ars iudicandi capable of evaluating the validity or invalidity of informal arguments, but as an ars explicandi that renders transparent the formal structure of informal reasoning

The majority of the currently flourishing theories of actual causation are located in a broadly counterfactual framework that draws on structural equations. In order to account for cases of symmetric overdeterminiation and preemption, these theories resort to rather intricate analytical tools, most of all, to what Hitchcock has labeled explicitly nonforetracking counterfactuals. This paper introduces a regularity theoretic approach to actual causation that only employs material conditionals, standard Boolean minimization procedures, and a stability condition that regulates the behavior of causal models under model expansions. Notwithstanding its lightweight analytical toolbox, this regularity theory performs at least as well as the structural equations accounts with their heavy appliances.

In recent years, the debate on the problem of causal exclusion has seen an ‘interventionist turn’. Numerous non-reductive physicalists (e.g. Shapiro and Sober 2007) have argued that Woodward's (2003) interventionist theory of causation provides a means to empirically establish the existence of non-reducible mental-to-physical causation. By contrast, Baumgartner (2010) has presented an interventionist exclusion argument showing that interventionism is in fact incompatible with non-reductive physicalism. In response, a number of revised versions of interventionism have been suggested that are compatible with non-reductive physicalism. The first part of this paper reconstructs the definitional details of these modified interventionist theories. The second part investigates whether the modification proposed in Woodward (2011) is not only compatible with, but moreover supports non-reductive physicalism. In particular, it is examined whether that newest variant of interventionism allows for empirically resolving the problem of causal exclusion as envisaged by Shapiro, Sober and others

Non-reductive interventionist theories of causation and methodologies of causal reasoning embedded in that theoretical framework have become increasingly popular in recent years. This paper argues that one variant of an interventionist account of causation, viz. the one presented, for example, in Woodward (2003 ), is unsuited as a theoretical fundament of interventionist methodologies of causal reasoning, because it renders corresponding methodologies incapable of uncovering a causal structure in a finite number of steps. This finding runs counter to Woodward's own assessment and to other recent studies which presume that Woodward's version of interventionism is effectively applicable to uncover causal structures, e.g. Campbell (2007 ) or Shapiro and Sober (2007 ).

The first part of this paper reveals a conflict between the core principles of deterministic causation and the standard method of difference, which is widely seen as a correct method of causally analyzing deterministic structures. We show that applying the method of difference to deterministic structures can give rise to causal inferences that contradict the principles of deterministic causation. The second part then locates the source of this conflict in an inference rule implemented in the method of difference according to which factors that can make a difference to investigated effects relative to one particular test setup are to be identified as causes, provided the causal background of the corresponding setup is homogeneous. The paper ends by modifying the method of difference in a way that renders it compatible with the principles of deterministic causation.

A natural language argument may be valid in at least two nonequivalent senses: it may be interpretationally or representationally valid (Etchemendy in The concept of logical consequence. Harvard University Press, Cambridge, 1990). Interpretational and representational validity can both be formally exhibited by classical first-order logic. However, as these two notions of informal validity differ extensionally and first-order logic fixes one determinate extension for the notion of formal validity (or consequence), some arguments must be formalized by unrelated nonequivalent formalizations in order to formally account for their interpretational or representational validity, respectively. As a consequence, arguments must be formalized subject to different criteria of adequate formalization depending on which variant of informal validity is to be revealed. This paper develops different criteria that formalizations of an argument have to satisfy in order to exhibit the latter’s interpretational or representational validity

This paper addresses a problem that arises when it comes to inferring deterministic causal chains from pertinent empirical data. It will be shown that to every deterministic chain there exists an empirically equivalent common cause structure. Thus, our overall conviction that deterministic chains are one of the most ubiquitous (macroscopic) causal structures is underdetermined by empirical data. It will be argued that even though the chain and its associated common cause model are empirically equivalent there exists an important asymmetry between the two models with respect to model expansions. This asymmetry might constitute a basis on which to disambiguate corresponding causal inferences on non-empirical grounds.

According to the standard opinions in the literature, blocking the unacceptable consequences of the notorious slingshot argument requires imposing constraints on the metaphysics of facts or on theories of definite descriptions (or class abstracts). This paper argues that both of these well-known strategies to rebut the slingshot overshoot the mark. The slingshot, first and foremost, raises the question as to the adequate logical formalization of statements about facts, i.e. of factual contexts. It will be shown that a rigorous application of Quine’s maxim of shallow analysis to formalizations of factual contexts paves the way for an account of formalizing such contexts which blocks the slingshot without ramifications for theories of facts or definite descriptions.

The essential precondition of implementing interventionist techniques of causal reasoning is that particular variables are identified as so-called intervention variables. While the pertinent literature standardly brackets the question how this can be accomplished in concrete contexts of causal discovery, the first part of this paper shows that the interventionist nature of variables cannot, in principle, be established based only on an interventionist notion of causation. The second part then demonstrates that standard observational methods that draw on Bayesian networks identify intervention variables only if they also answer the questions that can be answered by interventionist techniques—which are thus rendered dispensable. The paper concludes by suggesting a way of identifying intervention variables that allows for exploiting the whole inferential potential of interventionist techniques

This paper argues that, notwithstanding the remarkable popularity of Woodward's (2003) interventionist analysis of causation, the exact definitional details of that theory are surprisingly little understood. There exists a discrepancy in the literature between the clarity about the logical details of interventionism, on the one hand, and the enormous work interventionism is expected to do, on the other. The first part of the paper distinguishes three significantly different readings of the logical form of Woodward's (2003) interventionist theory and identifies the reading that best captures the basic intuitions behind interventionism. In the second part, I show that this preferable reading is far from doing all the work that friends of interventionism would like it to do.

The first part of this paper shows that Qualitative Comparative Analysis (QCA)--also in its most recent forms as presented in Ragin (2000, 2008)--, does not correctly analyze data generated by causal chains, which, after all, are very common among causal processes in the social sciences. The incorrect modeling of data originating from chains essentially stems from QCA’s reliance on Quine-McCluskey optimization to eliminate redundancies from sufficient and necessary conditions. Baumgartner (2009a,b) has introduced a Boolean methodology, termed Coincidence Analysis (CNA), that is related to QCA, yet, contrary to the latter, does not eliminate redundancies by means of Quine-McCluskey optimization. The second part of the paper applies CNA to chain-generated data. It will turn out that CNA successfully detects causal chains in small-N data.

It has become a popular view among non-reductive physicalists that it is possible to devise empirical tests generating evidence for the causal efficacy of the mental, whereby the exclusion worries that have haunted the position of non-reductive physicalism for decades can be dissolved once and for all. This paper aims to show that these evidentialist hopes are vain. I argue that, if the mental is taken to supervene non-reductively on the physical, there cannot exist empirical evidence for its causal efficacy. While causal structures without non-reductive supervenience relations can be conclusively identified in ideal discovery circumstances, it is impossible, in principle, to generate evidence that would favour models with mental causation over models without. Ascribing causal efficacy to the mental, for the non-reductive physicalist, is a modelling choice that must be made on the basis of metaphysical background theories or pragmatic maxims guiding the selection among empirically indistinguishable models.

Causal slingshots are formal arguments advanced by proponents of an event ontology of token-level causation which, in the end, are intended to show two things: (i) The logical form of statements expressing causal dependencies on token level features a binary predicate ‘‘... causes ...’’ and (ii) that predicate takes events as arguments. Even though formalisms are only revealing with respect to the logical form of natural language statements, if the latter are shown to be adequately captured within a corresponding formalism, proponents of slingshots usually take the adequacy of their formalizations for granted without justifying it. The first part of this paper argues that the most discussed version of a causal slingshot, viz. the one e.g. presented by Davidson (Essays on actions and events. Oxford, Clarendon Press, 1980), can indeed be refuted for relying on an inadequate formal apparatus. In contrast, the formal means of Gödel’s (The philosophy of Betrand Russell. New York, Tudor, 1944) often neglected slingshot are shown to stand on solid ground in the second part of the paper. Nonetheless, I contend that Gödel’s slingshot does only half the work friends of event causation would like it to do. It provides good reasons for (i) but not for (ii).

In "The Comparative Method" Ragin (1987) has outlined a procedure of Boolean causal reasoning operating on pure coincidence data that has meanwhile become widely known as QCA (Qualitative Comparative Analysis) among social scientists. QCA -- also in its recent form as presented in Ragin (2000) -- is designed to analyze causal structures featuring one effect and a possibly complex configuration of mutually independent direct causes of that effect. The paper at hand presents a procedure of causal reasoning that operates on the same type of empirical data as QCA and that implements Boolean techniques related to the ones resorted to by QCA, yet, in contrast to QCA, the procedure introduced here successfully identifies causal structures involving both mutually dependent causes, i.e. causal chains, and multiple effects, i.e. epiphenomena. In this sense, the paper at hand generalizes QCA.

In philosophical contexts, logical formalisms are often resorted to as a means to render the validity and invalidity of informal arguments formally transparent. Since Oliver and Massey , however, it has been recognized in the literature that identifying valid arguments is easier than identifying invalid ones. Still, any viable theory of adequate logical formalization should at least reliably identify valid arguments. This paper argues that accounts of logical formalization as developed by Blau and Brun do not meet that benchmark. The paper ends by suggesting different strategies to remedy the problem

A regularity theory of causation analyses type-level causation in terms of Boolean difference-making. The essential ingredient that helps this theoretical framework overcome the problems of Hume’s and Mill’s classical accounts is a principle of non-redundancy: only Boolean dependency structures from which no elements can be eliminated track causation. The first part of this paper argues that the recent regularity theoretic literature has not consistently implemented this principle, for it disregarded an important type of redundancies: structural redundancies. Moreover, it is shown that a regularity theory needs to be underwritten by a hitherto neglected metaphysical background assumption stipulating that the world's causal makeup is not ambiguous. Against that background, the second part then develops a new regularity theory that does justice to all types of redundancies and, thereby, provides the first all-inclusive notion of Boolean difference-making.

Non-reductive interventionist theories of causation and methodologies of causal reasoning embedded in that theoretical framework have become increasingly popular in recent years. This paper argues that one variant of an interventionist account of causation, viz. the one presented, for example, in Woodward (2003), is unsuited as a theoretical fundament of interventionist methodologies of causal reasoning, because it renders corresponding methodologies incapable of uncovering a causal structure in a finite number of steps. This finding runs counter to Woodward's own assessment and to other recent studies which presume that Woodward's version of interventionism is effectively applicable to uncover causal structures, e.g. Campbell (2007) or Shapiro and Sober (2007).

Various analytical tools originally developed for theories of mechanistic explanation have recently been imported into the ongoing debate on the hypothesis of extended cognition. One such tool that appears particularly relevant to that debate is Craver’s mutual manipulability account of constitution, most of all because it promises to settle the debate on experimental grounds. This paper investigates whether it is possible to deliver on that promise. We first find that, far from grounding an experimental evaluation of HEC, MM is conceptually incompatible with both internalist and externalist accounts of cognition. Next, we propose a suitable modification of MM, MM*, but it turns out that MM* presupposes rather than produces clarity on the extension of cognition. Moreover, subject to MM* the inference to constitution is radically empirically underdetermined. Finally, we argue that our results can be generalized and conclude that, for principled reasons, it is impossible to experimentally determine whether cognitive processes have extracerebral constituents. Determining the extension of cognition is an inherently pragmatic matter.

A regularity theory of causation analyses type-level causation in terms of Boolean difference-making. The essential ingredient that helps this theoretical framework overcome the problems of Hume’s and Mill’s classical accounts is a principle of non-redundancy: only Boolean dependency structures from which no elements can be eliminated track causation. The first part of this article argues that the recent regularity-theoretic literature has not consistently implemented this principle, for it disregarded an important type of redundancies: structural redundancies. Moreover, it is shown that a regularity theory needs to be underwritten by a hitherto neglected metaphysical background assumption stipulating that the world’s causal makeup is not ambiguous. Against that background, the second part then develops a new regularity theory that does justice to all types of redundancies and, thereby, provides the first all-inclusive notion of Boolean difference-making.

Gebharter has proposed using one of the best known Bayesian network causal discovery algorithms, PC, to identify the constitutive dependencies underwriting mechanistic explanations. His proposal assumes that mechanistic constitution behaves like deterministic direct causation, such that PC is directly applicable to mixed variable sets featuring both causal and constitutive dependencies. Gebharter claims that such mixed sets, under certain restrictions, comply with PC’s background assumptions. The aim of this article is to show that Gebharter’s proposal incurs severe problems, ultimately rooted in the widespread non-compliance of mechanistic systems with PC’s assumptions. This casts severe doubts on the attempt to implicitly define constitution as a form of deterministic direct causation complying with PC’s assumptions.