The paper surveys different notions of implicit definition. In particular, we offer an examination of a kind of definition commonly used in formal axiomatics, which in general terms is understood as providing a definition of the primitive terminology of an axiomatic theory. We argue that such “structural definitions” can be semantically understood in two different ways, namely as specifications of the meaning of the primitive terms of a theory and as definitions of higher-order mathematical concepts or structures. We analyze these (...) two conceptions of structural definition both in the history of modern axiomatics and in contemporary philosophical debates. Based on that, we give a systematic assessment of the underlying semantics of these two ways of understanding the definiens of such definitions, by considering alternative model-theoretic and inferential accounts of meaning. (shrink)

Critical review of Gillian Russell's "Truth in Virtue of Meaning".

Empiricist philosophers like Carnap invoked analyticity in order to explain a priori knowledge and necessary truth. Analyticity was “truth purely in virtue of meaning”. The view had a deflationary motivation: in Carnap’s proposal, linguistic conventions alone determine the truth of analytic sentences, and thus there is no mystery in our knowing their truth a priori, or in their necessary truth; for they are, as it were, truths of our own making. Let us call this “Carnapian conventionalism”, conventionalismC and cognates for (...) short. This conventionalistC explication of the a priori has been the target of sound criticisms. Arguments like Quine’s in “Truth by Convention” are in our view decisive: the truth of conventionalismC requires that the class of logical truths and logical validities be reductively accounted for as conventionally established; however, no such reduction is forthcoming, because logic is needed to generate the entire class from any given set of conventions properly so-called. Granted that conventionalismC is untenable, we want to take issue with a different, usually made criticism. Although the argument uncovers some difficulties for the way conventionalist claims are defended by some of its advocates, we will try to show that it fails. The criticism thus stands in the way of a proper appreciation of why the Carnapian account of the a priori is not correct. We will try to illustrate this by showing that the criticism we will dispute would dispose of conventionalist claims not only regarding philosophically problematic cases – logical and mathematical truths –, but also regarding cases for which they have some prima facie plausibility. One such case is that of truths that follow from mere abbreviations, “nominal” definitions; ‘someone is a bachelor if and only if he is an unmarried adult male’ can serve at this point for illustration. We will try to articulate a clear sense in which the contents of assertion such as this can be truths by convention. We do not need to prove that a conventionalist claim is true in those cases; it is enough for us to show that it is intelligible, for the arguments we will confront question even this. (shrink)

I present and defend a unified, non-reductive analysis of the a priori and a posteriori. It is a mistake to remove all epistemic conditions from the analysis of the a priori (as, for example, Alvin Goldman has recently suggested doing). We can keep epistemic conditions (like unrevisability) in the analysis as long as we insist that a priori and a posteriori justification admit of degrees. I recommend making the degree to which a belief’s justification is a priori or a posteriori (...) solely dependent on the revisability relations that obtain among the faculties that deliver the belief and all other faculties. (shrink)

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)

“Conceptual analysis” is a misnomer—it refers, but it does not refer to a method or practice that involves the analysis of concepts. Once this is recognized, many of the main arguments for skepticism about conceptual analysis can be answered, since many of these arguments falsely assume that conceptual analyses target concepts. The present paper defends conceptual analysis from skepticism about its viability and, positively, presents an argument for viewing conceptual analyses as targeting philosophical phenomena, not our concepts of these phenomena.

According to inferential role semantics (IRS), for an expression to have a particular meaning or express a certain concept is for subjects to be disposed to make, or to treat as proper, certain inferential transitions involving that expression.1 Such a theory of meaning is holistic, since according to it the meaning or concept any given expression possesses or expresses depends on the inferential relations it stands in to other expressions.

Alberto Coffa used the phrase "the Copernican turn in semantics" to denote a revolutionary transformation of philosophical views about the connection between the meanings of words and the acceptability of sentences and arguments containing those words. According to the new conception resulting from the Copernican turn, here called "the Copernican view", rules of use are constitutive of the meanings of words. This view has been linked with two doctrines: (A) the instances of meaning-constitutive rules are analytically and a priori true (...) or valid; (B) to grasp a meaning is to accept its rules. The pros and cons of different versions of the Copernican view, ascribable to Wittgenstein, Carnap, Gentzen, Dummett, Prawitz, Boghossian and other authors, will be weighed. A new version will be proposed, which implies neither (A) nor (B). (shrink)

The problem I address is: how are cogent inferences possible? In § 1 I distinguish three senses in which we say that one is “compelled” by an inference: automatic, seductive-rhetorical and epistemic compulsion. Cogency is epistemic compulsion: a cogent inference compels us to accept its conclusion, if we accept its premises and we aim at truth. In §§ 2–3 I argue that cogency is intelligible if we consider an inference as a compound linguistic act in which several component acts are (...) related to one another by a commitment that the premises support the conclusion. Non-automatic inferences are primarily public acts in an intersubjective context. But cogency arises in special contexts described in § 4, epistemic contexts, where the participants care for truth, i.e. are intellectually virtuous. An inference is cogent in an epistemic context if it stands up to all the objections raised in the context. In § 5 I consider three different kinds of cogent inferences. In § 6 I argue that in all three cases cogency is fallible and propose a fallibilist variety of inferentialism. In § 7 I distinguish context of utterance and contexts of evaluation. Cogency is relative to epistemic contexts of evaluation. However, validity, i.e. stable cogency, is transcontextual. (shrink)

I contend that mathematical domains are freestanding institutional entities that, at least typically, are introduced to serve representational functions. In this paper, I outline an account of institutional reality and a supporting metaontological perspective that clarify the content of this thesis. I also argue that a philosophy of mathematics that has this thesis as its central tenet can account for the objectivity, necessity, and atemporality of mathematics.

ABSTRACT In recent years, debates on same-sex marriage and the recognition of transwomen as women have been raging. These debates often seem to revolve around the meaning of, respectively, the word ‘marriage’ and ‘woman’. That such debates should take place might be puzzling. It seems that if debates on gay and transgender rights revolve around the meaning of these words, then those in favor of same-sex marriage and of the recognition of transwomen as women have no room left to maneuver. (...) However, prima facie, the pro – and anti-, in both cases, have genuine disagreements over the meaning of these words: though the analyses of revisionary theorists are revisionary, they are analyses. Sally Haslanger and other philosophers in her wake have appealed to an anti-descriptivist externalist view of meaning to provide the conceptual foundations of this practice of revisionary theorizing: revisionary analyses bring to light what, unbeknownst to us, these words mean. In this paper, I argue that a descriptivist externalist view should be preferred instead. My argument rests on the thesis that what is contested in these debates is the meaning of the words ‘marriage’ and ‘women’ as used in the law. (shrink)

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

In Boghossian's 1997 paper, 'Analyticity' he presented an account of a prioriknowledge of basic logical principles as available by inference from knowledge of their role in determining the meaning of the logical constants by implicit definitiontogether with knowledge of the meanings so-determined that we possess through ourprivileged access to meaning. Some commentators (e.g. BonJour (1998), Glüer (2003),Jenkins (2008)) have objected that if the thesis of implicit definition on which he relieswere true, knowledge of the meaning of the constants would presuppose (...) knowledge of the very logical principles knowledge of which the account purports to explain. Aconsequence would seem to be that implicit definition is incompatible with privilegedaccess. I argue that whilst it is possible for Boghossian to defend against theseobjections the form of argument he proposes does exhibit a subtle form of questionbegging such that it exhibits a transmission of warrant-failure. (shrink)

A priori theories of justification of logic based on meaning often lead to trouble, in particular to issues concerning circularity. First, I present Boghossian’s a prioriview. Boghossian maintains the rule-circular justifications from a conceptual role semantics. However, rule-circular justifications are problematic. Recently, Boghossian (Boghossian, 2015) has claimed that rules should be thought of as contents and contents as abstract objects. In this paper, I discuss Boghossian’s view. My argumentation consists of three main parts. First, I analyse several arguments to show (...) that in fact, Boghossian’s inferentialist solution is not fully satisfying. Second, I discuss the matter further, if one accepts that basic logical rules are constitutive of meaning, that is, they constitute the logical concepts and the content of a rule is an abstract object, then abstract objects — like, for example, rules — could be constitutive of meaning. The question is whether conceptual priority is in the judgment or in the object and what theory of content is pursued. Grasping content as a matter of knowing how a word or concept behaves in inferences is not completely explicative. Finally, I contend that rules come to exist as a result of certain kinds of mental action. These actions function as constitutive norms. Logical rules are not abstract objects but ideal. What one construes as norms or rules of content may involve idealization, but this is because we share a language. (shrink)

Officially, for Kant, judgments are analytic iff the predicate is "contained in" the subject. I defend the containment definition against the common charge of obscurity, and argue that arithmetic cannot be analytic, in the resulting sense. My account deploys two traditional logical notions: logical division and concept hierarchies. Division separates a genus concept into exclusive, exhaustive species. Repeated divisions generate a hierarchy, in which lower species are derived from their genus, by adding differentia(e). Hierarchies afford a straightforward sense of containment: (...) genera are contained in the species formed from them. Kant's thesis then amounts to the claim that no concept hierarchy conforming to division rules can express truths like '7+5=12.' Kant is correct. Operation concepts ( ) bear two relations to number concepts: and are inputs, is output. To capture both relations, hierarchies must posit overlaps between concepts that violate the exclusion rule. Thus, such truths are synthetic. (shrink)

Logic begins but does not end with the study of truth and falsity. Within truth there are the modes of truth, ways of being true: necessary truth and contingent truth. When a proposition is true, we may ask whether it could have been false. If so, then it is contingently true. If not, then it is necessarily true; it must be true; it could not have been false. Falsity has modes as well: a false proposition that could not have been (...) true is impossible or necessarily false; one that could have been true is merely contingently false. The proposition that some humans are over seven feet tall is contingently true; the proposition that all humans over seven feet tall are over six feet tall is necessarily true; the proposition that some humans are over seven feet tall and under six feet tall is impossible, and the proposition that some humans are over nine feet tall is contingently false. Of these four modes of truth, let us focus on necessity, plus a fifth: possibility. A proposition is possible if it is or could have been true; hence propositions that are either necessarily true, contingently true, or contingently false are possible. Notions that are similar to the modes of truth in being concerned with what might have been are called modal. Dispositions are modal notions, for example the disposition of fragility. Relatedly, there are counterfactual conditionals, for example “if this glass were dropped, it would break.” And the notion of supervenience is modal.1 But let us focus here on necessity and possibility. Modal words are notoriously ambiguous (or at least context-sensitive2). I may reply to an invitation to give a talk in England by saying “I can’t come; I have to give a talk in California the day before”. This use of “can’t” is perfectly appropriate. But it would be equally appropriate for me to say that I could cancel my talk in California (although that would be rude) and give the talk in England instead. What I cannot do is give both talks.. (shrink)

De re or singular thoughts are, intuitively, those essentially or constitutively about a particular object or objects; any thought about different objects would be a different thought. How should a philosophical articulation or thematization of their nature look like? In spite of extended discussion of the issue since it was brought to the attention of the philosophical community in the late fifties by Quine (1956), we are far from having a plausible response. Discussing the matter in connection with the status (...) of the Kripkean category of the contingent a priori, Donnellan (1979) argued that what can be properly classified as knowable a priori about utterances like those involving ‘one meter’ or ‘Neptune’ famously proposed by Kripke (1980) cannot be the very same singular content that is contingent he distinguished to that end between knowing a true proposition expressed by an utterance, and knowing that an utterance expresses a true proposition. Evans (1979) replied that, for a very specific sort of cases involving “descriptive names”, a related proto-two-dimensionalist account should be preferred, on which it is not the singular contingent content, but rather a general descriptive one which is knowable a priori. In a series of papers, Robin Jeshion (2000, 2001) has recently attacked Donnellan's proposal, arguing in favour of the most straightforward interpretation of Kripke's claim: in the relevant cases, the very same singular content can be both contingent and knowable a priori. This paper appeals to a generalized version of two-dimensional semantics to advance an account of the Kripkean cases along the lines of Evans's, and argues that Jeshion's compelling arguments against Donnellan's view do not apply to this version. (shrink)

I begin by giving reasons to accept the block-universe view, the strongly supported by physics view that we live in a four-dimensional world. According to it, the past and the future are as real as the present. As a result, it seems that the future is determined in the sense that what will be the case will necessarily be the case. In the dissertation, I examine whether we have to accept this consequence. I show that we do not have to (...) bite the bullet: the future might be both real and contingent. I first start to consider modal realism (possible futures are real) as a possible solution. However, I propose then another account, actualist (positing the reality of only one possible world: the space-time we live in). This solution relies on a conventionalist theory about metaphysical modality (Sidelle, 1989). It states that modal modality is purely conventional. In combination with a realist interpretation of natural modality (causal and/or nomological), this framework allows me to propose that the future is conventionally closed and naturally contingent. In this view, the necessity of the future holds in virtue of linguistic conventions and then is conventionally necessary. But this is a distinct phenomenon from the natural contingency of the future: the future is naturally contingent because there are mind-independent probabilistic relations holding between the present and the future. This solution has strong consequences: most importantly, an anti-realist view about ordinary objects and physical particles. I end up by presenting and arguing in favour of the general image of the world that comes out from these views. (shrink)

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)

Donald Davidson contributed to the discussion of logical form in two ways. On the one hand, he made several influential suggestions on how to give the logical forms of certain constructions of natural language. His account of adverbial modification and so called action-sentences is nowadays, in some form or other, widely employed in linguistics (Harman (forthcoming) calls it "the standard view"). Davidson's approaches to indirect discourse and quotation, while not as influential, also still attract attention today. On the other hand, (...) Davidson provided a general account of what logical form is. This paper is concerned with this general account. Its foremost aim is to give a faithful and detailed picture of what, according to Davidson, it means to give the logical form of a sentence. The structure of the paper is as follows. (1) I will first informally introduce a notion of logical form as the form that matters in certain kinds of entailments, and indicate why philosophers have taken an interest in such a notion. (2) The second section develops constraints that we should arguably abide by in giving an account of logical form. (3) I then turn to Davidson’s view of what is involved in giving such an account. To this end, I will try to reconstruct Davidson’s view of the connection between an assignment of logical forms, a truth theory and a meaning theory. (4) Finally, I will briefly discuss possible problems of Davidson’s account as developed in this paper. (shrink)

This is the most comprehensive book ever published on philosophical methodology. A team of thirty-eight of the world's leading philosophers present original essays on various aspects of how philosophy should be and is done. The first part is devoted to broad traditions and approaches to philosophical methodology. The entries in the second part address topics in philosophical methodology, such as intuitions, conceptual analysis, and transcendental arguments. The third part of the book is devoted to essays about the interconnections between philosophy (...) and neighbouring fields, including those of mathematics, psychology, literature and film, and neuroscience. (shrink)

According to Brandom’s conceptual role semantics, to grasp a concept involves a commitment to drawing certain inferences. This is a consequence of the inferentialist thesis that the meaning of a term is given by its justification through assertibility conditions. Inferential commitments come out from a material notion of inference which underwrites human rational discourse and activity. In this paper I discuss a problem of Brandom’s semantics allegedly exposed in an argument by Paul Boghossian against Dummett’s and Brandom’s substantive conception of (...) meaning. I contend that Boghossian’s analysis is dubious because it overlooks an important difference between Dummett’s and Brandom’s positions related respectively to a monotonic and a non-monotonic view of the norm underwriting meaning. (shrink)

This chapter assumes that intuitions must play a central role in explaining a priori justification and looks at the conditions under which they would be able to do so. It argues that if an appeal to intuitions is to help, they must provide epistemological resources that go beyond those provided by explanations in terms of epistemological analyticity (appeals to conceptual understanding). Accounts, like Ernest Sosa’s, which reduce intuitions to attractions to assent, and which give the understanding an indispensable role in (...) explaining the justificatory powers of such attractions, are unable to provide such a resource. As a result, such accounts must be rejected. Towards the end of the chapter, an alternative account of these issues is briefly presented, one that seems to the author to hold greater promise. (shrink)

The distinction between the a priori and the a posteriori is an old and influential one. But both the distinction itself and the crucial notion of a priori knowledge face powerful philosophical challenges. Many philosophers worry that accepting the a priori is tantamount to accepting epistemic magic. In contrast, this Element argues that the a priori can be formulated clearly, made respectable, and used to do important epistemological work. The author's conception of the a priori and its role falls short (...) of what some historical proponents of the notion may have hoped for, but it allows us to accept and use the notion without abandoning either naturalism or empiricism, broadly understood. This Element argues that we can accept and use the a priori without magic. (shrink)

This compelling reevaluation of the relationship between logic and knowledge affirms the key role that the notion of judgement must play in such a review. The commentary repatriates the concept of judgement in the discussion, banished in recent times by the logical positivism of Wittgenstein, Hilbert and Schlick, and the Platonism of Bolzano. The volume commences with the insights of Swedish philosopher Per Martin-Löf, the father of constructive type theory, for whom logic is a demonstrative science in which judgement is (...) a settled feature of the landscape. His paper opens the first of four sections that examine, in turn, historical philosophical assessments of judgement and reason; their place in early modern philosophy; the notion of judgement and logical theory in Wolff, Kant and Neo-Kantians like Windelband; their development in the Husserlian phenomenological paradigm; and the work of Bolzano, Russell and Frege. The papers, whose authors include Per Martin-Löf, Göran Sundholm, Michael Della Rocca and Robin Rollinger, represent a finely judged editorial selection highlighting work on philosophers exercised by the question of whether or not an epistemic notion of judgement has a role to play in logic. The volume will be of profound interest to students and academicians for its application of historical developments in philosophy to the solution of vexatious contemporary issues in the foundation of logic. ​. (shrink)

Esta enciclopédia abrange, de uma forma introdutória mas desejavelmente rigorosa, uma diversidade de conceitos, temas, problemas, argumentos e teorias localizados numa área relativamente recente de estudos, os quais tem sido habitual qualificar como «estudos lógico-filosóficos». De uma forma apropriadamente genérica, e apesar de o território teórico abrangido ser extenso e de contornos por vezes difusos, podemos dizer que na área se investiga um conjunto de questões fundamentais acerca da natureza da linguagem, da mente, da cognição e do raciocínio humanos, bem (...) como questões acerca das conexões destes com a realidade não mental e extralinguística. A razão daquela qualificação é a seguinte: por um lado, a investigação em questão é qualificada como filosófica em virtude do elevado grau de generalidade e abstracção das questões examinadas (entre outras coisas); por outro, a investigação é qualificada como lógica em virtude de ser uma investigação logicamente disciplinada, no sentido de nela se fazer um uso intenso de conceitos, técnicas e métodos provenientes da disciplina de lógica. O agregado de tópicos que constitui a área de estudos lógico-filosóficos é já visível, pelo menos em parte, no Tractatus Logico-Philosophicus de Ludwig Wittgenstein, uma obra publicada em 1921. E uma boa maneira de ter uma ideia sinóptica do território disciplinar abrangido por esta enciclopédia, ou pelo menos de uma porção substancial dele, é extrair do Tractatus uma lista dos tópicos mais salientes aí discutidos; a lista incluirá certamente tópicos do seguinte género, muitos dos quais se podem encontrar ao longo desta enciclopédia: factos e estados de coisas; objectos; representação; crenças e estados mentais; pensamentos; a proposição; nomes próprios; valores de verdade e bivalência; quantificação; funções de verdade; verdade lógica; identidade; tautologia; o raciocínio matemático; a natureza da inferência; o cepticismo e o solipsismo; a indução; as constantes lógicas; a negação; a forma lógica; as leis da ciência; o número. (shrink)

When should you engage with difficult arguments against your cherished controversial beliefs? The primary conclusion of this book is that your obligations to engage with counterarguments are more limited than is often thought. In some standard situations, you shouldn't engage with difficult counterarguments and, if you do, you shouldn't engage with them open-mindedly. This conclusion runs counter to aspects of the Millian political tradition and political liberalism, as well as what people working in informal logic tend to say about argumentation. (...) -/- Not all misleading arguments wear their flaws on their sleeve. Each step of a misleading argument might seem compelling and you might not be able to figure out what's wrong with it. Still, even if you can't figure out what's wrong with an argument, you can know that it's misleading. One way to know that an argument is misleading is, counterintuitively, to lack expertise in the methods and evidence-types employed by the argument. When you know that a counterargument is misleading, you shouldn't engage with it open-mindedly and sometimes shouldn't engage with it at all. You shouldn't engage open-mindedly because you shouldn't be willing to reduce your confidence in response to arguments you know are misleading. And you sometimes shouldn't engage closed-mindedly, because to do so can be manipulative or ineffective. -/- In making this case, Jeremy Fantl discusses echo chambers and group polarization, the importance in academic writing of a sympathetic case for the opposition, the epistemology of disagreement, the account of open-mindedness, and invitations to problematic academic speakers. (shrink)

MEANING POSTULATES REINSTATED If I am right in agreeing with Cresswell that the "logicarrlexicaT distinction is one of degree rather than one of kind, that in turn impugns the distinction between the official truth-rules that define logical ...

In recent years, several philosophers have argued that the a priori/a posteriori distinction is a legitimate distinction but does not carve at the epistemological joints and is theoretically unimportant. In this paper, I do two main things. First, I respond to the most prominent recent challenge to the significance of the a priori/a posteriori distinction – the central argument in Williamson (2013). Second, I discuss the question of what the theoretical significance of the a priori/a posteriori distinction is. -/- I (...) first present the a priori/a posteriori distinction as it is typically developed. I then turn to Williamson’s challenge to the significance of the distinction. Williamson points out that we often use the same cognitive mechanisms in coming to have a priori and a posteriori knowledge. So how could it be, asks Williamson, that there is a “deep epistemological difference” between the two? In response to this challenge, I argue that there is an important disanalogy between Williamson’s central example of a case of a priori knowledge and his central example of a case of a posteriori knowledge. Although the beliefs in the two cases are formed in similar ways, the ways in which their justification can be defeated are different. This suggests that there is an important epistemological difference between the two cases, one that cannot be captured in terms of the cognitive mechanisms used to form the beliefs. -/- Although Williamson’s argument is unsuccessful, there remains the question of just what the theoretical significance of the a priori/a posteriori distinction is. I argue that the point of the distinction is not to enable us to represent some joint in nature, but rather to help us to identify epistemological problem cases. We understand – more-or-less – the epistemology of simple perceptual knowledge. The epistemology of non-perceptual knowledge is far less clear. The purpose of labeling a case of knowledge as a priori is to claim that its epistemology should not be assimilated to the epistemology of perception. Instead, it is something of a puzzle case. -/- This proposal has an important implication. There are several ways in which a case of knowledge can be different from a simple case of perceptual knowledge. Two differences are perhaps the most important: (i) the justification of the belief does not involve phenomenality, and (ii) the belief does not stand in a causal relation to what the belief is about. When beliefs about some subject matter fit either (i) or (ii), an epistemological puzzle arises. So there is more than one kind of epistemological puzzle to solve. This suggests that there is an important theoretical role for (at least) two distinctions in the ballpark of the traditional a priori/a posteriori distinction. (shrink)

Kalhat has forcefully criticised Wittgenstein's linguistic or conventionalist account of logical necessity, drawing partly on Waismann and Quine. I defend conventionalism against the charge that it cannot do justice to the truth of necessary propositions, renders them unacceptably arbitrary or reduces them to metalingustic statements. At the same time, I try to reconcile Wittgenstein's claim that necessary propositions are constitutive of meaning with the logical positivists' claim that they are true by virtue of meaning. Explaining necessary propositions by reference to (...) linguistic conventions does not reduce modal to non-modal notions, but it avoids metaphysical accounts, which are incapable of explaining how we can have a priori knowledge of necessity. (shrink)

John Haugeland has recently attempted to provide a naturalistic account of intentionality that explains how we can (collectively) misidentify objects in the world in terms of the interplay of two types of 'recognitional' skill. Nevertheless, it is argued here that his inegalitarian conception of the two sorts of skill leaves him with a quasi-conventionalist account of our relation to the world which lacks the more robust sort of objectivity that a more holistic theory could provide.

I present and defend a reliabilist explanation of a priori knowledge which fulfils seven plausibility requirements.

Languages involving modalities and languages involving vagueness have each been thoroughly studied. On the other hand, virtually nothing has been said about the interaction of modality and vagueness. This paper aims to start filling that gap. Section 1 is a discussion of various possible sources of vague modality. Section 2 puts forward a model theory for a quantified language with operators for modality and vagueness. The model theory is followed by a discussion of the resulting logic. In Section 3, the (...) framework will permit us to address a puzzle raised by Elizabeth Barnes and Robert Williams. (shrink)

This thesis aims to develop a psychologically plausible account of concepts by integrating key insights from philosophy (on the metaphysical basis for concept possession) and psychology (on the mechanisms underlying concept acquisition). I adopt an approach known as informational atomism, developed by Jerry Fodor. Informational atomism is the conjunction of two theses: (i) informational semantics, according to which conceptual content is constituted exhaustively by nomological mind–world relations; and (ii) conceptual atomism, according to which (lexical) concepts have no internal structure. I (...) argue that informational semantics needs to be supplemented by allowing content-constitutive rules of inference (“meaning postulates”). This is because the content of one important class of concepts, the logical terms, is not plausibly informational. And since, it is argued, no principled distinction can be drawn between logical concepts and the rest, the problem that this raises is a general one. An immediate difficulty is that Quine’s classic arguments against the analytic/synthetic distinction suggest that there can be no principled basis for distinguishing content-constitutive rules from the rest. I show that this concern can be overcome by taking a psychological approach: there is a fact of the matter as to whether or not a particular inference is governed by a mentally-represented inference rule, albeit one that analytic philosophy does not have the resources to determine. I then consider the implications of this approach for concept acquisition. One mechanism underlying concept acquisition is the development of perceptual detectors for the objects that we encounter. I investigate how this might work, by drawing on recent ideas in ethology on ‘learning instincts’, and recent insights into the neurological basis for perceptual learning. What emerges is a view of concept acquisition as involving a complex interplay between innate constraints and environmental input. This supports Fodor’s recent move away from radical concept nativism: concept acquisition requires innate mechanisms, but does not require that concepts themselves be innate. (shrink)

In this thesis, I will explore the epistemological evolutionary debunking arguments in meta-ethics. I will defend these arguments by accomplishing two tasks: I will offer the best way to understand the EDA and I will also respond to two strongest objections to the EDA. Firstly, in Part I of this thesis, I will offer my account of how the EDA should be best formulated. I will start from how evolution has significantly influenced our moral beliefs. I will then explain why, (...) due to their evolutionary origin, our moral beliefs are not tracking the moral truth reliably. Furthermore, I will argue that the fact that our moral beliefs are not tracking the moral truth also provides an undercutting and a higher-order defeater for those beliefs. As a result, I will conclude that the epistemic status of our moral beliefs is undermined because of these two kinds of defeaters. Secondly, in Part II of this thesis, I will turn my attention to the two strongest objections to the EDA – the Conceptual Truth Objection and the Third Factor Objection. I will first offer two responses to the Conceptual Truth Objection and, based on these two responses, I will argue that the Conceptual Truth Objection fails as a challenge to the EDA. I will then also argue that there currently doesn’t exist an acceptable version of the Third Factor Objection and it is also unlikely that such a version could be constructed in the future. I will finally conclude that both objections are problematic and they are thus unable to give us reason to doubt the EDA. (shrink)

This thesis brings together two concerns. The first is the nature of inference—what it is to infer—where inference is understood as a distinctive kind of conscious and self-conscious occurrence. The second concern is the possibility of doxastic agency. To be capable of doxastic agency is to be such that one is capable of directly exercising agency over one’s beliefs. It is to be capable of exercising agency over one’s beliefs in a way which does not amount to mere self-manipulation. Subjects (...) who can exercise doxastic agency can settle questions for themselves. A challenge to the possibility of doxastic agency stems from the fact that we cannot believe or come to believe “at will”, where this in turn seems to be so because belief “aims at truth”. It must be explained how we are capable of doxastic agency despite that we cannot believe or come to believe at will. On the orthodox ‘causalist’ conception of inference for an inference to occur is for one act of acceptance to cause another in some specifiable “right way”. This conception of inference prevents its advocates from adequately seeing how reasoning could be a means to exercise doxastic agency, as it is natural to think it is. Suppose, for instance, that one reasons and concludes by inferring where one’s inference yields belief in what one infers. Such an inference cannot be performed at will. We cannot infer at will when inference yields belief any more than we can believe or come to believe at will. When it comes to understanding the extent to which one could be exercising agency in such a case the causalist conception of inference suggests that we must look to the causal history of one’s concluding act of acceptance, the nature of the act’s being determined by the way in which it is caused. What results is a picture on which such reasoning as a whole cannot be action. We are at best capable of actions of a kind which lead causally to belief fixation through “mental ballistics”. The causalist account of inference, I argue, is in fact either inadequate or unmotivated. It either fails to accommodate the self-consciousness of inference or is not best placed to play the very explanatory role which it is put forward to play. On the alternative I develop when one infers one’s inference is the conscious event which is one’s act of accepting that which one is inferring. The act’s being an inference is determined, not by the way it is caused, but by the self-knowledge which it constitutively involves. This corrected understanding of inference renders the move from the challenge to the possibility of doxastic agency to the above ballistics picture no longer tempting. It also yields an account of how we are capable of exercising doxastic agency by reasoning despite being unable to believe or come to believe at will. In order to see how such reasoning could amount to the exercise of doxastic agency it needs to be conceived of appropriately. I suggest that paradigm reasoning which potentially amounts the exercise of doxastic agency ought to be conceived of as primarily epistemic agency—agency the aim of which is knowledge. With inference conceived as suggested, I argue, it can be seen how to engage in such reasoning can just be to successfully exercise such agency. (shrink)

In the Twentieth Century, Logic and Philosophy of Language are two of the few areas of philosophy in which philosophers made indisputable progress. For example, even now many of the foremost living ethicists present their theories as somewhat more explicit versions of the ideas of Kant, Mill, or Aristotle. In contrast, it would be patently absurd for a contemporary philosopher of language or logician to think of herself as working in the shadow of any figure who died before the Twentieth (...) Century began. Advances in these disciplines make even the most unaccomplished of its practitioners vastly more sophisticated than Kant. There were previous periods in which the problems of language and logic were studied extensively (e.g. the medieval period). But from the perspective of the progress made in the last 120 years, previous work is at most a source of interesting data or occasional insight. All systematic theorizing about content that meets contemporary standards of rigor has been done subsequently. (shrink)

This paper concerns the three great modal dichotomies: (i) the necessary/contingent dichotomy; (ii) the a priori/empirical dichotomy; and (iii) the analytic/synthetic dichotomy. These can be combined to produce a tri-dichotomy of eight modal categories. The question as to which of the eight categories house statements and which do not is a pivotal battleground in the history of analytic philosophy, with key protagonists including Descartes, Hume, Kant, Kripke, Putnam and Kaplan. All parties to the debate have accepted that some categories are (...) void. This paper defends the contrary view that all eight categories house statements—a position I dub ‘octopropositionalism’. Examples of statements belonging to all eight categories are given. (shrink)

I argue against inferentialism about logic. First, I argue against an analogy between logic and chess, before considering a more basic objection to stipulating inference rules as a way of establishing the meaning of logical constants. The objectionthe Mushroom Omelette Objectionis that stipulative acts are partly constituted by logical notions, and therefore cannot be used to explain logical thought. I then argue that the same problem also attaches to following existing conventional rules, since either those rules have logical contents, or (...) following those conventional rules is done for logical reasons. Lastly, I compare this argument with other arguments found in Quine’s early work, and consider two attempts to reply to Quine. (shrink)

I argue that there are two ways of construing Wittgenstein’s slogan that meaning is use. One accepts the view that the notion of meaning must be explained in terms of truth-theoretic notions and is committed to the epistemic conception of truth. The other keeps the notion of meaning and the truth-theoretic notions apart and is not committed to the epistemic conception of truth. I argue that Dummett endorses the first way of construing Wittgenstein’s slogan. I address the issue by discussing (...) two of Dummett’s arguments against the realist truth-theoretic conception of meaning: the manifestation argument and the argument for the unintelligibility of classical logic. I examine the dialectic of those arguments and show that they rest on the assumption that meaning needs to be explained in terms of truth-theoretic notions.Tvrdim da postoje dva načina shvaćanja Wittgensteinova slogana da je značenje upotreba. Jedno prihvaća gledište da se pojam značenja mora objasniti na osnovi istinitosnoteoretskih pojmova te je obvezano na epistemičku koncepciju istine. Drugo pojam značenja i istinitosnoteoretske pojmove drži odvojenima te nije obvezano na epistemičku koncepciju istine. Tvrdim da Dummett prihvaća prvo shvaćanje Wittgensteinova slogana. Problemu pristupam tako što raspravljam o dvama Dummettovim argumentima protiv realističke istinitosnoteoretske koncepcije značenja: o argumentu iz manifestacije i argumentu za neshvatljivost klasične logike. Ispitujem dijalektiku tih argumenata i pokazujem da počivaju na pretpostavci da se značenje mora objasniti na osnovi istinitosnoteoretskih pojmova. (shrink)

Christine Korsgaard has attempted to defend a distinct approach to metaethics – Neo-Kantian Constructivism. Not only does she present a positive case for her own view, she also attacks existing metaethical positions and even the disctinctions that metaethics has traditionally relied on. This thesis is a sustained examination of this position. I consider whether Korsgaard can legitimately claim to be offering a metaethical position at all, providing her with some defence against the scepticism of some metaethicists. I also examine her (...) attacks on traditional metaethical positions. I argue that her attack on moral realism can be avoided if the realism on offer takes a particular form. In the case of expressivism I claim that Korsgaard’s attack, though not fully developed in her work, motivates an examination of contemporary hybrid-expressivist theories. I argue that these are, as of yet, no advance over their non-hybrid cousins. Finally I examine Korsgaard’s own position, attempting to make it clearer by combining her claims with a framework developed by Crispin Wright for judgement-dependent qualities. This gives Korsgaard her best chance of a distinctive metaethical position. Ultimately, though, the Neo-Kantian approach to morality fails. (shrink)

O objectivo deste artigo consiste em introduzir a noção de conhecimento a priori e os problemas que a envolvem. Começa-se por caracterizar o conhecimento a priori e aquilo que o distingue do conhecimento a posteriori para de seguida avaliar-se as dificuldades que uma compreensão adequada da noção de independência da experiência enfrenta. A noção de a priori é distinguida da de necessidade, à qual, tradicionalmente, tem sido associada. Por fim, o problema do a priori é formulado e as principais teorias (...) que a ele respondem brevemente discutidas. (shrink)

This paper is divided in five sections. Section 11.1 sketches the history of the distinction between speech act with negative content and negated speech act, and gives a general dynamic interpretation for negated speech act. “Downdate semantics” for AGM contraction is introduced in Section 11.2. Relying on semantically interpreted contraction, Section 11.3 develops the dynamic semantics for constative and directive speech acts, and their external negations. The expressive completeness for the formal variants of natural language utterances, none of which is (...) a retraction, has been proved in Section 11.4. The last section gives a laconic answer to the question posed in the title of the paper. (shrink)

A noção de analiticidade teve um papel central em vários debates filosóficos, em particular durante a primeira metade do século XX. Na sequência do influente artigo de W. V. Quine “Dois Dogmas do empirismo” (1951), a noção passou a ser vista com grande cepticismo. Mais recentemente, Paul Boghossian, no artigo “Analiticidade Reconsiderada” (1996), propôs uma forma de compreender a noção que é, putativamente, imune às críticas de Quine. O interesse na noção de analiticidade ficou desta forma renovado, assim como a (...) sua centralidade no debate acerca da possibilidade do conhecimento a priori. O principal objectivo deste artigo consiste em introduzir a noção de analiticidade e os principais problemas que esta enfrenta. (shrink)

Within his overarching program aiming to defend an epistemic conception of analyticity, Boghossian (1996 and 1997) has offered a clear-cut explanation of how we can acquire a priori knowledge of logical truths and logical rules through implicit definition. The explanation is based on a special template or general form of argument. Ebert (2005) has argued that an enhanced version of this template is flawed because a segment of it is unable to transmit warrant from its premises to the conclusion. This (...) article aims to defend the template from this objection. We provide an accurate description of the type of non-transmissivity that Ebert attributes to the template and clarify why this is a novel type of non-transmissivity. Then, we argue that Jenkins (2008)’s response to Ebert fails because it focuses on doxastic rather than propositional warrant. Finally, we rebut Ebert’s objection on Boghossian’s behalf by showing that it rests on an unwarranted assumption and is internally incoherent. (shrink)