There is a general conception of levels in philosophy which says that the world is arrayed into a hierarchy of levels and that there are different modes of analysis that correspond to each level of this hierarchy, what can be labelled the ‘Hierarchical Correspondence View of Levels” (or HCL). The trouble is that despite its considerable lineage and general status in philosophy of science and metaphysics the HCL has largely escaped analysis in specific domains of inquiry. The goal of this (...) paper is to take up a recent call to domain-specificity by examining the role of the HCL in cognitive science. I argue that the HCL is, in fact, a conception of levels that has been employed in cognitive science and that cognitive scientists should avoid its use where possible. The argument is that the HCL is problematic when applied to cognitive science specifically because it fails to distinguish two important kinds of shifts used when analysing information processing systems: shifts in grain and shifts in analysis. I conclude by proposing a revised version of the HCL which accommodates the distinction. (shrink)

According to contemporary computational neuroscience the mental is associated with computations implemented in the brain. We analyze in physical terms based on recent results in the foundations of statistical mechanics two well-known (independent) problems that arise for this approach: the problem of multiple-computations and the problem of multiple-realization. We show that within the computational theory of the mind the two problems are insoluble by the physics of the brain. We further show that attempts to solve the problems by the interactions (...) of the systems implementing the computations with an environment (in or outside the brain) must introduce non- physical factors, and therefore fail on physical grounds. We also show that the problems are endemic and pertain to other forms of functional theories of the mind, most notably, causal functionalism. Finally, we propose a physicalist reductive identity theory, which is a generalization of statistical mechanics for all the special sciences, and show that only a theory of this kind can provide physical solutions to the above two problems in computational neuroscience. We conclude that functionalism in the theory of mind must be replaced with a reductive identity theory. This result has far-reaching implications with respect to the research programs in brain science. (shrink)

New mechanical philosophy posits that explanations in the life sciences involve the decomposition of a system into its entities and their respective activities and organization that are responsible for the explanandum phenomenon. This mechanistic account of explanation has proven problematic in its application to mathematical models, leading the mechanists to suggest different ways of aligning abstract models with the mechanist program. Initially, the discussion centered on whether the Hodgkin-Huxley model is explanatory. Network models provided another complication, as they apply to (...) a wide number of materially diverse systems. In this article, we examine the various attempts to integrate abstract models within the mechanist program, also presenting a further challenge: the Heimburg-Jackson model, which was introduced as an alternative to the Hodgkin-Huxley model. We argue that although the notion of abstraction as the omission of irrelevant mechanistic details appears to give a mechanistic solution for accommodating abstract models, this notion does not suit models whose epistemic strategy is not decompositional. As a result, the mechanist has to choose whether to dilute the mechanistic approach nearly beyond recognition or to claim that many, if not most, abstract theoretical models do not deliver mechanistic explanations, or qualify as explanatory at all. (shrink)

Descriptive abstraction means omission of information from descriptions of phenomena. In this paper, I introduce a distinction between vertical and horizontal descriptive abstraction. Vertical abstracts away levels of mechanism or organization, while horizontal abstracts away details within one level of organization. The distinction is implicit in parts of the literature, but it has received insufficient attention and gone mainly unnoticed. I suggest that the distinction can be used to clarify how computational descriptions are formed in some variants of the mechanistic (...) account of physical computation. Furthermore, I suggest that, if this suggestion is adopted, it can be used to resolve what I call abstraction, hierarchy, and generality problems raised against mechanistic account of physical computation. According to the abstraction problem, the mechanistic account of physical computation is conceptually confused in claiming that physical systems process computational, abstract properties. An existing solution distinguishes between descriptive and metaphysical abstraction, suggesting that the abstraction problem unnecessarily postulates metaphysically abstract entities. The solution has been criticized for leading to what I call hierarchy and generality problems: it results in two separate hierarchies, one physical and one computational, making it problematic both to account for the generality of computational descriptions and to specify how the two hierarchies are related to each other. Adopting the vertical-horizontal distinction and the view that computational descriptions are achieved by horizontal abstraction allows one to account for the generality of computational descriptions, and to form a single hierarchy in which there are no separate hierarchies in need of integration. (shrink)

This paper contributes to the philosophical accounts of generalisation in formal modelling by introducing a conceptual framework that allows for recognising generalisations that are epistemically beneficial in the sense of contributing to the truth of a model result or component. The framework is useful for modellers themselves because it is shown how to recognise different kinds of generalisation on the basis of changes in model descriptions. Since epistemically beneficial generalisations usually de-idealise the model, the paper proposes a reformulation of the (...) well-known distinction between abstraction and idealisation. A reformulated notion of abstraction is needed because the extant accounts yield wrong judgments when model-modifications introduce implicit assumptions. (shrink)

Abstraction and idealization are the two notions that are most often discussed in the context of assumptions employed in the process of model building. These notions are also routinely used in philosophical debates such as that on the mechanistic account of explanation. Indeed, an objection to the mechanistic account has recently been formulated precisely on these grounds: mechanists cannot account for the common practice of idealizing difference-making factors in models in molecular biology. In this paper I revisit the debate and (...) I argue that the objection does not stand up to scrutiny. This is because it is riddled with a number of conceptual inconsistencies. By attempting to resolve the tensions, I also draw several general lessons regarding the difficulties of applying abstraction and idealization in scientific practice. Finally, I argue that more care is needed only when speaking of abstraction and idealization in a context in which these concepts play an important role in an argument, such as that on mechanistic explanation. (shrink)

Is freedom compatible with determinism? Davidson famously rephrased this question by replacing “freedom” with “anomaly of the mental”, that is, failure to fall under a law. In order to prove that the anomaly of the mental is compatible with other conjectures he makes, in particular that: there is psycho-physical causation; “where there is causality, there must be a law” ; and the mental supervenes on the physical, Davidson proposed a model, that came to be known as anomalous monism. Accepting all (...) of Davidson’s conjectures, we compare the structure of Davidson’s argument with that of Einstein’s argument for the special theory of relativity. This leads us to an exposition of Davidson’s ontology in terms that are inspired by recent results in the philosophy of physics, that is, in terms of fundamental ontology and high-level coarse-grained descriptions. We explain in what sense Davidson’s model is a principle theory and discuss some requirements that the constructive theory underlying Davidson's principle approach must satisfy. We propose two constructive theories of description that may underlie Davidson's approach and this deeper structure leads us to formulating a dilemma according to which Davidson's approach entails either a non-physicalist type-identity reductive and monistic structure of events; or else it entails a structure of events that requires what we call token-substance dualism. We consider some issues which seem to suggest that the first horn of this dilemma collapses into a reductive type-identity physicalist theory, contrary to Davidson's intent. Finally, we show how Davidson's achievement of accounting for some freedom of the mental from the physical and the anomaly of the mental within anomalous monism can be achieved in a fully reductive type-identity physicalist theory. (shrink)

Agent-based models (ABMs) are one of the main sources of evidence for decisions regarding mitigation and suppression measures against the spread of SARS-CoV-2. These models have not been previously included in the hierarchy of evidence put forth by the evidence-based medicine movement, which prioritizes those research methods that deliver results less susceptible to the risk of confounding. We point out the need to assess the quality of evidence delivered by ABMs and ask the question of what is the risk that (...) assumptions entertained in ABMs do not include all the key factors and make model predictions susceptible to the problem of confounding. (shrink)

We present a novel reductive theory of type-identity physicalism, which is inspired by the foundations of statistical mechanics as a general theory of natural kinds. We show that all the claims mounted against type-identity physicalism in the literature don’t apply to Flat Physicalism, and moreover that this reductive theory solves many of the problems faced by the various non-reductive approaches including functionalism. In particular, we show that Flat Physicalism can account for the appearance of multiple realizability in the special sciences, (...) and that it gives a novel account of the genuine autonomy of the kinds and laws in the special sciences. We further show that the thesis of genuine multiple realization, which is compatible with all forms of non-reductive approaches including functionalism, implies what we call token-dualism; namely the idea that in every token there are non-physical facts, which may either be non-physical properties or some non-physical substance. In other words, we prove that non-reductive kinds necessarily assume non-reductive tokens, i.e., token dualism. Finally, we show that all forms of non-reductive approaches including functionalism imply a literally multi-leveled structure of reality. (shrink)

Flat Physicalism is a theory of through and through type reductive physicalism, understood in light of recent results in the conceptual foundations of physics. In Flat Physicalism, as in physics, so-called "high level" concepts and laws are nothing but partial descriptions of the complete states of affairs of the universe. "Flat physicalism" generalizes this idea, to form a reductive picture in which there is no room for levels, neither explanatory nor ontological. The paper explains how phenomena that seem to be (...) cases of multiple realization of special sciences kinds by physical kinds are fully explains in a reductive physicalist way. Finally, the paper exemplifies the fruitfulness of this reductive approach by showing how it can account even for a case of high-level anomaly in a deterministic universe (for example anomaly of the mental, should this turn our to be a fact about the world) - a result that may be called Anomalous Physicalism. (shrink)