Peter Vickers examines 'inconsistent theories' in the history of science--theories which, though contradictory, are held to be extremely useful. He argues that these 'theories' are actually significantly different entities, and warns that the traditional goal of philosophy to make substantial, general claims about how science works is misguided.

The semantic approach to scientific representation is now long established as a favourite amongst philosophers of science. One of the foremost strains of this approach—the model-theoretic approach —is to represent scientific theories as families of models, all of which satisfy or ‘make true’ a given set of constraints. However some authors have criticised the approach on the grounds that certain scientific theories are logically inconsistent, and there can be no models of an inconsistent set of constraints. Thus (...) it would seem that the MTA fails to represent inconsistent scientific theories at all, and this raises concerns about the way it represents in general. In a series of papers and a recent book da Costa and French have developed a variant of the MTA approach which they call ‘partial structures’, and which they claim can accommodate inconsistent theories. I assess this claim, looking to two theories which have been called ‘inconsistent’: Bohr’s theory of the atom and classical electrodynamics. (shrink)

In this book, Peter Vickers argues that inconsistency in science has been massively exaggerated by philosophers. In his view, inconsistent science is neither as rampant nor as damaging as many have supposed. To argue his point, he develops a specific method he calls theory eliminativism and applies it to four case studies from the history of physics and mathematics .The method is original and convincing, and the case studies well researched and compelling. Vickers’ monograph provides a challenge (...) to any philosopher of science who takes inconsistency claims seriously, while also introducing a potentially very useful methodology for analyzing away problematic ‘theory’ discourse in other philosophical debates. Overall then, this is a very creative text and useful for both those directly interested in .. (shrink)

Nowadays there is a growing tendency in the philosophy of science to think that some phenomena cannot be exhaustively explained, or even described, by a single theory or a particular approach. Thus, we are occasionally required to use various approaches in order to give account of the phenomenon we are analyzing. And sometimes, we can appreciate this as an invitation to be pluralist in certain respects about our understanding of a particular aspect in science. -/- During the last (...) decade applications of pluralism have increased and led to several other relevant debates in the philosophy of science. By the strengthening of pluralism, new questions have emerged, and more importantly, new alternatives have been offered in dealing with problems about how to interpret the ontology and the ontological commitments of particular theories, or how to apply strategies to analyze and understand specific episodes from the history of science, or how to work within different, and sometimes incompatible, explanations about a particular phenomenon, among others. In general, pluralism seems to be a very rich and yet not enough explored path for the philosophy of science in general. -/- Today, it is recognized that, at least for methodological purposes, the application of pluralism to the study of science can offer a great number of benefits. One of them would be the opportunity of analyzing the role that some epistemic virtues -such as scope, fruitfulness, consistency, and simplicity, to name just a few- play in the scientific activity. From the different pluralist positions, a lot has been said about empirical adequacy, refutability and explanatory power yet consistency power, yet, consistency has not been equally dealt with. -/- As a matter of fact, the lack of consistency and its philosophical implications have been studied from an angle that does not necessarily involve a pluralism of any kind. At the moment, it is commonly accepted that inconsistencies are more frequent in scientific development that the traditional philosophy of science could have expected and the idea that inconsistency is not always a synonym of logical anarchy, as it was suggested in the classical literature of logic and the philosophy of science, has been gaining support. All this has been possible, mostly, thanks to the emergence of paraconsistent logics and the availability of case studies that show how inconsistency is not an uncommon phenomenon in science. -/- But pluralism does not necessarily entail inconsistency toleration nor vice versa. Accordingly the main motivation for this volume is to explore the links between pluralism and inconsistency toleration in science, in order to connect the reflections on inconsistency toleration with broader and major issues in philosophy of science. In order to do so, we will suggest two different lines of investigation: first, to focus on the implication of some pluralistic accounts in the philosophy of science, regarding inconsistency; and second to analyze the implications of some paraconsistent approaches regarding pluralism in science. (shrink)

For centuries, inconsistencies were seen as a hindrance to good reasoning, and their role in the sciences was ignored. In recent years, however, logicians as well as philosophers and historians have showed a growing interest in the matter. Central to this change were the advent of paraconsistent logics, the shift in attention from finished theories to construction processes, and the recognition that most scientific theories were at some point either internally inconsistent or incompatible with other accepted findings. The new (...) interest gave rise to important questions. How is `logical anarchy' avoided? Is it ever rational to accept an inconsistent theory? In what sense, if any, can inconsistent theories be considered as true? The present collection of papers is the first to deal with this kind of questions. It contains case studies as well as philosophical analyses, and presents an excellent overview of the different approaches in the domain. (shrink)

Scientific publications depict science as an orderly endeavour and the epitome of rationality. In contrast, scientific practice is messy and not strictly rational. Here, I analyse this inconsistency, which is recurrent, and try to clarify its meaning for the functioning of science. The discussion is based on a review of relevant literature and detailed analysis of the role of each of the three intervening elements, the scientist, his/her practice and the scientific publication, with an emphasis on the circular (...) mode of the latter’s creation. This way, I will discuss the nature, causes and relevance of the inconsistency. That corresponds to answering three questions, respectively: ‘what are the characteristics of the inconsistency?’, ‘what are its origins?’ and ‘how could it be interpreted within a model for the structure and functioning of science?’ From this discussion it is concluded that, contrary to the negative character generally attributed to it, the inconsistency between practice and reporting is part of the production mechanism of science. (shrink)

Some philosophers have recently argued that contrary to the traditional view, good scientific theories can in fact be logically inconsistent. The literature is now full of case-studies that are taken to support this claim. I will argue however that as of yet no-one has managed to articulate a philosophically interesting view about the role of logically inconsistent theories in science that genuinely goes against tradition, is plausibly true, and is supported by any of the case studies usually (...) given. (shrink)

There has always been interest in inconsistency in science, not least within science itself as scientists strive to devise a consistent picture of the universe. Some important early landmarks in this history are Copernicus’s criticism of the Ptolemaic picture of the heavens, Galileo’s claim that Aristotle’s theory of motion was inconsistent, and Berkeley’s claim that the early calculus was inconsistent. More recent landmarks include the classical theory of the electron, Bohr’s theory of the atom, and the (...) on-going difficulty of reconciling Einstein’s general relativity and quantum theory. But over the past few decades philosophers have taken a particular and increasing interest in inconsistency in science. In 2002 this culminated in the first collection of articles specifically dedicated to the topic: Inconsistency in Science, edited by Joke Meheus, published by Kluwer, and featuring twelve articles on a range of topics in the philosophy of science and mathematics.Since then philosophic. (shrink)

For several decades now philosophers have discussed apparent examples of internally inconsistent scientific theories. However, there is still much controversy over how exactly we should conceive of scientific theories in the first place. Here I argue for a new approach, whereby all of the truly important questions about inconsistency in science can be asked and answered without disagreements about theories and theory-content getting in the way. Three examples commonly described as ‘internally inconsistent theories’ are analysed in the (...) light of this approach. In the process, the question ‘Is the theory inconsistent or not?’ is identified as a bad, or at least unimportant, question. (shrink)

Chomsky’s principle of epistemological tolerance says that in theoretical linguistics contradictions between the data and the hypotheses may be temporarily tolerated in order to protect the explanatory power of the theory. The paper raises the following problem: What kinds of contradictions may be tolerated between the data and the hypotheses in theoretical linguistics? First a model of paraconsistent logic is introduced which differentiates between week and strong contradiction. As a second step, a case study is carried out which exemplifies that (...) the principle of epistemological tolerance may be interpreted as the tolerance of week contradiction. The third step of the argumentation focuses on another case study which exemplifies that the principle of epistemological tolerance must not be interpreted as the tolerance of strong contradiction. The reason for the latter insight is the unreliability and the uncertainty of introspective data. From this finding the author draws the conclusion that it is the integration of different data types that may lead to the improvement of current theoretical linguistics and that the integration of different data types requires a novel methodology which, for the time being, is not available. (shrink)

It is generally agreed upon today that scientific reasoning, like everyday reasoning, proceeds in a dynamic way: inferences derived at some stage in the reasoning process may at a later stage be rejected. This dynamics may be extrinsic or intrinsic. I shall call it extrinsic when previously derived conclusions are rejected on non-logical grounds, and intrinsic when their rejection is based on a purely logical analysis.

In this paper we present two case studies on inconsistencies in the social sciences. The first is devoted to sociologist George Caspar Homans and his exchange theory. We argue that his account of how he arrived at his theory is highly misleading, because it ignores the inconsistencies he had to cope with. In the second case study we analyse how John Maynard Keynes coped with the inconsistency between classical economic theory and real economic conditions in developing his path-breaking theory.

In this work, the first of a series, we study the nature of informal inconsistency in physics, focusing mainly on the foundations of quantum theory, and appealing to the concept of quasi-truth. We defend a pluralistic view of the philosophy of science, grounded on the existence of inconsistencies and on quasi-truth. Here, we treat only the ‘classical aspects’ of the subject, leaving for a forthcoming paper the ‘non-classical’ part.

Inconsistency toleration is the phenomenon of working with inconsistent information without threatening one’s rationality. Here I address the role that ignorance plays for the tolerance of contradictions in the empirical sciences. In particular, I contend that there are two types of ignorance that, when present, can make epistemic agents to be rationally inclined to tolerate a contradiction. The first is factual ignorance, understood as temporary undecidability of the truth values of the conflicting propositions. The second is what I call (...) “ignorance of theoretical structure”, which is lack of knowledge of relevant inference patterns within a specific theory. I argue that these two types of ignorance can be explanatory of the scientists’ rational disposition to be tolerant towards contradictions, and I illustrate this with a case study from neutrino physics. (shrink)

It has recently been argued by Davey (2014) that inconsistency is never tolerated in science, but only discretely isolated. But when talking about inconsistencies in science, not much attention has been paid to the inconsistencies between theory and observation. Here I will argue that inconsistency toleration actually takes place in science, and that when we examine actual inconsistent theories, inconsistencies between theory and observation look anything but homogeneous. I will argue, appealing to certain properties of empirical (...) theories, especially holism, that at least two sub-types of inconsistencies regarding theory and observation can be distinguished: those that satisfy a criterion of observational independence and those that do not. (shrink)

Most scientific theories are globally inconsistent. Chunk and Permeate is a method of rational reconstruction that can be used to separate, and identify, locally consistent chunks of reasoning or explanation. This then allows us to justify reasoning in a globally inconsistent theory. We extend chunk and permeate by adding a visually transparent way of guiding the individuation of chunks and deciding on what information permeates from one chunk to the next. The visual representation is in the form of (...) bundle diagrams. We then extend the bundle diagrams to include not only reasoning in the presence of inconsistent information or reasoning in the logical sense of deriving a conclusion from premises, but more generally reasoning in the sense of trying to understand a phenomenon in science. This extends the use of the bundle diagrams in terms of the base space and the fibres. We then apply this to a case in physics, that of understanding binding energies in the nucleus of an atom using together inconsistent models: the liquid drop model and the shell model. We draw some philosophical conclusions concerning scientific reasoning, paraconsistent reasoning, the role of logic in science and the unity of science. (shrink)

There are still on-going debates on what exactly is wrong with Prior’s pathological “tonk.” In this article I argue, on the basis of categorical inferentialism, that two notions of inconsistency ought to be distinguished in an appropriate account of tonk; logic with tonk is inconsistent as the theory of propositions, and it is due to the fallacy of equivocation; in contrast to this diagnosis of the Prior’s tonk problem, nothing is actually wrong with tonk if logic is viewed as (...) the theory of proofs rather than propositions, and tonk perfectly makes sense in terms of the identity of proofs. Indeed, there is fully complete semantics of proofs for tonk, which allows us to link the Prior’s old philosophical idea with contemporary issues at the interface of categorical logic, computer science, and quantum physics, and thereby to expose commonalities between the laws of Reason and the laws of Nature, which are what logic and physics are respectively about. I conclude the article by articulating the ideas of categorical logical positivism and pluralistic unified science as its goal, including the unification of realist and antirealist conceptions of meaning by virtue of the categorical logical basis of metaphysics. (shrink)

I revisit my earlier arguments for the (trivial) inconsistency of natural languages, and take up the objection that no such argument can be established on the basis of surface usage. I respond with the evidential centrality of surface usage: the ways it can and can't be undercut by linguistic science. Then some important ramifications of having an inconsistent natural language are explored: (1) the temptation to engage in illegitimate reductio reasoning, (2) the breakdown of the knowledge idiom (because (...) its facticity isn't comfortable with every sentence being true and false). Restoring the utility of the knowledge idiom motivates regimentation - the consistentist reinterpretation of natural language inferences (as they occur in real time). It's then sketched how to give the semantics of a natural language despite its inconsistency: Necessary and sufficient truth conditions are dropped in favor of necessary truth conditions and sufficient truth conditions. (shrink)

Mathias Frisch provides the first sustained philosophical discussion of conceptual problems in classical particle-field theories. Part of the book focuses on the problem of a satisfactory equation of motion for charged particles interacting with electromagnetic fields. As Frisch shows, the standard equation of motion results in a mathematically inconsistent theory, yet there is no fully consistent and conceptually unproblematic alternative theory. Frisch describes in detail how the search for a fundamental equation of motion is partly driven by pragmatic considerations (...) (like simplicity and mathematical tractability) that can override the aim for full consistency. The book also offers a comprehensive review and criticism of both the physical and philosophical literature on the temporal asymmetry exhibited by electromagnetic radiation fields, including Einstein's discussion of the asymmetry and Wheeler and Feynman's influential absorber theory of radiation. Frisch argues that attempts to derive the asymmetry from thermodynamic or cosmological considerations fail and proposes that we should understand the asymmetry as due to a fundamental causal constraint. The book's overarching philosophical thesis is that standard philosophical accounts that strictly identify scientific theories with a mathematical formalism and a mapping function specifying the theory's ontology are inadequate, since they permit neither inconsistent yet genuinely successful theories nor thick causal notions to be part of fundamental physics. (shrink)

In theorizing about racial pejoratives, an initially attractive view is that pejoratives have the same reference as their “neutral counterparts”. Call this the identity thesis. According to this thesis, the terms “kike” and “Jew”, for instance, pick out the same set of people. To be a Jew just is to be a kike, and so to make claims about Jews just is to make claims about kikes. In this way, the two words are synonymous, and so make the same contribution (...) to the truth-conditions of sentences containing them. While the fundamental claim for the identity thesis that Jews are kikes sounds anti-semitic, it need not be actually anti-semitic. The identity thesis is usually bolstered with the further claim that the pejorative aspect of “kike” and other such terms is located elsewhere than in truth-conditional content, so what makes “kike” a bad word is a non-truth-conditional association with anti-semitism that is not shared with the word “Jew”. The exact nature and location of the negative moral content of pejoratives is a matter of some dispute among identity theorists. But whatever the intuitive appeal of the identity theory for those persuaded by such views, it is nevertheless inconsistent. (shrink)

In the increasing body of metatheoretical literature on "causal mechanisms," definitions of "mechanism" proliferate, and these increasingly divergent definitions reproduce older theoretical and methodological oppositions. The reason for this proliferation is the incompatibility of the various metatheoretical expectations directed to them: (1) to serve as an alternative to the scientific theory of individual behavior (for some social theorists, most notably Jon Elster); (2) to provide solutions for causal inference problems in the quantitative social sciences, in social history, and in the (...) (3) qualitative research context; and (4) to serve as an alternative for narratives (Charles Tilly). Mechanisms can do (1) only as under-specified law-like regularities, deliver (2) as robust generative processes represented by models, and accomplish (3) as fragile generative processes (stories), but these are not all compatible. (edited). (shrink)

The paper examines philosophical issues that arise in contexts where one has many different models for treating the same system. I show why in some cases this appears relatively unproblematic (models of turbulence) while others represent genuine difficulties when attempting to interpret the information that models provide (nuclear models). What the examples show is that while complementary models needn’t be a hindrance to knowledge acquisition, the kind of inconsistency present in nuclear cases is, since it is indicative of a lack (...) of genuine theoretical understanding. It is important to note that the differences in modeling do not result directly from the status of our knowledge of turbulent flows as opposed to nuclear dynamics—both face fundamental theoretical problems in the construction and application of models. However, as we shall, the ‘problem context(s)’ in which the modeling takes plays a decisive role in evaluating the epistemic merit of the models themselves. Moreover, the theoretical difficulties that give rise to inconsistent as opposed to complementary models (in the cases I discuss) impose epistemic and methodological burdens that cannot be overcome by invoking philosophical strategies like perspectivism, paraconsistency or partial structures. (shrink)

Inferentialists about scientific representation hold that an apparatus’s representing a target system consists in the apparatus allowing “surrogative inferences” about the target. I argue that a serious problem for inferentialism arises from the fact that many scientific theories and models contain internal inconsistencies. Inferentialism, left unamended, implies that inconsistent scientific models have unlimited representational power, since an inconsistency permits any conclusion to be inferred. I consider a number of ways that inferentialists can respond to this challenge before suggesting my (...) own solution. I develop an analogy to exploitable glitches in a game. Even though inconsistent representational apparatuses may in some sense allow for contradictions to be generated within them, doing so violates the intended function of the apparatus’s parts and hence violates representational “gameplay.”. (shrink)

It is widely recognized that scientific theories are often associated with strictly inconsistent models, but there is little agreement concerning the epistemic consequences. Some argue that model inconsistency supports a strong perspectivism, according to which claims serving as interpretations of models are inevitably and irreducibly perspectival. Others argue that in at least some cases, inconsistent models can be unified as approximations to a theory with which they are associated, thus undermining this kind of perspectivism. I examine the arguments (...) for perspectivism, and contend that its strong form is defeasible in principle, not merely in special cases. The argument rests on the plausibility of scientific knowledge concerning non-perspectival, dispositional facts about modelled systems. This forms the basis of a novel suggestion regarding how to understand the knowledge these models afford, in terms of a contrastive theory of what-questions. (shrink)

In a recent issue of this journal, M. Frisch claims to have proven that classical electrodynamics is an inconsistent physical theory. We argue that he has applied classical electrodynamics inconsistently. Frisch also claims that all other classical theories of electromagnetic phenomena, when consistent and in some sense an approximation of classical electrodynamics, are haunted by “serious conceptual problems” that defy resolution. We argue that this claim is based on a partisan if not misleading presentation of theoretical research in classical (...) electrodynamics. (shrink)

Branching time logics have been studied in computer science since the 1980s primarily to model the tree of computations for discrete transition systems. Inconsistency measures for propositional log...

This is a philosophical and historical investigation of the role of inconsistent representations of the same scientific phenomenon. The logical difficulties associated with the simultaneous application of inconsistent models are discussed. Internally inconsistent scientific proposals are characterized as structures whose application is necessarily tied to the confirming evidence that each of its components enjoys and to a vision of the general form of the theory that will resolve the inconsistency. Einstein's derivation of the black body radiation law (...) is used as an example application of such a strategy and is contrasted with planck's derivation. (shrink)

In different papers, David Liggins and Chris Daly tell philosophers what they should not do. There is no sign of them withdrawing any of these prohibitions, but I show that they fail to be consistent when asserting them. The inconsistency concerns when a philosopher should defer to the empirical findings of science.

Theories are conceptualized as predictors of phenomena using computable functions acting on prior world information. Formally, the concept of bounded prior world recursive function is defined and used as a candidate for a potential theory. An artificial world of fact is then constructed for which there exist two inconsistent best theories, in that they cannot be improved upon, and these theories are maximally inconsistent in that every best theory is a compromise. It is argued that in such a (...) world the scientific objective would be to find these maximally inconsistent theories. The construction is motivated as an attempt to illustrate the status of theory in the social sciences and in economics, in particular. (shrink)

Chemists do not aim at testing preconceptions or theoretical hypotheses only; they first and foremost produce and determine the object of chemical investigation: they learn through making. They never cease to create and stabilize heterogeneous devices, methods, models, and theories in order to act upon the world. Chemical bodies cannot be studied in isolation; their properties constitutively depend on what surrounds and acts upon them. Starting from the specificity of chemical practices, this paper investigates the meaning of consistency, inconsistency, and (...) that of the ceteris paribus clause, in this domain of science. In so doing, it defends the idea that studying what we call ‘a lack of consistency’ should always include the scrutiny of: the way a particular scientific practice is stabilized, and the ontological or pragmatic assumptions about the entities and processes upon which this practice revolves. (shrink)

As consistency is such an important topic in logic, researchers have for a long time investigated how to attain and maintain it. But consistency can also be studied from the point of view of its opposite, inconsistency. The problem with inconsistency in classical logic is that by the principle of explosion a single inconsistency leads to triviality. Paraconsistent logics were introduced to get around this problem by defining logics in such a way that the explosion principle does not apply to (...) them. Another approach stays in the classical framework and evaluates the amount of inconsistency in a set of formulas. The great bulk of this work has been done for propositional logic and presents many interesting issues about inconsistency. A previous paper introduced the concept of generalized propositional logic (GPL) to provide a uniform method for measuring inconsistency in logics that allow the application of unary operator pairs, such as for modality, time, and space, to propositional logic formulas. The universality of GPL manifests itself in the fact that such an operator pair is evaluated in a uniform manner across all such logics. The difference lies solely in the choice of a frame for each logic. But some logics also contain nonunary operators. For example, temporal logics typically contain a binary Until operator. The purpose of this paper is to show how to extend generalized propositional logic to extended generalized propositional logic (EGPL) by adding nonunary operator pairs and measure inconsistency in such logics. The universality of EGPL manifests itself in the fact that once the evaluation of the nonunary operators is given, it carries over to all such logics. For example, the temporal Until operator becomes applicable to modal logic. Furthermore, while relative inconsistency measures were previously considered for GPL, they are now extended to EGPL and a new approach removes an undesirable feature from the previous version. Also, this paper provides results about various properties of the new inconsistency measures. Many examples and explanations are given to illustrate the issues involving this extension. (shrink)

This article argues that the reduction of the morality of killing in war to the morality of killing in self-defense by ‘reductive-individualist’ revisionist just war theories is inconsistent, because when those theories apply the moral notion of self-defense to the morality of killing in war, they do not preserve the two conceptions of the “individual” inherent in this notion. The article demonstrates this inconsistency in two steps: First, it disentangles the two conceptions of the individual inherent to the notion (...) of self-defense, namely (1) that the individual is an “entity” potentially bearing a right to self-defense (unlike, e.g., groups) and (2) that the individual is a “particular,” where “particular” signifies that every human is different from every other human. The conception of the individual as a “particular” is tied to the idea that a justification grounded in a rule of self-defense is necessarily “concrete,” in the sense of referring to individually given and specific perceptions or cases, as opposed to “abstract,” in the sense of being detached from specific perceptions or cases. The article then demonstrates that reductive individualism reflects the first notion of the individual, but not the second. Due to the “loss” of the individual as a “particular”, the reductive-individualist reduction of the morality of killing in war to the morality of killing in self-defense is inconsistent, and hence its justification of killing in war grounded in self-defense is not concrete. Since such a justification must be concrete, reductive individualism cannot offer a justification for belligerent killing. (shrink)

I show that the standard approach to modeling phenomena involving microscopic classical electrodynamics is mathematically inconsistent. I argue that there is no conceptually unproblematic and consistent theory covering the same phenomena to which this inconsistent theory can be thought of as an approximation; and I propose a set of conditions for the acceptability of inconsistent theories.

How do opinion diversity and belief polarisation affect epistemic group decision-making, particularly if decisions must be made without delay and on the basis of permissive evidence? In an agent-based model, we track the consistency of group opinions aggregated through sentence-wise majority voting. Simulations on the model reveal that high opinion diversity, but not polarisation, incurs a significant inconsistency risk. These results indicate that epistemic group decisions based on permissive evidence can be particularly difficult for diverse groups. The results also improve (...) our understanding of what can reasonably be expected of expert groups, and where expert advice might have limits. (shrink)

It is widely believed that inconsistency is one of the greatest sins a scholar can commit. This issue is especially relevant in linguistics due to the rich diversity of data types, exceptions to the rules, counterexamples to the hypotheses, and background assumptions which constantly come into conflict with methodological principles. Bringing together ideas from linguistics and philosophy of science, this groundbreaking book seeks to answer the following questions: which kinds of inconsistency arise in linguistic theorising? Under which conditions can (...) inconsistencies be tolerated? And how can inconsistencies be resolved? It is the first study to develop a novel metatheoretical framework that accounts for the emergence and the resolution of inconsistency in linguistic theorising, and to reveal the strategies of inconsistency resolution in theoretical linguistics. Supported by detailed case studies, the findings of this metatheoretical analysis can be applied to improve the effectiveness of the working linguist's problem-solving activity. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:INCONSISTENCY WITHIN A RECONCILING PROJECT There is nothing I wou'd more willingly lay hold of, than an opportunity of confessing my errors; and shou'd esteem such a return to truth and reason to be more honourable than the most unerring judgment. Hume's words in the first sentence of its Appendix referred to Books I and II of A Treatise of Human Nature. I quote them here with a similarly (...) particular but less glorious reference to Chapter VIII of my Hume's Philosophy of Belief (London, and New York: Routledge and Kegan Paul, and Philosophical Library, 19 61). The errors to be corrected are in the first instance mine. But, if I am now right, they are also and more importantly to be found in the first Inquiry itself. Hume's purpose in Section VIII is to apply to the long disputed question concerning liberty and necessity what he takes to be his discovery that Our idea... of necessity and causation arises entirely from the uniformity observable in the operations of nature, where similar objects are constantly conjoined together, and the mind is determined by custom to infer the one from the appearance of the other. These two circumstances form the whole of that necessity, which we ascribe to matter (Selby-Bigge, EHU 81-82). In urging what is here offered as the new and only correct interpretation of what others want to distinguish as contingent necessity and contingent impossibility, Hume is in their - and my - terms saying that there is no genuine idea of, and no such thing as, contingent necessity and contingent impossibility. There are, that is to say, no true logically contingent propositions asserting certain necessities and impossibilities whether relative or absolute. There are, on the contrary, only logical necessities and logical impossibilities; and these obtain simply as relations of ideas. They do not and cannot either characterize or determine real existence and matter of fact (EHU 25-26). Now certainly, if Hume were right in maintaining either that we cannot coherently assert, or that we never have due warrant for asserting, that any causes necessitate their effects - that they make these, that is, as a matter of fact inevitable and anything else as a matter of fact impossible - then it would become a short and easy task to effect a Compatibilist resolution of the long disputed question. For, on this assumption, nothing more than profound regularities of human behaviour, and sometimes predictabilities, ever have been or ever could be revealed, whether in the everyday experience of the banausic vulgar, or whether by the elevated investigations of the physical and the human sciences. Discoveries of this sort, however, do not and cannot prejudice the familiar realities of human action; which just requires that, in some sense, agents must always be able to do otherwise than they do. This sense - a sense which allows that both the agent who acts freely and the agent who acts under compulsion act - Hume explicates as Locke had done before him in the great chapter 'Of Power' (Essay, II (xxi) 7 ff.). Action necessarily involves a power of acting or not acting, according to the determinations of the will; that is, if we choose to remain at rest, we may; if we choose to move, we also may (EHU 95). 1. Having thus in Part I drawn Compatibilist conclusions from what is in effect his rejection of all contingent necessity and contingent impossibility, Hume proceeds in Part II to apply his findings to the theological special case: to the equally long disputed question of freewill and predestination, that is, rather than of freewill and determinism. After first considering that all reward and punishment must presuppose that the persons to be so treated are the causes of whatever it is for which they are to be rewarded or punished, Hume entertains what ironically he presents as an objection to this theory, with regard to necessity and liberty... It may be said, for instance, that, if voluntary actions be subjected to the same laws of necessity with the operations of matter, there is a continued chain of necessary causes, pre-ordained and pre-determined, reaching from the original cause of all to... (shrink)