One debate that metaphysicians of race have been consumed with since the 1990s is what we can call the US race debate, which is the debate about what the nature and reality of race is according to the dominant ways that ‘race’ and race terms are used to classify people in contemporary American English. In 2014, I contributed a defence of biological racial realism in the US race debate that utilized new results about human genetic clustering from population genetics. In (...) this paper, I will show that all US race theories have been wrong, including my own. This is because, as I will argue, the correct US race theory has a radically pluralist form. This is an instance of a metametaphysical position that I call radical racial pluralism. After defending radical racial pluralism in the US race debate, I explore valuable implications of the view for philosophers of race. (shrink)

Some philosophers argue that the principles of human reasoning are impeccable, and that mistakes are no more than momentary lapses in “information processing”. This article makes a case to the contrary. It shows that human reasoners commit systematic fallacies. The theory of mental models predicts these errors. It postulates that individuals construct mental models of the possibilities to which the premises of an inference refer. But, their models usually represent what is true in a possibility, not what is false. This (...) procedure reduces the load on working memory, and for the most part it yields valid inferences. However, as a computer program implementing the theory revealed, it leads to fallacious conclusions for certain inferences—those for which it is crucial to represent what is false in a possibility. Experiments demonstrate the variety of these fallacies and contrast them with control problems, which reasoners tend to get right. The fallacies can be compelling illusions, and they occur in reasoning based on sentential connectives such as “if” and “or”, quantifiers such as “all the artists” and “some of the artists”, on deontic relations such as “permitted” and “obligated”, and causal relations such as “causes” and “allows”. After we have reviewed the principal results, we consider the potential for alternative accounts to explain these illusory inferences. And we show how the illusions illuminate the nature of human rationality. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

Douglas Edwards is arguably the most prominent contemporary advocate of moderate alethic pluralism. Significantly influenced by Crispin Wright and Michael Lynch, his work on the nature of truth has become widely discussed in the topical literature. Edwards labels his version of moderate alethic pluralism determination pluralism. At first blush, determination pluralism appears philosophically promising. The position deserves thoughtful consideration, particularly because of its capacity to accommodate the scope problem. I argue, however, that upon analysis the view is better understood as (...) a form of metaphysical dualism or what I will call meta-dualism. Furthermore, determination pluralists face a dilemma; there appears to be an instability at the core of their dualistic model. On the one horn of the dilemma, they need a clear metaphysical demarcation at the interface of their two necessary domains. On the other horn, they seem to need to a metaphysically vague boundary at the interface of their two necessary domains. Determination pluralism needs substantial revision. (shrink)

I argue that Quinean naturalists’ holism-based arguments against analyticity and apriority are more difficult to resist than is generally supposed, for two reasons. First, although opponents of naturalism sometimes dismiss these arguments on the grounds that the holistic premises on which they depend are unacceptably radical, it turns out that the sort of holism required by these arguments is actually quite minimal. And second, although it’s true, as Grice and Strawson pointed out long ago, that these arguments can succeed only (...) if there isn’t any principled criterion for meaning change, such a criterion turns out to be hard to come by. David Chalmers has recently argued that such a criterion must exist, since the norms governing belief revision are subject to obvious exceptions that can be explained only by appeal to meaning change. But this, I argue, is incorrect: if choices about how to use language are themselves rationally assessable, then there are no such exceptions to be explained. To show that this is so, I formulate a new kind of coherence norm that may be useful for reasoning formally about the relationship between meaning and evidence. (shrink)

In the 1960s and 1970s, Hilary Putnam articulated a notion of relativized apriority that was motivated to address the problem of scientific change. This paper examines Putnam’s account in its historical context and in relation to contemporary views. I begin by locating Putnam’s analysis in the historical context of Quine’s rejection of apriority, presenting Putnam as a sympathetic commentator on Quine. Subsequently, I explicate Putnam’s positive account of apriority, focusing on his analysis of the history of physics and geometry. In (...) the remainder of the paper, I explore connections between Putnam’s account of relativized a priori principles and contemporary views. In particular, I situate Putnam’s account in relation to analyses advanced by Michael Friedman, David Stump, and William Wimsatt. From this comparison, I address issues concerning whether a priori scientific principles are appropriately characterized as “constitutive” or “entrenched”. I argue that these two features need to be clearly distinguished, and that only the constitutive function is essential to apriority. By way of conclusion, I explore the relationship between the constitutive function of a priori principles and entrenchment. (shrink)

Abstract Impossible fictions have lessons to teach us about linguistic representation, about mental content and concepts, and about uses of conceivability in epistemology. An adequate theory of impossible fictions may require theories of meaning that can distinguish between different impossibilities; a theory of conceptual truth that allows us to make useful sense of a variety of conceptual falsehoods; and a theory of our understanding of necessity and possibility that permits impossibilities to be conceived. After discussing these questions, strategies for resisting (...) the picture of impossible fictions presented here and in Part I are discussed. Perhaps apparently impossible fictions describe possibilities after all; or perhaps impossible fictions are all trivial; or perhaps some apparently intelligible impossible fictions are unintelligible after all. (shrink)

The preface to A Theory of Justice includes the interesting suggestion that John Rawls’s system is consistent with W.V. Quine’s system. I raise a problem for achieving fair equality of opportunity granting Quine’s system: that one does not have to respond to apparent evidence that two candidates are equally suitable for a job in the desired way. There does not appear to be a logical inconsistency between the systems at this point, but in practice regular positive discrimination schemes are probably (...) required. (shrink)

One very popular framework in contemporary epistemology is Bayesian. The central epistemic state is subjective confidence, or credence. Traditional epistemic states like belief and knowledge tend to be sidelined, or even dispensed with entirely. Credences are often introduced as familiar mental states, merely in need of a special label for the purposes of epistemology. But whether they are implicitly recognized by the folk or posits of a sophisticated scientific psychology, they do not appear to fit well with perception, as is (...) often noted. -/- This paper investigates the tension between probabilistic cognition and non-probabilistic perception. The tension is real, and the solution—to adapt a phrase from Quine and Goodman—is to renounce credences altogether. (shrink)

Despite the criticism of Karl Popper's falsifiability theory for the demarcation between science and non-science, mainly pseudo-science, this criterion is still very useful, and perfectly valid after it was perfected by Popper and his followers. Moreover, even in his original version, considered by Lakatos as "dogmatic", Popper did not assert that this methodology is an absolute demarcation criterion: a single counter-example is not enough to falsify a theory; a theory can legitimately be saved from falsification by introducing an auxiliary hypothesis. (...) Compared to Kuhn's theory of revolutions, which he himself later dissociated from it transforming it into a theory of "micro-revolutions," I consider that Popper's demarcation methodology, along with the subsequent development proposed by him, including the corroboration and the verisimilitude, though imperfect, is not only valid today, but it is still the best demarcation methodology. For argumentation, I used the main works of Popper dealing with this issue, and his main critics and supporters. After a brief presentation of Karl Popper, and an introduction to the demarcation problem and the falsification methodology, I review the main criticisms and the arguments of his supporters, emphasizing the idea that Popper has never put the sign of equality between falsification and rejection. Finally, I present my own conclusions on this issue. CONTENTS -/- Abstract Introduction 1 The demarcation problem 2 Pseudoscience 3 Falsifiability 4 Falsification and refutation 5 Extension of falsifiability 6 Criticism of falsifiability 7 Support of falsifiability 8 The current trend Conclusions Bibliography Notes -/- DOI: 10.58679/MM99220. (shrink)

How do we determine whether individuals accept the actual consistency of a political argument instead of just its rhetorical good looks? This article answers this question by proposing an interpretation of political argument within the constraints of political liberalism. It utilises modern developments in the philosophy of logic and language to reclaim ‘meaningless nonsense’ from use as a partisan war cry and to build up political argument as something more than a power struggle between competing conceptions of the good. Standard (...) solutions for ‘clarifying’ meaning through descriptive definition encounter difficulties with the biases of status quo idioms, as well as partisan translations and circularity. Collectively called linguistic gerrymandering, these difficulties threaten political liberalism’s underlying coherency. The proposed interpretation of political argument overcomes this with a new brand of conceptual analysis that can falsifiably determine whether rhetoric has hijacked political argument. (shrink)

Western analytic epistemology is undergoing an upheaval: the importance of social justice concerns is becoming increasingly recognized. Many of us want epistemology to reflect our lived experiences, and to do real work for us on issues that matter. Motivated by these concerns, researchers are increasingly focusing on ameliorating our epistemic concepts: finding ones that contribute to social justice. At the same time, however, many epistemologists claim that their project is purely metaphysical and thus value-neutral: epistemology is just about the truth, (...) the facts! Ethics and politics thus have no place in epistemology proper. I will argue that, despite appearances to the contrary, these ameliorative and objectivist projects are not in conflict. Indeed, because the same concepts are our tools for both theoretical and practical reasoning, properly carrying out either project must be done in an integrated way with the other. I’ll use the example of medical research to show how social justice concerns can deeply influence scientific practice in ways that contribute to, rather than threaten, its claims to objectivity. I then develop an integrative epistemology on analogy with medical research to resolve both longstanding philosophical disputes and support our understanding and healing of public discourse. (shrink)

In this paper, I examine Quine's views on the epistemology of logic. According to Quine's influential holistic account, logic is central in the “web of belief” that comprises our overall theory of the world. Because of this, revisions to logic would have devastating systematic consequences, and this explains why we are loath to make such revisions. In section1, I clarify this idea and thereby show that Quine actually takes the web of belief to have asymmetrical internal structure. This raises two (...) puzzles. First, as I show in section 2, Quine's mature thoroughly naturalized view has it that logic is simply obvious, and this is explains why we do not typically consider revising it. While Quine presents this naturalized view as a way to make good on his earlier metaphor of centrality in a web of belief, I argue that the resources of Quine's naturalized epistemology cannot adequately explain why we are reluctant to revise logic. And, Quine seems to recognize this point himself. In light of this, I explain in section 3 how Quine can allow that our overall scientific theory has systematic structure in a way that is consistent with his naturalistic strictures. Second, the asymmetrical internal structure of the web of belief seems to be inconsistent with its being a holistic web at all. I defuse this problem in section 4 by showing how Quine distinguishes between structural and confirmational considerations. I close by using this distinction to show how Quine's view can evade Michael Friedman’s criticisms, and allow for important methodological distinctions between areas of the web of belief. (shrink)

Instability occurs when the very fact of choosing one particular possible option rather than another affects the expected values of those possible options. In decision theory: An act is stable iff given that it is actually performed, its expected utility is maximal. When there is no stable choice available, the resulting instability can seem to pose a dilemma of practical rationality. A structurally very similar kind of instability, which occurs in cases of anti-expertise, can likewise seem to create dilemmas of (...) epistemic rationality. One possible line of response to such cases of instability, suggested by both Jeffrey (1983) and Sorensen (1987), is to insist that a rational agent can simply refuse to accept that such instability applies to herself in the first place. According to this line of thought it can be rational for a subject to discount even very strong empirical evidence that the anti-expertise condition obtains. I present a new variety of anti-expertise condition where no particular empirical stage-setting is required, since the subject can deduce a priori that an anti-expertise condition obtains. This kind of anti-expertise case is therefore not amenable to the line of response that Jeffrey and Sorensen recommend. (shrink)

While the epistemic significance of disagreement has been a popular topic in epistemology for at least a decade, little attention has been paid to logical disagreement. This monograph is meant as a remedy. The text starts with an extensive literature review of the epistemology of (peer) disagreement and sets the stage for an epistemological study of logical disagreement. The guiding thread for the rest of the work is then three distinct readings of the ambiguous term ‘logical disagreement’. Chapters 1 and (...) 2 focus on the Ad Hoc Reading according to which logical disagreements occur when two subjects take incompatible doxastic attitudes toward a specific proposition in or about logic. Chapter 2 presents a new counterexample to the widely discussed Uniqueness Thesis. Chapters 3 and 4 focus on the Theory Choice Reading of ‘logical disagreement’. According to this interpretation, logical disagreements occur at the level of entire logical theories rather than individual entailment-claims. Chapter 4 concerns a key question from the philosophy of logic, viz., how we have epistemic justification for claims about logical consequence. In Chapters 5 and 6 we turn to the Akrasia Reading. On this reading, logical disagreements occur when there is a mismatch between the deductive strength of one’s background logic and the logical theory one prefers (officially). Chapter 6 introduces logical akrasia by analogy to epistemic akrasia and presents a novel dilemma. Chapter 7 revisits the epistemology of peer disagreement and argues that the epistemic significance of central principles from the literature are at best deflated in the context of logical disagreement. The chapter also develops a simple formal model of deep disagreement in Default Logic, relating this to our general discussion of logical disagreement. The monograph ends in an epilogue with some reflections on the potential epistemic significance of convergence in logical theorizing. (shrink)

While Quine’s linguistic behaviorism is well-known, his Kant Lectures contain one of his most detailed discussions of behaviorism in psychology and the philosophy of mind. Quine clarifies the nature of his psychological commitments by arguing for a modest view that is against ‘excessively restrictive’ variants of behaviorism while maintaining ‘a good measure of behaviorist discipline…to keep [our mental] terms under control’. In this paper, I use Quine’s Kant Lectures to reconstruct his position. I distinguish three types of behaviorism in psychology (...) and the philosophy of mind: ontological behaviorism, logical behaviorism, and epistemological behaviorism. I then consider Quine’s perspective on each of these views and argue that he does not fully accept any of them. By combining these perspectives we arrive at Quine’s surprisingly subtle view about behaviorism in psychology. (shrink)

In this paper we briefly examine and evaluate Quine’s physicalism. On the supposition, in accordance with Quine’s views, that there can be no change of any sort without a physical change, we argue that this point leaves plenty of room to understand and accept a limited autonomy of the special sciences and of other domains of disciplinary and common-sense inquiry and discourse. The argument depends on distinguishing specific, detailed programs of reduction from the general Quinean strategy of reduction by explication. (...) We argue that the details of the relations of particular sciences, disciplines and domains of discourse depend on empirical evidence and empirical-theoretical developments and that the generalized approach of reduction by explication is also subject to related empirical-theoretical constraints. So understood, physicalism lacks much of the controversial force and many of the implications sometimes associated with it. (shrink)

Conceptual engineering is to be explained by appeal to the externalist distinction between concepts and conceptions. If concepts are determined by non-conceptual relations to objective properties rather than by associated conceptions (whether individual or communal), then topic preservation through semantic change will be possible. The requisite level of objectivity is guaranteed by the possibility of collective error and does not depend on a stronger level of objectivity, such as mind-independence or independence from linguistic or social practice more generally. This means (...) that the requisite level of objectivity is exhibited not only by natural kinds, but also by a wide range of philosophical kinds, social kinds and artefactual kinds. The alternative externalist accounts of conceptual engineering offered by Herman Cappelen and Derek Ball fall back into a kind of descriptivism which is antithetical to externalism and fails to recognise this basic level of objectivity. (shrink)

Philosophy of science and history of science both have a significant relation to science itself; but what is their relation to each other? That question has been a focal point of philosophical and historical work throughout the second half of this century. An analysis and review of the progress made in dealing with this question, and especially that made in philosophy, is the focus of this thesis. Chapter one concerns logical positivist and empiricist approaches to philosophy of science, and the (...) significance of the criticisms levelled at them by analytic epistemologists such as Willard Quine and 'historicist' philosophers, especially Thomas Kuhn. Chapter two details the attempts by Kuhn and Lakatos to integrate these historicist criticisms with historically oriented philosophy of science, in their separate attempts at providing rational explanations of historical developments. Kuhn's latest work seeks to mend fences with philosophy, but his efforts remain too closely tied to the epistemological approaches strongly criticized in his earlier work. Lakatos' treatment of history is much more subtle than most have understood it to be, but the conception of scientific rationality that arises out of it is transformed into an abstract cultural product, more reminiscent of Hegel's geist than of individual human rationality. Chapters three and four discuss the recommendations of Lakatos and Laudan to historians with regard to historiography, and the actual historiographies and philosophy of history of practicing historians and historians of science. The philosophers' contributions indicate little concern for the historians' own methods, materials, and purposes; and the historians' writings present methodologies for history of science that are independent of the normative demarcations of philosophy of science, pace Lakatos and Laudan. Chapter five develops a philosophical position that fosters a more productive engagement between philosophy and history of science, a 'methodological historicism' that embraces the possibility of an important role for social and political factors in a philosophical study of scientific development. The epistemological relativism that might accompany such a historicist position need not be the radical epistemological anarchism of Feyerabend, though it will allow for a significant underdetermination of scientific development by reason nonetheless. (shrink)

A critical notice of David J. Chalmers, Constructing the World (Oxford University Press,2012).

K. R. Popper distinguished between two main uses of logic, the demonstrational one, in mathematical proofs, and the derivational one, in the empirical sciences. These two uses are governed by the following methodological constraints: in mathematical proofs one ought to use minimal logical means (logical minimalism), while in the empirical sciences one ought to use the strongest available logic (logical maximalism). In this paper I discuss whether Popper’s critical rationalism is compatible with a revision of logic in the empirical sciences, (...) given the condition of logical maximalism. Apparently, if one ought to use the strongest logic in the empirical sciences, logic would remain immune to criticism and, thus, non-revisable. I will show that critical rationalism is theoretically compatible with a revision of logic in the empirical sciences. However, a question that remains to be clarified by the critical rationalists is what kind of evidence would lead them to revise the system of logic that underlies a physical theory, such as quantum mechanics? Popper’s falsificationist methodology will be compared with the recently advocated extension of the abductive methodology from the empirical sciences to logic by T. Williamson, since both of them arrive at the same conclusion concerning the status of classical logic. (shrink)

The consequences of Quine's criterion of ontological commitment epitomized in his treatment of the term 'Pegasus' in "On What There Is" are evaluated in terms of Quine's own work, in particular in "The Variable" and "Variables Explained Away". There is a cost to maintaining this criterion with regard to the empirical consequences of some non-existent objects, given considerations prompted by Quine's holism. This cost can be reduced by adopting a noneist position according to which non-existent objects can be values of (...) bound variables as well. (shrink)

The paper proposes a synthesis between human scientists and artificial representation learning models as a way of augmenting epistemic warrants of realist theories against various anti-realist attempts. Towards this end, the paper fleshes out unconceived alternatives not as a critique of scientific realism but rather a reinforcement, as it rejects the retrospective interpretations of scientific progress, which brought about the problem of alternatives in the first place. By utilising adversarial machine learning, the synthesis explores possibility spaces of available evidence for (...) unconceived alternatives providing modal knowledge of what is possible therein. As a result, the epistemic warrant of synthesised realist theories should emerge bolstered as the underdetermination by available evidence gets reduced. While shifting the realist commitment away from theoretical artefacts towards modalities of the possibility spaces, the synthesis comes out as a kind of perspectival modelling. (shrink)

This paper argues that a priori justification is, in principle, compatible with naturalism—if the a priori is understood in a way that is free of the inessential properties that, historically, have been associated with the concept. I argue that empirical indefeasibility is essential to the primary notion of the a priori ; however, the indefeasibility requirement should be interpreted in such a way that we can be fallibilist about apriori-justified claims. This fallibilist notion of the a priori accords with the (...) naturalist’s commitment to scientific methodology in that it allows for apriori-justified claims to be sensitive to further conceptual developments and the expansion of evidence. The fallibilist apriorist allows that an a priori claim is revisable in only a purely epistemic sense. This modal claim is weaker than what is required for a revisability thesis to establish empiricism, so fallibilist apriorism represents a distinct position. (shrink)

Although the main focus of Hume’s career was in the humanities, his work also has an observable role in the historical development of natural sciences after his time. To show this, I shall center on the relation between Hume and two major figures in the history of the natural sciences: Charles Darwin (1809–1882) and Albert Einstein (1879–1955). Both of these scientists read Hume. They also found parts of Hume’s work useful to their sciences. Inquiring into the relations between Hume and (...) the two scientists shows that his philosophical positions had a partial but constructive role in the formation of modern biology and physics. This is accordingly a clear indication of Hume’s impact on the scientific tradition. Before proceeding to analyze Hume’s contribution to the history of science, it is important to address his broader role in the history of philosophy of science. Hume’s discussions concerning the topics of causation, induction, the distinction between mathematical and empirical propositions, and laws of nature have been important for the philosophy of science of the nineteenth and twentieth centuries. (shrink)

The impact of science on ethics forms since long the subject of intense debate. Although there is a growing consensus that science can describe morality and explain its evolutionary origins, there is less consensus about the ability of science to provide input to the normative domain of ethics. Whereas defenders of a scientific normative ethics appeal to naturalism, its critics either see the naturalistic fallacy committed or argue that the relevance of science to normative ethics remains undemonstrated. In this paper, (...) we argue that current scientific normative ethicists commit no fallacy, that criticisms of scientific ethics contradict each other, and that scientific insights are relevant to normative inquiries by informing ethics about the options open to the ethical debate. Moreover, when conceiving normative ethics as being a nonfoundational ethics, science can be used to evaluate every possible norm. This stands in contrast to foundational ethics in which some norms remain beyond scientific inquiry. Finally, we state that a difference in conception of normative ethics underlies the disagreement between proponents and opponents of a scientific ethics. Our argument is based on and preceded by a reconsideration of the notions naturalistic fallacy and foundational ethics. This argument differs from previous work in scientific ethics: whereas before the philosophical project of naturalizing the normative has been stressed, here we focus on concrete consequences of biological findings for normative decisions or on the day-to-day normative relevance of these scientific insights. (shrink)

The historical consensus is that logical evidence is special. Whereas empirical evidence is used to support theories within both the natural and social sciences, logic answers solely to a priori evidence. Further, unlike other areas of research that rely upon a priori evidence, such as mathematics, logical evidence is basic. While we can assume the validity of certain inferences in order to establish truths within mathematics and test scientifi c theories, logicians cannot use results from mathematics or the empirical sciences (...) without seemingly begging the question. Appeals to rational intuition and analyticity in order to account for logical knowledge are symptomatic of these commitments to the apriority and basicness of logical evidence. This chapter argues that these historically prevalent accounts of logical evidence are mistaken, and that if we take logical practice seriously we fi nd that logical evidence is rather unexceptional, sharing many similarities to the types of evidence appealed to within other research areas. (shrink)

This article endeavors to identify the strongest versions of the two primary arguments against epistemic scientific realism: the historical argument—generally dubbed “the pessimistic meta-induction”—and the argument from underdetermination. It is shown that, contrary to the literature, both can be understood as historically informed but logically validmodus tollensarguments. After specifying the question relevant to underdetermination and showing why empirical equivalence is unnecessary, two types of competitors to contemporary scientific theories are identified, both of which are informed by science itself. With the (...) content and structure of the two nonrealist arguments clarified, novel relations between them are uncovered, revealing the severity of their collective threat against epistemic realism and its “no-miracles” argument. The final section proposes, however, that the realist’s axiological tenet “science seeks truth” is not blocked. An attempt is made to indicate the promise for a nonepistemic, purely axiological scientific realism—here dubbed “Socratic scientific realism.”. (shrink)

The relatively recent trend seems to be to move away from General Philosophy of Science and towards the philosophies of the individual sciences and to relocate whatever content GPoS is supposed to have to the philosophies of the sciences. I argue that scepticism or pessimism about the prospects of GPoS is unwarranted. I also argue that there can be no philosophies of the various sciences without GPoS. Defending these two claims is the main target of this chapter. I will show, (...) however, that there is osmosis between GPoS and the Philosphies of the Sciences and that this osmosis is grounded on what I will call‘Science in general’ and the two important functions GPoS plays vis-à-vis Science-in-general: an explicative function and a critical function. (shrink)

I survey the previous 20 years work on the nature of folk psychology, with particular emphasis on the original debate between theory theorists and simulation theorists, and the positions that have emerged from this debate.

A growing number of philosophers and linguists have argued that many, if not most, terms in our language should be understood as semantically context sensitive. In opposition to this trend, Herman Cappelen and Ernie Lepore defend a view they call "Semantic Minimalism", which holds that there are virtually no semantically context sensitive expressions in English once you get past the standard list of indexicals and demonstratives such as "I", "you", "this", and "that". While minimalism strikes many as obviously false, it (...) will be argued here that the view is more plausible than commonly assumed if one accepts the 'normative' conception of the relation between meaning and use characteristic of the literature on semantic externalism. That said, it is not clear that Cappelen and Lepore always conceive of their minimal semantic contents in this more normative fashion, and once this framework is place, a version of 'moderate contextualism' that they do not consider comes into view. (shrink)

In his précis of a recent book, Richard Joyce writes, “My contention…is that…any epistemological benefit-of-the-doubt that might have been extended to moral beliefs…will be neutralized by the availability of an empirically confirmed moral genealogy that nowhere…presupposes their truth.” Such reasoning – falling under the heading “Genealogical Debunking Arguments” – is now commonplace. But how might “the availability of an empirically confirmed moral genealogy that nowhere… presupposes” the truth of our moral beliefs “neutralize” whatever “epistemological benefit-of-the-doubt that might have been extended (...) to” them? In this article, I argue that there appears to be no satisfactory answer to this question. The problem is quite general, applying to all arguments with the structure of Genealogical Debunking Arguments aimed at realism about a domain meeting two conditions. The Benacerraf-Field Challenge for mathematical realism affords an important special case. (shrink)

Arguably no concept is more fundamental to science than that of causality, for investigations into cases of existence, persistence, and change in the natural world are largely investigations into the causes of these phenomena. Yet the metaphysics and epistemology of causality remain unclear. For example, the ontological categories of the causal relata have been taken to be objects (Hume 1739), events (Davidson 1967), properties (Armstrong 1978), processes (Salmon 1984), variables (Hitchcock 1993), and facts (Mellor 1995). (For convenience, causes and effects (...) will usually be understood as events in what follows.) Complicating matters, causal relations may be singular (Socrates’s drinking hemlock caused Socrates’s death) or general (Drinking hemlock causes death); hence the relata might be tokens (e.g., instances of properties) or types (e.g., types of events) of the category in question. Other questions up for grabs are: Are singular causes metaphysically and/or epistemologically prior to general causes or vice versa (or neither)? What grounds the intuitive asymmetry of the causal relation? Are macro-causal relations reducible to micro-causal relations? And perhaps most importantly: Are causal facts (e.g., the holding of causal relations) reducible to non-causal facts (e.g., the holding of certain spatiotemporal relations)? (shrink)

The motivating question of this paper is: ‘How are our beliefs in the theorems of mathematics justified?’ This is distinguished from the question ‘How are our mathematical beliefs reliably true?’ We examine an influential answer, outlined by Russell, championed by Gödel, and developed by those searching for new axioms to settle undecidables, that our mathematical beliefs are justified by ‘intuitions’, as our scientific beliefs are justified by observations. On this view, axioms are analogous to laws of nature. They are postulated (...) to best systematize the data to be explained. We argue that there is a decisive difference between the cases. There is agreement on the data to be systematized in the scientific case that has no analog in the mathematical one. There is virtual consensus over observations, but conspicuous dispute over intuitions. In this respect, mathematics more closely resembles stereotypical philosophy. We conclude by distinguishing two ideas that have long been associated -- realism (the idea that there is an independent reality) and objectivity (the idea that in a disagreement, only one of us can be right). We argue that, while realism is true of mathematics and philosophy, these domains fail to be objective. One upshot of the discussion is that even questions of fundamental physics may fail to be objective in roughly the sense that the question, ‘Is the Parallel Postulate is true?’, understood as one of pure mathematics, fails to be. Another is a kind of pragmatism. Factual questions in mathematics, modality, logic, and evaluative areas go proxy for non-factual practical ones. -/- . (shrink)

Willard V. Quine’s 1951 article, “Two Dogmas of Empiricism” (Two Dogmas) was taken to be revolutionary because it rejects the analytic-synthetic distinction and the thesis that empirical statements are confirmed individually rather than holistically. The present chapter, however, argues that the overcoming of modern philosophy already included the overcoming of these theses by Hegelians, pragmatists and two critics of Hegelianism and pragmatism, Grace and Theodore de Laguna. From this perspective, Two Dogmas offers a Hegelian epistemology that was already superseded in (...) 1910. The perspective is largely based on the de Lagunas’ 1910 book Dogmatism and Evolution: Studies in Modern Philosophy. The de Lagunas’ book also helps to make clear that the real revolution Two Dogmas participated in was the marginalisation of their work and that of other speculative philosophers. Grace de Laguna surely recognised much of this when she stood opposite Quine as he first presented Two Dogmas. (shrink)

§§3-4 of the Begriffsschrift present Frege’s objections to a dominant if murky nineteenth-century semantic picture. I sketch a minimalist variant of the pre-Fregean picture which escapes Frege’s criticisms by positing a thin notion of semantic content which then interacts with a multiplicity of kinds of truth to account for phenomena such as modality. After exploring several ways in which we can understand the existence of multiple truth properties, I discuss the roles of pointwise and setwise truth properties in modal logic. (...) I argue that thinking of supertruth and determinate truth as setwise truth properties allows an understanding of supervaluationist approaches to vagueness which escapes both Williamson’s objections to and a needless metalinguistic orientation of traditional supervaluationism. (shrink)

Presents a novel interpretation of Schelling's philosophy by way of his reading and critique of Spinoza.

Critically engages the work of American philosopher Richard J. Bernstein.

This essay aims to redress the contention that epistemic possibility cannot be a guide to the principles of modal metaphysics. I introduce a novel epistemic two-dimensional truthmaker semantics. I argue that the interaction between the two-dimensional framework and the mereological parthood relation, which is super-rigid, enables epistemic possibilities and truthmakers with regard to parthood to be a guide to its metaphysical profile. I specify, further, a two-dimensional formula encoding the relation between the epistemic possibility and verification of essential properties obtaining (...) and their metaphysical possibility or verification. I then generalize the approach to haecceitistic properties, and examine the Julius Caesar problem as a test case. (shrink)

The ubiquitous goals of helping precollege students develop informed conceptions of nature of science and experience inquiry learning environments that progressively approximate authentic scientific practice have been long-standing and central aims of science education reforms around the globe. However, the realization of these goals continues to elude the science education community partly because of a persistent, albeit not empirically supported, coupling of the two goals in the form of ‘teaching about NOS with inquiry’. In this context, the present paper aims, (...) first, to introduce the notions of, and articulate the distinction between, teaching with and about NOS, which will allow for the meaningful coupling of the two desired goals. Second, the paper aims to explicate science teachers’ knowledge domains requisite for effective teaching with and about NOS. The paper argues that research and development efforts dedicated to helping science teachers develop deep, robust, and integrated NOS understandings would have the dual benefits of not only enabling teachers to convey to students images of science and scientific practice that are commensurate with historical, philosophical, sociological, and psychological scholarship, but also to structure robust inquiry learning environments that approximate authentic scientific practice, and implement effective pedagogical approaches that share a lot of the characteristics of best science teaching practices. (shrink)

Once upon a time, logical conventionalism was the most popular philosophical theory of logic. It was heavily favored by empiricists, logical positivists, and naturalists. According to logical conventionalism, linguistic conventions explain logical truth, validity, and modality. And conventions themselves are merely syntactic rules of language use, including inference rules. Logical conventionalism promised to eliminate mystery from the philosophy of logic by showing that both the metaphysics and epistemology of logic fit into a scientific picture of reality. For naturalists of all (...) stripes, this was paradise. Alas, paradise was lost. By the end of the twentieth century, logical conventionalism had been almost universally abandoned. But more recently, it has been revitalized. This chapter provides an overview of logical conventionalism and its history, clears away misunderstandings, and briefly responds to both the canonical objections to conventionalism (from Quine, Dummett, Boghossian, and many others) as well as new objections (from Field and Golan). From paradise lost, to paradise regained: logical conventionalism is back. (shrink)