Since the birth of computing as an academic discipline, the disciplinary identity of computing has been debated fiercely. The most heated question has concerned the scientific status of computing. Some consider computing to be a natural science and some consider it to be an experimental science. Others argue that computing is bad science, whereas some say that computing is not a science at all. This survey article presents viewpoints for and against computing as a science. Those viewpoints are analyzed against (...) basic positions in the philosophy of science. The article aims at giving the reader an overview, background, and a historical and theoretical frame of reference for understanding and interpreting some central questions in the debates about the disciplinary identity of computer science. The article argues that much of the discussion about the scientific nature of computing is misguided due to a deep conceptual uncertainty about science in general as well as computing in particular. (shrink)

Michael Moore’s Causation and Responsibility offers an integrated conception of the law, morality, and metaphysics, centered on the notion of causation, grounded in a detailed knowledge of case law, and supported on every point by cogent argument. This is outstanding work. It is a worthy successor to Harte and Honoré’s classic Causation in the Law, and I expect that it will guide discussion for many years to come.

Definiciones de epistemología hay muchas, al igual que clases y estilos. Sin embargo, más allá de esta diversidad, es necesario contar con una definición básica que guíe nuestra comprensión del tema. Dos serán las preguntas que nos ayuden a ello en este artículo: a) ¿qué es la epistemología? y b) ¿para qué le sirve al científico?

It is a commonplace that in philosophy, intuitions supply evidence for and against philosophical theories. Recent work in experimental philosophy has brought to bear the intuitions of philosophically naïve subjects in a number of different ways. One line of response to this work has been to claim that philosophers have expertise that privileges their intuitive judgments, and allows them to disregard the judgments of non-experts. This expertise is supposed to be analogous to the expertise of the mathematician or the physicist. (...) This paper critically evaluates this appeal to philosophical expertise. (shrink)

The author identifies selected implicit or not fully explicit assumptions made by Noam Chomsky in his theory of language. Through a careful examination of Chomsky's work, she aims to present the solutions this linguist proposes with respect to two fundamental questions: the question of methodology and the question of the ontological status of language. After reviewing the central theses of Chomsky's theory in the first part of the paper, she turns to the question that is mentioned in the title of (...) this paper, that is, the reservations regarding the assumptions underlying Chomsky's work. (shrink)

I discuss various reactions to my article “Again, what the philosophy of science is not” [Callebaut (Acta Biotheor 53:92–122 (2005a))], most of which concern the naturalism issue, the place of the philosophy of biology within philosophy of science and philosophy at large, and the proper tasks of the philosophy of biology.

This thesis offers a naturalist revision of Alain Badiou’s philosophy. This goal is pursued through an encounter of Badiou’s mathematical ontology and theory of truth with contemporary trends in philosophy of mathematics and philosophy of science. I take issue with Badiou’s inability to elucidate the link between the empirical and the ontological, and his residual reliance on a Heideggerian project of fundamental ontology, which undermines his own immanentist principles. I will argue for both a bottom-up naturalisation of Badiou’s philosophical approach (...) to mathematics and a top-down naturalisation. Articulating my particular understanding of what realism and naturalism should commit us to, I propose a creative fusion of Badiou’s attention to metamathematical results with a structural-informational metaphysics, proposing a ‘matherialism’ uniting the more daring speculative insights of the former with the naturalist and empiricist commitments motivating the latter. (shrink)

Firstly I define a hole as a dependent matter-less endurant, which is a little modification of Casati and Varzi’s definition. Adopting this definition, holes seem to invite three problems about causation: (1)causal closure, (2)ungrounded disposition and (3)causal overdetermination. I will defend my definition against all these problems by showing that holes are limiting cases of physical endurants rather than their opposition and that they have causal powers in a broad sense.

‘Bayesian epistemology’ became an epistemological movement in the 20th century, though its two main features can be traced back to the eponymous Reverend Thomas Bayes (c. 1701-61). Those two features are: (1) the introduction of a formal apparatus for inductive logic; (2) the introduction of a pragmatic self-defeat test (as illustrated by Dutch Book Arguments) for epistemic rationality as a way of extending the justification of the laws of deductive logic to include a justification for the laws of inductive logic. (...) The formal apparatus itself has two main elements: the use of the laws of probability as coherence constraints on rational degrees of belief (or degrees of confidence) and the introduction of a rule of probabilistic inference, a rule or principle of conditionalization. (shrink)

In two recent papers Barry Loewer (2001, 2004) has suggested to interpret probabilities in statistical mechanics as Humean chances in David Lewis’ (1994) sense. I first give a precise formulation of this proposal, then raise two fundamental objections, and finally conclude that these can be overcome only at the price of interpreting these probabilities epistemically.

This thesis develops a detailed account of the emergence of for all practical purposes continuous, quasi-classical world histories from the discontinuous, stochastic micro dynamics of Minimal Bohmian Mechanics (MBM). MBM is a non-relativistic quantum theory. It results from excising the guiding equation from standard Bohmian Mechanics (BM) and reinterpreting the quantum equilibrium hypothesis as a stochastic guidance law for the random actualization of configurations of Bohmian particles. On MBM, there are no continuous trajectories linking up individual configurations. Instead, individual configurations (...) are actualized independently of each other, carving out the decoherence-induced branching structure of the universal wave function. Yet, by contrast to the Everett interpretation, branches of the universal wave function are not actualized in parallel, i.e. all at the same time. Rather, world branches, on MBM, are actualized sequentially. -/- For an introduction to MBM, the transition from BM to MBM is described, and their empirical equivalence is established. I present the conditions under which MBM can be classified as a primitive ontology (PO) theory, regarded as crucial for the acceptance of a theory as Bohmian by many proponents of BM. While rendering MBM compatible with the PO approach, it must not fall prey to the problem of communication, arising from the two-space reading of BM. -/- The issue of temporal solipsism, identified by Bell as a serious problem for his “Everett (?) theory” – the historic predecessor of MBM – is discussed. I argue that Barbour’s time capsule approach does not provide a satisfactory solution. In particular, his adopting a more than minimal psychophysical parallelism between brain processes and experience of macroscopic change is argued to be reasonable in light of our current best neuroscience, yet problematic for theories relying solely on time capsules, understood as highly structured, individual, internally static configurations. As a solution, I introduce worlds, and world histories, as key concepts in providing a link between MBM’s micro dynamics and macroscopic phenomena. Worlds, other than time capsules, are coarse-grained regions in phase- or configuration space, defined as sets of possible micro states satisfying a relation of sufficient similarity from a macroscopic perspective, with respect to a given micro state. Hence, worlds may overlap. -/- I argue that worlds thus construed are a reasonable option for replacing the disjoint macro regions of phase space, resulting from the usual way of partitioning phase space in the standard framework of Boltzmannian statistical mechanics. This move solves the issue of discontinuous change of macro variables upon the micro state crossing the boundary between different macro regions. -/- I adapt this move for MBM’s discontinuous micro dynamics in configuration space. Issues revolving around the microscopic-macroscopic distinction, particle identity, impenetrability and haecceity in light of the desideratum of particle number conservation, etc., are discussed. I provide a detailed explanation of how overlapping worlds in MBM form world histories, thereby linking up macroscopically distinct worlds. Thus, the problem of temporal solipsism is resolved in a way that is compatible with a more than minimal psychophysical parallelism. (shrink)

Prompted by Hasok Chang’s conception of the history and philosophy of science (HPS) as the continuation of science by other means, I examine the possibility of obtaining scientific knowledge through philosophical criticism and reflection, in the light of four historical cases, concerning (i) the role of absolute space in Newtonian dynamics, (ii) the purported contraction of rods and retardation of clocks in Special Relativity, (iii) the reality of the electromagnetic ether, and (iv) the so-called problem of time’s arrow. In all (...) four cases it is clear that a better understanding of such matters can be achieved —and has been achieved— through conceptual analysis. On the other hand, however, it would seem that this kind of advance has more to do with philosophical questions in science than with narrowly scientific questions. Hence, if HPS in effect continues the work of science by other means, it could well be doing it for other ends than those that working scientists ordinarily have in mind. (shrink)

I argue that the Carroll-Chen cosmogonic model does not provide a plausible scientific explanation of our universe's initial low-entropy state.

Understanding scientific modelling can be divided into two sub-projects: analysing what model-systems are, and understanding how they are used to represent something beyond themselves. The first is a prerequisite for the second: we can only start analysing how representation works once we understand the intrinsic character of the vehicle that does the representing. Coming to terms with this issue is the project of the first half of this chapter. My central contention is that models are akin to places and characters (...) of literary fictions, and that therefore theories of fiction play an essential role in explaining the nature of model-systems. This sets the agenda. Section 2 provides a statement of this view, which I label the fiction view of model-systems, and argues for its prima facie plausibility. Section 3 presents a defence of this view against its main rival, the structuralist conception of models. In Section 4 I develop an account of model-systems as imagined objects on the basis of the so-called pretence theory of fiction. This theory needs to be discussed in great detail for two reasons. First, developing an acceptable account of imagined objects is mandatory to make the fiction view acceptable, and I will show that the pretence theory has the resources to achieve this goal. Second, the term ‘representation’ is ambiguous; in fact, there are two very different relations that are commonly called ‘representation’ and a conflation between the two is the root of some of the problems that beset scientific representation. Pretence theory provides us with the conceptual resources to articulate these two different forms of representation, which I call p-representation and t-representation respectively. Putting these elements together provides us with a coherent overall picture of scientific modelling, which I develop in Section 5. (shrink)

Why do systems prepared in a non-equilibrium state approach, and eventually reach, equilibrium? An important contemporary version of the Boltzmannian approach to statistical mechanics answers this question by an appeal to the notion of typicality. The problem with this approach is that it comes in different versions, which are, however, not recognised as such, much less clearly distinguished, and we often find different arguments pursued side by side. The aim of this paper is to disentangle different versions of typicality-based explanations (...) of thermodynamic behaviour and evaluate their respective success. My conclusion will be that the boldest version fails for technical reasons, while more prudent versions leave unanswered essential questions. (shrink)