I argue that the suppositional view of conditionals, which is quite popular for indicative conditionals, extends also to subjunctive or counterfactual conditionals. According to this view, conditional judgements should not be construed as factual, categorical judgements, but as judgements about the consequent under the supposition of the antecedent. The strongest evidence for the view comes from focusing on the fact that conditional judgements are often uncertain; and conditional uncertainty, which is a well-understood notion, does not function like uncertainty about matters (...) of fact. I argue that the evidence for this view is as strong for subjunctives as it is for indicatives. (shrink)

3.0. Well-being as a Challenge to Naturalism. In Chapter Three Adams discusses and criticizes those accounts of a person’s well being which characterize it in terms of counterfactuals regarding her actual desires and preferences. These criticisms are important for the question of ethical naturalism because any plausible naturalist position will have to portray a person’s well-being as somehow or other supervening on features of her psychology and her environment. The sorts of analyses Adams criticizes are the most prominent analyses consistent (...) with this constraint, so it is important to see whether or not Adams’ criticisms of them undermine the prospects for ethical naturalism generally. (shrink)

0.0. Theistic Ethics as a Challenge and a Diagnostic Tool. Naturalistic conceptions in metaethics come in many varieties. Many philosophers who have sought to situate moral reasoning in a naturalistic metaphysical conception have thought it necessary to adopt non-cognitivist, prescriptivist, projectivist, relativist, or otherwise deflationary conceptions. Recently there has been a revival of interest in non-deflationary moral realist approaches to ethical naturalism. Many non-deflationary approaches have exploited the resources of non-empiricist “causal” or “naturalistic” conceptions of reference and of kind definitions (...) in service of the “naturalistic” metaphilosophical conception that substantive moral questions, and questions about the metaphysics of morals, are broadly a posteriori questions, somewhat analogous to scientific questions, and are not amenable to a priori resolution by “conceptual analysis.”. (shrink)

The basic task of the essay is to exhibit science as a rational enterprise. I argue that in order to do this we need to change quite fundamentally our whole conception of science. Today it is rather generally taken for granted that a precondition for science to be rational is that in science we do not make substantial assumptions about the world, or about the phenomena we are investigating, which are held permanently immune from empirical appraisal. According to this standard (...) view, science is rational precisely because science does not make a priori metaphysical presuppositions about the world forever preserved from possible empirical refutation. It is of course accepted that an individual scientist, developing a new theory, may well be influenced by his own metaphysical presuppositions. In addition, it is acknowledged that a successful scientific theory, within the context of a particular research program, may be protected for a while from refutation, thus acquiring a kind of temporary metaphysical status, as long as the program continues to be empirically progressive. All such views unite, however, in maintaining that science cannot make permanent metaphysical presuppositions, held permanently immune from objective empirical evaluation. According to this standard view, the rationality of science arises, not from the way in which new theories are discovered, but rather from the way in which already formulated theories are appraised in the light of empirical considerations. And the fundamental problem of the rationality of science—the Humean problem of induction— concerns precisely the crucial issue of the rationality of accepting theories in the light of evidence. In this essay I argue that this widely accepted standard conception of science must be completely rejected if we are to see science as a rational enterprise. In order to assess the rationality of accepting a theory in the light of evidence it is essential to consider the ultimate aims of science. This is because adopting different aims for science will lead us, quite rationally, to accept different theories in the light of evidence. I argue that a basic aim of science is to explain. At the outset science simply presupposes, in a completely a priori fashion, that explanations can be found, that the world is ultimately intelligible or simple. In other words, science simply presupposes in an a priori way the metaphysical thesis that the world is intelligible, and then seeks to convert this presupposed metaphysical theory into a testable scientific theory. Scientific theories are only accepted insofar as they promise to help us realize this fundamental aim. At once a crucial problem arises. If scientific theories are only accepted insofar as they promise to lead us towards articulating a presupposed metaphysical theory, it is clearly essential that we can choose rationally, in an a priori way, between all the very different possible metaphysical theories that can be thought up, all the very different ways in which the universe might ultimately be intelligible. For holding different aims, accepting different metaphysical theories conceived of as blueprints for future scientific theories will, quite rationally, lead us to accept different scientific theories. Thus it is only if we can choose rationally between conflicting metaphysical blueprints for future scientific theories that we will be in a position to appraise rationally the acceptability of our present day scientific theories. We thus face the crucial problem: How can we choose rationally between conflicting possible aims for science, conflicting metaphysical blueprints for future scientific theories ? It is only if we can solve this fundamental problem concerning the aims of science that we can be in a position to appraise rationally the acceptability of existing scientific theories. There is a further point here. If we could choose rationally between rival aims, rival metaphysical blueprints for future scientific theories, then we would in effect have a rational method for the discovery of new scientific theories! Thus we reach the result: there is only a rational method for the appraisal of existing scientific theories if there is a rational method of discovery. I shall argue that the aim-oriented theory of scientific inquiry to be advocated here succeeds in exhibiting science as a rational enterprise in that it succeeds in providing a rational procedure for choosing between rival metaphysical blueprints: it thus provides a rational, if fallible, method of discovery, and a rational method for the appraisal of existing scientific theories—thus resolving the Humean problem. In Part I of the essay I argue that the orthodox conception of science fails to exhibit science as a rational enterprise because it fails to solve the Humean problem of induction. The presuppositional view advocated here does however succeed in resolving the Humean problem. In Part II of the essay I spell out the new aim-oriented theory of scientific method that becomes inevitable once we accept the basic presuppositional viewpoint. I argue that this new aim oriented conception of scientific method is essentially a rational method of scientific discovery, and that the theory has important implications for scientific practice. (shrink)

These preprints were automatically compiled into a PDF from the collection of papers deposited in PhilSci-Archive in conjunction with the PSA 2018.

Debates concerning the analysis of the concept of law of nature must address the following problem. On the one hand, our grasp of laws of nature is via our knowledge of their instances. And this seems not only an epistemological truth but also a semantic one. The concept of a law of nature must be explicated in terms of the things that instantiate the law. It is not simply that a piece of metal that conducts electricity is evidence for a (...) law that metals conduct electricity. (shrink)

This text aims to show how some substantial ontological conclusions, consistent with the notion of ‘complexity’, can be demonstrated through elementary phenomenological analyzes. In particular, we will show that it is necessary to acknowledge an ontology where the forms of ontological efficacy cannot be reduced to efficient causality, the relations between properties are irreducible to deduction, irreducible qualities must exist originally, further qualities emerge from existing qualities, and no explanatory key less complex than the fullness of consciousness’ functions can account (...) for reality. (shrink)

Any successful account of the metaphysics of mechanistic causation must satisfy at least five key desiderata. In this article, I lay out these five desiderata and explain why existing accounts of the metaphysics of mechanistic causation fail to satisfy them. I then present an alternative account that does satisfy the five desiderata. According to this alternative account, we must resort to a type of ontological entity that is new to metaphysics, but not to science: constraints. In this article, I explain (...) how a constraints-based metaphysics fits best with the emerging consensus on the nature of mechanistic explanation. 1Introduction2Renormalizability2.1The first two desiderata: Intrinsicness and productivity2.2The third desideratum: Scientific validity or non-mysteriousness2.3The fourth desideratum: Directionality2.4The fifth desideratum: Perspectival nature of mechanisms3Constraints and Causation3.1Multi-perspectival realism and causal structure3.2Causal structure as laws3.3Causal structures in analytical mechanics: Constraints3.4A metaphysics inspired by analytical mechanics: Constraints as ontologically primitive modal structures4Constraints and Mechanistic Causal Powers 4.1Inter- versus intra-perspectival categories4.2Mechanistic causal powers are grounded by constraints4.3Intrinsicness and constraints4.4Constraints and productiveness4.5Constraints and directionality5Conclusion. (shrink)

The full-text of this book chapter is not available in ORA. Citation: Williamson, T.. Knowledge of counterfactuals. In: O'Hear, A. Epistemology. Cambridge: Cambridge University Press, pp. 45-64.

The vision of natural kinds that is most common in the modern philosophy of biology, particularly with respect to the question whether species and other taxa are natural kinds, is based on a revision of the notion by Mill in A System of Logic. However, there was another conception that Whewell had previously captured well, which taxonomists have always employed, of kinds as being types that need not have necessary and sufficient characters and properties, or essences. These competing views employ (...) different approaches to scientific methodologies: Mill’s class-kinds are not formed by induction but by deduction, while Whewell’s type-kinds are inductive. More recently, phylogenetic kinds (clades, or monophyletic-kinds) are inductively projectible, and escape Mill’s strictures. Mill’s version represents a shift in the notions of kinds from the biological to the physical sciences. (shrink)

According to the factualist interpretation, the skeptical solution to the skeptic’s problem hinges on rejecting inflationary accounts of semantic facts, advocating instead for the adoption of minimal factualism. However, according to Alexander Miller, this account is unsound. Miller argues that minimal factualism represents a form of semantic primitivism, a position expressly rejected by Kripke’s Wittgenstein. Furthermore, Miller states that minimal factualism presupposes the conformity of meaning ascriptions with rules of discipline and syntax. However, he contends that this maneuver is also (...) undermined by Kripke’s skepticism. In this paper, I demonstrate that Miller’s arguments against minimal factualism are unsound. To achieve this goal, I argue that the minimalist account of semantic facts should not be equated with semantic primitivism. Moreover, I argue that statements regarding the conformity of meaning ascriptions are either beside the criticism of Kripke’s skeptic or should be interpreted from the perspective of the account on assertibility offered by the skeptical solution. On this basis, I conclude that the factualist interpretation provides a conducive environment for solving the problem posed by Kripke’s skeptic. (shrink)

: This paper explicates and defends the thesis that individual rational judgment, of the kind required for justification, whether in cognition or in morals, is fundamentally socially and historically conditioned. This puts paid to the traditional distinction, still influential today, between ‘rational’ and ‘historical’ knowledge. The present analysis highlights and defends key themes from Kant’s and Hegel’s accounts of rational judgment and justification, including four fundamental features of the ‘autonomy’ of rational judgment and one key point of Hegel’s account of (...) ‘mutual recognition’. These themes are linked to Kant’s and Hegel’s transformation of the modern natural law tradition. The results explain why Kant’s and Hegel’s philosophy are indeed the origins of the properly pragmatic account of rationality, why the pragmatic account of rationality provides genuine rational justification and why this pragmatic account of rational justification is consistent with realism about the objects of empirical knowledge and with strict objectivity about moral norms. > Russian translation : Nelly Motroshilova, ed., К 200-летию выхода в свет «Феноменологии духа» Гегеля, 195–219. > Turkish translation : ‘Hegel’in Tinin Görüngübilimi’nde Karşihkh Onanma ve Ussal Gerekçelendirme’. MonoKL 4–5 :212–231. (shrink)

There is a strong tendency in science to opt for simpler and more unified hypotheses. A view that has often been voiced is that such qualities, though aesthetically pleasing or beautiful, are at best pragmatic considerations in matters of choosing between rival hypotheses. This essay offers a novel conception and an associated measure of unification, both of which are manifestly more than just pragmatic considerations. The discussion commences with a brief survey of some failed attempts to conceptualise unification. It then (...) proceeds to an analysis of the notions of confirmational connectedness and disconnectedness, as these are essential ingredients in the proposed conception of unification and its associated measure. Roughly speaking, the notions attempt to capture the way support flows or fails to flow between the content parts of a hypothesis. Equally roughly, the more the content of a hypothesis is confirmationally connected, i.e. support flows between its content parts, the more that content is unified. Since the confirmational connectedness of two content parts is determined by purely objective matters of fact, the proposed notion and measure of unification are themselves strictly objective, i.e. not merely pragmatic. The essay concludes with a discussion of how the proposed measure handles several examples but also how it relates to the debate over measures of coherence.En la ciencia hay una marcada tendencia a preferir las hipotesis mas simples y unificadas. Una opinion mantenida a menudo es que tales cualidades, aun siendo atractivas o esteticamente satisfactorias, constituyen consideraciones pragmaticas, a lo sumo, en el asunto de la eleccion entre teorias rivales. Este ensayo ofrece una concepcion novedosa de unificacion y una medida asociada a ella, ambas claramente algo mas que meras consideraciones pragmaticas. La discusion comienza con un breve repaso de algunos intentos fallidos de conceptualizar la unificacion. Despues se analizan las nociones de conexion y desconexion confirmacional, componentes esenciales en la nocion de unificacion y la medida asociada que aqui se proponen. Dicho brevemente, esas nociones pretenden captar el modo en que el apoyo discurre o no entre las partes del contenido de las hipotesis. Simplificando, cuanto mas conectado confirmacionalmente esta el contenido de una hipotesis, mas unificado esta. Dado que la conectividad confirmacional de dos partes del contenido esta determinada por cuestiones de hecho objetivas, la nocion y la medida que propongo son tambien estrictamente objetivas, esto es, su valor no es meramente pragmatico. El ensayo concluye con una discusion sobre como la medida propuesta afronta diversos ejemplos y sobre su relacion con el debate sobre las diferentes medidas de coherencia. (shrink)

After analysing the issue of normativity in different subjects in order to see how it is vindicated, the case of logic is considered. Subsequently we turn to explore two different epistemologies for logic to see the sort of defence of the normativity of logic they let; if any. The analysis concentrates on the case of classical logic.

Many generic sentences express stable inductive generalizations. Stable inductive generalizations are typically true for a causal reason. In this paper we investigate to what extent this is also the case for the generalizations expressed by generic sentences. More in particular, we discuss the possibility that many generic sentences of the form ‘ks have feature e’ are true because kind k have the causal power to ‘produce’ feature e. We will argue that such an analysis is quite close to a probabilistic (...) based analysis of generic sentences according to which ‘relatively many’ ks have feature e, and that, in fact, this latter type of analysis can be ‘grounded’ in terms of causal powers. We will argue, moreover, that the causal power analysis is sometimes preferred to a correlation-based analysis, because it takes the causal structure that gives rise to the probabilistic data into account. (shrink)

D. M. Armstrong, Michael Tooley, and Fred Dretske have recently proposed a new realist account of laws of nature, according to which laws of nature are objective relations between universals. After criticizing this account, I develop an alternative realist account, according to which (1) the nomic structure of a world is a relation between initial world-histories and world-histories, and (2) a law of nature is a fact that holds solely in virtue of nomic structure (and not, for example, in virtue (...) of past history). (shrink)

RÉSUMÉMalgré son usage très répandu, l'inférence à la meilleure explication a souvent été considérée avec suspicion par des théoriciens d'allégeances diverses. On lui a reproché à maintes reprises defaire reposer son recours à la simplicité et ses autres vertus explicatives sur des présuppositions métaphysiques douteuses. J'aborde ces questions, dans le présent article, dans le contexte d'une discussion large de l'usage de l'IME pour fonder notre croyance au monde extérieur. Distinguant entre la légitimité et l'efficacité de l'IME, je soutiendrai qu'elle constitue (...) bien une forme légitime d'inférence, mais que son efficacité dépend de la fonction de la théorie de la connaissance qui la supporte. (shrink)

There have been many attempts to determine what makes a natural kind real, chief among them is the criterion according to which natural kinds must be mind-independent. But it is difficult to specify this criterion: many supposed natural kinds have an element of mind-dependence. I will argue that the mind-independence criterion is nevertheless a good one, if correctly understood: the mind-independence criterion concerns the unification principles for natural kinds. Unification principles determine how natural kinds unify their properties, and only those (...) natural kinds that have a mind-independent unification principle should be considered real. (shrink)

The mental simulation of past and future scenarios allows individuals to understand the past, make predictions about the future, plan and regulate their behavior. A great deal of research has focus...

According to principles of probability coordination, such as Miller's Principle or Lewis's Principal Principle, you ought to set your subjective probability for an event equal to what you take to be the objective probability of the event. For example, you should expect events with a very high probability to occur and those with a very low probability not to occur. This paper examines the grounds of such principles. It is argued that any attempt to justify a principle of probability coordination (...) encounters the same difficulties as attempts to justify induction. As a result, no justification can be found. (shrink)

This article argues that a successful answer to Hume's problem of induction can be developed from a sub-genre of philosophy of science known as formal learning theory. One of the central concepts of formal learning theory is logical reliability: roughly, a method is logically reliable when it is assured of eventually settling on the truth for every sequence of data that is possible given what we know. I show that the principle of induction (PI) is necessary and sufficient for logical (...) reliability in what I call simple enumerative induction. This answer to Hume's problem rests on interpreting PI as a normative claim justified by a non-empirical epistemic means-ends argument. In such an argument, a rule of inference is shown by mathematical or logical proof to promote a specified epistemic end. Since the proof concerning PI and logical reliability is not based on inductive reasoning, this argument avoids the circularity that Hume argued was inherent in any attempt to justify PI. (shrink)

The no-free-lunch theorems promote a skeptical conclusion that all possible machine learning algorithms equally lack justification. But how could this leave room for a learning theory, that shows that some algorithms are better than others? Drawing parallels to the philosophy of induction, we point out that the no-free-lunch results presuppose a conception of learning algorithms as purely data-driven. On this conception, every algorithm must have an inherent inductive bias, that wants justification. We argue that many standard learning algorithms should rather (...) be understood as model-dependent: in each application they also require for input a model, representing a bias. Generic algorithms themselves, they can be given a model-relative justification. (shrink)

I evaluate Schurz's proposed meta-inductive justification of induction, a refinement of Reichenbach's pragmatic justification that rests on results from the machine learning branch of prediction with expert advice. My conclusion is that the argument, suitably explicated, comes remarkably close to its grand aim: an actual justification of induction. This finding, however, is subject to two main qualifications, and still disregards one important challenge. The first qualification concerns the empirical success of induction. Even though, I argue, Schurz's argument does not need (...) to spell out what inductive method actually consists in, it does need to postulate that there is something like the inductive or scientific prediction strategy that has so far been significantly more successful than alternative approaches. The second qualification concerns the difference between having a justification for inductive method and for sticking with induction for now. Schurz's argument can only provide the latter. Finally, the remaining challenge concerns the pool of alternative strategies, and the relevant notion of a meta-inductivist's optimality that features in the analytic step of Schurz's argument. Building on the work done here, I will argue in a follow-up paper that the argument needs a stronger dynamic notion of a meta-inductivist's optimality. (shrink)

In the Introduction to the Critique of Pure Reason Kant raises a famous question: how is metaphysics possible as a science? Kant posed this question for his predecessors in early modern philosophy. I raise this question anew for the resurgence of metaphysics within analytic philosophy. I begin by dividing the question of the possibility of metaphysics into separate questions about its semantic and epistemic possibility, and translate them into contemporary terms as: (1) Why do terms in metaphysical theories refer? (2) (...) How do we have knowledge in metaphysics? I then argue that the inflationary conception of metaphysics cannot explain the semantic possibility of metaphysics and, consequently, cannot explain its epistemic possibility. I then argue, more briefly, that a deflationary conception cannot satisfactorily answer the Kantian questions either. The critical path alone remains open. (shrink)

Reductionism is often understood to include two theses: (1) every singular occurrence that the special sciences can explain also can be explained by physics; (2) every law in a higher-level science can be explained by physics. These claims are widely supposed to have been refuted by the multiple realizability argument, formulated by Putnam (1967, 1975) and Fodor (1968, 1975). The present paper criticizes the argument and identifies a reductionistic thesis that follows from one of the argument's premises.