Many philosophers are baffled by necessity. Humeans, in particular, are deeply disturbed by the idea of necessary laws of nature. In this paper I offer a systematic yet down to earth explanation of necessity and laws in terms of invariance. The type of invariance I employ for this purpose generalizes an invariance used in meta-logic. The main idea is that properties and relations in general have certain degrees of invariance, and some properties/relations have a stronger degree of invariance than others. (...) The degrees of invariance of highly-invariant properties are associated with high degrees of necessity of laws governing/describing these properties, and this explains the necessity of such laws both in logic and in science. This non-mysterious explanation has rich ramifications for both fields, including the formality of logic and mathematics, the apparent conflict between the contingency of science and the necessity of its laws, the difference between logical-mathematical, physical, and biological laws/principles, the abstract character of laws, the applicability of logic and mathematics to science, scientific realism, and logical-mathematical realism. (shrink)

Contemporary approaches to “non-market accounting” depend critically on methods of “monetization,” i.e., determining prices for goods outside the market. Monetization constitutes a case of economic measurement in a narrow sense that has not yet been analyzed in the literature on measurement in economics. Monetization, I will argue, uses homo economicus—originally created as a model to explain existing prices—as a measuring device, one that generates new prices for goods that are not traded on markets. Homo economicus, though long contested in microeconomics, (...) is thus enjoying a dubious revival in non-market accounting. (shrink)

This article aims to propagate Logic Programming as a formal tool to deal with non-monotonic reasoning. In philosophy and linguistics non-monotonic reasoning is modelled using Minimal Models as standard, i.e., by imposing an order (or selection function) on the class of all models and then by defining entailment as only caring about the minimal models of the premises with respect to the order. In this article we investigate the question whether instead of minimal models we should use logic programming to (...) model non-monotonic reasoning. Logic programming is an attractive alternative to a minimal models approach in that it makes concrete predictions in an efficient and transparent way. We study this question by focusing on one particular phenomenon that gives rise to non-monotonic inferences: conditional sentences. (shrink)

It is widely thought that Bayesian confirmation theory has provided a solution to Hempel's Paradox (the Ravens Paradox). I discuss one well‐known example of this approach, by John Mackie, and argue that it is unconvincing. I then suggest an alternative solution, which shows that the Bayesian approach is altogether mistaken. Nicod's Condition should be rejected because a generalisation is not confirmed by any of its instances if it is not law‐like. And even law‐like non‐basic empirical generalisations, which are expressions of (...) assumed underlying causal regularities, are not so confirmed if they are absurd in the light of our causal background knowledge or if their instances are not also possible instances of the relevant causal claim. (shrink)

One of the most discussed issues in psychology—presently and in the past—is how to define and measure the extent to which human cognition is rational. The rationality of human cognition is often evaluated in terms of normative standards based on a priori intuitions. Yet this approach has been challenged by two recent developments in psychology that we review in this article: ecological rationality and descriptivism. Going beyond these contributions, we consider it a good moment for psychologists and philosophers to join (...) forces and work toward a new foundation for the definition of rational cognition. We take a first step in this direction by proposing that the rationality of both cognitive and normative systems can be measured in terms of their cognitive success. Cognitive success can be defined and gauged in terms of two factors: ecological validity (the system's validity in conditions in which it is applicable) and the system's applicability (the scope of conditions under which it can be applied). As we show, prominent systems of reasoning—deductive reasoning, Bayesian reasoning, uncertain conditionals, and prediction and choice—perform rather differently on these two factors. Furthermore, we demonstrate that conceptualizing rationality according to its cognitive success offers a new perspective on the time-honored relationship between the descriptive (“is”) and the normative (“ought”) in psychology and philosophy. (shrink)

One controversial position in the debate over dispositional and categorical properties maintains that our concepts of these properties are the result of partially considering unitary properties that are both dispositional and categorical. As one of its defenders (Heil 2005, p. 351) admits, this position is typically met with “incredulous stares”. In this paper, I examine whether such a reaction is warranted. This thesis about properties is an instance of what I call “the Partial Consideration Strategy”—i.e., the strategy of claiming that (...) what were formerly thought of as distinct entities are actually a unified entity, partially considered. By evaluating its use in other debates, I uncover a multi-layered _prima facie_ case against the use of the Partial Consideration Strategy in the dispositional/categorical properties debate. In closing, I describe how the Partial Consideration Strategy can be reworked in a way that would allow it to sidestep this _prima facie_ case. (shrink)

One current version of the internalism/externalism debate in evolutionary theory focuses on the relative importance of developmental constraints in evolutionary explanation. The received view of developmental constraints sees them as an internalist concept that tend to be shared across related species as opposed to selective pressures that are not. Thus, to the extent that constraints can explain anything, they can better explain similarity across species, while natural selection is better able to explain their differences. I challenge both of these aspects (...) of the received view and propose a hierarchical view of constraints. (shrink)

This paper argues that the metaphysics of financial performance in the conceptual framework employed by accounting standard-setters is incoherent: income and expenses cannot, as the framework holds, both be independent elements of financial statements, identified from underlying events, tested for recognition and measured by discrete acts, separately from the identification, testing and measurement of other elements and satisfy the analytical relationship between performance and position embraced by the framework. An alternative conceptualisation is proposed, under which income and expenses are part (...) of a wider system of classifying all changes in assets and liabilities, measured indirectly. This approach improves the metaphysical coherence, and thus the intellectual strength, of the framework project; while it leaves the measurement of financial performance unchanged, by emphasising the importance of classification, it invites further attention to the presentation of financial performance, with the potential for improving the usefulness of disclosures. (shrink)

Naturalism in the philosophy of science has proceeded differently than the familiar forms of meta-philosophical naturalism in other sub-fields, taking its cues from “science as we know it” (Cartwright in The Dappled World, Oxford University Press, Oxford, 1999, p. 1) rather than from a philosophical conception of “the Scientific Image.” Its primary focus is scientific practice, and its philosophical analyses are complementary and accountable to empirical studies of scientific work. I argue that naturalistic philosophy of science is nevertheless criterial for (...) other versions of meta-philosophical naturalism; relying on a conflicting conception of scientific understanding would constitute a “first philosophy” imposed on the sciences. Moreover, naturalistic philosophy of science provides the basis for a “radically” naturalistic alternative to the familiar forms of orthodox or liberal naturalism. Goodman, Sellars and Hempel had previously challenged empiricist scruples against causal connections or nomological necessity by arguing that scientific concepts already had modal import. The radical naturalism I defend similarly challenges meta-philosophical naturalists’ conception of the Scientific Image as anormative, and instead shows how the normativity of scientific understanding in practice is a scientifically intelligible natural phenomenon. This account then provides a basis for naturalistic reflection on how other practices and normative concerns fit together with the best scientific understanding of human ways of life. (shrink)

Knowledge is widely thought to entail belief. But Radford has claimed to offer a counterexample: the case of the unconfident examinee. And Myers-Schulz and Schwitzgebel have claimed empirical vindication of Radford. We argue, in defense of orthodoxy, that the unconfident examinee does indeed have belief, in the epistemically relevant sense of dispositional belief. We buttress this with empirical results showing that when the dispositional conception of belief is specifically elicited, people’s intuitions then conform with the view that knowledge entails (dispositional) (...) belief. (shrink)

In 1983, in an open letter to the journal Nature, Karl Popper and David Miller set forth a particularly strong critical argument which sought to demonstrate the impossibility of inductive probability. Since its publication the argument has faced many criticisms and we argue in this article that they do not reach their objectives. We will first reconstruct the demonstration made by Popper and Miller in their initial article and then try to evaluate the main arguments against it. Although it is (...) possible to conceptualize logically the idea of induction, it is shown that it is not possible on traditional Bayesian grounds. (shrink)

In 1983, in an open letter to the journal Nature, Karl Popper and David Miller set forth a particularly strong critical argument which sought to demonstrate the impossibility of inductive probability. Since its publication the argument has faced many criticisms and we argue in this article that they do not reach their objectives. We will first reconstruct the demonstration made by Popper and Miller in their initial article and then try to evaluate the main arguments against it. Although it is (...) possible to conceptualize logically the idea of induction, it is shown that it is not possible on traditional Bayesian grounds. (shrink)

Laws of nature are puzzling because they have a 'modal character'—they seem to be 'necessary-ish'—even though they also seem to be metaphysically contingent. And it is hard to understand how contingent truths could have such a modal character. Scientific essentialism is a doctrine that seems to dissolve this puzzle, by showing that laws of nature are actually metaphysically necessary. I argue that even if the metaphysics of natural kinds and properties offered by scientific essentialism is correct, there are still some (...) metaphysically contingent truths that share the modal character of the laws of nature. I argue that these contingent truths should be considered laws of nature. So even if scientific essentialism is true, at least some laws of nature are metaphysically contingent. (shrink)

Rudolf Carnap is principally renowned for stating with remarkable precision and rigor a rich variety of philosophical doctrines — doctrines which, thanks mainly to Carnap’s meticulous formulations, the philosophical world now holds to be clearly and fundamentally mistaken. Thus, it is Carnap who, in Meaning and Necessity (Carnap 1947), presents in detail the linguistic doctrine of logical truth and the semantic underpinnings of the analytic/synthetic distinction, providing thereby the grist for the mill of Quine’s highly influential and important attacks on (...) precisely these doctrines. Again, it was Carnap who, more than any other, precisely delineated the program of inductive logic. This program is now, thanks largely to Goodman’s (1983) New Riddle of Induction, also considered hopeless. Carnap is now firmly associated with a bewildering variety of discredited views: reductionism and the unity of science; the verification criterion of meaning; logic as an uninterpreted calculus; Russellian logicism even in the face of Gödel’s devastating incompleteness results; etc. (shrink)

In her recent (2009) book, The Origins of Concepts, Susan Carey argues that what she calls ‘Quinean Bootstrapping’ and processes of analogy in children show that the expressive power of a mind can be increased in ways that refute Jerry Fodor's (1975, 2008) ‘Mad Dog’ view that all concepts are innate. I argue that it is doubtful any evidence about the manifestation of concepts in children will bear upon the logico-semantic issues of expressive power. Analogy and bootstrapping may be ways (...) to bring about the former, but only by presupposing the very expressive powers Carey is claiming they explain. Analogies must be understood, and bootstrapping involves confirmation of hypotheses already expressible; otherwise they can't select among an infinitude of hypotheses compatible with the finite data the child has encountered, a fact rendered vivid by Goodman's ‘grue’ paradox and Chomsky's poverty of stimulus argument. The problems have special application to minds, since there is no reason to expect a child's concepts to be ‘projectible’ or to correspond to mind-independent natural kinds. I conclude with an ecumenical view that concepts are reasonably regarded as both innate and often learned, and that what is learned can in fact increase what really concerns Carey, the functioning psychological expressive power of the child, even if it leaves untouched what concerns Fodor, the semantic expressive power. Less ecumenically: maybe Fodor (2008) miscast the debate, and the real issue that bothers people concerns not nativism, but an issue on which Carey and Fodor surprisingly agree, his conceptual Atomism, or the view that all mono-morphemic concepts are primitive and unanalyzable. The issue deserves further discussion independently of Mad-doggery. (shrink)

International Studies in the Philosophy of Science, Volume 27, Issue 3, Page 273-293, September 2013.

Reflective equilibrium —the idea that we have to justify our judgments and principles through a process of mutual adjustment—is taken to be a central method in philosophy. Nonetheless, conceptions of RE often stay sketchy, and there is a striking lack of explicit and traceable applications of it. This paper presents an explicit case study for the application of an elaborate RE conception. RE is used to reconstruct the arguments from Thomson’s paper “Turning the Trolley” for why a bystander must not (...) divert a runaway trolley from five workmen onto one. Analyzing Thomson’s resulting position with the RE-criteria has two main results: Firstly, the adjustment of one of her commitments can be defended. Secondly, no justified position in RE was reached. With respect to RE as a method, the main results from this application are: There is at least one conception of RE that is sufficiently specified to be applicable; the RE criteria put real constraints on the process of justification; and an explicit application of RE has benefits in terms of clarity while at the same time providing guidance for how the justificatory process could be continued. (shrink)

The precautionary principle (PP) is an influential principle for making decisions when facing uncertain, but potentially severe, harm. However, there is a persistent disagreement about what the principle entails, exactly. It exists in a multitude of formulations and has potentially conflicting ideas associated with it. Is there even such a thing as ‘the precautionary principle’? This paper analyses the debate between unificationists and pluralists about ‘the PP’, arguing that the debate is hindered by neglecting the question of justification. It introduces (...) reflective equilibrium as a method of justification, and sketches how it could be applied to justify a PP. (shrink)

A historical theory of rational norms claims that, if we are supposed to think rationally, this is because it is biologically normal for us to do so. The historical theorist is committed to the view that we are supposed to think rationally only if, in the past, adult humans sometimes thought rationally. I consider whether there is any plausible model of rational norms that can be adopted by the historical theorist that is compatible with the claim that adult human beings (...) are subject to rational norms, given certain plausible empirical assumptions about our history and capabilities. I suggest that there is one such model: this model centres on the idea that a procedure is rational if it has been endorsed (or at least not rejected) by mechanisms that have the function to ensure that the subject learns to reason in a way that approaches a certain kind of optimality. (shrink)

The aim of this paper is to present the ontic approach to the normativity of cognitive functions and mechanisms, which is directly related to the understanding of biological normativity in terms of normative mechanisms. This approach assumes the hypothesis that cognitive processes contain a certain normative component independent of external attributions and researchers’ beliefs. This component consists of specific cognitive mechanisms, which I call normative. I argue that a mechanism is normative when it constitutes given actions or behaviors of a (...) system. More precisely, it means that, on the one hand, it is their constitutive cause, and on the other hand, it determines a certain field of possibilities from which the system, guided by its own goals, preferences, environmental constraints, etc., chooses the appropriate action or behavior according to a given situation. The background for the analyses presented here is the predictive processing framework, in which it can be shown that at least some of the predictive mechanisms are in fact normative mechanisms. I refer here to the existence of a motivational relation which determines the normative dependence of the agent’s actions due to specific predictions and environmental constraints. (shrink)

It is commonplace for philosophers to distinguish mere truths from truths that perspicuously represent the world's structure. According to a popular view, the perspicuous truths are supposed to be metaphysically revelatory and to play an important role in the accounts of law-hood, confirmation, and linguistic interpretation. Yet, there is no consensus about how to characterize this distinction. I examine strategies developed by Lewis and by Sider in his Writing the Book of the World which purport to explain this distinction in (...) terms of vocabulary: the truths that represent the world perspicuously have better, joint-carving vocabulary. I argue that the distinction between a perspicuous and mere truth concerns both the vocabulary of the sentence and its grammar. I then show that the collective motivations for distinguishing perspicuous from mere truths do not allow Lewis and Sider to properly impose constraints on grammar. (shrink)

Selective scientific realists disagree on which theoretical posits should be regarded as essential to the empirical success of a scientific theory. A satisfactory account of essentialness will show that the (approximate) truth of the selected posits adequately explains the success of the theory. Therefore, (a) the essential elements must be discernible prospectively; (b) there cannot be a priori criteria regarding which type of posit is essential; and (c) the overall success of a theory, or ‘cluster’ of propositions, not only individual (...) derivations, should be explicable. Given these desiderata, I propose a “unification criterion” for identifying essential elements. (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)

According to John D. Norton's Material Theory of Induction, all reasonable inductive inferences are justified in virtue of background knowledge about local uniformities in nature. These local uniformities indicate that our samples are likely to be representative of our target population in our inductions. However, a variety of critics have noted that there are many circumstances in which induction seems to be reasonable, yet such background knowledge is apparently absent. I call such absences ‘the frontiers of science', where background scientific (...) theories do not provide information about such local uniformities. I argue that the Material Theory of Induction can be reconciled with our intuitions in favour of these inductions. I adapt an attempted justification of induction in general, the Combinatoric Justification of Induction, into a more modest rationalisation at the less foundational level that the critics discuss. Subject to a number of conditions, we can extrapolate from large samples using our knowledge of facts about the minimum proportions of representative subsets of finite sets. I also discuss some of Norton's own criticisms of his theory and argue that he is overly pessimistic. I conclude that Norton's theory at least performs well at the frontiers of science. (shrink)

In the Paradox of the Ravens, a set of otherwise intuitive claims about evidence seems to be inconsistent. Most attempts at answering the paradox involve rejecting a member of the set, which seems to require a conflict either with commonsense intuitions or with some of our best confirmation theories. In contrast, I argue that the appearance of an inconsistency is misleading: ‘confirms’ and cognate terms feature a significant ambiguity when applied to universal generalisations. In particular, the claim that some evidence (...) confirms a universal generalisation ordinarily suggests, in part, that the evidence confirms the reliability of predicting that something which satisfies the antecedent will also satisfy the consequent. I distinguish between the familiar relation of confirmation simpliciter and what I shall call ‘predictive confirmation’. I use them to formulate my answer, illustrate it in a very simple probabilistic model, and defend it against objections. I conclude that, once our evidential concepts are sufficiently clarified, there is no sense in which the initial claims are both plausible and inconsistent. (shrink)

Contrary to formal theories of induction, I argue that there are no universal inductive inference schemas. The inductive inferences of science are grounded in matters of fact that hold only in particular domains, so that all inductive inference is local. Some are so localized as to defy familiar characterization. Since inductive inference schemas are underwritten by facts, we can assess and control the inductive risk taken in an induction by investigating the warrant for its underwriting facts. In learning more facts, (...) we extend our inductive reach by supplying more localized inductive inference schemes. Since a material theory no longer separates the factual and schematic parts of an induction, it proves not to be vulnerable to Hume's problem of the justification of induction. (shrink)

Inductive generalization, where people go beyond the data provided, is a basic cognitive capability, and it underpins theoretical accounts of learning, categorization, and decision making. To complete the inductive leap needed for generalization, people must make a key ‘‘sampling’’ assumption about how the available data were generated. Previous models have considered two extreme possibilities, known as strong and weak sampling. In strong sampling, data are assumed to have been deliberately generated as positive examples of a concept, whereas in weak sampling, (...) data are assumed to have been generated without any restrictions. We develop a more general account of sampling that allows for an intermediate mixture of these two extremes, and we test its usefulness. In two experiments, we show that most people complete simple one-dimensional generalization tasks in a way that is consistent with their believing in some mixture of strong and weak sampling, but that there are large individual differences in the relative emphasis different people give to each type of sampling. We also show experimentally that the relative emphasis of the mixture is influenced by the structure of the available information. We discuss the psychological meaning of mixing strong and weak sampling, and possible extensions of our modeling approach to richer problems of inductive generalization. (shrink)

In this paper, we offer a descriptive theory of analogical reasoning in mathematics, stating general conditions under which an analogy may provide genuine inductive support to a mathematical conjecture (over and above fulfilling the merely heuristic role of ‘suggesting’ a conjecture in the psychological sense). The proposed conditions generalize the criteria of Hesse in her influential work on analogical reasoning in the empirical sciences. By reference to several case studies, we argue that the account proposed in this paper does a (...) better job in vindicating the use of analogical inference in mathematics than the prominent alternative defended by Bartha. (shrink)

Analogy has received attention as a form of inductive reasoning in the empirical sciences. Its role in mathematics has, instead, received less consideration. This paper provides a novel account of how an analogy with a more familiar mathematical domain can contribute to the confirmation of a mathematical conjecture. By reference to case-studies, we propose a distinction between an incremental and a non-incremental form of confirmation by mathematical analogy. We offer an account of the former within the popular framework of Bayesian (...) confirmation theory. As for the non-incremental notion, we defend its role in rationally informing the prior credences of mathematicians in those circumstances in which no new mathematical evidence is introduced. The resulting framework captures many important aspects of the use of analogical inference in the domain of pure mathematics. (shrink)

Kant, in his third Critique, confronts the issue of how rule-governed objective judgement is possible. He argues that it requires a particular kind of aesthetic response to one's experience. I dub this response 'the Feeling of Unity', and I raise the question whether it is a type of inexpressible knowledge. Using David Bell's account of these matters as a touchstone, I argue that it is.