There are two important traditions in the philosophy of induction. According to one tradition, which has dominated for the last couple of centuries, inductive arguments are warranted by rules. Bayesianism is the most popular view within this tradition. Rules of induction provide functional accounts of inductive support, but no rule is universal; hence, no rule is by itself an accurate model of inductive support. According to another tradition, inductive arguments are not warranted by rules but by matters of fact. Norton’s (...) material theory of induction (MTI) is an influential view within this tradition. Norton’s MTI fails to provide an account of inductive support, but it provides a good account of inductive warrant that can help us define the domain of validity of each rule of induction. Despite their limitations, both approaches to induction are illuminating important aspects of how relations of inductive support work. In this article I present a hybrid theory of induction (HTI), in which I acknowledge and articulate the role of both rules and matters of fact in our understanding of inductive support. According to the HTI, rules of induction accurately describe relations of inductive support when they are warranted, and a rule of induction is warranted if the right facts about the matter of the induction obtain. Crucially, the HTI allows us to address the main challenges that each tradition faces while retaining their strengths, thus obtaining a functional and accurate account of inductive support. The HTI also provides a useful general framework to examine and understand induction, to make sense of how different rules of induction can coexist and to tackle some problems in epistemology. Moreover, the HTI allows us to clarify and resolve some current debates on induction, like the apparent divide between Norton and rule-based theorists. (shrink)

Late Lowe’s metaphysics of material objects is an interesting multi-thingist theory that still attracts interest from various authors. The core idea is that ifxmaterially constitutesy, thexis a proper part ofy. I discuss some mereological issues that arise from the approach and propose a revision of the mereology associated. Particularly, I examine the tenability of a number of supplementation principles and conclude that just one may serve the theory adequately. Still, the endorsement of such a principle does not come for free. (...) Successively, I address the derivability of an important extensionality theorem and conclude that the theorem must be taken as an axiom in the mereology at stake. Lastly, I discuss two notable definitions of mereological fusions to assess which one best suits the present theory. The result is that authors sharing Lowe’s multi-thingist conception of material objects can still enjoy a moderately strong mereology. (shrink)

I want in this paper to do two things. First, I want to respond to some studies that argue that people are often not rational: that people regularly and systematically depart from rationality. The conclusion itself does not worry me. I pressed for the same in a recent book. But the arguments seem to me wrong, and wrong in an interesting way. There may be something to be learned from seeing how and why they fail.

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)

This paper describes the corner-stones of a means-ends approach to the philosophy of inductive inference. I begin with a fallibilist ideal of convergence to the truth in the long run, or in the 'limit of inquiry'. I determine which methods are optimal for attaining additional epistemic aims (notably fast and steady convergence to the truth). Means-ends vindications of (a version of) Occam's Razor and the natural generalizations in a Goodmanian Riddle of Induction illustrate the power of this approach. The paper (...) establishes a hierarchy of means-ends notions of empirical success, and discusses a number of issues, results and applications of means-ends epistemology. (shrink)

This paper discusses the individuation of characters for the use asunits by geneticists at the beginning of the 20th century. Thediscussion involves the Presence and Absence Hypothesis as a case study. It issuggested that the gap between conceptual consideration and etiological factorsof individuating of characters is being handled by way of mutual adjustment.Confrontation of a suggested morphological unit character with experimentresults molded the final boundaries of it.

Is everything about reality either qualitative or somehow determined by the qualitative character of reality itself? Metaphysical anti-Haecceitism is often taken to be the claim that this is the case, and to entail that reality is fundamentally qualitative. In this paper, I (1) argue against the idea that metaphysical anti-Haecceitism should be characterized in such terms, and (2) defend a novel way to phrase such a view. This will be done by taking the main arguments for anti-Haecceitism as a guide (...) and by singling out the proper commitments of a view that satisfies thedesideratumset forth by such arguments. The phrasing I shall offer will help tell the issue of anti-Haecceitism apart from some concerns about fundamentality that, I will contend, are orthogonal to it—among them, the question whether there is fundamentality at all. (shrink)

Is everything about reality either qualitative or somehow determined by the qualitative character of reality itself? Metaphysical anti-Haecceitism is often taken to be the claim that this is the case, and to entail that reality is fundamentally qualitative. In this paper, I (1) argue against the idea that metaphysical anti-Haecceitism should be characterized in such terms, and (2) defend a novel way to phrase such a view. This will be done by taking the main arguments for anti-Haecceitism as a guide (...) and by singling out the proper commitments of a view that satisfies the desideratum set forth by such arguments. The phrasing I shall offer will help tell the issue of anti-Haecceitism apart from some concerns about fundamentality that, I will contend, are orthogonal to it—among them, the question whether there is fundamentality at all. (shrink)

This paper deals with the problem of vindicating a particular type of inductive rule, a rule to govern inferences from observed frequencies to limits of relative frequencies. Reichenbach's rule of induction is defended. By application of two conditions, normalizing conditions and a criterion of linguistic invariance, it is argued that alternative rules lead to contradiction. It is then argued that the rule of induction does not lead to contradiction when suitable restrictions are placed upon the predicates admitted. Goodman's grue-bleen paradox (...) is considered, and an attempt to resolve it is offered. Finally, Reichenbach's pragmatic argument, hinging on convergence properties, is applied. (shrink)

This paper presents a drastically revised version of the theory of causality, based on analyses of causal processes and causal interactions, advocated in Salmon (1984). Relying heavily on modified versions of proposals by P. Dowe, this article answers penetrating objections by Dowe and P. Kitcher to the earlier theory. It shows how the new theory circumvents a host of difficulties that have been raised in the literature. The result is, I hope, a more satisfactory analysis of physical causality.

It is widely agreed among philosophers of science today that no formal pattern can possibly be found in the origins of scientific theory. There is no such thing as a "logic of discovery," insists this view--a scientific hypothesis is susceptible to methodological critique only in its relation to empirical consequences derived after the hypothesis itself has emerged through a spontaneous creative inspiration. Yet confronted with the tautly directed thrust of theory-building as actually practiced at the cutting edge of scientific research, (...) this romantic denial of method in the genesis of ideas takes on the appearance of myth. It is the contention of this article that as empirical data ramify in logical complexity, they deposit a hard sediment of theory according to a standard inductive pattern so primitively compelling that it must be recognized as one of the primary forms of inferential thought. This process, here called "ontological induction," is a distillation out of unwieldly observed regularities of more conceptually tractable states hypothesized to underlie them, and is the wellspring of our beliefs in theoretical entities. Previous failure to recognize this pattern of induction has undoubtedly been in substantial measure a result of inadequate attention to the structural details of scientific propositions; for in order to exhibit the nature of ontological induction clearly, it is first necessary to make extended forays through sparsely explored methodological terrain--notably, the nature of scientific "variables," the logical form of "laws," and the type-hierarchy of scientific concepts. (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)

Scientific communities as social groupings and the role that such communities play in scientific change and the production of scientific knowledge is currently under debate. I examine theory change as a complex social interaction among individual scientists and the scientific community, and argue that individuals will be motivated to adopt a more radical or innovative attitude when confronted with striking similarities between model systems and a more robust understanding of specialised vocabulary. Two case studies from the biological sciences, Barbara McClintock (...) and Stanley Prusiner, help motivate the idea that sharing of models and specialised vocabulary fill the gap between discovery and scientific change by promoting the dispersal of important information throughout the scientific community. (shrink)

The epistemological debate about radical skepticism has focused on whether our beliefs in apparently obvious claims, such as the claim that we have hands, amount to knowledge. Arguably, however, our concept of knowledge is only one of many knowledge-like concepts that there are. If this is correct, it follows that even if our beliefs satisfy our concept of knowledge, there are many other relevantly similar concepts that they fail to satisfy. And this might give us pause. After all, we might (...) wonder: What is so great about the concept of knowledge that we happen to have? Might it be more important, epistemically speaking, to investigate whether our beliefs satisfy some other relevantly similar concept instead? And how should questions such as these even be understood? This paper discusses the epistemological significance of these issues. In particular, a novel skeptical stance called ‘meta-skepticism’ is introduced, which is a kind of skepticism about the idea that some knowledge-like concepts are epistemically more important than others. It suggested that it is unclear whether this form of skepticism can be avoided. (shrink)

We evaluate the richness of the child’s input in semantics and its relation to the hypothesis space available to the child. Our case study is the acquisition of the universal quantifier every. We report two main findings regarding the acquisition of every on the basis of a corpus study of child-directed and child-ambient speech. Our first finding is that the input in semantics is rich enough to systematically eliminate instances of the subset problem of language acquisition: overly general hypotheses about (...) the meaning of every can violate pragmatic constraints, making such hypotheses incompatible with the child’s input. Our second finding is that the semantic input is too poor to eliminate instances of what we refer to as the superset problem, the mirror image of the subset problem. We argue that at least some overly specific hypotheses about the meaning of every are compatible with the child’s input, suggesting either that those hypotheses are not made available by UG or that non-trivial inductive biases are involved in children’s acquisition of every. (shrink)

Hempel‘s paradox of the ravens, and his take on it, are meant to be understood as being restricted to situations where we have no additional background information. According to him, in the absence of any such information, observations of FGs confirm the hypothesis that all Fs are G. In this paper I argue against this principle by way of considering two other paradoxes of confirmation, Goodman‘s 'grue‘ paradox and the 'tacking‘ (or 'irrelevant conjunct‘) paradox. What these paradoxes reveal, I argue, (...) is that a presumption of causal realism is required to ground any confirmation; but once we grant causal realism, we have no reason to accept the central principles giving rise to the paradoxes. (shrink)

It is argued that the traditional distinction between artificial intelligence and cognitive simulation amounts to little more than a difference in style of research - a different ordering in goal priorities and different methodological allegiances. Both enterprises are constrained by empirical considerations and both are directed at understanding classes of tasks that are defined by essentially psychological criteria. Because of the different ordering of priorities, however, they occasionally take somewhat different stands on such issues as the power/generality trade-off and on (...) the relevance of the sort of data collected in experimental psychology laboratories. (shrink)

Barrett and others have used Lewis-style evolutionary games to argue that we ought not to trust our scientific languages to inform us about ontology. More specifically, Barrett has shown that in some simple evolutionary contexts the best descriptive languages need not cut nature at its joints, that they may guide action as successfully as possible while simultaneously being deeply conventional. The present article expands upon Barrett’s argument, exploring the space for conventionalism in more metaphysically robust causal evolutionary models. By using (...) evolutionary prediction games, the present article examines the range of metaphysical facts in these models and shows how Barrett’s sceptical argument may be both challenged and expanded to cover these systems, resulting in a more thoroughgoing scepticism about what metaphysical conclusions may be drawn from linguistic and theoretical structure. (shrink)

Nominal concepts represent things as tokens of types. Recent research suggests that we represent principled connections between the type of thing something is (e.g., DOG) and some of its properties (k‐properties; e.g., having four legs for dogs) but not other properties (t‐properties; e.g., being brown for dogs). Principled connections differ from logical, statistical, and causal connections. Principled connections license (i) the expectation that tokens of the type will generally possess their k‐properties, (ii) formal explanations (i.e., explanation of the presence of (...) k‐properties in tokens of a type by reference to the type of thing it is), and (iii) normative expectations concerning the presence of k‐properties in tokens of the type. The present paper investigates the hypothesis that representing principled connections requires representing properties as aspects of being the relevant kind of thing (Aspect Hypothesis). Experiment 1 provides a direct test of the Aspect Hypothesis. Experiments 2 and 3 provide indirect tests of the Aspect Hypothesis. All three experiments provide support for the Aspect Hypothesis. Experiment 4 investigates a prediction of the Aspect Hypothesis concerning the manner in which formal explanations are licensed by principled connections. Finally, Experiment 5 investigates a prediction of the Aspect Hypothesis concerning the nature of the normative expectations licensed by principled connections. Together these results provide strong evidence for the idea that representing principled connections involves representing a property as being an aspect of being a given kind of thing. The results also help clarify the manner in which formal explanation differs from other modes of explanation. Finally, the results of the experiments are used to motivate a proposal concerning the formal structure of the conceptual representations implicated by principled connections. This structure provides a domain‐general way of structuring our concepts and embodies the perspective we take when we think and talk of things as being instances of a kind. (shrink)

This article develops an axiomatic theory of induction that speaks to the recent debate on Bayesian orgulity. It shows the exact principles associated with the belief that data can corroborate universal laws. We identify two types of disbelief about induction: skepticism that the existence of universal laws of nature can be determined empirically, and skepticism that the true law of nature, if it exists, can be successfully identified. We formalize and characterize these two dispositions toward induction by introducing novel axioms (...) for subjective probabilities. We also relate these dispositions to the axiom of σ-additivity. (shrink)

Projectible conditions are (roughly) those whose universal generalizations are con firmed by their positive instances. This paper proposes certain modifications to the above definition in order to capture the pre-analytic notion it is supposed to explicate. Then we investigate what logical operations, when performed on projectible conditionals, yield new projectible conditionals. A number of surprising theorems are proven, and these theorems indicate that few conditionals having complex antecedents and consequents are projectible. It is also shown that projectibility is not closed (...) under contraposition, and this is proposed as a solution to the Paradox of the Ravens. Finally, a general conjecture is made concerning just what conditionals are projectible, and it follows from this conjecture that although most conditionals are not projectible, they can still be dealt with inductively, but in ways more complex than recognized by classical confirmation theory. (shrink)

This paper is concerned with two concepts of qualitativeness that apply to intensional entities. I propose an account of pure qualitativeness that largely follows the traditional understanding established by Carnap, and try to shed light on its ontological presuppositions. On this account, an intensional entity is purely qualitative iff it does not ‘involve’ any particular. An alternative notion of qualitativeness—which I propose to refer to as a concept of strict qualitativeness—has recently been introduced by Chad Carmichael. However, Carmichael’s definition presupposes (...) a highly fine-grained conception of properties and relations. To eliminate this presupposition, I tentatively suggest a different definition that rests on a concept of perspicuous denotation. In the penultimate section, both concepts of qualitativeness are put to work in distinguishing between different ‘grades’ of qualitative discriminability. (shrink)

A computational theory of induction must be able to identify the projectible predicates, that is to distinguish between which predicates can be used in inductive inferences and which cannot. The problems of projectibility are introduced by reviewing some of the stumbling blocks for the theory of induction that was developed by the logical empiricists. My diagnosis of these problems is that the traditional theory of induction, which started from a given (observational) language in relation to which all inductive rules are (...) formulated, does not go deep enough in representing the kind of information used in inductive inferences. As an interlude, I argue that the problem of induction, like so many other problems within AI, is a problem of knowledge representation. To the extent that AI-systems are based on linguistic representations of knowledge, these systems will face basically the same problems as did the logical empiricists over induction. In a more constructive mode, I then outline a non-linguistic knowledge representation based on conceptual spaces. The fundamental units of these spaces are "quality dimensions". In relation to such a representation it is possible to define "natural" properties which can be used for inductive projections. I argue that this approach evades most of the traditional problems. (shrink)

ABSTRACTOaksford and Chater critiqued the logic programming approach to nonmonotonicity and proposed that a Bayesian probabilistic approach to conditional reasoning provided a more empirically adequate theory. The current paper is a reply to Stenning and van Lambalgen's rejoinder to this earlier paper entitled ‘Logic programming, probability, and two-system accounts of reasoning: a rejoinder to Oaksford and Chater’ in Thinking and Reasoning. It is argued that causation is basic in human cognition and that explaining how abnormality lists are created in LP (...) requires causal models. Each specific rejoinder to the original critique is then addressed. While many areas of agreement are identified, with respect to the key differences, it is concluded the current evidence favours the Bayesian approach, at least for the moment. (shrink)

Nelson Goodman maintains that there is a plurality of internally consistent, equally privileged, well-made actual worlds constructed through the use of very special symbol systems—right or ultimately acceptable world versions. Using evidence from American Indian traditions, I will argue that Goodman’s criteria for ultimately acceptability are culturally biased against any non-Western world version—especially a Native version. I will then offer a culturally sensitive interpretation of Goodman’s criteria for ultimate acceptability that an American Indian world version satisfies, and so is numbered (...) among the internally consistent, equally privileged, well-made actual worlds. (shrink)

This article offers a critical review of various ontological-relativist arguments, mostly deriving from the work of W. V. Quine and Thomas K hn. I maintain that these arguments are (1) internally contradictory, (2) incapable of accounting for our knowledge of the growth of scientific knowledge, and (3) shown up as fallacious from the standpoint of a causal-realist approach to issues of truth, meaning, and interpretation. Moreover, they have often been viewed as lending support to such programmes as the 'strong' sociology (...) of knowledge and the turn towards wholesale cultural-relativist doctrines, whether of the Wittgensteinian ('language-games') or Heideggerian (depth-hermeneutic) varieties. Thus Richard Rorty recommends that we should henceforth drop all that old-fashioned talk of 'truth', 'knowledge', or 'reality', since whatever warrants those descriptions from time to time is just the product of some currently favoured language-game or range of elective metaphors. Such ideas have little in common with Quine's general outlook of robust physicalism, nor again - though the case is less clear - with Kuhn's reconsidered approach to these issues as set forth in his 1969 Postscript to The Structure of Scientific Revolutions . However, both thinkers have left themselves open to misconstrual by adopting a sceptical-relativist fallback position in response to the well-known problems with logical empiricism. This essay therefore reviews those problems with reference to alternative, more adequate accounts of what is involved in the process of scientific discovery and theory-change. (shrink)

It is an old and venerable idea in philosophy that morality is built into us, and this nativist view has seen a resurgence of late. Indeed, the prevailing systematic account of how we acquire complex moral representations is a nativist view inspired by arguments in Chomskyan linguistics. In this article, I review the leading argument for moral nativism – the poverty of the moral stimulus. I defend a systematic empiricist alternative that draws on the resources of statistical learning. Such an (...) empiricist account, I argue, promises to explain much of the complexity of people’s moral and other normative attitudes. (shrink)

People draw subtle distinctions in the normative domain. But it remains unclear exactly what gives rise to such distinctions. On one prominent approach, emotion systems trigger non-utilitarian judgments. The main alternative, inspired by Chomskyan linguistics, suggests that moral distinctions derive from an innate moral grammar. In this article, we draw on Bayesian learning theory to develop a rational learning account. We argue that the ‘size principle’, which is implicated in word learning, can also explain how children would use scant and (...) equivocal evidence to interpret candidate rules as applying more narrowly than utilitarian rules. (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)

This paper defends the thesis of learning from non-causal models: viz. that the study of some model can prompt justified changes in one’s confidence in empirical hypotheses about a real-world target in the absence of any known or predicted similarity between model and target with regards to their causal features. Recognizing that we can learn from non-causal models matters not only to our understanding of past scientific achievements, but also to contemporary debates in the philosophy of science. At one end (...) of the philosophical spectrum, my thesis undermines the views of those who, like Cartwright (Erkenntnis 70:45–58, 2009), follow Hesse (Models and Analogies in Science, Notre Dame, University of Notre Dame Press, 1963) in restricting the possibility of learning from models to only those situations where a model identifies some causal factors present in the target. At the other end of the spectrum, my thesis also helps undermine some extremely permissive positions, e.g., Grüne-Yanoff’s (Erkenntnis 70(1):81–99, 2009, Philos Sci 80(5): 850–861, 2013) claim that learning from a model is possible even in the absence of any similarity at all between model and target. The thesis that we can learn from non-causal models offers a cautious middle ground between these two extremes. (shrink)

This paper proposes to carve out a new position in the scientific realism/antirealism debate and argue that it captures some of the most important realist and some of the most important antirealist considerations. The view, briefly stated, is that there is always a fact of the matter about whether the singular statements science gives us are literally true, but there is no fact of the matter about whether the non-singular statements science gives us are literally true. I call this view (...) singularist semirealism. Singularist semirealism sides with scientific realism with regards to singular statements but it is an antirealist view with regards to non-singular statements. In this sense, singularist semirealism could be considered to be ‘the best of both worlds’. 1 Introduction2 Truth and Correctness3 Property-Tokens and Property-Types4 Singularist Semirealism5 Encouragement from Actual Scientific Practice6 Some Potentially Worrying Consequences of Singularist Semirealism7 Some Promising Consequences of Singularist Semirealism8 Conclusion: Theory Change. (shrink)