This is a very selective survey of developments in epistemology, concentrating on work from the past twenty years that is of interest to philosophers of science. The selection is organized around interesting connections between distinct themes. I first connect issues about skepticism to issues about the reliability of belief-acquiring processes. Next I connect discussions of the defeasibility of reasons for belief to accounts of the theory-independence of evidence. Then I connect doubts about Bayesian epistemology to issues about the content of (...) perception. The last detailed connection is between considerations of the finiteness of cognition and epistemic virtues. To connect the connections I end by briefly discussing the pressure that consideration of social roles in the transmission of belief puts on the purposes of epistemology. (shrink)

Metaontology – the study of the nature of ontological issues – has flourished in recent years. The focus of this summary will be on some views and arguments that are central to today’s debate. One theme will be that of how seriously to take ontology: whether there is reason to take a skeptical or deflationary attitude toward ontological claims, as theorists like Rudolf Carnap, Hilary Putnam, and Eli Hirsch in different ways have urged. The other theme will be that of (...) the viability of the Fregean and Quinean approaches to ontology that have been and still are central to analytic philosophy. (shrink)

Truthmakers are supposed to explain the truth of propositions, but it is unclear what kind of explanation truthmakers can provide. In this paper, I argue that ‘truthmaker explanations’ conflate two different explanatory projects. The first project is essentially concerned with truth, while the second project is concerned with reductive explanation. It is the latter project, I maintain, which is really central to truthmaking theory. On this basis, a general account of truthmaking can be formulated, which, when combined with a specific (...) theory of reduction (the ‘conceptual entailment approach’), yields a new analysis of truthmaking. This analysis is intuitively appealing and avoids the problem of necessary truths, which poses a serious obstacle for standard accounts. (shrink)

In this new book, the author of the classic Truth presents an original theory of meaning, demonstrates its richness, and defends it against all contenders. He surveys the diversity of twentieth-century philosophical insights into meaning and shows that his theory can reconcile these with a common-sense view of meaning as derived from use. Meaning and its companion volume Truth (now published in a revised edition) together demystify two central issues in philosophy and offer a controversial but compelling view of the (...) relations between language, thought, and reality. (shrink)

In his seminal paper, Content Preservation, Tyler Burge defends an original account of testimonial knowledge. The originality of the account is due, in part, to the fact that it is cast within a novel epistemic framework. The central feature of that framework is the introduction of the concept of entitlement, which is alleged to be a distinctive type of positive epistemic support or warrant. Entitlement and justification, according to Burge, are sub-species of warrant. Justification is the internalist form of warrant, (...) but entitlement is epistemically externalist. My focus in this paper is Burge’s conception of entitlement, and there are three primary issues that I wish to address. What is the relationship between entitlement and the more traditional concept of justification? In what sense is entitlement epistemically externalist? Has Burge introduced a new epistemic concept or merely coined a new term for a familiar epistemic concept? (shrink)

One particular topic in the literature on Frege’s conception of sense relates to two apparently contradictory theses held by Frege: the isomorphism of thought and language on one hand and the expressibility of a thought by different sentences on the other. I will divide the paper into five sections. In (1) I introduce the problem of the tension in Frege’s thought. In (2) I discuss the main attempts to resolve the conflict between Frege’s two contradictory claims, showing what is wrong (...) with some of them. In (3), I analyze where, in Frege’s writings and discussions on sense identity, one can find grounds for two different conceptions of sense. In (4) I show how the two contradictory theses held by Frege are connected with different concerns, compelling Frege to a constant oscillation in terminology. In (5) I summarize two further reasons that prevented Frege from making the distinction between two conceptions of sense clear: (i) the antipsychologism problem and (ii) the overlap of traditions in German literature contemporary to Frege about the concept of value. I conclude with a hint for a reconstruction of the Fregean notion of ‘thought’ which resolves the contradiction between his two theses. (shrink)

The concept of empiricism evokes both a historical tradition and a set of philosophical theses. The theses are usually understood to have been developed by Locke, Berkeley, and Hume. But these figures did not use the term “empiricism,” and they did not see themselves as united by a shared epistemology into one school of thought. My dissertation analyzes the debate that elevated the concept of empiricism (and of an empiricist tradition) to prominence in English-language philosophy. -/- In the 1870s and (...) ’80s a lively debate about psychology emerged. Neo-Kantian idealists criticized the very idea that the mind can be studied scientifically. A group of philosopher-psychologists responded, often in Mind. They were among the first to call themselves “empiricists,” arguing that psychology could provide a scientific basis for philosophical progress. Idealists held that empirical psychology depended on premises developed by Locke, Berkeley, and Hume. These premises were allegedly absurd because they rendered ideas of extension, as well as other ideas crucial to natural science, unreal. Those who wanted to advance psychology towards becoming a legitimate science were forced to engage these philosophical attacks, while at the same time to develop empirical theories that could successfully explain some characteristics of experience. I show how James’s theory of space perception accomplished both tasks. -/- In developing this theory, James found he had to reject the Lockean notion that reality is associated with passively-registered sensations. James also abandoned Berkeley and Hume’s claim that ideas are ultimately derived from atomic sensations. Instead, James presented experimental evidence that sensation is a continuous stream. The mind must actively parse this stream if it is to gain a coherent representation of its environment. I argue that James’s stream-of-thought thesis served as a presupposition of his entire psychology. The thesis showed how the labor of investigating the mind could be divided between philosophers and scientists, and in a manner sensitive to the concerns of both. The stream thesis also provided a scientific basis for a new philosophical empiricism that, I argue, has a hidden legacy in the history of analytic philosophy. (shrink)

Many theorists hold that there is, among value concepts, a fundamental distinction between thin ones and thick ones. Among thin ones are concepts like good and right. Among concepts that have been regarded as thick are discretion, caution, enterprise, industry, assiduity, frugality, economy, good sense, prudence, discernment, treachery, promise, brutality, courage, coward, lie, gratitude, lewd, perverted, rude, glorious, graceful, exploited, and, of course, many others. Roughly speaking, thick concepts are value concepts with significant descriptive content. I will discuss a number (...) of problems having to do with how best to understand the notion of a thick concept. Thick concepts have been widely discussed in the .. (shrink)

Minimal entities are, roughly, those that fall under notions defined by only deflationary principles. In this paper I provide an accurate characterization of two types of minimal entities: minimal properties and minimal facts. This characterization is inspired by both Schiffer's notion of a pleonastic entity and Horwich's notion of minimal truth. I argue that we are committed to the existence of minimal properties and minimal facts according to a deflationary notion of existence, and that the appeal to the inferential role (...) reading of the quantifiers does not dismiss this commitment. I also argue that deflationary existence is language-dependent existence—this clarifies why minimalists about properties and facts are not realists about these entities though their language may appear indistinguishable from the language of realists. (shrink)

This paper argues against both conceptual and linguistic analysis as sources of a priori knowledge. Whether such knowledge is possible turns on the nature of concepts. The paper's chief contention is that none of the main views about what concepts are can underwrite the possibility of such knowledge.

According to the species of neo-logicism advanced by Hale and Wright, mathematical knowledge is essentially logical knowledge. Their view is found to be best understood as a set of related though independent theses: (1) neo-fregeanism-a general conception of the relation between language and reality; (2) the method of abstraction-a particular method for introducing concepts into language; (3) the scope of logic-second-order logic is logic. The criticisms of Boolos, Dummett, Field and Quine (amongst others) of these theses are explicated and assessed. (...) The issues discussed include reductionism, rejectionism, the Julius Caesar problem, the Bad Company objections, and the charge that second-order logic is set theory in disguise. (shrink)

What sorts of things are the intuitions generated via thought experiment? Timothy Williamson has responded to naturalistic skeptics by arguing that thought-experiment intuitions are judgments of ordinary counterfactuals. On this view, the intuition is naturalistically innocuous, but it has a contingent content and could be known at best a posteriori. We suggest an alternative to Williamson's account, according to which we apprehend thought-experiment intuitions through our grasp on truth in fiction. On our view, intuitions like the Gettier intuition are necessarily (...) true and knowable a priori. Our view, like Williamson's, avoids naturalistic skepticism. (shrink)

The general tendency or attitude that Dreier 2004 calls creeping minimalism is ramping up in contemporary analytic philosophy. Those who entertain this attitude will take for granted a framework of deflationary or minimal notions – principally semantical1 and ontological – by means of which to analyse problems in different philosophical fields – e.g. theory of truth, metaethics, philosophy of language, the debate on realism and antirealism, etc. Let us call sweeping minimalist the philosopher affected by creeping minimalism. The framework of (...) minimal notions that the sweeping minimalist takes for granted encompasses, for instance, the concept of truth, reference, proposition, fact, individual, and property. Minimal notions are characterized in terms of general platitudinous principles expressed by schemata like the following (cf.: 26): ‘S’ is true if and only if S; ‘S’ is true if and only if ‘S’ corresponds to the facts; a has the property of being P if and only if a is P. Where ‘S’ and ‘a is P’ stand for sentences satisfying superficial constraints of truth-aptitude (i.e. sentences in declarative form subject to communally acknowledged standards of proper use), and.. (shrink)

The core doctrine of ethical intuitionism is that some of our ethical knowledge is non-inferential. Against this, Sturgeon has recently objected that if ethical intuitionists accept a certain plausible rationale for the autonomy of ethics, then their foundationalism commits them to an implausible epistemology outside ethics. I show that irrespective of whether ethical intuitionists take non-inferential ethical knowledge to be a priori or a posteriori, their commitment to the autonomy of ethics and foundationalism does not entail any implausible non-inferential knowledge (...) in areas outside ethics (such as the past, the future, or the unobservable). However, each form of intuitionism does require a controversial stand on certain unresolved issues outside ethics. (shrink)

According to Horwich’s use theory of meaning, the meaning of a word W is engendered by the underived acceptance of certain sentences containing W. Horwich applies this theory to provide an account of semantic stipulation: Semantic stipulation proceeds by deciding to accept sentences containing an as yet meaningless word W. Thereby one brings it about that W gets an underived acceptance property. Since a word’s meaning is constituted by its (basic) underived acceptance property, this decision endows the word with a (...) meaning. The use-theoretic account of semantic stipulation contrasts with the standard view that semantic stipulation proceeds by assigning the meaning (reference) to W that makes a certain set of sentences express true propositions. In this paper I will argue that the use-theoretic account does not work. I take Frege to have already made the crucial point: "a definition does not assert anything but lays down something ["etwas festsetzt"]” (Frege 1899, 36). A semantic stipulation for W cannot be the decision to accept a sentence containing W or be explained in terms of such an acceptance. Semantic stipulation constitutes a problem for Horwich's use theory of meaning, especially his basic notion of acceptance. (shrink)

Moral properties would supervene upon non-moral properties and be conceptually autonomous. That, according to Simon Blackburn, would make them if not impossible at least mysterious, and evidence for them best explained by theorists who say they are not real. In fact moral properties would not challenge in ways Blackburn has contended. There is, however, something new that can be gathered from his arguments. What would the supervenience of moral properties and their conceptual autonomy from at least total non-moral properties entail (...) not only for Intuitionists, who ‘knew this all along,’ but for all moral realists, that there are synthetic necessary moral principles? There is for all moral realists the problem of explaining ‘what in the world’ makes possible these necessities. (shrink)

Once a standard tool in the epistemologist’s kit, the analytic/synthetic distinction was challenged by Quine and others in the mid-twentieth century and remains controversial today. But although the work of a lot contemporary philosophers touches on this distinction – in the sense that it either has consequences for it, or it assumes results about it – few have really focussed on it recently. This has the consequence that a lot has happened that should affect our view of the analytic/synthetic distinction, (...) while little has been done to work out exactly what the effects are. All these features together make the topic ideal for either a survey or research seminar at the graduate level: it can provide an organising theme which justifies a spectrum of classic readings from Locke to Williamson, passing though Kant, Frege, Carnap, Quine and Kripke on the way, but it could also provide an excuse for a much more narrowly construed research seminar which studies the consequences of really contemporary philosophy of language and linguistics for the distinction. (shrink)

In virtue of what are we justified in employing the rule of inference Modus Ponens? One tempting approach to answering this question is to claim that we are justified in employing Modus Ponens purely in virtue of facts concerning meaning or concept-possession. In this paper, we argue that such meaning-based accounts cannot be accepted as the fundamental account of our justification.

In this paper I will argue that Boghossian's explanation of how we can acquire a priori knowledge of logical principles through implicit definitions commits a transmission of warrant-failure. To this end, I will briefly outline Boghossian's account, followed by an explanation of what a transmission of warrant-failure consists in. I will also show that this charge is independent of the worry of rule-circularity which has been raised concerning the justification of logical principles and of which Boghossian is fully aware. My (...) argument comes in two steps: firstly, I will argue for the insufficiency of Boghossian's template which is meant to explain how a subject can acquire a warrant for logical principles. I will show however that this insufficiency of his template can be remedied by adopting what I call the Disquotational Step. Secondly, I will argue that incorporating this further step makes his template subject to a transmission of warrant-failure, assuming that certain rather basic and individually motivated principles hold. Thus, Boghossian's account faces a dilemma: either he adopts the Disquotational Step and subjects his account to the charge of a transmission of warrant-failure, or he drops this additional step leaving the account confronted with explaining the gap that has previously been highlighted. I will then suggest various rejoinders that Boghossian might adopt but none of which - I will argue - can resolve the dilemma. Lastly, I will raise and briefly discuss the question whether this worry generalizes to other accounts, such as Hale and Wright's that aim to explain our knowledge of logic and/or mathematics in virtue of implicit definitions. (shrink)

This paper presents considerations against the linguistic view of a priori knowledge. The paper has two parts. In the first part I argue that problems about the individuation of lexical meanings provide evidence for a moderate indeterminacy, as distinct from the radical indeterminacy of meaning claimed by Quine, and that this undermines the idea of a priori knowledge based on knowledge of synonymies. In the second part of the paper I argue against the idea that a priori knowledge not based (...) on knowledge of synonymies can be explained in terms of implicit definitions. (shrink)

Externalism is the view that the intentional content of a mental state supervenes on its relations to objects in the extramental world. Nativism is the view that some of the innate states of the mind/brain have intentional content. I consider both “causal” and “nomic” versions of externalism, and argue that both are incompatible with nativism. I consider likely candidates for a compatibilist position – a nativism of “narrow” representational states, and a nativism of the contentless formal “vehicles” of representational states. (...) I argue that “narrow nativism” is either too implausible to appeal to the nativist – because it entails that innate representational states are lost as the mind becomes more experienced, or too costly to appeal to the externalist – because a reasonable version of it requires the analytic-synthetic distinction. Finally, I argue that “syntactic nativism” is indistinguishable from classical anti-nativist empiricism, given the latter’s broad tolerance for innate implementation of psychological principles and mechanisms. (shrink)

The arguments of Fodor, Garret, Walker and Parkes [(1980) Against definitions, Cognition, 8, 263-367] are the source of widespread skepticism in cognitive science about lexical semantic structure. Whereas the thesis that lexical items, and the concepts they express, have decompositional structure (i.e. have significant constituents) was at one time "one of those ideas that hardly anybody [in the cognitive sciences] ever considers giving up" (p. 264), most researchers now believe that "[a]ll the evidence suggests that the classical [(decompositional)] view is (...) wrong as a general theory of concepts" [Smith, Medin & Rips (1984) A psychological approach to concepts: comments on Rey, Cognition, 17, 272], and cite Fodor et al. (1980) as "sounding the death knell for decompositional theories" [MacNamara & Miller (1989) Attributes of theories of meaning, Psychological Bulletin, 106, 360]. I argue that the prevailing skepticism is unmotivated by the arguments in Fodor et al. Fodor et al. misrepresent the form, function and scope of the decompositional hypothesis, and the procedures they employ to test for the psychological reality of definitions are flawed. I argue, further, that decompositional explanations of the phenomena they consider are preferable to their primitivist alternatives, and, hence, that there is prima facie reason to accept them as evidence for the existence of decompositional structure. Cognitive scientists would, therefore, do well to revert to their former commitment to the decompositional hypothesis. (shrink)

Jerry Fodor and Ernie Lepore have argued that inferential roles are not compositional. It is unclear, however, whether the theories at which they aim their objection are obliged to meet the strong compositionality requirement they have in mind. But even if that requirement is accepted, the data they adduce can in fact be derived from an inferential-role theory that meets it. Technically this is trivial, but it raises some interesting objections turning on the issue of the generality of inferential roles. (...) I explain how those objections can be met. Whether Fodor’s and Lepore’s strong compositionality requirement is justified or not, then, inferential-role theories do not have the problem that they claim to have identified. (shrink)

The content of the externalist thesis about the mind depends crucially on how we define the distinction between the internal and the external. According to the usual understanding, the boundary between the internal and the external is the skull or the skin of the subject. In this paper I argue that the usual understanding is inadequate, and that only the new understanding of the external/internal distinction I suggest helps us to understand the issue of the compatibility of externalism and privileged (...) access. (shrink)

Do facts about water have a priori, transparent, reductive explanations in terms of microphysics? Ned Block and Robert Stalnaker hold that they do not. David Chalmers and Frank Jackson hold that they do. In this paper I argue that Chalmers.

This paper examines the conceptions of logic from Leibniz, Hume, Kant, Frege, Wittgenstein and Ayer, and regards the six philosophers as the representatives of logical exceptionalism. From their standpoints, this paper refines the tenets of logical exceptionalism as follows: logic is exceptional to all other sciences because of four reasons: (i) logic is formal, neutral to any domain and any entities, and general; (ii) logical truths are made true by the meanings of logical constants they contain or by logicians' rational (...) insight to consequence relations; (iii) logical truths are analytical, a prior and necessary, so not‐revisable; and (iv) logical laws are normative for how to correctly think. However, logical exceptionalism has encountered difficult open problems: What are logical constants? How to justify basic laws of logic? How are logical laws accessible to us? How to explain the reasonability of rival logics and select from them? How to explain the universal applicability of logical laws? How to explain the normativity of logical laws for correct thinking? This paper concludes that logical anti‐exceptionalism is more hopeful to successfully answer these questions than logical exceptionalism. (shrink)

In his groundbreaking book, Thin Objects, Linnebo (2018) argues for an account of neo-Fregean abstraction principles and thin existence that does not rely on analyticity or conceptual rules. It instead relies on a metaphysical notion he calls “sufficiency”. In this short discussion, I defend the analytic or conceptual rule account of thin existence.

Burgess (1997), building on Quine (1953), convincingly argued that claims in quantified modal logic cannot be understood as synonymous with or logically equivalent to claims about the analyticity of certain sentences. According to modal normativism, metaphysically necessary claims instead express or convey our actual semantic rules. In this paper, I show how the normativist can use Sidelle’s (1992a, 1995) neglected work on rigidity to account for two important phenomena in quantified modal logic: the necessity of identity and the substitutivity of (...) identicals into modal contexts. (shrink)

The focus of this paper will be to examine the implications that a “practical” approach to conceptual engineering might have for the “traditional” conception of philosophy as uncovering truths about phenomena of philosophical interest. In doing so, I will be building on the ideas of a figure that many take to be the first major philosopher to write on conceptual engineering: Rudolf Carnap. Though the current wave of interest in conceptual engineering goes back less than a decade, many conceptual engineers (...) have found precedent for their views in Carnap’s characterization of what he called “explication.” Interestingly, however, not nearly as much attention has been paid to another Carnapian thesis which seems to me to have deep relevance to methodological questions about conceptual engineering. I have in mind here the distinction between internal and external questions proposed in “Empiricism, Semantics and Ontology” (1950b) and the accompanying claim that external questions lack cognitive content and can be cogently approached only as a matter of pragmatic decision-making. This is the aspect of Carnap’s views upon which I propose to build. I'll first make the case that there is a suggestive similarity between Carnap’s claim that external questions are matters of pragmatic choice and the practical conceptual engineer’s claim that engineering success should be characterized in terms of suitability to a function or purpose. After that, I'll look at potential worries about the Carnapian distinction—including, e.g., the concern that it relies on the analytic/synthetic distinction. Finally, I will propose a somewhat modified and expanded version of the distinction and examine its consequences for the thesis that philosophy aims at discovering truths about phenomena of philosophical interest. (shrink)

Philosophers of logic are particularly interested in understanding the aims, epistemology, and methodology of logic. This raises the question of how the philosophy of logic should go about these enquires. According to the practice-based approach, the most reliable method we have to investigate the methodology and epistemology of a research field is by considering in detail the activities of its practitioners. This holds just as true for logic as it does for the recognised empirical and abstract sciences. If we wish (...) to systematically understand the aims and epistemology of logic, we are best placed achieving this by looking at what logicians do, rather than reflecting upon the nature of logic itself. In this entry, we outline the motivations for a practice-based approach towards the philosophy of logic and highlight its advantages over more “top-down” approaches, which attempt to infer conclusions about the nature of logic and its methodology on the basis of traditional assumptions about knowledge, metaphysics, or logic itself. We end by addressing several prominent concerns raised against the practice-based approach. (shrink)

By playing a crucial role in settling open issues in the philosophical debate about logical consequence, logical evidence has become the holy grail of inquirers investigating the domain of logic. However, despite its indispensable role in this endeavor, logical evidence has retained an aura of mystery. Indeed, there seems to be a great disharmony in conceiving the correct nature and scope of logical evidence among philosophers. In this paper, I examine four widespread conceptions of logical evidence to argue that all (...) should be reconsidered. First, I argue that logical apriorists are more tolerant of logical evidence than empiricists. Second, I argue that evidence for logic should not be read out of natural language. Third, I argue that if logical intuitions are to count as logical evidence, then their evidential content must not be propositional. Finally, I argue that the empiricist proposal of treating experts' judgments as evidence suffers from the same problems as the rationalist conception. (shrink)

Jurado: Mario Gómez-Torrente (presidente), Miguel Ángel Fernández Vargas (vocal), Santiago Echeverri Saldarriaga (secretario). [Graduado con Mención Honorífica.].

Mathematical knowledge and moral knowledge (or normative knowledge more generally) can seem intuitively puzzling in similar ways. For example, taking apparent human knowledge of either domain at face value can seem to require accepting that we benefited from some massive and mysterious coincidence. In the mathematical case, a pluralist partial response to access worries has been widely popular. In this paper, I will develop and address a worry, suggested by some works in the recent literature like (Clarke-Doane, 2020), that connections (...) between ought facts and action prevent us from giving a similarly pluralist response to moral access worries. (shrink)

The chapter discusses the issue of how we may achieve knowledge of essence. It offers a critical survey of the main theories of knowledge of essence that have been proposed within contemporary debates, particularly by Lowe, Hale, Oderberg, Elder, and Kment.

According to what Hume termed an ‘establish’d maxim’, nothing absolutely impossible is imaginable. It has recently been claimed against this that given the ubiquity of stipulative imagination, where one imagines a proposition simply by adding it as a stipulation about the imagined situation, it seems that we can imagine any impossibility whatsoever, even plain contradictions: all we need to do is add them as stipulations. The aim of this article is both to defend Hume’s maxim against this objection and – (...) hopefully interestingly – to do so while granting the assumption that adding something as a stipulation is a valid way of imagining something. To this end, appeal is made to a particular development of a second Humeanism, according to which necessary truths are analytic in the sense that their truth follows from their meaning. Their analyticity, it is then argued, secures that they are true in all imagined situations. Therefore, even if it is right that a valid way of imagining something is to add it as a stipulation, attempting to stipulate that, say, some imaginary bachelor is also married is bound to fail: you can’t stipulate it to be the case because it really isn’t the case. (shrink)

One common attitude toward abstract objects is a kind of platonism: a view on which those objects are mind-independent and causally inert. But there's an epistemological problem here: given any naturalistically respectable understanding of how our minds work, we can't be in any sort of contact with mind-independent, causally inert objects. So platonists, in order to avoid skepticism, tend to endorse epistemological theories on which knowledge is easy, in the sense that it requires no such contact—appeals to Boghossian’s notion of (...) epistemic analyticity are particularly common here, as are appeals to some broadly pragmatic account of the good standing of basic beliefs. I argue, though, that these appeals are hopeless: an argument adapted from the Benacerraf–Field challenge shows that, even if some such theory can deliver the verdict that our beliefs about abstract objects have some prima facie good standing, this good standing will inevitably be defeated. (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)

This paper concerns a distinction between circumstantial truths that hold because of the circumstances and acircumstantial truths that hold regardless of, or transcend, the circumstances. Previous discussions of the distinction tended to focus on its applications, such as to modality, logical truth, and essence. This paper focuses on developing the distinction largely, but not entirely, in abstraction from its potential applications. As such, the paper’s main contribution is to further clarify the distinction itself. An indirect contribution is to help guide (...) its future applications. (shrink)

The view that contradictions cannot be true has been part of accepted philosophical theory since at least the time of Aristotle. In this regard, it is almost unique in the history of philosophy. Only in the last forty years has the view been systematically challenged with the advent of dialetheism. Since Graham Priest introduced dialetheism as a solution to certain self-referential paradoxes, the possibility of true contradictions has been a live issue in the philosophy of logic. Yet, despite the arguments (...) advanced by dialetheists, many logicians and philosophers still hold the opinion that contradictions cannot be true. -/- Rather than advocating the truth of certain contradictions, this thesis offers a different challenge to the classical logician. By showing that it can be philosophically coherent to propose that true contradictions are metaphysically possible, the thesis suggests that the classical logician must do more than she currently has to justify her confidence in the impossibility of true contradictions. Simply fighting off the dialetheist’s putative examples of true contradictions at the actual world isn’t enough to justify the classical logician’s conclusion that true contradictions are impossible. -/- To aid the thesis dialectically, we introduce a new position, absolutism, which hypothesises that it’s metaphysically possible for at least one contradiction to be true, contrasting with the dialetheic hypothesis that some contradictions are true in the actual world. We demonstrate that absolutism can be given a philosophically coherent interpretation, an appropriate logic, and that certain criticisms are completely toothless against absolutism. The challenge put to the classical logician is then: On what logical or philosophical grounds can we rule out the metaphysical possibility of true contradictions? (shrink)

There is a long-standing gap in the literature as to whether Gödelian incompleteness constitutes a challenge for Neo-Logicism, and if so how serious it is. In this paper, I articulate and address the challenge in detail. The Neo-Logicist project is to demonstrate the analyticity of arithmetic by deriving all its truths from logical principles and suitable definitions. The specific concern raised by Gödel’s first incompleteness theorem is that no single sound system of logic syntactically implies all arithmetical truths. I set (...) out some responses that initially seem appealing and explain why they are not compelling. The upshot is that Neo-Logicism either offers an epistemic route only to some truths of arithmetic; or that it has to move from a syntactic to a semantic notion of logical consequence, which risks undermining its epistemic goals. I conclude by considering Crispin Wright’s recent attempt to address Gödelian incompleteness, which I argue is not satisfactory. (shrink)

The search for definitions is ubiquitous in Sanskrit philosophy. In many texts across traditions, we find philosophers presenting their theories by laying down definitions of key theoretical categories, by testing those definitions, and by refuting competing definitions of the same theoretical categories. Call this the method of definitions. The aim of this essay is to explore a challenge that arises for this method: the paradox of definitions. It arises from the claim that the method of definitions is either (i) redundant (...) because it does not provide us any knowledge that we did not already possess, or (ii) impossible to successfully pursue because it leads to an infinite regress. Neither of these alternatives should be acceptable to the defender of this method. To focus our discussion, I will show how this challenge arose for—and was arguably resolved by—early Nyāya-Vaiśeṣika thinkers active in the first millennium CE and at the very beginning of the second millennium. In response to the paradox of definitions, these Nyāya-Vaiśeṣika thinkers claimed that the purpose of a definition is to remove either metaphysical ignorance about the distinction between theoretically significant kinds or kind-membership, or metalinguistic ignorance about the meaning or the application-conditions of theoretically significant terms. I will show how this discussion helps us to ward off certain misconceptions about the method of definitions in Nyāya-Vaiśeṣika. (shrink)

It is widely believed that some a priori necessary truths are not analytic in the sense of transformable by substitution of synonyms into logical truths. One much-cited example comes from the supposed incompatibility between colour predicates. The idea is that sentences like “Nothing is both blue all over (or uniformly or at a point) and also red” are not transformable into a logical truth in the same way as “Nothing is both a bachelor and married” because the requisite conceptual link (...) between “bachelor” and “not married” is absent between “blue” and “not red”. This paper examines whether colour exclusion may be more like the bachelor case than it initially appears. It transpires that the most promising line of thought is not, however, as has been argued at length in the literature, that “blue” in some more or less convoluted way manages to mean “not red”. Instead it is suggested that the requisite conceptual link may reside in the oft-ignored qualifications (“all over”, “uniformly”, etc.), without which there is no incompatibility in the first place. (shrink)

My aim in this paper is to connect naming and analyticity and to argue that, like “Hesperus is Hesperus”, “Hesperus is Phosphorus” is analytic. In the paper, I also discuss several other unexpected cases of analytic truth like “Aristotle existed”.

Extract: -/- Maria Baghramian and Annalisa Coliva (henceforth, B&C) have written a superb, compendious book on various kinds of relativism (2019). While they give nuanced and sympathetic reconstructions of these views, it is illuminating to see them show, repeatedly and in detail, how each of these views succumbs to a familiar dilemma: a relativistic view requires that it be possible for two judgers to genuinely disagree with one another, even while their views count as ‘equally valid’. However, it is not (...) possible to make sense of this combination: in each and every case, the view either fails to specify a genuine disagreement, or it fails to make sense of equal validity. -/- Since I completely agree with this type of critique of relativistic views (see Boghossian 2006, 2008), I found it hard to find something to write a critical notice about. However, there is one argument I was not convinced by and that is B&C’s argument against Gilbert Harman’s influential version of moral relativism. Since their discussion of Harman is original and interesting and leads to a number of fundamental philosophical issues, I will devote this notice to a detailed critique of it. (shrink)