The idea that justified modal belief can be accounted for in terms of empirically justified, non-modal belief is enjoying increasing popularity in the epistemology of modality. One alleged reason to prefer modal empiricism over more traditional, rationalist modal epistemologies is that empiricism avoids the problem with the integration challenge that arise for rationalism, assuming that we want to be realists about modal metaphysics. In this paper, I argue that given two very reasonable constraints on what it means to meet the (...) integration challenge for modality, empiricism is currently at best on a par with, but potentially worse off than, rationalist alternatives, with respect to the integration challenge. (shrink)

Embodied approaches to cognition see abstract thought and language as grounded in interactions between mind, body, and world. A particularly important challenge for embodied approaches to cognition is mathematics, perhaps the most abstract domain of human knowledge. Conceptual metaphor theory, a branch of cognitive linguistics, describes how abstract mathematical concepts are grounded in concrete physical representations. In this paper, we consider the implications of this research for the metaphysics and epistemology of mathematics. In the case of metaphysics, we argue that (...) embodied mathematics is neutral in the sense of being compatible with all existing accounts of what mathematical entities really are. However, embodied mathematics may be able to revive an older position known as psychologism and overcome the difficulties it faces. In the case of epistemology, we argue that the evidence collected in the embodied mathematics literature is inconclusive: It does not show that abstract mathematical thinking is constituted by metaphor; it may simply show that abstract thinking is facilitated by metaphor. Our arguments suggest that closer interaction between the philosophy and cognitive science of mathematics could yield a more precise, empirically informed account of what mathematics is and how we come to have knowledge of it. (shrink)

It is tempting to analyse causality in terms of just one of the indicators of causal relationships, e.g., mechanisms, probabilistic dependencies or independencies, counterfactual conditionals or agency considerations. While such an analysis will surely shed light on some aspect of our concept of cause, it will fail to capture the whole, rather multifarious, notion. So one might instead plump for pluralism: a different analysis for a different occasion. But we do not seem to have lots of different concepts of cause (...) – just one eclectic notion. The resolution of this conundrum, I think, requires us to accept that our causal beliefs are generated by a wide variety of indicators, but to deny that this variety of indicators yields a variety of concepts of cause. This focus on the relation between evidence and causal beliefs leads to what I call epistemic causality. Under this view, certain causal beliefs are appropriate or rational on the basis of observed evidence; our notion of cause can be understood purely in terms of these rational beliefs. Causality, then, is a feature of our epistemic representation of the world, rather than of the world itself. This yields one, multifaceted notion of cause. (shrink)

This article examines how Quine and Sellars develop informatively contrasting responses to a fundamental tension in Carnap’s semantics ca. 1950. Quine’s philosophy could well be styled ‘Essays in Radical Empiricism’; his assay of radical empiricism is invaluable for what it reveals about the inherent limits of empiricism. Careful examination shows that Quine’s criticism of Carnap’s semantics in ‘Two Dogmas of Empiricism’ fails, that at its core Quine’s semantics is for two key reasons incoherent and that his hallmark Thesis of Extensionalism (...) is untenable. The tension in Carnap’s semantics together with Quine’s exposure of the severe limits of radical empiricism illuminate central features of Sellars’s philosophy: the fully general form of the myth of givenness, together with Sellars’s alternative Kantian characterisation of understanding; the full significance of Carnap’s distinction between conceptual analysis and conceptual explication, and its important methodological implications; the specifically pragmatic character of Sellars’s realism; and Sellars’s methodological reasons for holding that philosophy must be systematic and that systematic philosophy must be deeply historically and textually informed. This paper thus re-examines this recent episode of philosophical history for its philosophical benefits and systematic insights. (shrink)

Many mathematicians, physicists, and philosophers have suggested that the fact that mathematics—an a priori discipline informed substantially by aesthetic considerations—can be applied to natural science is mysterious. This paper sharpens and responds to a challenge to this effect. I argue that the aesthetic considerations used to evaluate and motivate mathematics are much more closely connected with the physical world than one might presume, and (with reference to case-studies within Galois theory and probabilistic number theory) show that they are correlated with (...) generally recognized theoretical virtues, such as explanatory depth, unifying power, fruitfulness, and importance. (shrink)

Theodore Sider’s recent book, “Writing the Book of the World”, employs a primitive notion of metaphysical structure in order to make sense of substantive metaphysics. But Sider and others who employ metaphysical primitives face serious epistemological challenges. In the first section I develop a specific form of this challenge for Sider’s own proposed epistemology for structure; the second section develops a general reliability challenge for Sider’s theory; and the third and final section argues for the rejection of Siderean structure in (...) the course of answering a transcendental argument against such rejection. (shrink)

In “Truth by Convention” W.V. Quine gave an influential argument against logical conventionalism. Even today his argument is often taken to decisively refute logical conventionalism. Here I break Quine’s arguments into two— the super-task argument and the regress argument—and argue that while these arguments together refute implausible explicit versions of conventionalism, they cannot be successfully mounted against a more plausible implicit version of conventionalism. Unlike some of his modern followers, Quine himself recognized this, but argued that implicit conventionalism was explanatorily (...) idle. Against this I show that pace Quine’s claim that implicit conventionalism has no content beyond the claim that logic is firmly accepted, implicit rules of inference can be used to distinguish the firmly accepted from the conventional. As part of my case, I argue that positing syntactic rules of inference as part of our linguistic competence follows from the same methodology that leads contemporary linguists and cognitive scientists to posit rules of phonology, morphology, and grammar. The upshot of my discussion is a diagnosis of the fallacy in Quine’s master critique of logical conventionalism and a re-opening of possibilities for an attractive conventionalist theory of logic. (shrink)

Over the last half century, possible worlds have bled into almost every area of philosophy. In the metaphysics of modality, for example, philosophers have used possible worlds almost exclusively to illuminate discourse about metaphysical necessity and possibility. But recently, some have grown dissatisfied with possible worlds. Why are horses necessarily mammals? Because the property of being a horse bears a special relationship to the property of being a mammal, they say. Not because every horse is a mammal in every possible (...) world. Some have recently begun to use properties to develop rivals to possible worlds semantics which may someday compare in formal power and capture the different systems of modal logic. In this paper, I do two things. I first offer a quick primer on possible worlds semantics. Then I discuss three rivals and the work they have left to do. (shrink)

This paper formulates a general epistemological argument against what I call non-causal realism, generalizing domain specific arguments by Benacerraf, Field, and others. First I lay out the background to the argument, making a number of distinctions that are sometimes missed in discussions of epistemological arguments against realism. Then I define the target of the argument—non-causal realism—and argue that any non-causal realist theory, no matter the subject matter, cannot be given a reasonable epistemology and so should be rejected. Finally I discuss (...) and respond to several possible responses to the argument. In addition to clearing up and avoiding numerous misunderstandings of arguments of this kind that are quite common in the literature, this paper aims to present and endorse a rigorous and fully general epistemological argument against realism. (shrink)

This paper investigates the determinacy of mathematics. We begin by clarifying how we are understanding the notion of determinacy before turning to the questions of whether and how famous independence results bear on issues of determinacy in mathematics. From there, we pose a metasemantic challenge for those who believe that mathematical language is determinate, motivate two important constraints on attempts to meet our challenge, and then use these constraints to develop an argument against determinacy and discuss a particularly popular approach (...) to resolving indeterminacy, before offering some brief closing reflections. We believe our discussion poses a serious challenge for most philosophical theories of mathematics, since it puts considerable pressure on all views that accept a non-trivial amount of determinacy for even basic arithmetic. (shrink)

Modal primitivists hold that some modal truths are primitively true. They thus seem to face a special epistemological problem: how can primitive modal truths be known? The epistemological objection has not been adequately developed in the literature. I undertake to develop the objection, and then to argue that the best formulation of the epistemological objection targets all realists about modality, rather than the primitivist alone. Furthermore, the moves available to reductionists in response to the objection are also available to primitivists. (...) I conclude by suggesting that extant theories of the epistemology of modality are not sensitive to the question of primitivism versus reductionism. (shrink)

Shamik Dasgupta (2016) proposes to tame the Principle of Sufficient Reason (PSR) to apply to only non-autonomous facts, which are facts that are apt for explanation. Call this strategy to tame the PSR the taming strategy. In a recent paper, Della Rocca (2020a) argues that proponents of the taming strategy, in attempting to formulate a restricted version of the PSR, nevertheless find themselves committed to endorsing a form of radical monism, which, in turn, leads right back to an untamed-PSR. Suppose, (...) for the sake of argument, that Della Rocca is right. My question is this: Is there reason to believe the principle of sufficient reason (in its untamed version)? In this paper, I argue that it is impossible for there to be a reason to believe the untamed-PSR. (shrink)

We are fallible creatures, prone to making all sorts of mistakes. So, we should be open to evidence of error. But what constitutes such evidence? And what is it to rationally accommodate it? I approach these questions by considering an evolutionary debunking argument according to which (a) we have good, scientific, reason to think our moral beliefs are mistaken, and (b) rationally accommodating this requires revising our confidence in, or altogether abandoning the suspect beliefs. I present a dilemma for such (...) debunkers, which shows that either we have no reason to worry about our moral beliefs, or we do but we can self-correct. Either way, moral skepticism doesn’t follow. That the evolutionary debunking argument fails is important; also important, however, is what its failure reveals about rational belief revision. Specifically, it suggests that getting evidence of error is a non-trivial endeavor and that we cannot learn that we are likely to be mistaken about some matter from a neutral stance on that matter. (shrink)

Evolutionary debunking arguments move from a premise about the influence of evolutionary forces on our moral beliefs to a skeptical conclusion about those beliefs. My primary aim is to clarify this empirically grounded epistemological challenge. I begin by distinguishing among importantly different sorts of epistemological attacks. I then demonstrate that instances of each appear in the literature under the ‘evolutionary debunking’ title. Distinguishing them clears up some confusions and helps us better understand the structure and potential of evolutionary debunking arguments.

It is by now well known that Gödel first advocated the philosophy of Leibniz and then, since 1959, that of Husserl. This raises three questions:1.How is this turn to Husserl to be interpreted? Is it a dismissal of the Leibnizian philosophy, or a different way to achieve similar goals?2.Why did Gödel turn specifically to the later Husserl's transcendental idealism?3.Is there any detectable influence from Husserl on Gödel's writings?Regarding the first question, Wang [96, p.165] reports that Gödel ‘[saw] in Husserl's work (...) a method of refining and consolidating Leibniz' monadology’. But what does this mean? In what for Gödel relevant sense is Husserl's work a refinement and consolidation of Leibniz' monadology?The second question is particularly pressing, given that Gödel was, by his own admission, a realist in mathematics since 1925. Wouldn't the uncompromising realism of the early Husserl's Logical investigations have been a more obvious choice for a Platonist like Gödel?The third question can only be approached when an answer to the second has been given, and we want to suggest that the answer to the first question follows from the answer to the second. We begin, therefore, with a closer look at the actual turn towards phenomenology.Some 30 years before his serious study of Husserl began, Gödel was well aware of the existence of phenomenology. Apart from its likely appearance in the philosophy courses that Gödel took, it reached him from various directions. (shrink)

It is often alleged that Cantor’s views about how the set theoretic universe as a whole should be considered are fundamentally unclear. In this article we argue that Cantor’s views on this subject, at least up until around 1896, are relatively clear, coherent, and interesting. We then go on to argue that Cantor’s views about the set theoretic universe as a whole have implications for theology that have hitherto not been sufficiently recognised. However, the theological implications in question, at least (...) as articulated here, would not have satisfied Cantor himself. (shrink)

Recent discussions of externalism about mental content have been dominated by the question whether it undermines the intuitively plausible idea that we have knowledge of the contents of our thoughts. In this article I focus on one main line of reasoning (the so-called 'slow switching argument') for the thesis that externalism and self-knowledge are incompatible. After criticizing a number of influential responses to the argument, I set out to explain why it fails. It will be claimed that the argument trades (...) on an ambiguity, and that only by incorporating certain controversial assumptions does it stand a chance of establishing its conclusion. Finally, drawing on an analogy with Benacerraf's challenge to Platonism, I shall offer some reasons as to why the slow switching argument fails to reveal the real source of tension between externalism and privileged self-knowledge. (shrink)

We often decide whether a state of affairs is possible by trying to mentally depict a scenario where the state in question obtains . These mental acts seem to provide us with an epistemic route to the space of possibilities. The problem this raises is whether conceivability judgments provide justification-conferring grounds for the ensuing possibility-claims . Although the question has a long history, contemporary interest in it was, to a large extent, prompted by Kripke's utilization of modal intuitions in the (...) course of propounding certain influential theses in the philosophy of language and mind. The interest has been given a further boost by the recent two-dimensional approach to the Kripkean framework. In this paper, I begin by providing a detailed examination of a most recent attempt to defend the thesis and argue that it is unsuccessful. This is followed by presenting my own gloss on Kripke's explanation of the illusions of contingency and I close by raising a general problem intended to undermine the prospects for a successful defense of the thesis. (shrink)

sBuilding models as a practical aspect of ecological theory has as a principal purpose the determination of relations in formal language. In this paper, the authors provide a formalization of ecological models based on impure systems theory. Impure systems contain objects and subjects: subjects are human beings. We can distinguish a person as an observer that by definition is the subject himself and part of the system. In this case he acquires the category of object. Objects are significances, which are (...) the consequence of perceptual beliefs on the part of the subject about material or energetic objects with certain characteristics. The impure system approach is as follows: objects are perceptual significances of material or energetic objects. The set of these objects will form an impure set of the first order. The existing relations between these relative objects will be of two classes: transactions of matter and/or energy and inferential relations. Transactions can have alethic modality: necessity, possibility, impossibility and contingency. In this work we define measures which let us choose the more suitable variables to relate both the model with the ecosystem and with different models. In this way we define different comparison indexes. (shrink)

One of the standard views on plural quantification is that its use commits one to the existence of abstract objects–sets. On this view claims like ‘some logicians admire only each other’ involve ineliminable quantification over subsets of a salient domain. The main motivation for this view is that plural quantification has to be given some sort of semantics, and among the two main candidates—substitutional and set-theoretic—only the latter can provide the language of plurals with the desired expressive power (given that (...) the nominalist seems committed to the assumption that there can be at most countably many names). To counter this approach I develop a modal-substitutional semantics of plural quantification (on which plural variables, roughly speaking, range over ways names could be) and argue for its nominalistic acceptability. (shrink)

According to quasi-empiricism, mathematics is very like a branch of natural science. But if mathematics is like a branch of science, and science studies real objects, then mathematics should study real objects. Thus a quasi-empirical account of mathematics must answer the old epistemological question: How is knowledge of abstract objects possible? This paper attempts to show how it is possible.The second section examines the problem as it was posed by Benacerraf in Mathematical Truth and the next section presents a way (...) of looking at abstract objects that purports to demythologize them. In particular, it shows how we can have empirical knowledge of various abstract objects and even how we might causally interact with them. (shrink)

(No abstract is available for this citation).

Norms are standards against which actions, dispositions of mind and character, states of affairs and so forth can be measured. They also govern our behaviour, make claims on us, bind us and provide reasons for action and thought that motivate us. J. L. Mackie argued that the intrinsic prescriptivity, or to-be-pursuedness, of moral norms would make them utterly unlike anything else that we know of. Therefore, we should favour an error theory of morality. Mackie thought that the to-be-pursuedness would have (...) to be built into mind-independent moral reality. One alternative, however, is that the to-be-pursuedness is built into our faculty of moral sensibility. There is a large body of empirical evidence demonstrating that the emotions play a central role in making moral judgments. I shall argue that this helps to explain how normative judgments are reliably and non-accidentally related to motivation. I shall also argue that emotional experience has the right structure and properties to provide us with a defeasible warrant for normative knowledge. The role of the emotions in our moral psychology does not obviously support anti-realism. Rather, emotional experience can be intentional, evaluative, evaluable, and quasi-perceptual. This makes emotional experience a plausible candidate for constituting a non-queer faculty of moral sensibility. (shrink)

A Benacerraf–Field challenge is an argument intended to show that common realist theories of a given domain are untenable: such theories make it impossible to explain how we’ve arrived at the truth in that domain, and insofar as a theory makes our reliability in a domain inexplicable, we must either reject that theory or give up the relevant beliefs. But there’s no consensus about what would count here as a satisfactory explanation of our reliability. It’s sometimes suggested that giving such (...) an explanation would involve showing that our beliefs meet some modal condition, but realists have claimed that this sort of modal interpretation of the challenge deprives it of any force: since the facts in question are metaphysically necessary and so obtain in all possible worlds, it’s trivially easy, even given realism, to show that our beliefs have the relevant modal features. Here I show that this claim is mistaken—what motivates a modal interpretation of the challenge in the first place also motivates an understanding of the relevant features in terms of epistemic possibilities rather than metaphysical possibilities, and there are indeed epistemically possible worlds where the facts in question don’t obtain. (shrink)

Sensitivity has sometimes been thought to be a highly epistemologically significant property, serving as a proxy for a kind of responsiveness to the facts that ensure that the truth of our beliefs isn’t just a lucky coincidence. But it's an imperfect proxy: there are various well-known cases in which sensitivity-based anti-luck conditions return the wrong verdicts. And as a result of these failures, contemporary theorists often dismiss such conditions out of hand. I show here, though, that a sensitivity-based understanding of (...) epistemic luck can be developed that respects what was attractive about sensitivity-based approaches in the first place but that's immune to these failures. (shrink)

Truth by convention, once thought to be the foundation of a uniquely promising approach to explaining our access to the truth in nonempirical domains, is nowadays widely considered an absurdity. Its fall from grace has been due largely to the influence of an argument that can be sketched as follows: our linguistic conventions have the power to make it the case that a sentence expresses a particular proposition, but they can’t by themselves generate truth; whether a given proposition is true—and (...) so whether the sentence that expresses it is true—is a matter of what the world is like, which means it isn’t a matter of convention alone. The consensus is that this argument is decisive against truth by convention. Strikingly, though, it has rarely been formulated with much precision. Here I provide a new rendering of the argument, one that reveals its structure and makes transparent just what assumptions it requires, and then I assess conventionalists’ prospects for resisting each of those assumptions. I conclude that the consensus is mistaken: contrary to what is almost universally thought, there remains a promising way forward for the conventionalist project. Along the way, I clarify conventionalists’ commitments by thinking about what truth by convention would need to be like in order for conventionalism to do the epistemological work it’s intended to do. (shrink)

The original publication of the article contains two formatting errors, the second of which significantly inhibits readability.

Gödel has argued that we can cultivate the intuition or perception of abstractconcepts in mathematics and logic. Gödel's ideas about the intuition of conceptsare not incidental to his later philosophical thinking but are related to many otherthemes in his work, and especially to his reflections on the incompleteness theorems.I describe how some of Gödel's claims about the intuition of abstract concepts are related to other themes in his philosophy of mathematics. In most of this paper, however,I focus on a central (...) question that has been raised in the literature on Gödel: what kind of account could be given of the intuition of abstract concepts? I sketch an answer to this question that uses some ideas of a philosopher to whom Gödel also turned in this connection: Edmund Husserl. The answer depends on how we understand the conscious directedness toward objects and the meaning of the term abstract in the context of a theory of the intentionality of cognition. (shrink)

Gödel has argued that we can cultivate the intuition or ‘perception’ of abstractconcepts in mathematics and logic. Gödel's ideas about the intuition of conceptsare not incidental to his later philosophical thinking but are related to many otherthemes in his work, and especially to his reflections on the incompleteness theorems.I describe how some of Gödel's claims about the intuition of abstract concepts are related to other themes in his philosophy of mathematics. In most of this paper, however,I focus on a central (...) question that has been raised in the literature on Gödel: what kind of account could be given of the intuition of abstract concepts? I sketch an answer to this question that uses some ideas of a philosopher to whom Gödel also turned in this connection: Edmund Husserl. The answer depends on how we understand the conscious directedness toward ‘objects’ and the meaning of the term ‘abstract’ in the context of a theory of the intentionality of cognition. (shrink)

Paul Benacerraf’s argument that mathematical realism is apparently incompatible with mathematical knowledge has been widely thought to also show that a priori knowledge in general is problematic. Although many philosophers have rejected Benacerraf’s argument because it assumes a causal theory of knowledge, some maintain that Benacerraf nevertheless put his finger on a genuine problem, even though he didn’t state the problem in its most challenging form. After diagnosing what went wrong with Benacerraf’s argument, I argue that a new, more challenging, (...) version of Benacerraf’s problem can be constructed. The new version—what I call the Defeater Version—of Benacerraf’s problem makes use of a no-defeater condition on knowledge and justification. I conclude by arguing that the best way to avoid the problem is to construct a theory of how a priori judgments reliably track the facts. I also suggest four different kinds of theories worth pursuing. (shrink)

The psychological orientation treats semantics as a matter of idealized computation over symbolic structures, and semantic relations like denotation as relations between linguistic expressions and these structures. I argue that results similar to Gödel's incompleteness theorems and Tarski's theorem on truth create foundational difficulties for this view of semantics.

Those who aim to give an account of modal knowledge face two challenges: the integration challenge of reconciling an account of what is involved in knowing modal truths with a plausible story about how we can come to know them, and the reliability challenge of giving a plausible account of how we could have evolved a reliable capacity to acquire modal knowledge. I argue that recent counterfactual and dispositional accounts of modal knowledge cannot solve these problems regarding specifically metaphysical modal (...) truths—leaving us with the threat of skepticism about large portions of metaphysics, and certain other areas of philosophy. I argue, however, that both of these problems look insuperable only if we assume that metaphysical modal discourse serves a describing or tracking function. If we adopt instead a normativist approach to metaphysical modal discourse, which sees the basic function of modal discourse as giving us perspicuous ways of conveying, reasoning with, and renegotiating semantic rules, the problems show up very differently. The modal normativist can give a plausible response to both of the classic problems of how we can come to know metaphysical modal truths. (shrink)

A common anti-realist strategy is to argue that moral realism (or at least the non-naturalist form of it) should be abandoned because it cannot adequately make room for moral knowledge and justified moral belief, for example in view of an evolutionary account of the origins of moral beliefs or of the existence of radical moral disagreement. Why is that (alleged) fact supposed to undermine realism? I examine and discuss three possible answers to this question. According to the answer that I (...) think holds most promise, it undermines realism because it renders realism “epistemically incoherent” (in a sense explicated in the paper), and a central aim of the paper is to elaborate and defend that suggestion against certain objections. I end by briefly commenting on the more general significance of the discussion, by considering some other areas (epistemology and vagueness) where similar questions might be raised. (shrink)

“What kind of psychological theory could relate our use of words to sets of possible worlds?” So queries a recent author, but the question is rhetorical, the insinuation being that any analysis or explanation of semantical notions in terms of possible worlds will involve an account that won't square with a naturalistic view of language acquisition or use. Such feelings are widespread; my purpose here is to argue that they are unjustified.

That laws of nature play a vital role in explanation, prediction, and inductive inference is far clearer than the nature of the laws themselves. My hope here is to shed some light on the nature of natural laws by developing and defending the view that they involve genuine relations between properties. Such a position is suggested by Plato, and more recent versions have been sketched by several writers.~ But I am not happy with any of these accounts, not so much (...) because they lack detail or engender minor difficulties, though they do, but because they share a quite fundamental defect. My goal here is to make this defect clear and, more importantly, to present a rather different version of this general conception of laws that avoids it. I begin by considering several features of natural laws and argue that these are best explained by the view that laws involve properties, that this involvement takes the form of a genuine relation between properties, and, finally, that the relation is a metaphysically necessary one. In the second section I start at the other end, and by reflecting on the nature of properties arrive at a similar account of natural laws. In the final section I develop this account in more detail, with emphasis on the nature of the relation between properties it invokes. Along the way several natural objections to the account are answered. (shrink)

Text se věnuje možnosti uspokojivé epistemologie matematického platonismu: otázce, jak je možné získat znalost o entitách, které jsou abstraktní a na mysli nezávislé. První část textu se zaměřuje na vymezení platonismu a formulaci epistemologických námitek, představuje námitky Paula Benacerrafa a Hartryho Fielda. Ve druhé části je představena a analyzována matematická intuice postulovaná Kurtem Gödelem. Gödelova epistemologická strategie je upřesněna pomocí otázek: (1) O jaký typ intuice se jedná? (2) Jedná se o spolehlivý zdroj znalosti? (3) Podává Gödel nějaké vysvětlení mechanismu (...) intuice? (shrink)

Neologicists have sought to ground mathematical knowledge in abstraction. One especially obstinate problem for this account is the bad company problem. The leading neologicist strategy for resolving this problem is to attempt to sift the good abstraction principles from the bad. This response faces a dilemma: the system of ‘good’ abstraction principles either falls foul of the Scylla of inconsistency or the Charybdis of being unable to recover a modest portion of Zermelo–Fraenkel set theory with its intended generality. This article (...) argues that the bad company problem is due to the ‘static’ character of abstraction on the neologicist's account and develops a ‘dynamic’ account of abstraction that avoids both horns of the dilemma. 1 Introduction2ion Reconstructed3 From Bad to Worse4 Abstraction Reconceived5 Bad Company Made GoodA AppendixA.1SemanticsA.2LogicA.3ConsistencyA.4Strength. (shrink)

What is the point of developing an epistemology for a topic—for example, morality? When is it appropriate to develop the epistemology of a topic? For many topics—for example, the topic of socks—we see no need to develop a special epistemology. Under what conditions, then, does a topic deserve its own epistemology? I seek to answer these questions in this article. I provide a criterion for deciding when we are warranted in developing an epistemological theory for a topic. I briefly apply (...) this criterion to moral epistemology and argue that some approaches to moral epistemology should be abandoned. I also argue that we can develop an epistemology for a topic without committing ourselves to a specific substantive theory of justification, such as reliabilism or coherentism, if we work within a suitably neutral framework. (shrink)

How should one conceive of the method of mathematics, if one takes a naturalist stance? Mathematical knowledge is regarded as the paradigm of certain knowledge, since mathematics is based on the axiomatic method. Natural science is deeply mathematized, and science is crucial for any naturalist perspective. But mathematics seems to provide a counterexample both to methodological and ontological naturalism. To face this problem, some naturalists try to naturalize mathematics relying on Darwinism. But several difficulties arise when one tries to naturalize (...) in this way the traditional view of mathematics, according to which mathematical knowledge is certain and the method of mathematics is the axiomatic method. This paper suggests that, in order to naturalize mathematics through Darwinism, it is better to take the method of mathematics not to be the axiomatic method. (shrink)

This article presents a challenge that those philosophers who deny the causal interpretation of explanations provided by population genetics might have to address. Indeed, some philosophers, known as statisticalists, claim that the concept of natural selection is statistical in character and cannot be construed in causal terms. On the contrary, other philosophers, known as causalists, argue against the statistical view and support the causal interpretation of natural selection. The problem I am concerned with here arises for the statisticalists because the (...) debate on the nature of natural selection intersects the debate on whether mathematical explanations of empirical facts are genuine scientific explanations. I argue that if the explanations provided by population genetics are regarded by the statisticalists as non-causal explanations of that kind, then statisticalism risks being incompatible with a naturalist stance. The statisticalist faces a dilemma: either she maintains statisticalism but has to renounce naturalism; or she maintains naturalism but has to content herself with an account of the explanations provided by population genetics that she deems unsatisfactory. This challenge is relevant to the statisticalists because many of them see themselves as naturalists. (shrink)

The propensity interpretation of fitness draws on the propensity interpretation of probability, but advocates of the former have not attended sufficiently to problems with the latter. The causal power of C to bring about E is not well-represented by the conditional probability Pr. Since the viability fitness of trait T is the conditional probability Pr, the viability fitness of the trait does not represent the degree to which having the trait causally promotes surviving. The same point holds for fertility fitness. (...) This failure of trait fitness to capture causal role can also be seen in the fact that coextensive traits must have the same fitness values even if one of them promotes survival and the other is neutral or deleterious. Although the fitness of a trait does not represent the trait’s causal power to promote survival and reproduction, variation in fitness in a population causally promotes change in trait frequencies; in this sense, fitness variation is a population-level propensity. (shrink)

In this paper I present a new theory of propositions, according to which propositions are abstract mathematical objects: well-formed formulas together with models. I distinguish the theory from a number of existing views and explain some of its advantages  chief amongst which are the following. On this view, propositions are unified and intrinsically truth-bearing. They are mind- and language-independent and they are governed by logic. The theory of propositions is ontologically innocent. It makes room for an appropriate interface with (...) formal semantics and it does not enforce an overly fine or overly coarse level of granularity. (shrink)