In situations where we ignore everything but the space of possibilities, we ought to suspend judgment—that is, remain agnostic—about which of these possibilities is the case. This means that we cannot sum our degrees of belief in different possibilities, something that has been formalized as an axiom of non-additivity. Consistent with this way of representing our ignorance, I defend a doxastic norm that recommends that we should nevertheless follow a certain additivity of possibilities: even if we cannot sum degrees of (...) belief in different possibilities, we should be more confident in larger groups of possibilities. It is thus shown that, in the type of situation considered (in so-called ‘classical ignorance’, i.e. “behind a thin veil of ignorance”), it is epistemically rational for advocates of suspending judgment to endorse this comparative confidence; while on the other hand it is shown that, even in classical ignorance, no stronger belief—such as a precise uniform probability distribution—is warranted. (shrink)

Henry Kyburg’s lottery paradox (1961, p. 197) arises from considering a fair 1000 ticket lottery that has exactly one winning ticket. If this much is known about the execution of the lottery it is therefore rational to accept that one ticket will win. Suppose that an event is very likely if the probability of its occurring is greater than 0.99. On these grounds it is presumed rational to accept the proposition that ticket 1 of the lottery will not win. Since (...) the lottery is fair, it is rational to accept that ticket 2 won’t win either—indeed, it is rational to accept for any individual ticket i of the lottery that ticket i will not win. However, accepting that ticket 1 won’t win, accepting that ticket 2 won’t win, . . . , and accepting that ticket 1000 won’t win entails that it is rational to accept that no ticket will win, which entails that it is rational to accept the contradictory proposition that one ticket wins and no ticket wins. (shrink)

Among the cognitive capacities of evolved creatures is the capacity to represent. Theories in cognitive neuroscience typically explain our manifest representational capacities by positing internal representations, but there is little agreement about how these representations function, especially with the relatively recent proliferation of connectionist, dynamical, embodied, and enactive approaches to cognition. In this talk I sketch an account of the nature and function of representation in cognitive neuroscience that couples a realist construal of representational vehicles with a pragmatic account of (...) mental content. I call the resulting package a deflationary account of mental representation and I argue that it avoids the problems that afflict competing accounts. (shrink)

Functional robustness refers to a system’s ability to maintain a function in the face of perturbations to the causal structures that support performance of that function. Modularity, a crucial element of standard methods of causal inference and difference-making accounts of causation, refers to the independent manipulability of causal relationships within a system. Functional robustness appears to be at odds with modularity. If a function is maintained despite manipulation of some causal structure that supports that function, then the relationship between that (...) structure and function fails to be manipulable independent of other causal relationships within the system. Contrary to this line of reasoning, I argue that functional robustness often attends feedback control, rather than failures of modularity. Feedback control poses its own challenges to causal explanation and inference, but those challenges do not undermine modularity—and indeed, modularity is crucial to grappling with them. (shrink)

استدلال بر وجود خدا از طریق توسل به تنظیم‌ظریف کیهان، تنظیم‌شدگیِ ظریف جهان را به منظور شکل‌گیری حیات انسانی، شاهدی بر وجود خداوند تلقی می‌کند. بر خلاف باور رایج، استدلال تنظیم‌ظریف، در صورت‌بندی مرسوم، نه موفق است و نه خداباورانه. استدلال خواهم کرد که اگر تنظیم‌شدگی ظریف جهان بیشتر از حد مورد نیاز باشد، این حقیقتی نخواهد بود که خداباور مایل به استفاده از آن برای حجت آوردن له وجود خداوند باشد. از دید خداباور دو اشکال به استدلال تنظیم‌ظریف وارد (...) است: نخست، اشکال «زیاده‌روی»، که بیان می‌دارد این استدلال رویدادهای نامحتمل دیگری را نیز شاهدی بر وجود خدا تلقی می‌کند، که خداباور از آنها چنین تفسیری ندارد. دوم، اشکال «شلیک‌به‌خود»، که بیان می‌دارد استدلال تنظیم‌ظریف نقض‌غرض خداباور است. سوم، در استدلال تنظیم‌ظریف فرض شده است که به وقوع پیوستن رویدادی نامحتمل نیازمند تبیینی متفاوت نسبت به تبیین وقوع رویدادهای محتمل است، که پیشفرض نادرستی است و به اعتراض «خدای رخنه‌ها» دچار می‌شود. خداباور نیز مستقلاً این تمایز را نمی‌پذیرد. بنابراین، استدلال تنظیم‌ظریف مبتنی بر مفروضاتی است که با خداباوری، در معنای متعارف، سازگار نیست. (shrink)

Distinctions in fundamentality between different levels of description are central to the viability of contemporary decoherence-based Everettian quantum mechanics (EQM). This approach to quantum theory characteristically combines a determinate fundamental reality (one universal wave function) with an indeterminate emergent reality (multiple decoherent worlds). In this chapter I explore how the Everettian appeal to fundamentality and emergence can be understood within existing metaphysical frameworks, identify grounding and concept fundamentality as promising theoretical tools, and use them to characterize a system of explanatory (...) levels (with associated laws of nature) for EQM. This Everettian level structure encompasses and extends the ‘classical’ levels structure. The ‘classical’ levels of physics, chemistry, biology, etc. are recovered, but they are emergent in character and potentially variable across Everett worlds. EQM invokes an additional fundamental level, not present in the classical levels picture, and a novel potential role for self-location in interlevel metaphysics. When given a modal realist interpretation, EQM also makes trouble for supervenience-based approaches to levels. (shrink)

About the possibility of time traveling based on several specialized works, including those of Nicholas J. J. Smith ("Time Travel"), William Grey (”Troubles with Time Travel”), Ulrich Meyer (”Explaining causal loops”), Simon Keller and Michael Nelson (”Presentists should believe in time-travel”), Frank Arntzenius and Tim Maudlin ("Time Travel and Modern Physics"), and David Lewis (“The Paradoxes of Time Travel”). The article begins with an Introduction in which I make a short presentation of the time travel, and continues with a History (...) of the concept of time travel, main physical aspects of time travel, including backward time travel in the past in general relativity and quantum physics, and time travel in the future, then a presentation of the Grandfather paradox that is approached in almost all specialized works, followed by a section dedicated to the Philosophy of time travel, and a section in which I analyze Causal loops for time travel. I finish my work with Conclusions, in which I sustain my personal opinions on the time travel, and the Bibliography on which the work is based. -/- ISSN 978-606-033-195-7, DOI: 10.58679/TW82554. (shrink)

În această lucrare analizez posibilitatea călătoriei în timp pe baza mai multor lucrări de specialitate, printre care cele ale lui Nicholas J.J. Smith ("Time Travel", The Stanford Encyclopedia of Philosophy”), William Grey (”Troubles with Time Travel”), Ulrich Meyer (”Explaining causal loops”), Simon Keller și Michael Nelson (”Presentists should believe in time-travel”), Frank Arntzenius și Tim Maudlin ("Time Travel and Modern Physics") și David Lewis (“The Paradoxes of Time Travel”). Lucrarea începe cu o Introducere în care fac o scurtă prezentare a (...) călătoriei în timp, și continuă cu o Istoria conceptului de călătorie în timp, prezentarea principalelor Aspecte fizice ale călătoriei în timp, inclusiv călătoria în timp în trecut în relativitatea generală și în fizica cuantică și călătoria în timp în viitor, apoi o prezentare a Paradoxul bunicului care este abordat în aproape toate lucrările de specialitate, urmat de o secțiune dedicată Filosofiei călătoriei în timp, și o secțiune în care analizez Buclele cauzale pentru călătoria în timp. Finalizez lucrarea cu Concluzii, în care expun opiniile personale privind călătoria în timp, și Bibliografia pe care se bazează lucrarea. (shrink)

I examine Du Châtelet’s methodology for physics and metaphysics through the lens of her engagement with Newton’s Rules for Reasoning in Natural Philosophy. I first show that her early manuscript writings discuss and endorse these Rules. Then, I argue that her famous published account of hypotheses continues to invoke close analogues of Rules 3 and 4, despite various developments in her position. Once relevant experimental evidence and some basic constraints are met, it is legitimate to inductively generalize from observations; general (...) hypotheses can thereafter be assumed as true until contrary experiments show otherwise. I conclude by arguing that this account of induction plays an essential role in her metaphysics, both in an argument for simple substances—which has an inductive premise—and in her attempt to distinguish acceptable and unacceptable metaphysical commitments. (shrink)

This paper considers the way mathematical and computational models are used in network neuroscience to deliver mechanistic explanations. Two case studies are considered: Recent work on klinotaxis by Caenorhabditis elegans, and a longstanding research effort on the network basis of schizophrenia in humans. These case studies illustrate the various ways in which network, simulation and dynamical models contribute to the aim of representing and understanding network mechanisms in the brain, and thus, of delivering mechanistic explanations. After outlining this mechanistic construal (...) of network neuroscience, two concerns are addressed. In response to the concern that functional network models are non-explanatory, it is argued that functional network models are in fact explanatory mechanism sketches. In response to the concern that models which emphasize a network’s organization over its composition do not explain mechanistically, it is argued that this emphasis is both appropriate and consistent with the principles of mechanistic explanation. What emerges is an improved understanding of the ways in which mathematical and computational models are deployed in network neuroscience, as well as an improved conception of mechanistic explanation in general. (shrink)

John Searle has argued that functions owe their existence to the value that we put into life and survival. In this paper, I will provide a critique of Searle’s argument concerning the ontology of functions. I rely on a standard analysis of functional predicates as relating not only a biological entity, an activity that constitutes the function of this entity and a type of system but also a goal state. A functional attribution without specification of such a goal state has (...) no truth-value. But if completed with a goal state, functional attributions understood as four-place relations attain a truth-value. The truth conditions of all attributions of function involve a dependence claim of the goal state on the function bearer’s activity. The nature of this dependence may differ; I consider five different possibilities: causality, mechanistic constitution, mereology, supervenience and metaphysical grounding. If these dependency relations are objective, Searle’s central ontological thesis fails. What he ought to have said is that our valuing survival or other goal states may be the reason why biology seeks functional knowledge, but this has nothing to do with ontology. I will show further that Searle also raised an interesting challenge concerning the relationship of functional and causal truths, but it does not threaten the objectivity of functions either. At best, it could show that functional vocabulary is eliminable. However, I will show that functional vocabulary is not so eliminable. (shrink)

Two successes of old quantum theory are particularly notable: Bohr’s prediction of the spectral lines of ionised helium, and Sommerfeld’s prediction of the fine-structure of the hydrogen spectral lines. Many scientific realists would like to be able to explain these successes in terms of the truth or approximate truth of the assumptions which fuelled the relevant derivations. In this paper I argue that this will be difficult for the ionised helium success, and is almost certainly impossible for the fine-structure success. (...) Thus I submit that the case against the realist’s thesis that success is indicative of truth is marginally strengthened. (shrink)

This paper follows up a debate as to whether classical electrodynamics is inconsistent. Mathias Frisch makes the claim in Inconsistency, Asymmetry and Non-Locality ([2005]), but this has been quickly countered by F. A. Muller ([2007]) and Gordon Belot ([2007]). Here I argue that both Muller and Belot fail to connect with the background assumptions that support Frisch's claim. Responding to Belot I explicate Frisch's position in more detail, before providing my own criticisms. Correcting Frisch's position, I find that I can (...) present the theory in a way both authors can agree upon. Differences then manifest themselves purely within the reasoning methods employed. Introduction Features of the Theory Frisch's Inconsistency Claim Defending Frisch 4.1 Muller 4.2 Belot Difficulties for Frisch and a Compromise Conclusion CiteULike Connotea Del.icio.us What's this? (shrink)

How can we use models to understand real phenomena if models misrepresent the very phenomena we seek to understand? Some accounts suggest that models may afford understanding by providing causal knowledge about phenomena via how-possibly explanations. However, general equilibrium models, for example, pose a challenge to this solution since their contribution appears to be purely mathematical results. Despite this, practitioners widely acknowledge that it improves our understanding of the world. I argue that the Arrow–Debreu model provides a mathematical how-possibly explanation (...) which establishes claims of mathematical dependence. The account developed reveals how mathematical knowledge can inform claims about the world, allow ‘what-if-things-had-been-different’ inferences, and thus improve our understanding. (shrink)

A widespread view in moral, legal, and political philosophy, as well as in public discourse, is that responsibility makes a difference to the fair allocation or distribution of things that are valuable or disvaluable independently of responsibility. For example, the fairness of punishing a person for wrongdoing varies with her responsibility for wrongdoing; the fairness of requiring a person to pay compensation varies with her responsibility for the harm that she caused; the fairness of one person being worse off than (...) another varies with her responsibility for being worse off; the fairness of inflicting defensive harm on a person to avert a threat varies with her responsibility for causing or posing the threat; and so on. (shrink)

Na základě analýzy otázky, jak se učíme ze zkušenosti představuje studie problém indukce nejprve tak, jak byl formulován Humem skrze jeho příčinu v nezdůvodnitelnosti principu uniformity přírody. Následně ukazuje Popperovo řešení problému spočívající v naprostém odmítnutí induktivního usuzování. Popperův přístup je podroben srovnání s reliabilistickou pozicí Davida Papineau - stanoviskem, že poznání je pravdivým přesvědčením generovaným spolehlivou metodou. Hlavním cílem textu je znovuotevření diskuze nad tématem neplatnosti indukce a možná redukce námitek vůči její logické neplatnosti na základě nahlédnutí reliabilistického stanoviska. (...) Vedlejším záměrem je pak ilustrovat možné styčné body mezi kritickým racionalismem s jeho důrazem na delegitimizaci vědění a reliabilistickým kritériem spolehlivosti. (shrink)

Călătoria în timp implică deplasarea într-un timp diferit de cel prezent, în trecut sau în viitor, în principiu fără o deplasare în spațiu cu referire la un sistem de coordonate local. Călătoria în timp poate fi făcută de un corp material care poate fi sau nu o ființă vie, și pentru care se folosește de obicei un dispozitiv special denumit mașina timpului. Călătoria în timp este un concept recunoscut în filosofie și știință, dar a cărui posibilitatea este foarte disputată, dând (...) naștere la numeroase paradoxuri atât în filosofie cât și în știință. Călătoria în timp este considerată de unii acceptată atât de relativitatea generală cât și de mecanica cuantică, dar există un consens unanim că nu este fezabilă cu tehnologia actuală. Problemele ridicate sunt diferite pentru călătoria în timp în trecu față de călătoria în timp în viitor. (shrink)

Perhaps the strongest argument for scientific realism, the no-miracles-argument, has been said to commit the so-called base rate fallacy. The apparent elusiveness of the base rate of true theories has even been said to undermine the rationality of the entire realism debate. In this paper, I confront this challenge by arguing, on the basis of the Kuhnian picture of theory choice, that a theory is likely to be true if it possesses multiple theoretical virtues and is embraced by numerous scientists, (...) even when the base rate converges to zero. (shrink)

I formulate a counterfactual version of the notorious ‘Ramsey Test’. Whereas the Ramsey Test for indicative conditionals links credence in indicatives to conditional credences, the counterfactual version links credence in counterfactuals to expected conditional chance. I outline two forms: a Ramsey Identity on which the probability of the conditional should be identical to the corresponding conditional probability/expectation of chance; and a Ramsey Bound on which credence in the conditional should never exceed the latter. Even in the weaker, bound, form, the (...) counterfactual Ramsey Test makes counterfactuals subject to the very argument that Lewis used to argue against the indicative version of the Ramsey Test. I compare the assumptions needed to run each, pointing to assumptions about the time‐evolution of chances that can replace the appeal to Bayesian assumptions about credence update in motivating the assumptions of the argument. I finish by outlining two reactions to the discussion: to indicativize the debate on counterfactuals; or to counterfactualize the debate on indicatives. (shrink)

In the recent philosophy of explanation, a growing attention to and discussion of non-causal explanations has emerged, as there seem to be compelling examples of non-causal explanations in the sciences, in pure mathematics, and in metaphysics. I defend the claim that the counterfactual theory of explanation (CTE) captures the explanatory character of both non-causal scientific and metaphysical explanations. According to the CTE, scientific and metaphysical explanations are explanatory by virtue of revealing counterfactual dependencies between the explanandum and the explanans. I (...) support this claim by illustrating that CTE is applicable to Euler’s explanation (an example of a non-causal scientific explanation) and Loewer’s explanation (an example of a non-causal metaphysical explanation). (shrink)

Park (2017, 2018, 2019) argues that Bas van Fraassen uses inference to the best explanation to defend his contextual theory of explanation. If Park is right, then van Fraassen is in trouble because he rejects IBE as a rational rule of inference. In this reply, I argue that van Fraassen does not use IBE in defending the contextual theory of explanation. I distinguish between several conceptions of IBE: heuristic IBE, objective Bayesian IBE, and ampliative IBE. I argue that van Fraassen (...) holds the ampliative conception of IBE and that his rejection of IBE concerns only ampliative IBE. I also argue that van Fraassen’s defense of the contextual theory of explanation, at best, can be interpreted as an instance of heuristic IBE, but not ampliative IBE. Therefore, I argue, Park’s criticism of van Fraassen misfires. (shrink)

In recent decades, philosophers of science have become increasingly concerned with the social dimensions of scientific knowledge. Philosophers such as Helen Longino, Philip Kitcher, Miriam Solomon, Heather Douglas, and Janet Kourany have sought to incorporate the social aspects of science, while retaining the normative commitments of philosophy of science. Some of the major theoretical approaches in social epistemology of science, however, tend to ignore or underestimate the role that the current state of science organization plays in the production of scientific (...) knowledge.1 The world has changed significantly in recent decades, and science has changed with it. The.. (shrink)

When scientists or science reporters communicate research results to the public, this often involves ethical and epistemic risks. One such risk arises when scientific claims cause cognitive or behavioural changes in the audience that contribute to the self-fulfilment of these claims. I argue that the ethical and epistemic problems that such self-fulfilment effects may pose are much broader and more common than hitherto appreciated. Moreover, these problems are often due to a specific psychological phenomenon that has been neglected in the (...) research on science communication: many people tend to conform to ‘descriptive norms’, that is, norms capturing (perceptions of) what others commonly do, think, or feel. Because of this tendency, science communication may frequently produce significant social harm. I contend that scientists have a responsibility to assess the risk of this potential harm and consider adopting strategies to mitigate it. I introduce one such strategy and argue that its implementation is independently well motivated by the fact that it helps improve scientific accuracy. (shrink)

A common but overlooked form of explanation in psychiatry is what I label ‘empathetic explanation’. Empathetic explanations invoke empathetic variables, which, in addition to providing an explanation of the target phenomenon, also afford an empathetic understanding of it. Focusing on the case of auditory verbal hallucination (AVH), I argue that empathetic explanation fails to provide an adequate account of the phenomenon, perniciously shapes empirical research, and confuses empathetic understanding with scientific understanding. I close by providing a general condition on the (...) legitimate application of empathetic explanation. (shrink)

It is often indeterminate what function a given computational system computes. This phenomenon has been referred to as “computational indeterminacy” or “multiplicity of computations.” In this paper, we argue that what has typically been considered and referred to as the challenge of computational indeterminacy in fact subsumes two distinct phenomena, which are typically bundled together and should be teased apart. One kind of indeterminacy concerns a functional characterization of the system’s relevant behavior. Another kind concerns the manner in which the (...) abstract states are interpreted. We discuss the similarities and differences between the two kinds of computational indeterminacy, their implications for certain accounts of “computational individuation” in the literature, and their relevance to different levels of description within the computational system. We also examine the inter-relationships between our proposed accounts of the two kinds of indeterminacy and the main accounts of “computational implementation.”. (shrink)

The recent theories of truthlikeness have not paid attention to the distinction between lawlike and accidental generalizations. L.J. Cohen has expressed this by saying that science aims at legisimilitude rather than verisimilitude. G. Oddie has given a reply to Cohen by defining the notion of legisimilitude in terms of higher-order logics. This paper gives a different reply to Cohen by treating laws as physically necessary generalizations and by defining the notion of legisimilitude as closeness to a suitably chosen lawlike sentence.

Our pains can be more or less intense, our mental imagery can be more or less vivid, our perceptual experiences can be more or less striking. These degrees of intensity of conscious experiences are all manifestations of a phenomenal property I call mental strength. In this article, I argue that mental strength is a domain-general phenomenal magnitude; in other words, it is a phenomenal quantity shared by all conscious experiences that explains their degree of felt intensity. Mental strength has been (...) largely overlooked in favor of mental states’ type, representational contents, domain-specific phenomenology, or processes such as attention. Considering mental strength in our reflections about the mind illuminates debates about the relation of representational contents and phenomenal character, and it also helps address questions about the structure and functions of consciousness. Mental strength provides a unifying construct to model what is shared in the phenomenology of different types of conscious experiences. (shrink)

I develop an account of ecological role functions—the functions of species within ecosystems—which is informed by alternative regime phenomena in ecology. My account is a causal-role theory which includes a counterfactual sensitivity condition. The account tracks and explains a distinction ecologists make between functions and various activities which are not functions. My counterfactual sensitivity condition resolves the liberality problem often attributed to causal-role theories of function, while also illuminating the explanatory centrality of role functions within ecology.

Bird reveals an important problem at the heart of Armstrong’s theory of laws of nature: to explain how a law necessitates its corresponding regularity, Armstrong is committed to a vicious regress. In his very brief response, Armstrong gestures towards an argument that, as he admits, is more of a “speculation.” Later, Barker and Smart argue that a very similar problem threatens Bird’s dispositional monist theory of laws of nature and he is committed to a similar vicious regress. In this paper, (...) first, I construct Armstrong’s would-be argument in response to Bird. Second, I argue that his response makes his account of laws and natural properties incompatible with science. Finally, I argue that Armstrong’s strategy to address Bird’s criticism can be used, quite ironically, to defuse Barker and Smart’s argument against Bird. (shrink)

: This paper analyzes the development of Kuhn's metaphilosophical position concerning the proper relationship between the history and the philosophy of science. I reconstruct Kuhn's model of scientific change presented in Structure as having the logical status of a Weberian explanatory theory; the philosophy of science and the history of science were of equal importance in its development and defense. However, Kuhn's metaphilosophical position changed in the 1990s, when he gave primacy to philosophy over the history of science in response (...) to the challenge new sociology of science presented to his views. I analyze Kuhn's seldom discussed 'first principles' and argue that the locution should be understood as marking this metaphilosophical shift. Kuhn's project in his last writings was to develop epistemology and metaphysics capable of withstanding relativism and of selecting cognitive internal historiography as the appropriate historiography for the philosophy of science. I sketch the contours of this project which Kuhn was unable to complete in his lifetime. (shrink)

In a world awash in statistical patterns, should we conclude that the universe’s evolution or genesis is somehow subject to chance? I draw attention to alternatives that must be acknowledged if we are to have an adequate assessment of what chance the universe might have had.

The paper explores a particular line of objection against wave-function realism. This view, advocated by Bell and presently defended by Albert, North and Ney, claims tha...

Some philosophers understand natural kinds to be the categories which are constraints on enquiry. In order to elaborate the metaphysics appropriate to such an account, I consider the complicated history of scurvy, citrus, and vitamin C. It may be tempting to understand these categories in a shallow way (as mere property clusters) or in a deep way (as fundamental properties). Neither approach is adequate, and the case instead calls for middle-range ontology: starting from categories which we identify in the world (...) and elaborating their structure, but not pretending to jump ahead to a complete story about fundamental being. (shrink)

One of the modern approaches to the laws of nature regards them as relations between universals. The most advanced version of such an approach has been presented by D. M. Armstrong. The aim of this paper is to reconstruct and interpret Armstrong’s conception but also to evaluate his theory and to point out what expectations from it are inadequate. My point of reference are two objections to Armstrong’s ideas, namely the problems of identification and inference. I claim that Armstrong’s theory (...) in general and his response to both problems in particular are based on some fundamental metaphysical principles, namely: the principle of identity for universals, the principle of non-contradiction, the relational principle of the indiscernibility of identicals and the principle of contingent necessity. The central part of my interpretation shows how from the laws of nature, properly understood, the occurrence of some states of affairs necessarily results provided that these principles are employed. (shrink)

This paper examines the paradoxical transparency involved in training machine-learning models. Existing literature typically critiques the opacity of machine-learning models such as neural networks or collaborative filtering, a type of critique that parallels the black-box critique in technology studies. Accordingly, people in power may leverage the models’ opacity to justify a biased result without subjecting the technical operations to public scrutiny, in what Dan McQuillan metaphorically depicts as an “algorithmic state of exception”. This paper attempts to differentiate the black-box abstraction (...) that wraps around complex computational systems from the opacity of machine-learning models. It contends that the degree of asymmetry in knowledge is greater in the former than the latter. In the case of software systems, software codes are difficult to understand as only software experts with sufficient domain knowledge are equipped to formulate a sound critique. In contrast, the meanings of trained parameters in a machine-learning model are obscure even to the data scientists who configure and train the model. Hence, the asymmetry of knowledge lies only in how data examples are collected, the choice and configuration of machine-learning models, and the specification of features in model design. Under the trend of algorithmic decision-making proliferating with machine-learning heuristics, the paper contends that the more symmetric distribution of knowledge in machine learning could lead to a more transparent production process if proper policies are in place. (shrink)

In this paper, a criticism of the traditional theories of approximation and idealization is given as a summary of previous works. After identifying the real purpose and measure of idealization in the practice of science, it is argued that the best way to characterize idealization is not to formulate a logical model – something analogous to Hempel's D-N model for explanation – but to study its different guises in the praxis of science. A case study of it is then made (...) in thermostatistical physics. After a brief sketch of the theories for phase transitions and critical phenomena, I examine the various idealizations that go into the making of models at three difference levels. The intended result is to induce a deeper appreciation of the complexity and fruitfulness of idealization in the praxis of model-building, not to give an abstract theory of it. (shrink)

Among the most interesting features of Homotopy Type Theory is the way it treats identity, which has various unusual characteristics. We examine the formal features of “identity types” in HoTT, and how they relate to its other features including intensionality, constructive logic, the interpretation of types as concepts, and the Univalence Axiom. The unusual behaviour of identity types might suggest that they be reinterpreted as representing indiscernibility. We explore this by defining indiscernibility in HoTT and examine its relationship with identity. (...) We argue that identity types are a primitive component of HoTT and cannot be reduced to indiscernibility. (shrink)

Sometimes retracted or refuted scientific information is used and propagated long after it is understood to be misleading. Likewise, retracted news items may spread and persist, despite being publi...

Constitutive mechanistic explanations are said to refer to mechanisms that constitute the phenomenon-to-be-explained. The most prominent approach of how to understand this constitution relation is Carl Craver’s mutual manipulability approach to constitutive relevance. Recently, the mutual manipulability approach has come under attack (Leuridan 2012; Baumgartner and Gebharter 2015; Romero 2015; Harinen 2014; Casini and Baumgartner 2016). Roughly, it is argued that this approach is inconsistent because it is spelled out in terms of interventionism (which is an approach to causation), whereas (...) constitutive relevance is said to be a non-causal relation. In this paper, I will discuss a strategy of how to resolve this inconsistency, so-called fat-handedness approaches (Baumgartner and Gebharter 2015; Casini and Baumgartner 2016; Romero 2015). I will argue that these approaches are problematic. I will present a novel suggestion of how to consistently define constitutive relevance in terms of interventionism. My approach is based on a causal interpretation of mutual manipulability, where manipulability is interpreted as a causal relation between the mechanism’s components and temporal parts of the phenomenon. (shrink)

In the last couple of years a few seemingly independent debates on scientific explanation have emerged, with several key questions that take different forms in different areas. For example, the questions what makes an explanation distinctly mathematical and are there any non-causal explanations in sciences sometimes take a form of the question what makes mathematical models explanatory, especially whether highly idealized models in science can be explanatory and in virtue of what they are explanatory. These questions raise further issues about (...) counterfactuals, modality, and explanatory asymmetries: i.e., do mathematical and non-causal explanations support... (shrink)

In this paper, I outline a heuristic for thinking about the relation between explanation and understanding that can be used to capture various levels of “intimacy”, between them. I argue that the level of complexity in the structure of explanation is inversely proportional to the level of intimacy between explanation and understanding, i.e. the more complexity the less intimacy. I further argue that the level of complexity in the structure of explanation also affects the explanatory depth in a similar way (...) to intimacy between explanation and understanding, i.e. the less complexity the greater explanatory depth and vice versa. (shrink)

We provide three innovations to recent debates about whether topological or “network” explanations are a species of mechanistic explanation. First, we more precisely characterize the requirement that all topological explanations are mechanistic explanations and show scientific practice to belie such a requirement. Second, we provide an account that unifies mechanistic and non-mechanistic topological explanations, thereby enriching both the mechanist and autonomist programs by highlighting when and where topological explanations are mechanistic. Third, we defend this view against some powerful mechanist objections. (...) We conclude from this that topological explanations are autonomous from their mechanistic counterparts. (shrink)

I argue that an unHumean ontology of irreducibly dispositional properties might be fruitfully combined with what has typically been thought of as a Humean account of laws, namely, the best-system account, made popular by David Lewis (e.g., 1983, 1986, 1994). In this paper I provide the details of what I argue is the most defensible account of Humean laws in an unHumean world. This package of views has the benefits of upholding scientific realism while doing without any suspect metaphysical entities (...) to account for natural law. I conclude by arguing that the Humean laws-unHumean ontology package is well placed to provide an account of objective, nontrivial chances, a famous stumbling block for the Humean laws-Humean ontology package developed by Lewis. (shrink)

Science frequently gives us multiple, compatible ways of solving the same problem or formulating the same theory. These compatible formulations change our understanding of the world, despite providing the same explanations. According to what I call "conceptualism," reformulations change our understanding by clarifying the epistemic structure of theories. I illustrate conceptualism by analyzing a typical example of symmetry-based reformulation in chemical physics. This case study poses a problem for "explanationism," the rival thesis that differences in understanding require ontic explanatory differences. (...) To defend conceptualism, I consider how prominent accounts of explanation might accommodate this case study. I argue that either they do not succeed, or they generate a skeptical challenge. (shrink)

I formulate a counterfactual version of the notorious 'Ramsey Test'. Whereas the Ramsey Test for indicative conditionals links credence in indicatives to conditional credences, the counterfactual version links credence in counterfactuals to expected conditional chance. I outline two forms: a Ramsey Identity on which the probability of the conditional should be identical to the corresponding conditional probabihty/expectation of chance; and a Ramsey Bound on which credence in the conditional should never exceed the latter.Even in the weaker, bound, form, the counterfactual (...) Ramsey Test makes counterfactuals subject to the very argument that Lewis used to argue against the indicative version of the Ramsey Test. I compare the assumptions needed to run each, pointing to assumptions about the time-evolution of chances that can replace the appeal to Bayesian assumptions about credence update in motivating the assumptions of the argument.I finish by outlining two reactions to the discussion: to indicativize the debate on counterfactuals; or to counterfactualize the debate on indicatives. (shrink)

Milner and Goodale's Two Visual Systems Hypothesis is regarded as common ground in recent discussions of visual consciousness. A central part of TVSH is a functional model of vision and action. In this paper, I provide a brief overview of these current discussions and argue that there is ambiguity between a strong and a weak version of PAM. I argue that, given a standard way of individuating computational mechanisms, the available evidence cannot be used to distinguish between these versions. This (...) not only has consequences for philosophical theories of the role of visual consciousness but also for the role of experimental evidence in model testing in cognitive neuroscience. (shrink)

Discussions about the evolution of human social cognition usually portray the social environment of early hominins as highly hierarchical and violent. In this evolutionary narrative, our propensity for violence was overcome in our lineage by an increase in our intellectual capacities. However, I will argue in this article that we are at least equally justified in believing that our early hominin ancestors were less aggressive and hierarchical than is suggested in these models. This view is consistent with the available comparative (...) and palaeoanthropological evidence. I will show that this alternative model not only does not support long-held views of human origins, but also has important consequences for debates about the evolution of our capacity for normative guidance. _1_ Introduction _2_ Philosophical Motivation _3_ The Puzzle of Hominin Evolution _4_ The Mosaic Hypothesis _5_ Evidence for the Model _6_ Palaeoanthropological Support _7_ Philosophical Consequences. (shrink)