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 a series of recent papers, Simon Saunders, Fred Muller, and Michael Seevinck have collectively argued, against the folklore, that some nontrivial version of Leibniz’s principle of the identity of indiscernibles is upheld in quantum mechanics. They argue that all particles—fermions, paraparticles, anyons, even bosons—may be weakly discerned by some physical relation. Here I show that their arguments make illegitimate appeal to nonsymmetric, that is, permutation-noninvariant, quantities and that therefore their conclusions do not go through. However, I show that alternative, (...) symmetric quantities may be found to do the required work. I conclude that the Saunders-Muller-Seevinck heterodoxy can be saved. (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)

Say that two goals are normatively coincident just in case one cannot aim for one goal without automatically aiming for the other. While knowledge and justification are distinct epistemic goals, with distinct achievement conditions, this paper begins from the suggestion that they are nevertheless normatively coincident—aiming for knowledge and aiming for justification are one and the same activity. A number of surprising consequences follow from this—both specific consequences about how we can ascribe knowledge and justification in lottery cases and more (...) general consequences about the nature of justification and the relationship between justification and evidential probability. Many of these consequences turn out to be at variance with conventional, prevailing views. (shrink)

I present three reasons why philosophers of science should be more concerned about violations of causal faithfulness (CF). In complex evolved systems, mechanisms for maintaining various equilibrium states are highly likely to violate CF. Even when such systems do not precisely violate CF, they may nevertheless generate precisely the same problems for inferring causal structure from probabilistic relationships in data as do genuine CF-violations. Thus, potential CF-violations are particularly germane to experimental science when we rely on probabilistic information to uncover (...) the DAG, rather than already knowing the DAG from which we could predict the right experiments to ‘catch out’ the hidden causal relationships. (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)

Using the Hilbert-Bernays account as a spring-board, we first define four ways in which two objects can be discerned from one another, using the non-logical vocabulary of the language concerned. Because of our use of the Hilbert-Bernays account, these definitions are in terms of the syntax of the language. But we also relate our definitions to the idea of permutations on the domain of quantification, and their being symmetries. These relations turn out to be subtle---some natural conjectures about them are (...) false. We will see in particular that the idea of symmetry meshes with a species of indiscernibility that we will call `absolute indiscernibility'. We then report all the logical implications between our four kinds of discernibility. We use these four kinds as a resource for stating four metaphysical theses about identity. Three of these theses articulate two traditional philosophical themes: viz. the principle of the identity of indiscernibles, and haecceitism. The fourth is recent. Its most notable feature is that it makes diversity weaker than what we will call individuality : two objects can be distinct but not individuals. For this reason, it has been advocated both for quantum particles and for spacetime points. Finally, we locate this fourth metaphysical thesis in a broader position, which we call structuralism. We conclude with a discussion of the semantics suitable for a structuralist, with particular reference to physical theories as well as elementary model theory. (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)

Local versions of the (special) principle of relativity say that if the same type of experiment is conducted in two isolated, unaccelerated laboratories, then the outcomes of those experiments must be the same. Global versions of the principle say that if you take a physically possible world and boost the entire material content of that world, you get another physically possible world. Some authors say that the local and the global principles are logically independent, and that the local version is (...) more important. These authors are wrong. I argue that the global version entails the local version, and discuss why a counterexample to this entailment offered by Tim Budden fails. (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)

Neo-Fregeanism in the philosophy of mathematics consists of two main parts: the logicist thesis, that mathematics (or at least branches thereof, like arithmetic) all but reduce to logic, and the platonist thesis, that there are abstract, mathematical objects. I will here focus on the ontological thesis, platonism. Neo-Fregeanism has been widely discussed in recent years. Mostly the discussion has focused on issues specific to mathematics. I will here single out for special attention the view on ontology which underlies the neo-Fregeans’ (...) claims about mathematical objects, and discuss this view in a broader setting. (shrink)

Functionalism as a philosophical position has been recently applied to the case of emotion research. However, a number of objections have been raised against applying such a view to scientific theorizing on emotions. In this article, I argue that functionalism is still a viable strategy for emotion research. To do this, I present functionalism in philosophy of mind and offer a sketch of its application to emotions. I then discuss three recent objections raised against it and respond to each of (...) them. These objections claim that functionalism is intractable because (i) it does not support a scientifically interesting taxonomy of emotions for experimental settings, (ii) it is inherently teleological, and (iii) it cannot be falsified. I argue that these objections either rely on a simplified version of functionalism as a philosophical position or they pose challenges that functionalists can readily address. Lastly, I conclude by drawing some lessons these objections suggest for a tractable functionalist account of emotions. (shrink)

In this article, I explore the compatibility of inference to the best explanation (IBE) with several influential models and accounts of scientific explanation. First, I explore the different conceptions of IBE and limit my discussion to two: the heuristic conception and the objective Bayesian conception. Next, I discuss five models of scientific explanation with regard to each model’s compatibility with IBE. I argue that Kitcher’s unificationist account supports IBE; Railton’s deductive–nomological–probabilistic model, Salmon’s statistical-relevance model, and van Fraassen’s erotetic account are (...) incompatible with IBE; and Salmon’s causal–mechanical model is merely consistent with IBE. In short, many influential models of scientific explanation do not support IBE. I end by outlining three possible conclusions to draw: (1) either philosophers of science or defenders of IBE have seriously misconstrued the concept of explanation, (2) philosophers of science and defenders of IBE do not use the term ‘explanation’ univocally, and (3) the ampliative conception of IBE, which is compatible with any model of scientific explanation, deserves a closer look. (shrink)

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)

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)

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 argue that ML models used in science function as highly idealized toy models. If we treat ML models as a type of highly idealized toy model, then we can deploy standard representational and epistemic strategies from the toy model literature to explain why ML models can still provide epistemic success despite their lack of similarity to their targets.

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)

The paper discusses Hilbert mathematics, a kind of Pythagorean mathematics, to which the physical world is a particular case. The parameter of the “distance between finiteness and infinity” is crucial. Any nonzero finite value of it features the particular case in the frameworks of Hilbert mathematics where the physical world appears “ex nihilo” by virtue of an only mathematical necessity or quantum information conservation physically. One does not need the mythical Big Bang which serves to concentrate all the violations of (...) energy conservation in a “safe”, maximally remote point in the alleged “beginning of the universe”. On the contrary, an omnipresent and omnitemporal medium obeying quantum information conservation rather than energy conservation permanently generates action and thus the physical world. The utilization of that creation “ex nihilo” is accessible to humankind, at least theoretically, as long as one observes the physical laws, which admit it in their new and wider generalization. One can oppose Hilbert mathematics to Gödel mathematics, which can be identified as all the standard mathematics until now featureable by the Gödel dichotomy of arithmetic to set theory: and then, “dialectic”, “intuitionistic”, and “Gödelian” mathematics within the former, according to a negative, positive, or zero value of the distance between finiteness and infinity. A mapping of Hilbert mathematics into pseudo-Riemannian space corresponds, therefore allowing for gravitation to be interpreted purely mathematically and ontologically in a Pythagorean sense. Information and quantum information can be involved in the foundations of mathematics and linked to the axiom of choice or alternatively, to the field of all rational numbers, from which the pair of both dual and anti-isometric Peano arithmetics featuring Hilbert arithmetic are immediately inferable. Noether’s theorems (1918) imply quantum information conservation as the maximally possible generalization of the pair of the conservation of a physical quantity and the corresponding Lie group of its conjugate. Hilbert mathematics can be interpreted from their viewpoint also after an algebraic generalization of them. Following the ideas of Noether’s theorem (1918), locality and nonlocality can be realized both physically and mathematically. The “light phase of the universe” can be linked to the gap of mathematics and physics in the Cartesian organization of cognition in Modernity and then opposed to its “dark phase”, in which physics and mathematics are merged. All physical quantities can be deduced from only mathematical premises by the mediation of the most fundamental physical constants such as the speed of light in a vacuum, the Planck and gravitational constants once they have been interpreted by the relation of locality and nonlocality. (shrink)

Among the many functions of models, explanation is central to the functioning and aims of science. However, the discussions surrounding modeling and explanation in philosophy have largely remained separate from each other. This chapter seeks to bridge the gap by focusing on the puzzle of model-based explanation, asking how different philosophical accounts answer the following question: if idealizations and fictions introduce falsehoods into models, how can idealized and fictional models provide true explanations? The chapter provides a selective and critical overview (...) of the available strategies for solving this puzzle, mainly focusing on idealized models and how they explain. (shrink)

This chapter explores the relevance of empirical evidence to real causes. I argue for the claim that instrumentally mediated empirical results are causally dependent on unobservable entities. I develop this idea in the context of discussions on entity realism. As a consequence of my argument, an antirealist version of empiricism, which underlines the significance of empirical evidence but which abstains from real causation, is incoherent.

En el artículo se defiende que si se acepta la superación entre fundacionismo y coherentismo que plantea Ernest Sosa y se sostiene una teoría de la justificación epistémica basada en el ejercicio de virtudes intelectuales, esta no es condición suficiente para usar el razonamiento analógico en la investigación arqueológica. Por ende, aunque se puede sostener su necesidad para utilizar la analogía, no es suficiente a menos que se recurra a la virtud de la responsabilidad (Code) como eje de la justificación (...) epistémica. Finalmente se discute su viabilidad e importancia para el caso de la arqueología en México. (shrink)

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)

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.

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)

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)

The violation of Bell’s inequality has shown that quantum theory and relativity are in tension: reality is nonlocal. Nonetheless, many have argued that GRW-type theories are to be preferred to pilot-wave theories as they are more compatible with relativity: while relativistic pilot-wave theories require a preferred slicing of space-time, foliation-free relativistic GRW-type theories have been proposed. In this paper I discuss various meanings of ‘relativistic invariance,’ and I show how GRW-type theories, while being more relativistic in one sense, are less (...) relativistic in another. If so, the initial claim that GRW-type theories have a greater compatibility with relativity is unwarranted: both type of theories violate relativity, one way or another. (shrink)

The theory of relativity is often regarded as inhospitable to the idea that there is an objective passage of time in the world. In light of this, many philosophers and physicists embrace a “block universe” view, according to which change and temporal passage are merely a subjective appearance or illusion. My aim in this paper is to argue against such a view, and show that we can make sense of an objective passage of time in the setting of relativity theory (...) by abandoning the assumption that the now must be global, and re-conceiving temporal passage as a purely local phenomenon. Various versions of local becoming have been proposed in the literature. Here I focus on the causal diamond theory proposed by Steven F. Savitt and Richard Arthur, which models the now in terms of a local structure called a causal diamond. After defending the reality of temporal passage and exploring its compatibility with relativity theory, I show how the causal diamond approach can be used to counter the argument for the ideality of time due to Kurt Gödel, based on his “rotating universe” solution to the Einstein field equations. I defend the second component of his argument, the modal step, against the consensus view that finds it wanting, and reject the first step, showing that the Gödel universe is compatible with an objective passage of time as long as the latter is construed locally, along the lines of the causal diamond approach. (shrink)

The systemic perspective on the educational phenomenon reveals, among others, its complexity and interactions as a social process of formation, development and social integration of the human personality, of transmitting the social experience and of the culture of formation of the capacities and abilities of the individuals, of social innovation, of general systems theory have an important methodological role in the study, understanding and scientific design of education. The philosophy of education integrates the component of the systemic approach, but it (...) is not limited to this, exploring the holistic and metatheoretical aspects. It reveals that, a structural dimension is also the axiological dimension, of integration in education of social values. The law, which includes: legal truth, freedom, justice, legal security, public good, evokes so many constitutive values of educational systems in democratic countries. The concentrated expression of this system, its paradigm could be the human dignity that represents a major educational objective. Therefore, the integration and promotion of legal values in the educational system, represents an educational purpose of the most important. (shrink)

The previous two parts of the paper demonstrate that the interpretation of Fermat’s last theorem (FLT) in Hilbert arithmetic meant both in a narrow sense and in a wide sense can suggest a proof by induction in Part I and by means of the Kochen - Specker theorem in Part II. The same interpretation can serve also for a proof FLT based on Gleason’s theorem and partly similar to that in Part II. The concept of (probabilistic) measure of a subspace (...) of Hilbert space and especially its uniqueness can be unambiguously linked to that of partial algebra or incommensurability, or interpreted as a relation of the two dual branches of Hilbert arithmetic in a wide sense. The investigation of the last relation allows for FLT and Gleason’s theorem to be equated in a sense, as two dual counterparts, and the former to be inferred from the latter, as well as vice versa under an additional condition relevant to the Gödel incompleteness of arithmetic to set theory. The qubit Hilbert space itself in turn can be interpreted by the unity of FLT and Gleason’s theorem. The proof of such a fundamental result in number theory as FLT by means of Hilbert arithmetic in a wide sense can be generalized to an idea about “quantum number theory”. It is able to research mathematically the origin of Peano arithmetic from Hilbert arithmetic by mediation of the “nonstandard bijection” and its two dual branches inherently linking it to information theory. Then, infinitesimal analysis and its revolutionary application to physics can be also re-realized in that wider context, for example, as an exploration of the way for physical quantity of time (respectively, for time derivative in any temporal process considered in physics) to appear at all. Finally, the result admits a philosophical reflection of how any hierarchy arises or changes itself only thanks to its dual and idempotent counterpart. (shrink)

In (Weaver 2021), I showed that Boltzmann’s H-theorem does not face a significant threat from the reversibility paradox. I argue that my defense of the H-theorem against that paradox can be used yet again for the purposes of resolving the recurrence paradox without having to endorse heavy-duty statistical assumptions outside of the hypothesis of molecular chaos. As in (Weaver 2021), lessons from the history and foundations of physics reveal precisely how such resolution is achieved.

Take a question like the safety and effectiveness of COVID-19 vaccines. Whether an ordinary citizen or a public official can acquire the correct answer to this question depends on the functioning of the epistemic basic structure of their society. The epistemic basic structure of a society consists of “the institutions that have a crucial role in the distribution of knowledge, that is, in the production and dissemination of knowledge, and in ensuring that people have the capability to assimilate what is (...) disseminated by providing them with the necessary educational background and intellectual skills”. It includes institutions of science and education, the media, search engines, libraries, museums, think tanks, and various government agencies. (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 (i.e., explanations that don’t cite causes in the explanans) sometimes take a form of the question of 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 counterfactuals, and how ought we to understand explanatory asymmetries in non-causal explanations? Even though these are very common issues in the philosophy of physics and mathematics, they can be found in different guises in the philosophy of biology where there is the statistical interpretation of the Modern Synthesis theory of evolution, according to which the post-Darwinian theory of natural selection explains evolutionary change by citing statistical properties of populations and not the causes of changes. These questions also arise in philosophy of ecology or neuroscience in regard to the nature of topological explanations. The question here is can the mathematical (or more precisely topological) properties in network models in biology, ecology, neuroscience, and computer science be explanatory of physical phenomena, or are they just different ways to represent causal structures. The aim of this special issue is to unify all these debates around several overlapping questions. These questions are: are there genuinely or distinctively mathematical and non-causal explanations?; are all distinctively mathematical explanations also non-causal; in virtue of what they are explanatory; does the instantiation, implementation, or in general, applicability of mathematical structures to a variety of phenomena and systems play any explanatory role? This special issue provides a platform for unifying the debates around several key issues and thus opens up avenues for better understanding of mathematical and non-causal explanations in general, but also, it will enable even better understanding of key issues within each of the debates. (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)

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)

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...

This chapter provides a systematic overview of topological explanations in the philosophy of science literature. It does so by presenting an account of topological explanation that I (Kostić and Khalifa 2021; Kostić 2020a; 2020b; 2018) have developed in other publications and then comparing this account to other accounts of topological explanation. Finally, this appraisal is opinionated because it highlights some problems in alternative accounts of topological explanations, and also it outlines responses to some of the main criticisms raised by the (...) so-called new mechanists. (shrink)

If the laws of nature are deterministic, then it seems possible that a Laplacean intelligence that knows the initial conditions and the laws would be able to accurately predict everything that will ever happen. However, it would be easy to construct a counterpredictive device that falsifies any revealed prediction about its future behavior. What would then occur if a Laplacean intelligence encountered a counterpredictive device? This is the paradox of predictability. A number of philosophers have proposed solutions to it, though (...) part of my aim here is to argue that the paradox is more pernicious than has thus far been appreciated, and therefore that extant solutions are inadequate. My broader aim is to argue that the paradox motivates Humeanism about laws of nature. (shrink)

Review of David Ludwig, Inkeri Koskinen, Zinhle Mncube, Luana Poliseli, and Luis Reyes-Galindo, eds. Global Epistemologies and Philosophies of Science. Routledge, 2021, pp.i-xviii+319.

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

The selected effects or ‘etiological’ theory of Proper function is a naturalistic and realist account of biological teleology. It is used to analyse normativity in philosophy of language, philosophy of mind, philosophy of medicine and elsewhere. The theory has been developed with a simple and intuitive view of natural selection. Traits are selected because of their positive effects on the fitness of the organisms that have them. These ‘selected effects’ are the Proper functions of the traits. Proponents argue that this (...) analysis of biological teleology has the unique advantage that the selected effect function of a trait is also a causal explanation of the trait: the trait exists because it performs this function. We show, however, that selected effect functions as currently defined explain the existence of traits only under highly restrictive assumptions about evolutionary dynamics. In many common scenarios in which traits evolve by natural selection, selected effect functions do not explain those traits. This is because definitions of selected effect function extract from any evolutionary scenario only the information that would be explanatorily relevant in the simple evolutionary scenario implicit in those definitions. When applied to more complex scenarios selected effect functions omit the key information that is explanatorily relevant in those scenarios. The assumptions required for selected effect functions to be explanatory are particularly unlikely to hold in the domain that its proponents care most about - the evolution of representation. A more adequate selected effects theory of Proper functions may be possible, but will require much greater attention to the structure of actual evolutionary explanations. (shrink)

What is the proper metaphysics of quantum mechanics? In this dissertation, I approach the question from three different but related angles. First, I suggest that the quantum state can be understood intrinsically as relations holding among regions in ordinary space-time, from which we can recover the wave function uniquely up to an equivalence class (by representation and uniqueness theorems). The intrinsic account eliminates certain conventional elements (e.g. overall phase) in the representation of the quantum state. It also dispenses with first-order (...) quantification over mathematical objects, which goes some way towards making the quantum world safe for a nominalistic metaphysics suggested in Field (1980, 2016). Second, I argue that the fundamental space of the quantum world is the low-dimensional physical space and not the high-dimensional space isomorphic to the ``configuration space.'' My arguments are based on considerations about dynamics, empirical adequacy, and symmetries of the quantum mechanics. Third, I show that, when we consider quantum mechanics in a time-asymmetric universe (with a large entropy gradient), we obtain new theoretical and conceptual possibilities. In such a model, we can use the low-entropy boundary condition known as the Past Hypothesis (Albert, 2000) to pin down a natural initial quantum state of the universe. However, the universal quantum state is not a pure state but a mixed state, represented by a density matrix that is the normalized projection onto the Past Hypothesis subspace. This particular choice has interesting consequences for Humean supervenience, statistical mechanical probabilities, and theoretical unity. (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)

The goal of this dissertation is to reconstruct, critically evaluate, and apply the pluralism of Paul Feyerabend. I conclude by suggesting future points of contact between Feyerabend’s pluralism and topics of interest in contemporary philosophy of science. I begin, in Chapter 1, by reconstructing Feyerabend’s critical philosophy. I show how his published works from 1948 until 1970 show a remarkably consistent argumentative strategy which becomes more refined and general as Feyerabend’s thought matures. Specifically, I argue that Feyerabend develops a persuasive (...) case against rationalism, or the thesis that there exist normative and exclusive rules of scientific rationality. In Chapter 2, I reconstruct Feyerabend’s pluralism and detail its relationship to his humanitarianism and epistemological anarchism. I understand Feyerabend’s pluralism as the combination of the principles of proliferation and tenacity. I show the evolution and justification of these principles from Feyerabend’s early papers until the late 1970s. In Chapter 3, I defend Feyerabend’s pluralism from its most prominent criticisms. I then clarify that Feyerabend’s pluralism amounts to a conception of the logic of theory pursuit and modify his view using insights from C.S. Peirce, Pierre Duhem, and Michael Polanyi. From Peirce, I show how economic, sociological, and value-laden features of theory pursuit may be used to constrain proliferation and tenacity. From Duhem and Polanyi, I try to show the proper role of tacit knowledge within a Feyerabendian framework. Finally, I show what implications Feyerabend’s pluralism has for models of distributing funds within scientific communities. I contend that it provides a more promising model that the ‘well-ordered science’ proposal advanced by numerous philosophers and social scientists. Specifically, I aim to understand what taking Feyerabend’s pluralism seriously entails for principles of balancing funding allocation decisions and the role of peer-review in evaluating the potential success of research proposals. I conclude by suggesting future lines of research for further analyzing and applying Feyerabend’s pluralism. (shrink)

If the laws are deterministic, then standard theories of counterfactuals are forced to reject at least one of the following conditionals: 1) had you chosen differently, there would not have been a violation of the laws of nature; and 2) had you chosen differently, the initial conditions of the universe would not have been different. On the relevant readings—where we hold fixed factors causally independent of your choice—both of these conditionals appear true. And rejecting either one leads to trouble for (...) philosophical theories which rely upon counterfactual conditionals—like, for instance, causal decision theory. Here, I outline a semantics for counterfactual conditionals which allows us to accept both (1) and (2). And I discuss how this semantics deals with objections to causal decision theory from Arif Ahmed. (shrink)