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)

I provide a theory of causation within the causal modeling framework. In contrast to most of its predecessors, this theory is model-invariant in the following sense: if the theory says that C caused (didn't cause) E in a causal model, M, then it will continue to say that C caused (didn't cause) E once we've removed an inessential variable from M. I suggest that, if this theory is true, then we should understand a cause as something which transmits deviant or (...) non-inertial behavior to its effect. (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)

Debunking arguments aim to undermine common sense beliefs by showing that they are not explanatorily or causally linked to the entities they are purportedly about. Rarely are facts about the aetiology of common sense beliefs invoked for the opposite aim, that is, to support the reality of entities that furnish our manifest image of the world. Here I undertake this sort of un-debunking project. My focus is on the metaphysics of ordinary physical objects. I use the view of perception as (...) approximate Bayesian inference to show how representations of ordinary objects can be extracted from sensory input in a rational and truth-tracking manner. Drawing an analogy between perception construed as Bayesian hypothesis testing and scientific inquiry, I sketch out how some of the intuitions that traditionally inspired arguments for scientific realism also find application with regards to proverbial tables and chairs. (shrink)

In this paper we examine the epistemic value of highly idealized agent-based models of social aspects of scientific inquiry. On the one hand, we argue that taking the results of such simulations as informative of actual scientific inquiry is unwarranted, at least for the class of models proposed in recent literature. Moreover, we argue that a weaker approach, which takes these models as providing only “how-possibly” explanations, does not help to improve their epistemic value. On the other hand, we suggest (...) that if ABMs of science underwent two types of robustness analysis, they could indeed have a clear epistemic function, namely by providing evidence for philosophical and historical hypotheses. In this sense, ABMs can obtain evidential and explanatory properties and thus be a useful tool for integrated history and philosophy of science. We illustrate our point with an example of a model—building on the work by Kevin Zollman—which we apply to a concrete historical case study. (shrink)

It has become apparent that the debate between scientific realists and constructive empiricists has come to a stalemate. Neither view can reasonably claim to be the most rational philosophy of science, exclusively capable of making sense of all scientific activities. On one prominent analysis of the situation, whether we accept a realist or an anti-realist account of science actually seems to depend on which values we antecedently accept, rather than our commitment to “rationality” per se. Accordingly, several philosophers have attempted (...) to argue in favour of scientific realism or constructive empiricism by showing that one set of values is exclusively best, for anyone and everyone, and that the downstream choice of the philosophy of science which best serves those values is therefore best, for anyone and everyone. These efforts, however, seem to have failed. In response, I suggest that philosophers of science should suspend the effort to determine which philosophy of science is best for everyone, and instead begin investigating which philosophy of science is best for specific people, with specific values, in specific contexts. I illustrate how this might be done by briefly sketching a single case study from the history of science, which seems to show that different philosophies of science are better at motivating different forms of scientific practice. (shrink)

This article provides a detailed analysis and explores the prospects of the arguments for higher-level causal autonomy available for the proponents of the mechanistic framework. Three different arguments are distinguished. After clarifying previously raised worries with regard to the first two arguments, the article focuses on the newest version of the third argument that has recently been revived by William Bechtel. By using Bechtel’s own case study, it is shown that not even reference to constraints can establish the causal autonomy (...) of higher mechanistic levels. (shrink)

I propose a dynamic causal approach to characterizing the notion of a mechanism. Levy and Bechtel, among others, have pointed out several critical limitations of the new mechanical philosophy, and pointed in a new direction to extend this philosophy. Nevertheless, they have not fully fleshed out what that extended philosophy would look like. Based on a closer look at neuroscientific practice, I propose that a mechanism is a dynamic causal system that involves various components interacting, typically nonlinearly, with one another (...) to produce a phenomenon of interest. (shrink)

Biochemical kinds such as proteins pose interesting problems for philosophers of science, as they can be studied from the points of view of both biology and chemistry. The relationship between the biological functions of biochemical kinds and the microstructures that they are related to is the key question. This leads us to a more general discussion about ontological reductionism, microstructuralism, and multiple realization at the biology-chemistry interface. On the face of it, biochemical kinds seem to pose a challenge for ontological (...) reductionism and hence motivate a dual theory of chemical and biological kinds, a type of pluralism about natural kinds. But it will be argued that the challenge, which is based on multiple realization, can be addressed. The upshot is that there are reasonable prospects for ontological reductionism about biochemical kinds, which corroborates natural kind monism. (shrink)

Implicit contextual factors mean that the boundary between causal and noncausal explanation is not as neat as one might hope: as the phenomenon to be explained is given descriptions with varying degrees of granularity, the nature of the favored explanation alternates between causal and non-causal. While it is not surprising that different descriptions of the same phenomenon should favor different explanations, it is puzzling why re-describing the phenomenon should make any difference for the causal nature of the favored explanation. I (...) argue that this is a problem for the ontic framework of causal and noncausal explanation, and instead propose a pragmatic-modal account of causal and non-causal explanation. This account has the added advantage of dissolving several important disagreements concerning the status of non-causal explanation. (shrink)

The article investigates the intuition that both scientific realism and scientific antirealism are turning into degenerating research programs. The evolution of realism in reaction to pessimistic (meta)induction has certainly led to its increased sophistication as it has given rise to various versions of selective realism. However, many current discussions seem either too focused on semantic niceties or are turning into endless quarrels over case-study refutations of particular forms of realism. The point of finding a better understanding of the relations of (...) scientific knowledge to the world seems to get lost in the process. Magnus, Callender, and Saatsi are among those who see the problem. Although drawing on different observations, they agree that the source of the problem is the wholesale approach according to which it is possible to resolve the realism debate in one move, by finding a single universal method of interpreting any scientific theory. Instead, they call for a more modest approach, based on case-by-case analyses. Particularly promising is Saatsi's idea of exemplar realism, according to which realism should be an attitude motivating detailed case studies rather than a specific account of science in general. (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.

I explain in what sense the structure of space and time is probably vague or indefinite, a notion I define. This leads to the mathematical representation of location in space and time by a vague interval. From this, a principle of complementary inaccuracy between spatial location and velocity is derived, and its relation to the Uncertainty Principle discussed. In addition, even if the laws of nature are deterministic, the behaviour of systems will be random to some degree. These and other (...) considerations draw classical physics closer to Quantum Mechanics. An arrow of entropy is also derived, given an arrow of time. Lastly, chaos is given an additional, objective meaning. (shrink)

This entry provides an overview of theories of concepts that is organized around five philosophical issues: (1) the ontology of concepts, (2) the structure of concepts, (3) empiricism and nativism about concepts, (4) concepts and natural language, and (5) concepts and conceptual analysis.

Frank Plumpton Ramsey (1903–30) made seminal contributions to philosophy, mathematics and economics. Whilst he was acknowledged as a genius by his contemporaries, some of his most important ideas were not appreciated until decades later; now better appreciated, they continue to bear an influence upon contemporary philosophy. His historic significance was to usher in a new phase of analytic philosophy, which initially built upon the logical atomist doctrines of Bertrand Russell and Ludwig Wittgenstein, raising their ideas to a new level of (...) sophistication, but ultimately he became their successor rather than remain a mere acolyte. (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)

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.

Contemporary philosophical accounts of the applicability of mathematics in physical sciences and the empirical world are based on formalized relations between the mathematical structures and the physical systems they are supposed to represent within the models. Such relations were constructed both to ensure an adequate representation and to allow a justification of the validity of the mathematical models as means of scientific inference. This article puts in evidence the various circularities (logical, epistemic, and of definition) that are present in these (...) formal constructions and discusses them as an argument for the alternative semantic and propositional-structure accounts of the applicability of mathematics. (shrink)

Time travel is a recognized concept in philosophy and science, but whose scope is highly disputed, giving rise to numerous paradoxes in both philosophy and science. Time travel is considered by some accepted both in general relativity and quantum mechanics, but there is a unanimous consensus that it is not feasible with current technology. (Hawkins 2010) The raised issues are different for the time travel in the past compared to the time travel in the future.

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)

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.

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)

À propos de la possibilité de voyager dans le temps sur la base de plusieurs ouvrages spécialisés, notamment ceux de 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 »), et David Lewis (« The Paradoxes of Time Travel »). L'article commence par une (...) Introduction dans laquelle je fais une brève présentation du voyage dans le temps et poursuit par une Histoire du concept de voyage dans le temps, les principaux aspects physiques du voyage dans le temps, y compris les voyages dans le temps dans le passé dans la relativité générale et la physique quantique , et les voyages dans le temps dans le futur, puis une présentation du Paradoxe du grand-père abordé dans presque toutes les œuvres spécialisées, suivie d’une section consacrée à la Philosophie du voyage dans le temps et d’une section dans laquelle j’analyse les Boucles causales pour le voyage dans le temps. Je termine mon travail avec Conclusions, dans laquelle je maintiens mes opinions personnelles sur le voyage dans le temps et la Bibliographie sur laquelle repose le travail. -/- TABLE: -/- Abstract Introducere Istoria conceptului de călătorie în timp Paradoxul bunicului Filosofía călătoriei în timp Buclele cauzale Concluzii Note Bibliografie -/- DOI: 10.13140/RG.2.2.27116.51841. (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)

Quantum entanglement has long been thought to be have deep metaphysical consequences. For example, it has been claimed to show that Humean supervenience is false or to involve a novel form of ontological holism. One way to avoid confronting the metaphysical consequences is to adopt some form of antirealism. In this paper we discuss two prominent strands in recent literature—wavefunction realism and “Super-Humeanism”—that appear quite different, but, as we see it, are instances of a more general strategy. In effect, what (...) these attempt to do is to diffuse the puzzle of entanglement by eliminating it. These interpretative movements are advertised as equally realist, but, we claim, fail to take an appropriately realist attitude towards entanglement. What we advocate instead is a genuine metaphysics of entanglement: instead of eliminating entanglement, develop a metaphysics that accounts for and explains it. (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)

Une autre définition du voyage dans le temps (Arntzenius 2006) (Smeenk and Wüthrich 2011) l'assimile à l'existence des courbes temporelles fermées, une variété lorentzienne d'une particule matérielle dans l'espace-temps qui revient à son point de départ. Certains auteurs acceptent l’existence de deux dimensions temporelles et d’autres envisagent des scénarios comportant plusieurs univers « parallèles », chacun ayant son propre espace-temps à quatre dimensions.Mais la question est de savoir si un voyage dans une autre dimension temporelle ou dans un autre univers (...) parallèle est en fait un voyage dans le temps ou virtuel. Examiner la possibilité de revenir dans le temps dans un univers hypothétique décrit par une métrique de Gödel a amené Kurt Gödel à affirmer que le temps pouvait être une sorte d’illusion, une autre dimension de l’espace, donnant lieu à un « bloc à 4 dimensions. ». (shrink)

The Ptolemy-Copernicus transition is analyzed in the interdisciplinary context. It is argued that in Ptolemaic programme mathematical exactness diverged from the principles of Aristotelian physics well-grounded empirically. The Copernican revolution can be considered as a realization of the dualism between mathematical astronomy and Aristotelian qualitative physics and the corresponding gradual efforts to eliminate it. The works of Copernicus, Galileo, Kepler and Newton were all the stages of the mathematics descendance from skies to earth and reciprocal extrapolation of earth physics on (...) divine phenomena. -/- Key words: Ptolemy, Copernicus, scientific revolution -/- . (shrink)

I proffer a success argument for classical logical consequence. I articulate in what sense that notion of consequence should be regarded as the privileged notion for metaphysical inquiry aimed at uncovering the fundamental nature of the world. Classical logic breeds necessitism. I use necessitism to produce problems for both ontological naturalism and atheism.

The current consensus view of causation in physics, as commonly held by scientists and philosophers, has several serious problems. It fails to provide an epistemology for the causal knowledge that it claims physics to possess; it is inapplicable in a prominent area of physics (classical thermodynamics); and it is difficult to reconcile with our everyday use of causal concepts and claims. In this dissertation, I use historical examples and philosophical arguments to show that the interventionist account of causation constitutes a (...) promising alternative for a “physically respectable” account of causation. The interventionist account explicates important parts of the experimental practice of physics and important aspects of the ways in which physical theory is used and applied. Moreover, the interventionist account succeeds where the consensus view of causation in physics fails. I argue that the interventionist account provides an epistemology of causal knowledge in physics that is rooted in experiment. On the interventionist view, there is a close link between experiment and the testing of causal claims. I give several examples of experiments from the early history of thermodynamics that scientists used in interventionist-type arguments. I also argue that interventionist claims made in the context of a physical theory can be epistemically justified by reference to the experimental interventions and observations that serve as evidence for the theory. I then show that the interventionist account of causation is well-suited to the patterns of reasoning that are intrinsic to thermodynamic theory. I argue that interventionist reasoning constitutes the structural foundation of thermodynamic theory, and that thermodynamic theory can provide clear answers to meaningful questions about whether or not a certain variable is a cause of another in a given context. Finally, I argue that the interventionist account offers the prospect of a unification of “physically respectable” causation and our everyday notion of causation. I conclude the dissertation by sketching an anti-foundationalist unification of causation, according to which causal reasoning occurs in the same manner in physics as it does in other branches of life and scientific research. (shrink)