This paper examines the state of the field of “science and values”—particularly regarding the implications of the thesis of transient underdetermination for the ideal of value-free science, or what I call the “ideal of epistemic purity.” I do this by discussing some of the main arguments in the literature, both for and against the ideal. I examine a preliminary argument from transient underdetermination against the ideal of epistemic purity, and I discuss two different formulations of an objection to this argument—an (...) objection that requires the strict separation of the epistemic from the practical. A secondary aim of the paper is to suggest some future directions for the field, one of which is to replace the vocabulary of values that is often employed in the literature with a more precise one. (shrink)

This paper examines James Conant’s pragmatic theory of science – a theory that has been neglected by most commentators on the history of 20th-century philosophy of science – and it argues that this theory occupied an important place in Conant’s strategic thinking about the Cold War. Conant drew upon his wartime science policy work, the history of science, and Quine’s epistemological holism to argue that there is no strict distinction between science and technology, that there is no such thing as (...) “the scientific method,” and that theories are better interpreted as policies rather than creeds. An important consequence that he drew from these arguments is that science is both a thoroughly value-laden, and an intrinsically social, enterprise. These results led him to develop novel proposals for reorganizing scientific and technological research – proposals that he believed could help to win the Cold War. Interestingly, the Cold War had a different impact upon Conant’s thinking than it did upon many other theorists of science in postwar America. Instead of leading him to “the icy slopes of logic,” it led him to develop a socially- and politically-engaged theory that was explicitly in the service of the American Cold War effort. (shrink)

Everyone knows what David Lewis' possible worlds are, what role they play in his account of possibility and necessity, and Saul Kripke's criticisms. But what, instead, are Kripke's possible worlds, and what role do they play in his account of possibility and necessity? The answers are not so obvious. Recently, it has even been claimed that, contrary to what is standardly assumed, Kripke's approach to modality has not always been consistently metaphysical. In particular, an interpretation of the famous passage in (...) the preface to Naming and Necessity with Kripke's discussion of the dice example has been put forward, according to which he purports there to clarify the modal notions in terms of that of possible world, model-theoretically construed, in a way which is reminiscent of Carnap's. In this paper, I shall point out some internal difficulties of this interpretation, and offer a different one, according to which in the dice passage Kripke is trying, consistently with his metaphysical approach, to legitimize the technically useful notion of possible world starting from modal notions, to be accounted for in another way (arguably, in an essentialistic framework). My final goal, however, will be philosophical elucidation rather than mere exegesis. Indeed, I am interested in shedding some light on what possible worlds might possibly be, if something like Kripke's metaphysical approach is on the right track. (shrink)

In this paper, I try to outline what I take to be Naming and Necessity’s fundamental legacy to my generation and those that follow, and the new perspectives it has opened up for twenty-first century philosophy. The discussion is subdivided into three sections, concerning respectively philosophy of language, metaphysics, and metaphilosophy. The general unifying theme is that Naming and Necessity is helping philosophy to recover a Golden Age, by freeing it from the strictures coming from the empiricist and Kantian traditions (...) and reconnecting it to the world and the objects that populate it. Because of this, in the concluding paragraph I tentatively suggest that Kripke’s philosophy may be seen as a sui generis form of naturalism. (shrink)

The classical theory of rational choice is built on several important internal consistency conditions. In recent years, the reasonableness of those internal consistency conditions has been questioned and criticized, and several responses to accommodate such criticisms have been proposed in the literature. This paper develops a general framework to accommodate the issues raised by the criticisms of classical rational choice theory, and examines the broad impact of these criticisms from both normative and positive points of view.

It is a natural assumption in mainstream epistemological theory that ascriptions of knowledge of a proposition p track strength of epistemic position vis-à-vis p. It is equally natural to assume that the strength of one’s epistemic position is maximally high in cases where p concerns a simple analytic truth. For instance, it seems reasonable to suppose that one’s epistemic position vis-à-vis “a cat is a cat” is harder to improve than one’s position vis-à-vis “a cat is on the mat”, and (...) consequently, that the former is at least as unambiguous a case of knowledge as the latter. The current paper, however, presents empirical evidence which challenges this intuitive line of reasoning. Our study on the epistemic intuitions of hundreds of academic philosophers supports the idea that simple and uncontroversial analytic propositions are less likely to qualify as knowledge than empirical ones. We show that our results, though at odds with orthodox theories of knowledge in mainstream epistemology, can be explained in a way consistent with Wittgenstein’s remarks on ‘hinge propositions’ or with Stalnaker’s pragmatics of assertion. We then present and evaluate a number of lines of response mainstream theories of knowledge could appeal to in accommodating our results. Finally, we show how each line of response runs into some prima facie difficulties. Thus, our observed asymmetry between knowing “a cat is a cat” and knowing “a cat is on the mat” presents a puzzle which mainstream epistemology needs to resolve. (shrink)

J. G. A. Pocock and Quentin Skinner have led a recent onslaught on the alleged "myth of coherence" in the history of ideas. But their criticisms depend on mistaken views of the nature of mind: respectively, a form of social constructionism, and a focus on illocutionary intentions at the expense of beliefs. An investigation of the coherence constraints that do operate on our ascriptions of belief shows historians should adopt a presumption of coherence, concern themselves with coherence, and proceed to (...) reconstruct sets of beliefs as coherent wholes. The history of ideas merges history with aspects of philosophy, where philosophy is understood as the study of the grammar of our concepts. (shrink)

In nursing today, it remains unclear what constitutes a good foundation for qualitative scientific inquiry. There is a tendency to define qualitative research as a form of inductive inquiry; deductive practice is seldom discussed, and when it is, this usually occurs in the context of data analysis. We will look at how the terms ‘induction’ and ‘deduction’ are used in qualitative nursing science and by qualitative research theorists, and relate these uses to the traditional definitions of these terms by Popper (...) and other philosophers of science. We will also question the assertion that qualitative research is or should be inductive. The position we defend here is that qualitative research should use deductive methods. We also see a need to understand the difference between the creative process needed to create theory and the justification of a theory. Our position is that misunderstandings regarding the philosophy of science and the role of inductive and deductive logic and science are still harming the development of nursing theory and science. The purpose of this article is to discuss and reflect upon inductive and deductive views of science as well as inductive and deductive analyses in qualitative research. We start by describing inductive and deductive methods and logic from a philosophy of science perspective, and we examine how the concepts of induction and deduction are often described and used in qualitative methods and nursing research. Finally, we attempt to provide a theoretical perspective that reconciles the misunderstandings regarding induction and deduction. Our conclusion is that openness towards deductive thinking and testing hypotheses is needed in qualitative nursing research. We must also realize that strict induction will not create theory; to generate theory, a creative leap is needed. (shrink)

What is the relation between philosophical theorizing and experimental data? A modest set of naturalistic assumptions leads to what I term the force-field puzzle. The assumption that philosophy is continuous with natural science, as captured in Quine’s force-field metaphor, seems to push us simultaneously towards thinking that there have to be conceptual constraints upon how we interpret experimental data and towards thinking that there cannot be such conceptual constraints, because all theorizing must be accountable to data and observation. The key (...) to resolving the force-field puzzle is to take a more nuanced view of how conceptual constraints can be accountable to data and observation. This can be done by developing conceptual arguments in conjunction with interpretative frameworks for making sense of experimental evidence. This paper shows how attending to important differences between different types of mindreading yields tools for interpreting experimental and observational data in a manner consistent with a (conceptually derived) constraint that I have developed elsewhere. This is the first-order constraint that second-order thinking, or thinking about thinking, is only available to language-using creatures. (shrink)

In classical American pragmatism, fallibilism refers to the conception of truth as an ongoing process of improving human knowledge that is nevertheless susceptible to error. This paper traces appearances of fallibilism in Jewish thought in general, and particularly in the halakhic thought of Eliezer Berkovits. Berkovits recognizes the human condition’s persistent mutability, which he sees as characterizing the ongoing effort to interpret and apply halakhah in shifting historical and social contexts as Torat Ḥayyim. In the conclusion of the article, broader (...) questions and observations are raised regarding Jewish tradition, fallibility, and modernity, and the interaction between Judaism and pragmatism in the history of ideas. (shrink)

Sentences \(\varphi\) and \(\psi\) are _cognitive synonyms_ for one when they play the same role in one’s cognitive life. The notion is pervasive (Sect. 1 ), but elusive: it is bound to be hyperintensional (Sect. 2 ), but excessive fine-graining would trivialize it and there are reasons for some coarse-graining (Sect. 2.1 ). Conceptual limitations stand in the way of a natural algebra (Sect. 2.2 ), and it should be sensitive to subject matters (Sect. 2.3 ). A cognitively adequate individuation (...) of content may be intransitive (Sect. 3 ) due to ‘dead parrot’ series: sequences of sentences \(\varphi _1, \ldots, \varphi _n\) where adjacent \(\varphi _i\) and \(\varphi _{i+1}\) are cognitive synonyms while \(\varphi _1\) and \(\varphi _n\) are not (Sect. 3.1 ). Finding an intransitive account is hard: Fregean equipollence won’t do (Sect. 3.2 ) and a result by Leitgeb shows that it wouldn’t satisfy a minimal compositionality principle (Sect. 3.3 )._Sed contra_, there are reasons for transitivity, too (Sect. 3.4 ). In Sect. 4, we come up with a formal semantics capturing this jumble of desiderata, thereby showing that the notion is coherent. In Sect. 5, we re-assess the desiderata in its light. (shrink)

Ben-Yami presents Wittgenstein’s explicit criticism of the Platonic identification of an explanation with a definition and the alternative forms of explanation he employed. He then discusses a few predecessors of Wittgenstein’s criticisms and the Fregean background against which he wrote. Next, the idea of family resemblance is introduced, and objections answered. Wittgenstein’s endorsement of vagueness and the indeterminacy of sense are presented, as well as the open texture of concepts. Common misunderstandings are addressed along the way. Wittgenstein’s ideas, as is (...) then shown, have far-reaching implications for knowledge of meaning and the nature of logic, and with them to the nature of the philosophical project and its possible achievements. (shrink)

Some recent and historical writers in the philosophy of science have concerned themselves with a certain problem which seems to occupy, at least in the minds of those who have written about it, a position of peculiar importance. Whether the problem is really as significant as its authors maintain need not be decided here; certainly many writers in this area have either neglected it or made only vague allusions to it. It can best be described as the problem of the (...) development of science, and it is usually solved in terms of a certain theory that science passes in its growth, either naturally or under the control of conscious logical techniques, through various “stages” or “phases.” For some strange reason these levels are usually exactly three in number. One would like to believe that this number is not a magic one, but empirically demanded by the actual way in which the sciences develop. But the fact that the descriptions of these stages in the writings of the various authors appear to agree only in their triplicity, and not in content, would incline one to believe otherwise. There is, in fact, the slight suspicion that the number three has been preferred to the number two simply because a triad may be ordered in a way in which a couple may not, and to the number four or any larger number merely because of the preference for simplicity over complexity. (shrink)

This paper examines Quine’s web of belief metaphor and its role in his various responses to conventionalism. Distinguishing between two versions of conventionalism, one based on the under-determination of theory, the other associated with a linguistic account of necessary truth, I show how Quine plays the two versions of conventionalism against each other. Some of Quine’s reservations about conventionalism are traced back to his 1934 lectures on Carnap. Although these lectures appear to endorse Carnap’s conventionalism, in exposing Carnap’s failure to (...) provide an explanatory account of analytic truth, they in fact anticipate Quine’s later critique of conventionalism. I further argue that Quine eventually deconstructs both his own metaphor and the thesis of under-determination it serves to illustrate. This enables him to hold onto under-determination, but at the cost of depleting it of any real epistemic significance. Lastly, I explore the implications of this deconstruction for Quine’s indeterminacy of translation thesis. (shrink)

This paper treats some of the issues raised by Putnam's discussion of, and claims for, quantum logic, specifically: that its proposal is a response to experimental difficulties; that it is a reasonable replacement for classical logic because its connectives retain their classical meanings, and because it can be derived as a logic of tests. We argue that the first claim is wrong (1), and that while conjunction and disjunction can be considered to retain their classical meanings, negation crucially does not. (...) The argument is conducted via a thorough analysis of how the meet, join and complementation operations are defined in the relevant logical structures, respectively Boolean- and ortholattices (3). Since Putnam wishes to reinstate a realist interpretation of quantum mechanics, we ask how quantum logic can be a logic of realism. We show that it certainly cannot be a logic of bivalence realism (i.e., of truth and falsity), although it is consistent with some form of ontological realism (4). Finally, we show that while a reasonable explication of the idealized notion of test yields interesting mathematical structure, it by no means yields the rich ortholattice structure which Putnam (following Finkelstein) seeks. (shrink)

It has recently been argued that public linguistic norms are implicated in the epistemology of testimony by way of underwriting the reliability of language comprehension. This paper argues that linguistic normativity, as such, makes no explanatory contribution to the epistemology of testimony, but instead emerges naturally out of a collective effort to maintain language as a reliable medium for the dissemination of knowledge. Consequently, the epistemologies of testimony and language comprehension are deeply intertwined from the start, and there is no (...) room for grounding the one in terms of the other. (shrink)

Taking up the theme of this year’s Congress – Bridging communities: Making public knowledge, making knowledge public – our panel’s three essays each examines from three different locations how knowledge and knowledge-making function in the contemporary market/knowledge economy: international education, autobiographical inquiry, and teacher education. The educational vision and commitment that these three distinct pieces share is ethics of care. Problematizing commodification of knowledge and its notion of having knowledge, we make the case for the centrality of being in human (...) and societal living. We then make suggestions for how the being-dimension can be conceptualized and lived. In particular, we argue that caring, being present, self-knowing and human agency are central. (shrink)

The fundamental problem of Christology is the apparent contradiction of Christ as recorded at Chalcedon. Christ is human and Christ is divine. Being divine entails being immutable. Being human entails being mutable. Were Christ two different persons there’d be no apparent contradiction. But Chalcedon rules as much out. Were Christ only partly human or only partly divine there’d be no apparent contradiction. But Chalcedon rules as much out. Were the very meaning of ‘mutable’ and/or ‘immutable’ other than what they are, (...) there’d be no apparent contradiction. But the meaning is what it is, and changing the meaning of our terms to avoid the apparent contradiction of Christ is an apparent flight from reality. What, in the end, is the explanation of the apparent contradiction of Christ? Theologians and philosophers have long advanced many consistency-seeking answers, all of which increase the metaphysical or semantical complexity of the otherwise strikingly simple but radical core of Christianity’s GodMan. In this paper, I put the simplest explanation on the theological table: namely, Christ appears to be contradictory because Christ is contradictory. This explanation may sound complicated to the many who are steeped in the mainstream account of logic according to which logic precludes the possibility of true contradictions. But the mainstream account of logic can and should be rejected. Ridding theology of the dogma of mainstream logic illuminates the simple though striking explanation of the apparent contradiction of Christ — namely, that Christ is a contradictory being. Just as the simplest explanation to the apparent roundness of the earth has earned due acceptance, so too should the simplest explanation of the apparent contradiction of Christ. (shrink)

In this paper I examine a series of criticisms that have been levelled against Quine's naturalized epistemology, regarding its response to the problem of scepticism. Barry Stroud and Michael Williams, assuming that Quine wishes to refute scepticism, argue that Quine not only fails to undertake this refutation, but is also committed to theses (such as the inscrutability of reference and the underdetermination of theory by evidence) which imply versions of scepticism of their own. In Quine's defence, Roger Gibson argues that (...) Quine can succeed in showing sceptical doubts to be incoherent. But I contend that both parties of this dispute wrongly assume that Quine wishes to defeat the sceptic in a traditional way. Instead, Quine is happy to 'acquiesce' in scepticism about a certain kind of justification. No logical justification of our scientific beliefs is possible on his view. But Quine thinks that pragmatic justification is possible, and acknowledging that this is his view leads to the resolution of a number of interpretive quandaries. (shrink)

Theodore Sider has argued that while there are some philosophical debates about which there is no fact of the matter, debates in normative ethics are likely not among them. This essay investigates a possible counterexample: the debate about so-called dirty hands. The essay first surveys several cases where No-Fact-of-the-Matter (NFM) claims have been made. Taking its cue from these cases, it then outlines two strategies that factualists about some domain can take, as well as two non-factualist counter strategies. Next, it (...) shows how an NFM claim can be defended for the debate about dirty hands. Finally, it argues that this NFM claim is at least as, if not more, plausible for normative ethics as it is for the other instances where NFM claims have been made. (shrink)

In this paper, I introduce a new challenge to moral realism: the skeptical argument from moral underdetermination. The challenge arises as a consequence of two recent projects in normative ethics. Both Parfit and a group called consequentializers have independently claimed that the main traditions of normative theories can agree on the set of correct particular deontic verdicts. Nonetheless, as Dietrich and List :421–479, 2017) and myself :191–221, 2018; Australas J Philos 97:511–527, 2019; Ethical Theory Moral Pract 24:999–1018, 2021a) have argued, (...) the traditions still disagree about why these are the correct verdicts. This means that we can understand the situation in terms of an idea from the philosophy of science, the underdetermination of theory by the evidence. Yet underdetermination figures in one of the most important skeptical challenges to scientific realism. I show how an analogous skeptical argument can be construed for the moral realm. I propose a standard form for that argument. I then defend it against three possible objections, arguing that it is at least as plausible as, if not more plausible than, its counterpart in the philosophy of science. (shrink)

I outline a dilemma for Derek Parfit’s project to vindicate moral realism. In On What Matters, Parfit argues that the best versions of three of the main moral traditions agree on a set of moral principles, which should make us more confident about the prospects of truth in ethics. I show that the result of this Convergence Argument can be interpreted in two ways. Either there remain three separate and deontically equivalent theories or there remains just one theory, the Triple (...) Theory. Both interpretations fail to deliver what Parfit is looking for. The first interpretation leads to a situation of underdetermination of theory choice that gives rise to a skeptical challenge. The second interpretation jettisons Parfit’s Conciliatory Project, that is, the reconciliation of the three moral traditions. The dilemma, I contend, is the result of Parfit failing to resolve two antithetical lines of thought. His search for the Trinity of moral theorizing must thus fail. (shrink)

We build a model of the reflective equilibrium method to better understand under what conditions a community of agents would achieve a shared equilibrium. We find that, despite guaranteeing that agents individually reach equilibrium and numerous constraints on how agents deliberate, it is surprisingly difficult for a community to converge on a small number of equilibria. Consequently, the literature on reflective equilibrium has underestimated the challenge of coordinating intrapersonal convergence and interpersonal convergence.

abstractThe paper explores a new interpretation of the consequentializing project. Three prominent interpretations are criticized for neglecting the explanatory dimension of moral theories. Instead...

There is a crisis in philosophical rationality today—in which modern logic is implicated—that can be traced to the abandonment of a common background of principles. The situation has no parallel within the pre-modern tradition, which not only admits of such principles, but also refers them back to a set of assumptions grounded in a clearly religious frame of mind. Modern conceptions of rationality claim complete independence from religious sources, as from tradition more generally, and typically end up disposing of first (...) principles altogether. The result is a fragmentation of reason, which can be seen to be dramatically exemplified in the realm of modern logic, populated by countless different systems and incompatible conceptions of what it is to be a logic. Many of the conceptual choices that became implicit in the philosophical discussions eventually leading to the rejection of the religious picture, and ultimately to the aforementioned crisis, were themselves originally linked to religious premises, so that all along, a kind of religious subconscious has subsisted throughout those disputations; however, the lack of any proper recognition of this background obstructs the possibility of making a reasonable assessment of the nature and causes of the crisis. Alasdair MacIntyre, whose thought inspires the argument developed here, reached similar conclusions regarding practical rationality and the effects of abandoning the teleological framework of Aristotelian philosophy. MacIntyre’s arguments can be adapted, as he suggests, to deal with reason more generally, and his insistence upon the tradition-laden character of rational enquiry can help point toward the grounding of human reason in religion. (shrink)

This contribution is an essay of formal philosophy—and more specifically of formal ontology and formal epistemology—applied, respectively, to the philosophy of nature and to the philosophy of sciences, interpreted the former as the ontology and the latter as the epistemology of the modern mathematical, natural, and artificial sciences, the theoretical computer science included. I present the formal philosophy in the framework of the category theory (CT) as an axiomatic metalanguage—in many senses “wider” than set theory (ST)—of mathematics and logic, both (...) of the “extensional” logics of the pure and applied mathematical sciences (=mathematical logic), and the “intensional” modal logics of the philosophical disciplines (=philosophical logic). It is particularly significant in this categorical framework the possibility of extending the operator algebra formalism from (quantum and classical) physics to logic, via the so-called “Boolean algebras with operators” (BAOs), with this extension being the core of our formal ontology. In this context, I discuss the relevance of the algebraic Hopf coproduct and colimit operations, and then of the category of coalgebras in the computations over lattices of quantum numbers in the quantum field theory (QFT), interpreted as the fundamental physics. This coalgebraic formalism is particularly relevant for modeling the notion of the “quantum vacuum foliation” in QFT of dissipative systems, as a foundation of the notion of “complexity” in physics, and “memory” in biological and neural systems, using the powerful “colimit” operators. Finally, I suggest that in the CT logic, the relational semantics of BAOs, applied to the modal coalgebraic relational logic of the “possible worlds” in Kripke’s model theory, is the proper logic of the formal ontology and epistemology of the natural realism, as a formalized philosophy of nature and sciences. (shrink)

W. V. O. Quine's well-known attack upon the analytic-synthetic distinction is held to affect only one of the two species of analytic statements he distinguishes. In particular it is not directed at and does not affect the so-called logical truths. In this paper the scope of Quine's attack is extended so as to embrace the logical truths as well. It is shown that the unclarifiability of the notion of 'synonymy' deprives us not only of "analytic statements that are obtainable from (...) logical truths by the replacement of synonyms with synonyms" but of "logical truths" themselves. (shrink)

Prior to the twentieth century, theories of knowledge were inherently perceptual. Since then, developments in logic, statis- tics, and programming languages have inspired amodal theories that rest on principles fundamentally different from those underlying perception. In addition, perceptual approaches have become widely viewed as untenable because they are assumed to implement record- ing systems, not conceptual systems. A perceptual theory of knowledge is developed here in the context of current cognitive science and neuroscience. During perceptual experience, association areas in the (...) brain capture bottom-up patterns of activation in sensory-motor areas. Later, in a top-down manner, association areas partially reactivate sensory-motor areas to implement perceptual symbols. The stor- age and reactivation of perceptual symbols operates at the level of perceptual components – not at the level of holistic perceptual expe- riences. Through the use of selective attention, schematic representations of perceptual components are extracted from experience and stored in memory (e.g., individual memories of green, purr, hot). As memories of the same component become organized around a com- mon frame, they implement a simulator that produces limitless simulations of the component (e.g., simulations of purr). Not only do such simulators develop for aspects of sensory experience, they also develop for aspects of proprioception (e.g., lift, run) and introspec- tion (e.g., compare, memory, happy, hungry). Once established, these simulators implement a basic conceptual system that represents types, supports categorization, and produces categorical inferences. These simulators further support productivity, propositions, and ab- stract concepts, thereby implementing a fully functional conceptual system. Productivity results from integrating simulators combinato- rially and recursively to produce complex simulations. Propositions result from binding simulators to perceived individuals to represent type-token relations. Abstract concepts are grounded in complex simulations of combined physical and introspective events. Thus, a per- ceptual theory of knowledge can implement a fully functional conceptual system while avoiding problems associated with amodal sym- bol systems. Implications for cognition, neuroscience, evolution, development, and artificial intelligence are explored. (shrink)

According to the instrumentalism of Friedman and Machlup it is irrelevant whether the explanatory principles or “assumptions” of a theory satisfy any criterion of “plausibility,” “realism,” “credibility,” or “soundness.” In this view the main or only criterion for selecting theories is whether a theory yields empirically testable implications that turn out to be consistent with observations. All we should require or expect from a theory is that it is a useful instrument for the purpose of prediction. Considerations of the “efficiency” (...) of a theory for the purpose of ordering our experiences are permitted, but considerations of “plausibility” are not. “Explanatory assumptions” are not really explanatory in the sense that they claim to represent underlying causal processes in reality; they only serve to generate, by deduction, implications that are in accordance with as many observations as possible. (shrink)

The indispensability argument seeks to establish the existence of mathematical objects. The success of the indispensability argument turns on finding cases of genuine extra- mathematical explanation. In this paper, I identify a new case of extra- mathematical explanation, involving the search patterns of fully-aquatic marine predators. I go on to use this case to predict the prevalence of extra- mathematical explanation in science.

Legal philosophers divide over whether it is possible to analyze legal concepts without engaging in normative argument. The influential analysis of legal rights advanced by Jules Coleman and Jody Kraus some years ago serves as a useful case study to consider this issue because even some legal philosophers who are generally skeptical of the neutrality claims of conceptual analysts have concluded that Coleman and Kraus's analysis manages to maintain such neutrality. But that analysis does depend in subtle but important ways (...) on normative claims. Their argument assumes not only a positivist concept of law, but also that it counts in favor of an analysis of legal rights that it increases the number of options available to legal decisionmakers. Thus, whether Coleman and Kraus's analysis is right in the end depends on whether those normative assumptions are justified. If even their analysis, which makes the thinnest of conceptual claims, depends on normative premises, that fact serves as strong evidence of the difficulty of analyzing legal concepts while remaining agnostic on moral and political questions. (shrink)

In this article I consider what it would take to combine a certain kind of mathematical Platonism with serious presentism. I argue that a Platonist moved to accept the existence of mathematical objects on the basis of an indispensability argument faces a significant challenge if she wishes to accept presentism. This is because, on the one hand, the indispensability argument can be reformulated as a new argument for the existence of past entities and, on the other hand, if one accepts (...) the indispensability argument for mathematical objects then it is hard to resist the analogous argument for the existence of the past. (shrink)

In this article I consider what it would take to combine a certain kind of mathematical Platonism with serious presentism. I argue that a Platonist moved to accept the existence of mathematical objects on the basis of an indispensability argument faces a significant challenge if she wishes to accept presentism. This is because, on the one hand, the indispensability argument can be reformulated as a new argument for the existence of past entities and, on the other hand, if one accepts (...) the indispensability argument for mathematical objects then it is hard to resist the analogous argument for the existence of the past. (shrink)

Recently, nominalists have made a case against the Quine–Putnam indispensability argument for mathematical Platonism by taking issue with Quine’s criterion of ontological commitment. In this paper I propose and defend an indispensability argument founded on an alternative criterion of ontological commitment: that advocated by David Armstrong. By defending such an argument I place the burden back onto the nominalist to defend her favourite criterion of ontological commitment and, furthermore, show that criterion cannot be used to formulate a plausible form of (...) the indispensability argument. (shrink)

Anti-exceptionalism about logic states that logical theories have no special epistemological status. Such theories are continuous with scientific theories. Contemporary anti-exceptionalists include the semantic paradoxes as a part of the elements to accept a logical theory. Exploring the Buenos Aires Plan, the recent development of the metainferential hierarchy of ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document}-logics shows that there are multiple options to deal with such paradoxes. There is a whole ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} (...) \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document}-based hierarchy, of which LP\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {LP}}$$\end{document} and ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document} themselves are only the first steps. This means that the logics in this hierarchy are also options to analyze the inferential patterns allowed in a language that contains its own truth predicate. This paper explores these responses analyzing some reasons to go beyond the first steps. We show that LP\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {LP}}$$\end{document}, ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document} and the logics of the ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document}-hierarchy offer different diagnoses for the same evidence: the inferences and metainferences the agents endorse in the presence of the truth-predicate. But even if the data are not enough to adopt one of these logics, there are other elements to evaluate the revision of classical logic. Which is the best explanation for the logical principles to deal with semantic paradoxes? How close should we be to classical logic? And mainly, how could a logic obey the validities it contains? From an anti-exceptionalist perspective, we argue that ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document}-metainferential logics in general—and STTω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {STT}}_{\omega }$$\end{document} in particular—are the best available options to explain the inferential principles involved with the notion of truth. (shrink)

We introduce a distinction, unnoticed in the literature, between four varieties of objective Bayesianism. What we call ' strong objective Bayesianism' is characterized by two claims, that all scientific inference is 'logical' and that, given the same background information two agents will ascribe a unique probability to their priors. We think that neither of these claims can be sustained; in this sense, they are 'dogmatic'. The first fails to recognize that some scientific inference, in particular that concerning evidential relations, is (...) not (in the appropriate sense) logical, the second fails to provide a non-question-begging account of 'same background information'. We urge that a suitably objective Bayesian account of scientific inference does not require either of the claims. Finally, we argue that Bayesianism needs to be fine-grained in the same way that Bayesians fine-grain their beliefs. (shrink)

The underdetermination thesis poses a threat to rational choice of scientific theories. We discuss two arguments for the thesis. One draws its strength from deductivism together with the existence thesis, and the other is defended on the basis of the failure of a reliable inductive method. We adopt a partially subjective/objective pragmatic Bayesian epistemology of science framework, and reject both arguments for the thesis. Thus, in science we are able to reinstate rational choice called into question by the underdetermination thesis.

In this paper I argue against the commonly received view that Kripke's formal Possible World Semantics (PWS) reflects the adoption of a metaphysical interpretation of the modal operators. I consider in detail Kripke's three main innovations vis-à-vis Carnap's PWS: a new view of the worlds, variable domains of quantification, and the adoption of a notion of universal validity. I argue that all these changes are driven by the natural technical development of the model theory and its related notion of validity: (...) they are dictated by merely formal considerations, not interpretive concerns. I conclude that Kripke's model theoretic semantics does not induce a metaphysical reading of necessity, and is formally adequate independently of the specific interpretation of the modal operators. (shrink)

This paper develops and critiques the two-dimensionalist account of mental content developed by David Chalmers. I first explain Chalmers's account and show that it resists some popular criticisms. I then argue that the main interest of two-dimensionalism lies in its accounts of cognitive significance and of the connection between conceivability and possibility. These accounts hinge on the claim that some thoughts have a primary intension that is necessarily true. In this respect, they are Carnapian, and subject to broadly Quinean attack. (...) The remainder of the paper advances such an attack. I argue that there are possible thinkers who are willing to revise their beliefs in response to expert testimony, and that such thinkers will have no thoughts with necessary primary intensions. I even suggest that many actual humans may well be such thinkers. I go on to argue that these possible thinkers show that the two-dimensionalist accounts fail. (shrink)

In this article I contrast two opposing forms of essentialism, definitional and transcendental versus productivist and historical, and trace both forms back to Kripke's Naming and Necessity (1980). Definitional essentialism, as developed by Fine, centers on kind-membership. Historical essentialism, as anticipated by Prior and developed by Almog, puts origin at its center. The article focuses on the fundamentally distinct manners in which these two views handle the necessity of origin thesis. In the final section of the article, inspired by a (...) Nietzschean genealogical methodology, I pursue a naturalization strategy and conclude that rather than origin being necessary, it is essentialist necessity that reduces to origin. (shrink)

Millians about proper names typically claim that it is knowable apriori that Hesperus is Phosphorus. We argue that they should claim instead that it is knowable only aposteriori that Hesperus is Hesperus, since the Kripke-Putnam epistemic arguments against descriptivism are special cases of Quinean arguments that nothing is knowable apriori, and Millians have no resources to resist the more general Quinean arguments.

It is argued here that mathematical objects cannot be simultaneously abstract and perceptible. Thus, naturalized versions of mathematical platonism, such as the one advocated by Penelope Maddy, are unintelligble. Thus, platonists cannot respond to Benacerrafian epistemological arguments against their view vias Maddy-style naturalization. Finally, it is also argued that naturalized platonists cannot respond to this situation by abandoning abstractness (that is, platonism); they must abandon perceptibility (that is, naturalism).