Simplicity and Parsimony

Occam’s razor is frequently considered to be a cornerstone of the scientific method. Indeed, it was and remains a valuable tool for scientific and philosophical inquiry. However, we provided an overview of some historical instances in which it led science away from a reasonable and sound heuristic approach. Some words of caution are necessary to clarify how, contrary to common belief, a too strict adherence to such a principle did not guarantee scientific rigor but, rather, obstructed further progress.

Aesthetic considerations played a substantial and positive role in the development and acceptance of plate tectonics, the modern theory of the earth’s major geological features and the unifying framework of the earth sciences. Here I give an overview of how aesthetics influenced plate tectonics and take a detailed look at a handful of examples from this history where elegance and simplicity tipped the balance in favour of a given hypothesis. I discuss some implications of this case study for extant accounts (...) of aesthetics in science and argue that the positive role aesthetics played can be explained by recent accounts that posit an indirect and contingent link between knowledge and psychological mechanisms underlying aesthetic appreciation. (shrink)

This essay discusses Peter Langland-Hassan's approach to "explaining imagination" as it plays out in his recent book of that title. Langland-Hassan offers a theory of “attitude imagining” that avoids positing what he calls a “sui generis cognitive attitude.” This theory attempts to explain things like pretend play, hypothetical reasoning, and cognition of fiction; to explain them using only (what he calls) more “basic” mental states like beliefs and desires; and thus to explain them without positing a distinct cognitive attitude of (...) imagining, as many theorists do (including me). In other words, “attitude imagining,” for Langland-Hassan, is whatever explains those things (except for a distinct cognitive attitude of imagining itself). Despite the theoretical interest of this approach, I argue it is ontologically pennywise and pound foolish: for a slight savings in ontological complexity it dramatically reduces explanatory power. (shrink)

Super-Humeans argue that the most parsimonious ontology of the natural world compatible with our best physical theories consists exclusively of particles and the distance relations between them. This paper argues by contrast that Super-Humean reduction goes insufficiently far, by showing there to be a more parsimonious ontology compatible with physics: Ultimate-Humeanism. This novel view posits an ontology consisting solely of the particles and distance relations required for the existence of a single brain. Super-Humeans impose conditions on what counts as an (...) ontology of the natural world to avoid their view slipping into this kind of ontology, but these conditions are arbitrarily imposed and once this is exposed, Super-Humeans face a dilemma. Either they can embrace Ultimate-Humeanism as the minimal ontology of the natural world compatible with physics, or (more likely) they can rethink the methodology that got them there. Overall, this paper argues that Super-Humeanism currently lacks principled motivation, outlines a framework for naturalistic ontological reductions, and exposes the consequences of unchecked adherence to a simplicity-driven methodology. (shrink)

Metaphysicians often claim that some metaphysical theory should (or shouldn’t) be believed because it exhibits (or fails to exhibit) theoretical virtues such as simplicity. Metaphysicians also sometimes claim that the legitimacy of these sorts of appeals to theoretical virtues are vindicated by the similar appeals to theoretical virtues which scientists make in scientific theory choice. One objection to this methodological move is to claim that the metaphysician misdescribes the role that theoretical virtues play within science. In this paper I defend (...) the metaphysician’s use of theoretical virtues against this objection. (shrink)

In this article, I will provide a critical overview of the form of non-deductive reasoning commonly known as “Inference to the Best Explanation” (IBE). Roughly speaking, according to IBE, we ought to infer the hypothesis that provides the best explanation of our evidence. In section 2, I survey some contemporary formulations of IBE and highlight some of its putative applications. In section 3, I distinguish IBE from C.S. Peirce’s notion of abduction. After underlining some of the essential elements of IBE, (...) the rest of the entry is organized around an examination of various problems that IBE confronts, along with some extant attempts to address these problems. In section 4, I consider the question of when a fact requires an explanation, since presumably IBE applies only in cases where some explanation is called for. In section 5, I consider the difficult question of how we ought to understand IBE in light of the fact that among philosophers, there is significant disagreement about what constitutes an explanation. In section 6, I consider different strategies for justifying the truth-conduciveness of the explanatory virtues, e.g., simplicity, unification, scope, etc., criteria which play an indispensable role in any given application of IBE. In section 7, I survey some of the most recent literature on IBE, much of which consists of investigations of the status of IBE from the standpoint of the Bayesian philosophy of science. (shrink)

The framework of Solomonoff prediction assigns prior probability to hypotheses inversely proportional to their Kolmogorov complexity. There are two well-known problems. First, the Solomonoff prior is relative to a choice of Universal Turing machine. Second, the Solomonoff prior is not computable. However, there are responses to both problems. Different Solomonoff priors converge with more and more data. Further, there are computable approximations to the Solomonoff prior. I argue that there is a tension between these two responses. This is because computable (...) approximations to Solomonoff prediction do not always converge. (shrink)

Physical laws are strikingly simple, although there is no a priori reason they must be so. I propose that nomic realists of all types (Humeans and non-Humeans) should accept that simplicity is a fundamental epistemic guide for discovering and evaluating candidate physical laws. The proposal addresses several problems of nomic realism and simplicity. A consequence is that the oft-cited epistemic advantage of Humeanism over non-Humeanism disappears, undercutting an influential epistemological argument for Humeanism. Moreover, simplicity is shown to be more tightly (...) connected to lawhood than to mere truth. (shrink)

In recent discussions of the Humean Theory of Motivation (HTM), several authors – not to mention other philosophers around the proverbial water cooler – have appealed to the simplicity of the theory to defend it. But the argument from simplicity has rarely been explicated or received much critical attention – until now. I begin by reconstructing the argument and then argue that it suffers from a number of problems. Most importantly, first, I argue that HTM is unlikely to be simpler (...) than even close competing theories, and second, it is unlikely that a plausible version of the theory will be very simple. Moreover, I argue that a convincing case for HTM is likely to have to show that it is more virtuous than defenders have done so far. (shrink)

It is a common view among philosophers of science that theoretical virtues (also known as epistemic or cognitive values), such as simplicity and consistency, play an important role in scientific practice. In this article, I set out to study the role that theoretical virtues play in scientific practice empirically. I apply the methods of data science, such as text mining and corpus analysis, to study large corpora of scientific texts in order to uncover patterns of usage. These patterns of usage, (...) in turn, might shed some light on the role that theoretical virtues play in scientific practice. Overall, the results of this empirical study suggest that scientists invoke theoretical virtues explicitly, albeit rather infrequently, when they talk about models (less than 30%), theories (less than 20%), and hypotheses (less than 15%) in their published works. To the extent that they are mentioned in scientific publications, the results of this study suggest that accuracy, consistency, and simplicity are the theoretical virtues that scientists invoke more frequently than the other theoretical virtues tested in this study. Interestingly, however, depending on whether they talk about hypotheses, theories, or models, scientists may invoke one of those theoretical virtues more than the others. (shrink)

This paper argues that all of the standard theories about the divisions of space and time can benefit from, and may need to rely on, parsimony considerations. More specifically, whether spacetime is discrete, gunky or pointy, there are wildly unparsimonious rivals to standard accounts that need to be resisted by proponents of those accounts, and only parsimony considerations offer a natural way of doing that resisting. Furthermore, quantitative parsimony considerations appear to be needed in many of these cases.

Quine taught us the difference between a theory’s ontology and its ideology. Ontology is the things a theory’s quantifiers must range over if it is true, Ideology is the primitive concepts that must be used to state the theory. This allows us to split the theoretical virtue of parsimony into two kinds: ontological parsimony and ideological parsimony. My goal is help illuminate the virtue of ideological parsimony by giving a criterion for ideological innocence—a rule for when additional ideology does not (...) count against parsimony. I propose the expressive power innocence criterion: if the ideology of theory one is expressively equivalent to that of theory two, then neither is ideologically simpler than the other. In its favor I offer the argument from accuracy, showing that any account of a theoretical virtue that is supposed to make theories that have it more likely to be true than theories that do not must respect it. Next I consider its ramifications, eliminating rival views and passing judgment on some arguments from parsimony that can be found in the literature. Finally, I consider two objections. First: I address an objection arising from the possibility of languages with a ‘primitive’ operator that allows us to list a theory’s primitives in the object-language. Second: I address an objection raised by Nelson Goodman against attempts to reckon simplicity by expressive power. Both objections fail. (shrink)

For computer simulation models to usefully inform climate risk management, uncertainties in model projections must be explored and characterized. Because doing so requires running the model many ti...

Nietzsche sometimes praises the drive to order—to simplify, organize, and draw clear boundaries—as expressive of a vital "classical" style, or an Apollonian artistic drive to calmly contemplate forms displaying "epic definiteness and clarity." But he also sometimes harshly criticizes order, as in the pathological dialectics or "logical schematism" that he associates paradigmatically with Socrates. I challenge a tradition that interprets Socratism as an especially one-sided expression of, or restricted form of attention to, the Apollonian: they are more radically disparate. Beyond (...) strengthening the case for this basic point, I develop a distinctive account of what, exactly, distinguishes the Apollonian-classical and Socratic forms of order. To this end, I advance interrelated interpretations of Apollonian-classical simplicity and the "cold" calm that it elicits, by contrast to superficially similar Socratic phenomena. This illuminates Nietzsche's broader ambivalence toward science, in part by clarifying the nature and value of an idealized Apollonian science. (shrink)

The epistemic probability of A given B is the degree to which B evidentially supports A, or makes A plausible. This paper is a first step in answering the question of what determines the values of epistemic probabilities. I break this question into two parts: the structural question and the substantive question. Just as an object’s weight is determined by its mass and gravitational acceleration, some probabilities are determined by other, more basic ones. The structural question asks what probabilities are (...) not determined in this way—these are the basic probabilities which determine values for all other probabilities. The substantive question asks how the values of these basic probabilities are determined. I defend an answer to the structural question on which basic probabilities are the probabilities of atomic propositions conditional on potential direct explanations. I defend this against the view, implicit in orthodox mathematical treatments of probability, that basic probabilities are the unconditional probabilities of complete worlds. I then apply my answer to the structural question to clear up common confusions in expositions of Bayesianism and shed light on the “problem of the priors.”. (shrink)

En metafísica contemporánea, es común trabajar bajo una metodología basada en virtudes teóricas. En caso de disputa, esta metodología nos aconseja elegir la teoría que mejor satisfaga las virtudes teóricas estándar: precisión empírica, fecundidad, poder unificador, consistencia y simplicidad. Sin embargo, no hay consenso sobre cómo deben frasearse tales virtudes, ni sobre cómo ponderarlas. Aquí me concentraré en ofrecer razones a favor de una manera de frasear el principio de parsimonia ideológica, una especie de simplicidad. Defiendo que dicho principio debería (...) decir que, dadas dos teorías T1 y T2, ceteris paribus, si T1 postula menos tipos de expresiones primitvas que T2, entonces es más probable que T1 sea una teoría fiel a que T2 lo sea. Se elabora en qué consiste la cláusula ceteris paribus, qué quiere decir "postular menos tipos de expresiones primitivas" (parsimonia ideológica cualitativa) y en qué consiste la fidelidad teórica. (shrink)

This paper articulates a way to ground a relatively high prior probability for grand explanatory theories apart from an appeal to simplicity. I explore the possibility of enumerating the space of plausible grand theories of the universe by using the explanatory properties of possible views to limit the number of plausible theories. I motivate this alternative grounding by showing that Swinburne’s appeal to simplicity is problematic along several dimensions. I then argue that there are three plausible grand views—theism, atheism, and (...) axiarchism—which satisfy explanatory requirements for plausibility. Other possible views lack the explanatory virtue of these three theories. Consequently, this explanatory grounding provides a way of securing a nontrivial prior probability for theism, atheism, and axiarchism. An important upshot of my approach is that a modest amount of empirical evidence can bear significantly on the posterior probability of grand theories of the universe. (shrink)

In this paper significant challenges are raised with respect to the view that explanation essentially involves unification. These objections are raised specifically with respect to the well-known versions of unificationism developed and defended by Michael Friedman and Philip Kitcher. The objections involve the explanatory regress argument and the concepts of reduction and scientific understanding. Essentially, the contention made here is that these versions of unificationism wrongly assume that reduction secures understanding.

In this paper, I discuss a specific approach to measuring and comparing the simplicity of theories that is based on Lewis’s notion of fundamental properties. In particular, I discuss the criterion of simplicity as stated by Williams. According to Williams, the best candidate for a theory is the one which has the shortest definition in terms of fundamental properties. The aim of this paper is to show that the criterion thus specified has two constraints. First, the criterion is not applicable (...) to cases in which candidates for theories that specify fundamental properties are compared. Secondly, the applicability of the criterion in social sciences seems to be unwarranted. (shrink)

Some physicalists (Balog 2012, Howell 2013), and most dualists, endorse the acquaintance response to the Knowledge Argument. This is the claim that Mary gains substantial new knowledge, upon leaving the room, because phenomenal knowledge requires direct acquaintance with phenomenal properties. The acquaintance response is an especially promising way to make sense of the Mary case. I argue that it casts doubt on two claims often made on behalf of physicalism, regarding parsimony and mental causation. I show that those who endorse (...) the acquaintance response face special obstacles to invoking parsimony in an argument for physicalism. And I show how acknowledging the phenomenon of acquaintance can ease the dualist’s problems with mental causation, by dispelling three key objections to epiphenomenalism. The most challenging of these objections is that epiphenomenalism blocks an evolutionary explanation of the so-called “hedonic/utility match”. I propose that pleasures and pains, while themselves epiphenomenal, can nonetheless explain positive and negative associations with stimuli, associations that can contribute to fitness. (shrink)

Ernst Mach’s defense of relativist theories of motion in Die Mechanik involves a well-known criticism of Newton’s theory appealing to absolute space, and of Newton’s “bucket” experiment. Sympathetic readers (Norton 1995) and critics (Stein 1967, 1977) agree that there’s a tension in Mach’s view: he allows for some constructed scientific concepts, but not others, and some kinds of reasoning about unobserved phenomena, but not others. Following Banks (2003), I argue that this tension can be interpreted as a constructive one, springing (...) from Mach’s approach to scientific reasoning. Mach’s “economy of science” allows for a principled distinction to be made, between natural and artificial hypothetical reasoning, and Mach defends a division of labor between the sciences in a 1903 paper for The Monist, “Space and Geometry from the Point of View of Physical Inquiry”. That division supports counterfactual reasoning in Mach’s system, something that’s long been denied is possible for him. (shrink)

I argue for patternism, a new answer to the question of when some objects compose a whole. None of the standard principles of composition comfortably capture our natural judgments, such as that my cat exists and my table exists, but there is nothing wholly composed of them. Patternism holds, very roughly, that some things compose a whole whenever together they form a “real pattern”. Plausibly we are inclined to acknowledge the existence of my cat and my table but not of (...) their fusion, because the first two have a kind of internal organizational coherence that their putative fusion lacks. Kolmogorov complexity theory supplies the needed rigorous sense of “internal organizational coherence”. (shrink)

It is sometimes claimed that the Bayesian framework automatically implements Ockham’s razor—that conditionalizing on data consistent with both a simple theory and a complex theory more or less inevitably favours the simpler theory. It is shown here that the automatic razor doesn’t in fact cut it for certain mundane curve-fitting problems.

Should philosophers prefer simpler theories? Huemer (Philos Q 59:216–236, 2009) argues that the reasons to prefer simpler theories in science do not apply in philosophy. I will argue that Huemer is mistaken—the arguments he marshals for preferring simpler theories in science can also be applied in philosophy. Like Huemer, I will focus on the philosophy of mind and the nominalism/Platonism debate. But I want to engage with the broader issue of whether simplicity is relevant to philosophy.

Primitives are both important and unavoidable, and which set of primitives we endorse will greatly shape our theories and how those theories provide solutions to the problems that we take to be important. After introducing the notion of a primitive posit, I discuss the different kinds of primitives that we might posit. Following Cowling (2013), I distinguish between ontological and ideological primitives, and, following Benovsky (2013) between functional and content views of primitives. I then propose that these two distinctions cut (...) across each other leading to four types of primitive posits. I then argue that theoretical virtues should be taken to be meta-theoretical ideological primitives. I close with some reflections on the global nature of comparing sets of primitives. (shrink)

One objection to the thesis that multilocation is possible claims that, when combined with a preference for parsimonious theories, it leads to the absurd result that we ought to believe the material universe is composed of just one simple particle. I argue that this objection fails.

It is widely thought in philosophy and elsewhere that parsimony is a theoretical virtue in that if T1 is more parsimonious than T2, then T1 is preferable to T2, other things being equal. This thesis admits of many distinct precisifications. I focus on a relatively weak precisification on which preferability is a matter of probability, and argue that it is false. This is problematic for various alternative precisifications, and even for Inference to the Best Explanation as standardly understood.

Bayesians often assume, suppose, or conjecture that for any reasonable explication of the notion of simplicity a prior can be designed that will enforce a preference for hypotheses simpler in just that sense. But it is shown here that there are simplicity-driven approaches to curve-fitting problems that cannot be captured within the orthodox Bayesian framework.

Metaphysicians frequently appeal to the idea that theoretical simplicity is truth conducive in metaphysics, in the sense that, all other things being equal, simpler metaphysical theories are more likely to be true. In this paper I defend the notion that theoretical simplicity is truth conducive in metaphysics, against several recent objections. I do not give any direct arguments for the thesis that simplicity is truth conducive in metaphysics, since I am aware of no such arguments. I do argue, however, that (...) there is no special problem with the notion that simplicity is truth conducive in metaphysics. More specifically, I argue that if you accept the idea that simplicity is truth conducive in science, then it would be objectionably arbitrary to reject the idea that simplicity is truth conducive in metaphysics. (shrink)

Here, I consider the recent application of phylogenetic methods in historical linguistics. After a preliminary survey of one such method, i.e. cladistic parsimony, I respond to two common criticisms of cultural phylogenies: that cultural artifacts cannot be modeled as tree-like because of borrowing across lineages, and that the mechanism of cultural change differs radically from that of biological evolution. I argue that while perhaps remains true for certain cultural artifacts, the nature of language may be such as to side-step this (...) objection. Moreover, I explore the possibility that cladistic parsimony can be justified even if is true by appealing to the inference pattern known among philosophers as ‘Inference to the Best Explanation’. (shrink)

In this paper, I consider the relationship between Inference to the Best Explanation and Bayesianism, both of which are well-known accounts of the nature of scientific inference. In Sect. 2, I give a brief overview of Bayesianism and IBE. In Sect. 3, I argue that IBE in its most prominently defended forms is difficult to reconcile with Bayesianism because not all of the items that feature on popular lists of “explanatory virtues”—by means of which IBE ranks competing explanations—have confirmational import. (...) Rather, some of the items that feature on these lists are “informational virtues”—properties that do not make a hypothesis \ more probable than some competitor \ given evidence E, but that, roughly-speaking, give that hypothesis greater informative content. In Sect. 4, I consider as a response to my argument a recent version of compatibilism which argues that IBE can provide further normative constraints on the objectively correct probability function. I argue that this response does not succeed, owing to the difficulty of defending with any generality such further normative constraints. Lastly, in Sect. 5, I propose that IBE should be regarded, not as a theory of scientific inference, but rather as a theory of when we ought to “accept” H, where the acceptability of H is fixed by the goals of science and concerns whether H is worthy of commitment as research program. In this way, IBE and Bayesianism, as I will show, can be made compatible, and thus the Bayesian and the proponent of IBE can be friends. (shrink)

Recent attempts to answer ontological questions through conceptual analysis have been controversial. Still, it seems reasonable to assume that if the existence of certain things analytically follows from sentences we already accept, then there is no further ontological commitment involved in affirming the existence of those things. More generally, it is plausible that whenever a sentence analytically entails another, the conjunction of those sentences requires nothing more of the world for its truth than the former sentence alone. In his ‘Analyticity (...) and Ontology’, Louis deRosset tries to produce counterexamples to these principles by means of linguistic stipulations. I aim to show where his arguments go wrong. (shrink)

There are at least twelve major virtues of good theories: evidential accuracy, causal adequacy, explanatory depth, internal consistency, internal coherence, universal coherence, beauty, simplicity, unification, durability, fruitfulness, and applicability. These virtues are best classified into four classes: evidential, coherential, aesthetic, and diachronic. Each virtue class contains at least three virtues that sequentially follow a repeating pattern of progressive disclosure and expansion. Systematizing the theoretical virtues in this manner clarifies each virtue and suggests how they might have a coordinated and cumulative (...) role in theory formation and evaluation across the disciplines—with allowance for discipline specific modification. An informal and flexible logic of theory choice is in the making here. Evidential accuracy, according to my systematization, is not a largely isolated trait of good theories, as some have made it out to be. Rather, it bears multifaceted relationships, constituting significant epistemic entanglements, with other theoretical virtues. (shrink)

on ). Advice about how to move forward on the mindreading debate, particularly when it comes to overcoming the logical problem, is much needed in comparative psychology. In chapter 4 of his book Ockham’s Razors, Elliott Sober takes on the task by suggesting how we might uncover the mechanism that mediates between the environmental stimuli that is visible to all, and chimpanzee social behavior. I argue that Sober's proposed method for deciding between the behaivor-reading and mindreading hypotheses fails given the (...) nature of each of those hypotheses. I argue that the behavior-reading hypothesis that Povinelli and colleagues propose is so rich and robust that it is going to make predictions that are behaviorally indiscernible from the mindreading hypothesis. Further, I argue that the logical problem artificially separates one’s knowledge of behavior and one’s knowledge of mind. If we reject this form of dualism, the logical problem doesn’t arise. (shrink)

I review and challenge the views on simplicity and its role in linguistics put forward by Ludlow. In particular, I criticize the claim that simplicity—in the sense pertinent to science—is nothing more than ease of use or “user-friendliness”, motivated by economy of labor. I argue that Ludlow’s discussion fails to do justice to the diversity of factors that are relevant to simplicity considerations. This, in turn, leads to the neglect of crucial cases in which the rationale for simplification is unmistakably (...) epistemic, as well as instances where simplicity is part of the content of substantive, empirical hypotheses. I illustrate these points with examples from the history of generative linguistics, such as: the shaping influence exerted by simplicity, via its involvement in the notion of “linguistically significant generalization”, its methodological and substantive contribution to the goal of explanatory adequacy, and its central role in the Minimalist Program’s search “beyond explanatory adequacy”. (shrink)

In this paper, I argue that, other things being equal, simpler arguments are better. In other words, I argue that, other things being equal, it is rational to prefer simpler arguments over less simple ones. I sketch three arguments in support of this claim: an argument from mathematical proofs, an argument from scientific theories, and an argument from the conjunction rule.

Cognitive science is an interdisciplinary conglomerate of various research fields and disciplines, which increases the risk of fragmentation of cognitive theories. However, while most previous work has focused on theoretical integration, some kinds of integration may turn out to be monstrous, or result in superficially lumped and unrelated bodies of knowledge. In this paper, I distinguish theoretical integration from theoretical unification, and propose some analyses of theoretical unification dimensions. Moreover, two research strategies that are supposed to lead to unification are (...) analyzed in terms of the mechanistic account of explanation. Finally, I argue that theoretical unification is not an absolute requirement from the mechanistic perspective, and that strategies aiming at unification may be premature in fields where there are multiple conflicting explanatory models. (shrink)

This paper discusses the role that appeals to theoretical simplicity have played in the debate between nativists and empiricists in cognitive science. Both sides have been keen to make use of such appeals in defence of their respective positions about the structure and ontogeny of the human mind. Focusing on the standard simplicity argument employed by empiricist-minded philosophers and cognitive scientists—what I call “the argument for minimal innateness”—I identify various problems with such arguments—in particular, the apparent arbitrariness of the relevant (...) notions of simplicity at work. I then argue that simplicity ought not be seen as a theoretical desideratum in its own right, but rather as a stand-in for other desirable features of theories. In this deflationary vein, I argue that the best way of interpreting the argument for minimal innateness is to view it as an indirect appeal to various potential biological constraints on the amount of innate structure that can wired into the human mind. I then consider how nativists may respond to this biologized version of the argument, and discuss the role that similar biological concerns have played in recent nativist theorizing in the Minimalist Programme in generative linguistics. (shrink)

A platitude that took hold with Kuhn is that there can be several equally good ways of balancing theoretical virtues for theory choice. Okasha recently modelled theory choice using technical apparatus from the domain of social choice: famously, Arrow showed that no method of social choice can jointly satisfy four desiderata, and each of the desiderata in social choice has an analogue in theory choice. Okasha suggested that one can avoid the Arrow analogue for theory choice by employing a strategy (...) used by Sen in social choice, namely, to enhance the information made available to the choice algorithms. I argue here that, despite Okasha’s claims to the contrary, the information-enhancing strategy is not compelling in the domain of theory choice. (shrink)

In this article, we examine in detail the New Atheists' most serious argument for the conclusion that God does not exist, namely, Richard Dawkins's Ultimate 747 Gambit. Dawkins relies upon a strong explanatory principle involving simplicity. We systematically inspect the various kinds of simplicity that Dawkins may invoke. Finding his crucial premises false on any common conception of simplicity, we conclude that Dawkins has not given good reason to think God does not exist.

Incommensurability was Kuhn’s worst mistake. If it is to be found anywhere in science, it would be in physics. But revolutions in theoretical physics all embody theoretical unification. Far from obliterating the idea that there is a persisting theoretical idea in physics, revolutions do just the opposite: they all actually exemplify the persisting idea of underlying unity. Furthermore, persistent acceptance of unifying theories in physics when empirically more successful disunified rivals can always be concocted means that physics makes a persistent (...) implicit assumption concerning unity. To put it in Kuhnian terms, underlying unity is a paradigm for paradigms. We need a conception of science which represents problematic assumptions concerning the physical comprehensibility and knowability of the universe in the form of a hierarchy, these assumptions becoming less and less substantial and more and more such that their truth is required for science, or the pursuit of knowledge, to be possible at all, as one goes up the hierarchy. This hierarchical conception of science has important Kuhnian features, but also differs dramatically from the view Kuhn expounds in his The Structure of Scientific Revolutions. In this paper, I compare and contrast these two views in a much more detailed way than has been done hitherto. I show how the hierarchical view can be construed to emerge from Kuhn’s view as it is modified to overcome objections. I argue that the hierarchical conception of science is to be preferred to Kuhn’s view. (shrink)

According to Grice's “Modified Occam's Razor”, in case of uncertainty between the implicature account and the polysemy account of word uses it is parsimonious to opt for the former. However, it is widely agreed that uses can be partially conventionalised by repetition. This fact, I argue, raises a serious problem for MOR as a methodological principle, but also for the substantial notion of implicature in lexical pragmatics. In order to overcome these problems, I propose to reinterpret implicatures in terms of (...) implicature-like effects delivered by non-inferential processes. (shrink)

In his recent book Error Theory: History, Critique, Defence, Jonas Olson attempts to revive the argument from queerness originally made famous by J.L. Mackie. In this paper, we do three things. First, we eliminate four untenable formulations of the argument. Second, we argue that the most plausible formulation is one that depends crucially upon considerations of parsimony. Finally, we evaluate this formulation of the argument. We conclude that it is unproblematic for proponents of moral non-naturalism—the target of the argument from (...) queerness. (shrink)

This paper discusses Kevin Kelly’s recent attempt to justify Ockham’s Razor in terms of truth-finding efficiency. It is argued that Kelly’s justification fails to warrant confidence in the empirical content of theories recommended by Ockham’s Razor. This is a significant problem if, as Kelly and many others believe, considerations of simplicity play a pervasive role in scientific reasoning, underlying even our best tested theories, for the proposal will fail to warrant the use of these theories in practical prediction.

The Emergic Cognitive Model (ECM) is a unified computational model of visual filling-in based on the Emergic Network architecture. The Emergic Network was designed to help realize systems undergoing continuous change. In this thesis, eight different filling-in phenomena are demonstrated under a regime of continuous eye movement (and under static eye conditions as well). -/- ECM indirectly demonstrates the power of unification inherent with Emergic Networks when cognition is decomposed according to finer-grained functions supporting change. These can interact to raise (...) additional emergent behaviours via cognitive re-use, hence the Emergic prefix throughout. Nevertheless, the model is robust and parameter free. Differential re-use occurs in the nature of model interaction with a particular testing paradigm. -/- ECM has a novel decomposition due to the requirements of handling motion and of supporting unified modelling via finer functional grains. The breadth of phenomenal behaviour covered is largely to lend credence to our novel decomposition. -/- The Emergic Network architecture is a hybrid between classical connectionism and classical computationalism that facilitates the construction of unified cognitive models. It helps cutting up of functionalism into finer-grains distributed over space (by harnessing massive recurrence) and over time (by harnessing continuous change), yet simplifies by using standard computer code to focus on the interaction of information flows. Thus while the structure of the network looks neurocentric, the dynamics are best understood in flowcentric terms. Surprisingly, dynamic system analysis (as usually understood) is not involved. An Emergic Network is engineered much like straightforward software or hardware systems that deal with continuously varying inputs. Ultimately, this thesis addresses the problem of reduction and induction over complex systems, and the Emergic Network architecture is merely a tool to assist in this epistemic endeavour. -/- ECM is strictly a sensory model and apart from perception, yet it is informed by phenomenology. It addresses the attribution problem of how much of a phenomenon is best explained at a sensory level of analysis, rather than at a perceptual one. As the causal information flows are stable under eye movement, we hypothesize that they are the locus of consciousness, howsoever it is ultimately realized. (shrink)

Most scientists would hold that science has not established that the cosmos is physically comprehensible – i.e. such that there is some as-yet undiscovered true physical theory of everything that is unified. This is an empirically untestable, or metaphysical thesis. It thus lies beyond the scope of science. Only when physics has formulated a testable unified theory of everything which has been amply corroborated empirically will science be in a position to declare that it has established that the cosmos is (...) physically comprehensible. But this argument presupposes a widely accepted but untenable conception of science which I shall call standard empiricism. According to standard empiricism, in science theories are accepted solely on the basis of evidence. Choice of theory may be influenced for a time by considerations of simplicity, unity, or explanatory capacity, but not in such a way that the universe itself is permanently assumed to be simple, unified or physically comprehensible. In science, no thesis about the universe can be accepted permanently as a part of scientific knowledge independently of evidence. Granted this view, it is clear that science cannot have established that the universe is physically comprehensible. Standard empiricism is, however, as I have indicated, untenable. Any fundamental physical theory, in order to be accepted as a part of theoretical scientific knowledge, must satisfy two criteria. It must be sufficiently empirically successful, and sufficiently unified. Given any accepted theory of physics, endlessly many empirically more successful disunified rivals can always be concocted – disunified because they assert that different dynamical laws govern the diverse phenomena to which the theory applies. These disunified rivals are not considered for a moment in physics, despite their greater empirical success. This persistent rejection of empirically more successful but disunified rival theories means, I argue, that a big, highly problematic, implicit assumption is made by science about the cosmos, to the effect, at least, that the cosmos is such that all seriously disunified theories are false. Once this point is recognized, it becomes clear, I argue, that we need a new conception of science which makes explicit, and so criticizable and improvable the big, influential, and problematic assumption that is at present implicit in physics in the persistent preference for unified theories. This conception of science, which I call aim-oriented empiricism, represents the assumption of physics in the form of a hierarchy of assumptions. As one goes up the hierarchy, the assumptions become less and less substantial, and more and more nearly such that their truth is required for science, or the pursuit of knowledge, to be possible at all. At each level, that assumption is accepted which best accords with the next one up, and has, associated with it the most empirically progressive research programme in physics, or holds out the greatest hope of leading to such an empirically progressive research programme. In this way a framework of relatively insubstantial, unproblematic, fixed assumptions and associated methods is created, high up in the hierarchy, within which much more substantial and problematic assumptions and associated methods, low down in the hierarchy, can be changed, and indeed improved, as scientific knowledge improves. One assumption in this hierarchy of assumptions, I argue, is that the cosmos is physically comprehensible – that is, such that some yet-to-be-discovered unified theory of everything is true. Hence the conclusion: improve our ideas about the nature of science and it becomes apparent that science has already established that the cosmos is physically comprehensible – in so far as science can ever establish anything theoretical. (shrink)

Most scientists would hold that science has not established that the cosmos is physically comprehensible – i.e. such that there is some as-yet undiscovered true physical theory of everything that is unified. This is an empirically untestable, or metaphysical thesis. It thus lies beyond the scope of science. Only when physics has formulated a testable unified theory of everything which has been amply corroborated empirically will science be in a position to declare that it has established that the cosmos is (...) physically comprehensible. But this argument presupposes a widely accepted but untenable conception of science which I shall call standard empiricism. According to standard empiricism, in science theories are accepted solely on the basis of evidence. Choice of theory may be influenced for a time by considerations of simplicity, unity, or explanatory capacity, but not in such a way that the universe itself is permanently assumed to be simple, unified or physically comprehensible. In science, no thesis about the universe can be accepted permanently as a part of scientific knowledge independently of evidence. Granted this view, it is clear that science cannot have established that the universe is physically comprehensible. Standard empiricism is, however, as I have indicated, untenable. Any fundamental physical theory, in order to be accepted as a part of theoretical scientific knowledge, must satisfy two criteria. It must be (1) sufficiently empirically successful, and (2) sufficiently unified. Given any accepted theory of physics, endlessly many empirically more successful disunified rivals can always be concocted – disunified because they assert that different dynamical laws govern the diverse phenomena to which the theory applies. These disunified rivals are not considered for a moment in physics, despite their greater empirical success. This persistent rejection of empirically more successful but disunified rival theories means, I argue, that a big, highly problematic, implicit assumption is made by science about the cosmos, to the effect, at least, that the cosmos is such that all seriously disunified theories are false. Once this point is recognized, it becomes clear, I argue, that we need a new conception of science which makes explicit, and so criticizable and improvable the big, influential, and problematic assumption that is at present implicit in physics in the persistent preference for unified theories. This conception of science, which I call aim-oriented empiricism, represents the assumption of physics in the form of a hierarchy of assumptions. As one goes up the hierarchy, the assumptions become less and less substantial, and more and more nearly such that their truth is required for science, or the pursuit of knowledge, to be possible at all. At each level, that assumption is accepted which (a) best accords with the next one up, and (b) has, associated with it the most empirically progressive research programme in physics, or holds out the greatest hope of leading to such an empirically progressive research programme. In this way a framework of relatively insubstantial, unproblematic, fixed assumptions and associated methods is created, high up in the hierarchy, within which much more substantial and problematic assumptions and associated methods, low down in the hierarchy, can be changed, and indeed improved, as scientific knowledge improves. One assumption in this hierarchy of assumptions, I argue, is that the cosmos is physically comprehensible – that is, such that some yet-to-be-discovered unified theory of everything is true. Hence the conclusion: improve our ideas about the nature of science and it becomes apparent that science has already established that the cosmos is physically comprehensible – in so far as science can ever establish anything theoretical. (shrink)