This expanded edition of C L Hardin's ground-breaking work on colour features a new chapter, 'Further Thoughts: 1993', in which the author revisits the dispute ...

Contains an overall account of morality in its philosophical format particularly with regard to problems of observation, evidence, and truth.

Logic isn’t special. Its theories are continuous with science; its method continuous with scientific method. Logic isn’t a priori, nor are its truths analytic truths. Logical theories are revisable, and if they are revised, they are revised on the same grounds as scientific theories. These are the tenets of anti-exceptionalism about logic. The position is most famously defended by Quine, but has more recent advocates in Maddy, Priest, Russell, and Williamson. Although these authors agree on many methodological issues about logic, (...) they disagree about which logic anti-exceptionalism supports. Williamson uses an anti-exceptionalist argument to defend classical logic, while Priest claims that his anti-exceptionalism supports nonclassical logic. This paper argues that the disagreement is due to a difference in how the parties understand logical theories. Once we reject Williamson’s deflationary account of logical theories, the argument for classical logic is undercut. Instead an alternative account of logical theories is offered, on which logical pluralism is a plausible supplement to anti-exceptionalism. (shrink)

This paper reconstructs what I take to be the central evolutionary debunking argument that underlies recent critiques of moral realism. The argument claims that given the extent of evolutionary influence on our moral faculties, and assuming the truth of moral realism, it would be a massive coincidence were our moral faculties reliable ones. Given this coincidence, any presumptive warrant enjoyed by our moral beliefs is defeated. So if moral realism is true, then we can have no warranted moral beliefs, and (...) hence no moral knowledge. In response, I first develop what is perhaps the most natural reply on behalf of realism namely, that many of our highly presumptively warranted moral beliefs are immune to evolutionary influence and so can be used to assess and eventually resuscitate the epistemic merits of those that have been subject to such influence. I then identify five distinct ways in which the charge of massive coincidence has been understood and defended. I argue that each interpretation is subject to serious worries. If I am right, these putative defeaters are themselves subject to defeat. Thus many of our moral beliefs continue to be highly warranted, even if moral realism is true. (shrink)

Realism concerning a given subject-matter is characterised as a semantic doctrine with metaphysical consequences, namely as the adoption, for the relevant class of statements, of a truth-conditional theory of meaning resting upon the classical two-valued semantics. it is argued that any departure from classical semantics may, though will not necessarily, be seen as in conflict with some variety of realism. a sharp distinction is drawn between the rejection of realism and the acceptance of a reductionist thesis; though intimately related, neither (...) entails the other. realism is to be classified as "naive", "semi-naive" or "sophisticated": the first of these involves an all but unintelligible epistemological component. (shrink)

Let me start with a well-known story. Kant held that logic and conceptual analysis alone cannot account for our knowledge of arithmetic: “however we might turn and twist our concepts, we could never, by the mere analysis of them, and without the aid of intuition, discover what is the sum [7+5]” (KrV, B16). Frege took himself to have shown that Kant was wrong about this. According to Frege’s logicist thesis, every arithmetical concept can be defined in purely logical terms, and (...) every theorem of arithmetic can be proved using only the basic laws of logic. Hence, Kant was wrong to think that our grasp of arithmetical concepts and our knowledge of arithmetical truth depend on an extralogical source—the pure intuition of time (Frege 1884, §89, §109). Arithmetic, properly understood, is just a part of logic. (shrink)

It might be expected that it would suffice for the entry for “moral anti-realism” to contain only some links to other entries in this encyclopedia. It could contain a link to “moral realism” and stipulate the negation of the view there described. Alternatively, it could have links to the entries “anti-realism” and “morality” and could stipulate the conjunction of the materials contained therein. The fact that neither of these approaches would be adequate—and, more strikingly, that following the two procedures would (...) yield substantively non-equivalent results—reveals the contentious and unsettled nature of the topic. -/- “Anti-realism,” “non-realism,” and “irrealism” may for most purposes be treated as synonymous. Occasionally, distinctions have been suggested for local pedagogic reasons (see, e.g., Wright 1988a; Dreier 2004), but no such distinction has generally taken hold. (“Quasi-realism” denotes something very different, to be discussed in the supplement Projectivism and quasi-realism below.) All three terms are to be defined in opposition to realism, but since there is no consensus on how “realism” is to be understood, “anti-realism” fares no better. Crispin Wright (1992: 1) comments that “if there ever was a consensus of understanding about ‘realism’, as a philosophical term of art, it has undoubtedly been fragmented by the pressures exerted by the various debates—so much so that a philosopher who asserts that she is a realist about theoretical science, for example, or ethics, has probably, for most philosophical audiences, accomplished little more than to clear her throat.” This entry doesn't purport to do justice to the intricacy and subtlety of the topic of realism; it should be acknowledged at the outset that the fragmentation of which Wright speaks renders it unlikely that the label “moral anti-realism” even succeeds in picking out a definite position. Yet perhaps we can at least make an advance on clearing our throats. (shrink)

In this paper I examine the question of logic’s normative status in the light of Carnap’s Principle of Tolerance. I begin by contrasting Carnap’s conception of the normativity of logic with that of his teacher, Frege. I identify two core features of Frege’s position: first, the normative force of the logical laws is grounded in their descriptive adequacy; second, norms implied by logic are constitutive for thinking as such. While Carnap breaks with Frege’s absolutism about logic and hence with the (...) notion that any system of logic should have a privileged claim to correctness, I argue that there is a sense in which Carnap’s framework-relative conception of logical norms has a constitutive role to play: though they are not constitutive for the conceptual activity for thinking, they do nevertheless set the ground rules that make certain forms of scientific inquiry possible in the first place. I conclude that Carnap’s principle of tolerance is tamer than one might have thought and that, despite remaining differences, Frege’s and Carnap’s conceptions of logic have more in common than one might have thought. (shrink)

Hartry Field; XV*—The A Prioricity of Logic, Proceedings of the Aristotelian Society, Volume 96, Issue 1, 1 June 1996, Pages 359–380, https://doi.org/10.1093/ar.

In his Philosophical Investigations Wittgenstein describes, and represents himself as pursuing, a way of doing philosophy without putting forward philosophical theses. I exemplify his approach with a sketch of his treatment of rule following. I focus in particular on the simple case of following a signpost, conceived as an expression of a rule for getting to a destination. Wittgenstein uncovers a threat that we will find it mysterious how one could learn from a signpost which way to go, and he (...) dissolves the threat, not by putting forward philosophical theses, but by reminding us of things we already knew about signposts. Insofar as the point of Wittgenstein's procedure is to give philosophy peace, the label “quietism” fits. I take issue with readings of Wittgenstein's quietism that represent him as uncovering a need for positive philosophical work, but using quietism as a pretext for declining to do the work himself. Wittgensteinian quietism is not a stance of complacency or idleness. The kind of thing Wittgenstein does is difficult and laborious. It requires accurate and sympathetic engagement with frames of mind in which positive philosophy seems to be necessary. (shrink)

Frege claims that the laws of logic are characterized by their “generality,” but it is hard to see how this could identify a special feature of those laws. I argue that we must understand this talk of generality in normative terms, but that what Frege says provides a normative demarcation of the logical laws only once we connect it with his thinking about truth and science. He means to be identifying the laws of logic as those that appear in every (...) one of the scientific systems whose construction is the ultimate aim of science, and in which all truths have a place. Though an account of logic in terms of scientific systems might seem hopelessly antiquated, I argue that it is not: a basically Fregean account of the nature of logic still looks quite promising. (shrink)

In the opening to his late essay, Der Gedanke, Frege asserts without qualification that the word "true" points the way for logic. But in a short piece from his Nachlass entitled "My Basic Logical Insights", Frege writes that the word true makes an unsuccessful attempt to point to the essence of logic, asserting instead that "what really pertains to logic lies not in the word "true" but in the assertoric force with which the sentence is uttered". Properly understanding what Frege (...) takes to be at issue here is crucial for understanding his conception of logic and, in particular, what he takes to be its normative status vis-à-vis judgement, assertion, and inference. In this paper, I focus my attention on clarifying the latter claim and Frege's motivations for making it, exposing what I take to be a fundamental tension in Frege's conception of logic. Finally, I discuss whether Frege's deployment of the horizontal in his mature Begriffsschrift helps to resolve this tension. (shrink)

Why does Frege claim that logical axioms are ‘self‐evident,’ to be recognized as true ‘independently of other truths,’ and then offer arguments for those axioms? I argue that he thinks the arguments provide us with the justification that we need for accepting the axioms and that this is compatible with his remarks about self‐evidence. This compatibility depends on philosophical considerations connected with the ‘critical method’: an interesting approach to the justification of axioms endorsed by leading philosophers at the time.

A modest transcendental argument is one that sets out merely to establish how things need to appear to us or how we need to believe them to be, rather than how things are. Stroud's claim to have established that all transcendental arguments must be modest in this way is criticised and rejected. However, a different case for why we should abandon ambitious transcendental arguments is presented: namely, that when it comes to establishing claims about how things are, there is no (...) reason to prefer transcendental arguments to arguments that rely on the evidence of the senses, making the former redundant in a way that modest transcendental arguments, which have a different kind of sceptical target, are not. (shrink)

An investigation of Frege’s various contributions to the study of language, focusing on three of his most famous doctrines: that concepts are unsaturated, that sentences refer to truth-values, and that sense must be distinguished from reference.

Platonism is the view that there exist such things as abstract objects — where an abstract object is an object that does not exist in space or time and which is therefore entirely non-physical and nonmental. Platonism in this sense is a contemporary view. It is obviously related to the views of Plato in important ways, but it is not entirely clear that Plato endorsed this view, as it is defined here. In order to remain neutral on this question, the (...) term ‘platonism’ is spelled with a lower-case ‘p’. (See entry on Plato.) The most important figure in the development of modern platonism is Gottlob Frege (1884, 1892, 1893-1903, 1919). The view has also been endorsed by many others, including Kurt Gödel (1964), Bertrand Russell (1912), and W.V.O. Quine (1948, 1951). (shrink)

This chapter discusses the prospects for logical, semantic, metaphysical, and epistemic characterisations of the autonomy of ethics.

Some philosophers have been attracted to the idea that morality is an autonomous domain. One version of this idea is the thesis that non-moral claims are irrelevant to the justification of fundamental normative ethical theories. However, this autonomy thesis appears to be in tension with a pair of apparent features of metaethical theorizing. On one hand, metaethics seemingly aims to explain how morality fits into our broader conception of the world. On the other, metaethical theorizing appears to have potential normative (...) ethical implications. This apparent tension may help to explain some contemporary worries about metaethics as a philosophical project. This paper examines three responses to this tension. The first response seeks to resolve the tension by claiming that metaethical theories must be neutral between normative ethical theories. The second response seeks to eliminate the tension by appealing to a deep divide between practical and theoretical reasoning. I show that each of these responses would require a radical reconception of metaethics. I argue that such a reconception is not required in order to resolve the apparent tension between metaethics and the autonomy thesis. I show that this tension is merely apparent, and can be dissolved without casting doubt on metaethics as a project. I argue that on the picture that results, whether the autonomy thesis is true itself depends upon metaethical fact. (shrink)

There are two common reactions to Frege’s claim that some senses and thoughts are private. Privatists accept both private senses and thoughts, while intersubjectivists don’t accept either. Both sides agree on a pair of tacit assumptions: first, that private senses automatically give rise to private thoughts; and second, that private senses and thoughts are the most problematic entities to which Frege’s remarks on privacy give rise. The aim of this paper is to show that both assumptions are mistaken. This will (...) motivate a so far neglected, reconciliatory position between privatism and intersubjectivism according to which all thoughts are public while some senses are private. (shrink)

This paper is concerned with the relationship between the metaphysical doctrine of realism about the external world and semantic realism, as characterised by Michael Dummett. I argue that Dummett's conception of the relationship is flawed, and that Crispin Wright's account of the relationship, although designed to avoid the problems which beset Dummett's, nevertheless fails for similar reasons. I then aim to show that despite the fact that Dummett and Wright both fail to give a plausible account of the relationship between (...) semantic realism and the metaphysical doctrine of realism, the semantic issue and the metaphysical issue are importantly related. I outline the precise sense in which the evaluation of semantic realism is relevant to the evaluation of realism about the external world, a sense overlooked by opponents of Dummett, such as Simon Blackburn and Michael Devitt. I finish with some brief remarks on metaphysics, semantics, and the nature of philosophy, and suggest that Dummett's arguments against semantic realism can retain their relevance to metaphysical debate even if we reject Dummett's idea that the theory of meaning is thefoundation of all philosophy. (shrink)

In Frege's writings, the notions of truth, judgment, and objectivity are all prominent and important. This paper explores the close connections between them, together with their ties to further cognate notions, such as those of thought, assertion, inference, logical law, and reason. It is argued that, according to Frege, these notions can only be understood properly together, in their inter-relations. Along the way, interpretations of some especially cryptic Fregean remarks, about objectivity, laws of truth, and reason, are offered, and seemingly (...) opposed "realist" and "idealist" strands in his position reconciled. (shrink)

Frege is celebrated as an arch-Platonist and arch-realist. He is renowned for claiming that truths of arithmetic are eternally true and independent of us, our judgments and our thoughts; that there is a third realm containing nonphysical objects that are not ideas. Until recently, there were few attempts to explicate these renowned claims, for most philosophers thought the clarity of Frege's prose rendered explication unnecessary. But the last ten years have seen the publication of several revisionist interpretations of Frege's writings (...) — interpretations on which these claims receive a very different reading. In Frege on Knowing the Third Realm, Tyler Burge attempts to undermine this trend. Burge argues that Frege is the very Platonist most have thought him — that revisionist interpretations of Frege's Platonism, mine among them, run afoul of the words on Frege's pages. This paper is a response to Burge's criticisms. I argue that my interpretation is more faithful than Burge's to Frege's texts. (shrink)

At least some of us, at least some of the time—when not in the grip of radical sceptical doubt—are inclined to believe that we know, for example, that if we infer a conclusion from two true premises, one a conditional whose consequent is that conclusion and the other the antecedent of that conditional, then our conclusion must be true, or that we know similar things about other simple patterns of inference. If we do indeed have knowledge of this sort, it (...) is what I mean by logical knowledge. Logical knowledge is, roughly speaking, knowledge about logic—such as knowledge that a certain principle of inference necessarily preserves truth, or that every proposition of a certain form must be true—and so is not the same thing as knowledge that is gained by using logic, i.e. inferential knowledge. That is not to say, of course, that logical knowledge can't be inferential. On the contrary, it is barely open to question that—if there is any logical knowledge at all—there is a lot of inferential logical knowledge. For example, if we know that the introduction and elimination principles for the conditional are truth-preserving, we can surely get to know, by inference, that the principle of hypothetical syllogism is so too, not to mention other, less obvious and more recondite, examples of putative logical knowledge. (shrink)

One of the most fundamental debates in metaethics is whether the normative facts are mind-dependent. Yet some philosophers are skeptical that mind-dependence is a category that's significant in the way metaethicists have assumed it is. In this paper, I consider a puzzle that showcases this skepticism, explaining how it undermines the most natural reading of the mind-dependence claim. I then go on to show that no modification of this reading within a certain class can hope to solve the problem. I (...) conclude by suggesting a new way that mind-dependence should be understood: mind-dependence is ultimately a matter of how normative principles are grounded. I develop this view briefly before concluding. (shrink)

Disputes about realism should be construed as disputes not about a class of entities, but about the truth‐value of the statements in a given class. For what reality consists in is not determined just by what objects there are, but by what propositions hold good: the world is the totality of facts, not of things. However, the rejection of bivalence is not a sufficient ground for rejecting realism. A genuine rejection of realism amounts to the view that logical constants classically (...) understood do not make sense. (shrink)

Michael Dummett argued that Frege was a realist while Hans Sluga countered that he was an objective idealist in the rationalist tradition of Kant and Lotze. Sluga ties Frege's idealism to the context principle which he argues Frege never gave up. It is argued that Sluga has correctly interpreted the pre?1891 Frege while Dummett is correct concerning the later period. It is also claimed that the context principle was dropped prior to 1891 to be replaced by the doctrine of unsaturated (...) entities. (shrink)