In recent years, two-dimensional (2D) semantics has been used to develop a broadly descriptivist approach to meaning that seeks to accommodate externalists’ counterexamples to traditional descriptivism. The 2D possible worlds framework can be used to capture a speaker’s implicit dispositions to identify the reference of her words on the basis of empirical information about her actual environment. Proponents of 2D semantics argue that this aspect of linguistic understanding plays the core theoretical role of meanings: 2D semantics allows us to specify (...) a reference-fixing criterion implicit mastery of which constitutes semantic competence a particular meaning. (shrink)

It would be nice if good old a priori conceptual analysis were possible. For many years conceptual analysis was out of fashion, in large part because of the excessive ambitions of verificationist theories of meaning._ _However, those days are over._ _A priori conceptual analysis is once again part of the philosophical mainstream._ _This renewed popularity, moreover, is well-founded. Modern philosophical analysts have exploited developments in philosophical semantics to formulate analyses which avoid the counterintuitive consequences of verificationism, while vindicating our ability (...) to know a priori precisely what it is our words and thoughts represent._ _Despite its apparent promise, however, I. (shrink)

The paper begins by examining the original Turing Test (2T) and Searle’s antithetical Chinese Room Argument, which is intended to refute the 2T in particular, as well as any formal or abstract procedural theory of the mind in general. In the ensuing dispute between Searle and his own critics, I argue that Searle’s ‘internalist’ strategy is unable to deflect Dennett’s combined robotic-systems reply and the allied Total Turing Test (3T). Many would hold that the 3T marks the culmination of the (...) dialectic and, in principle, constitutes a fully adequate empirical standard for judging that an artifact is intelligent on a par with human beings. However, the paper carries the debate forward by arguing that the sociolinguistic factors highlighted in externalist views in the philosophy of language indicate the need for a fundamental shift in perspective in a Truly Total Turing Test (4T). It’s not enough to focus on Dennett’s individual robot viewed as a system; instead, we need to focus on an ongoing system of such artifacts. Hence a 4T should evaluate the general category of cognitive organization under investigation, rather than the performance of single specimens. From this comprehensive standpoint, the question is not whether an individual instance could simulate intelligent behavior within the context of a pre-existing sociolinguistic culture developed by the human cognitive type. Instead the key issue is whether the artificial cognitive type itself is capable of producing a comparable sociolinguistic medium. (shrink)

This paper describes the development of theories of scientific explanation since Hempel's earliest models in the 1940ies. It focuses on deductive and probabilistic whyexplanations and their main problems: lawlikeness, explanation-prediction asymmetries, causality, deductive and probabilistic relevance, maximal specifity and homogenity, the height of the probability value. For all of these topic the paper explains the most important approaches as well as their criticism, including the author's own accounts. Three main theses of this paper are: (1) Both deductive and probabilistic explanations (...) are important in science, not reducible to each other. (2) One must distinguish between (cause giving) explanations and (reason giving) justifications and predictions. (3) The adequacy of deductive as well as probabilistic explanations is relative to a pragmatically given background knowledge-which does not exclude, however, the possibility of purely semantic models. (shrink)

This paper sketches a right-maker account of normative practical reasons along functionalist lines. The approach is contrasted with other similar accounts, in particular John Broome's analysis of reasons as explanations of oughts.

Is the relation between properties and the causal powers they confer necessary, or contingent? Necessary, says Sydney Shoemaker, on pain of skepticism about the properties. Contingent, says David Lewis, swallowing the skeptical conclusion. I shall argue that Lewis is right about the metaphysics, but that Shoemaker and Lewis are wrong about the epistemology. Properties have intrinsic natures (quiddities), which we can know.

The philosophy of mind encompasses a familiar set of topics: consciousness, intentionality, mental causation, emotion, whatever topics in psychology happen to capture our interest (concepts, mindreading . . .), and so on. There is a topic deserving of addition to this list, a topic that should be receiving regular attention from philosophers of mind but is not: practical rationality. The philosophy of mind bears directly upon what can be called the ‘meta-theory’ of practical rationality, and meta-theories of rationality likewise impose (...) constraints on the philosophy of mind. Philosophers of mind who do not engage with work on practical rationality risk developing theories that are blind to important theoretical demands. They also risk allowing ethicists—who have been at work on the meta-theory of practical rationality—to unilaterally set their theoretical agendas. It is therefore time to get to work. (shrink)

The article discusses an idea of how to extend the notion of rigidity to predicates, namely the idea that predicates stand in a certain systematic semantic relation to properties, such that this relation may hold rigidly or nonrigidly. The relation (which I call signification) can be characterised by recourse to canonical property designators which are derived from predicates (or general terms) by means of nominalization: a predicate signifies that property which the derived property designator designates. Whether signification divides into rigid (...) and non-rigid cases will then depend uponwhether canonical property designators divide into rigid and non-rigid ones. But, I shall argue, they do not, and so the only notion of rigidity gained this way is trivial. To show this, I first focus on the kind of canonical property designators which could be thought to be nonrigid, canonical designators such as having the colour of ripe tomatoes which themselves contain non-rigid property designators. An argument to the effect that such complex canonical designators are non-rigid is rebutted, five arguments to the effect that they are rigid are formulated, and finally an explanation of their rigidity based on the general nature of canonical property designators is presented. (shrink)

I develop a view of the common factor between subjectively indistinguishable perceptions and hallucinations that avoids analyzing experiences as involving awareness relations to abstract entities, sense-data, or any other peculiar entities. The main thesis is that hallucinating subjects employ concepts (or analogous nonconceptual structures), namely the very same concepts that in a subjectively indistinguishable perception are employed as a consequence of being related to external, mind-independent objects or property-instances. These concepts and nonconceptual structures are identified with modes of presentation types. (...) Since a hallucinating subject is not related to any such objects or property-instances, the concepts she employs remain empty. I argue that the phenomenology of hallucinations and perceptions can be identified with employing concepts and analogous nonconceptual structures. By doing so, I defend an ontologically minimalist view of the phenomenology of experience that (1) vindicates Aristotelianism about types and (2) amounts to a naturalized view of the phenomenology of experience. (shrink)

Paul Pietroski, in Causing Actions (2000), aims to articulate a dualistic framework that 'makes room for persons'. What is especially intriguing about Pietroski's framework is that it denies both of the above assumptions: (i) it is resolutely non-naturalistic, and (ii) it is a dualism of events, said to steer between substance and property dualisms. If Pietroski is right then both naturalism and the three-part taxonomy are worse than mistaken: they are in..

Most answers to the mind-body problem are claims about the nature of mental properties and substances. But advocates of non-reductive physicalism have generally neglected the topic of the nature of substance, quickly nodding to the view that all substances are physical, while focusing their intellectual energy on understanding how mental properties relate to physical ones. Let us call the view that all substances are physical or are exhaustively composed of physical substances substance physicalism (SP). Herein, I argue that non-reductive physicalism (...) (NRP) cannot uphold substance physicalism and is thereby false. For NRP faces a mind problem: its commitment to property irreducibility prevents that which bears the mental properties—the mind, or on some views, the self or person—from being a physical thing. (shrink)

It is argued that the explanatory gap argument, according to which it is fundamentally impossible to explain qualitative mental states in a physicalist theory of mind, is unsound. The main argument in favour of the explanatory gap is presented, which argues that an identity statement of mind and brain has no explanatory force, in contrast to "normal" scientific identity statements. Then it is shown that "normal" scientific identity statements also do not conform to the demands set by the proponent of (...) the explanatory gap. Rather than accept all such gaps, it is argued that we should deny the explanatory gap in a physicalist theory of mind. (shrink)

Saul Kripke in his revolutionary and influential series of lectures from the early 1970s (later published as the book Naming and Necessity) famously resurrected John Stuart Mill's theory of proper names. Kripke at the same time rejected Mill's theory of general terms. According to Kripke, many natural kind terms do not fit Mill's account of general terms and are closer to proper names. Unfortunately, Kripke and his followers ignored key passages in Mill's A System of Logic in which Mill enunciates (...) a sophisticated and detailed theory of natural kind terms that anticipates and is in some ways superior to Kripke's. (shrink)

Abstract: The natural lottery is a metaphor about the way luck affects the allocation of personal attributes, talents, skills, and defects. Susan Hurley has argued that it is incoherent to regard individual essential properties (IEPs) as a matter of lottery luck. The reason is that a lottery of identity-affecting properties generates the ‘non-identity problem’. For this reason among others she suggests substituting lottery luck with ‘thin luck’, i.e. luck as non-responsibility, which would allow us to coherently regard IEPs as a (...) matter of luck.I argue that we are not not-responsible for our IEPs. Therefore, the coherent range of ‘thin luck’ is not broader than that of lottery luck. Moreover, justice theorists need to be worried about the non-identity problem only to the extent that IEPs affect life prospects and it is far from evident that they do. After addressing some connected aspects of Hurley's analysis, I discuss the type of reasons that justify seeking to expand domain of justice and the ways of doing this, for instance by abandoning lottery luck. I close by suggesting, however, that if Parfit's view of ‘what matters about identity’ is correct, its application to the case of identity-affecting lotteries may prove the expansion of the domain of justice superfluous, as IEPs belong to it as it is. (shrink)

In this paper, we argue that ordinary judgments about core normative topics purport to attribute stable, objective properties and relations. Our strategy is first to analyze the structures and practices characteristic of paradigmatically representational concepts such as concepts of objects and natural kinds. We identify three broad features that ground the representational purport of these concepts. We then argue that core normative concepts exhibit these same features.

Recent discussions about the cognitive value of fiction either rely on a background theory of reference or a theory of imaginative pretense. I argue that this reliance produces a tension between the two central or defining claims of literary cognitivism that: (1) fiction can have cognitive value by revealing or supporting insights into the world that properly count as true, and (2) that the cognitive value of a work of fiction contributes directly to that work’s literary value. I address that (...) tension by looking at the formal devices present in a work of fiction that enable it to realize the fictional world described by a text. When we focus on those formal elements, we can identify a connection between a work of literary fiction and the insights we gain through an encounter with the fictional world that work realizes. (shrink)

This paper is a response to Niklas Möller’s (Philosophical Studies, 2013) recent criticism of our relational (Jazz) model of meaning of thin evaluative terms. Möller’s criticism rests on a confusion about the role of coordinating intentions in Jazz. This paper clarifies what’s distinctive and controversial about the Jazz proposal and explains why Jazz, unlike traditional accounts of meaning, is not committed to analycities.

The paper examines the status of conscious presentation with regard to mental content and intentional states. I argue that conscious presentation of mental content should be viewed on the model of a secondary quality, as a subjectiveeffect of the microstructure of an underlying brain state. The brain state is in turn viewed as the instantiation of an abstract computational state, with the result that introspectively accessible content is interpreted as a presentation of the associated computational state realized by the brain. (...) However, if the relation between consciousness and representational content is construed in this manner, then conscious presentation does not provide an adequate foundation for the claim that human mental states areintrinsically intentional. On this model, I argue that functionalism is able to account for (non-intrinsic) intentionality, but not for consciousness, which has implications for the computational paradigm, as well as for Searle's Chinese room thought experiment. (shrink)

It is well known that Ernest Gellner made substantial use of his knowledge of the social sciences in philosophy. Here I discuss how he used it on the basis of a few examples taken from Gellner’s philosophical output. It is argued that he made a number of highly original “translations”, or re-interpretations, of philosophical theories and problems using his knowledge of the social sciences. While this method is endorsed, it is also argued that some of Gellner’s translations crossed the line (...) between the original and the idiosyncratic. (shrink)

A slew of conceivability arguments have been given against physicalism. Many physicalists try to undermine these arguments by offering accounts of phenomenal concepts that explain how there can be an epistemic gap, but not an ontological gap, between the phenomenal and the physical. Some complain, however, that such accounts fail to do justice to the nature of our introspective grasp of phenomenal properties. A particularly influential version of this complaint comes from David Chalmers (1996; 2003), who claims, in opposition to (...) the accounts of phenomenal concepts described above, that phenomenal concepts have primary and secondary intensions that coincide in all worlds. In this paper, I construct an argument that casts doubt upon Chalmers' claim. At the heart of this argument is an idea that Chalmers shows some affinity for: namely, that introspection doesn't reveal whether phenomenal properties are fundamental properties or whether they are derived from more basic protophenomenal properties. I argue that this claim implies that the primary and secondary intensions of our phenomenal concepts do not coincide in all worlds. In this way, I show that a plausible idea about the powers of introspection – an idea that Chalmers himself is drawn to – is a reason for rejecting the claim that phenomenal concepts have primary and secondary intensions that coincide in all worlds. (shrink)

I argue that (a) the causal theory of proper names and (b) Kripke's chain of references thesis are logically independent of each other, and that the case for (a) is very weak. I observe that rejecting (a) we lose one powerful reason for treating proper names as rigid designators. I then consider reasons for subscribing to (b), and I argue that (b) is compatible with either a rigid or a non-rigid (descriptive) semantic treatment of proper names.

Humans come prepared to recognize two fundamental features of our surroundings: animate objects and agents. This recognition begins early in ontogeny and pervades our ecological and social space. This cognitive capacity reveals an important adaptation and sets the conditions for pervasive shared experiences. One feature of our species and our evolved cephalic substrates is that we are prepared to recognize self-propelled action in others. Our cultural evolution is knotted to an expanding sense of shared experiences.

It is widely held that if an object a is identical (or non-identical) to an object b, then it is necessary that a is identical (non-identical) to b. This view is supported an argument from Leibniz's Law and a popular conception of de re modality. On the other hand, there are good reasons to allow for contingent identity. Various alternative accounts of de re modality have been developed to achieve this kind of generality, and to explain what is wrong with (...) the argument from Leibniz's Law. (shrink)

One controversial position in the debate over dispositional and categorical properties maintains that our concepts of these properties are the result of partially considering unitary properties that are both dispositional and categorical. As one of its defenders (Heil 2005, p. 351) admits, this position is typically met with “incredulous stares”. In this paper, I examine whether such a reaction is warranted. This thesis about properties is an instance of what I call “the Partial Consideration Strategy”—i.e., the strategy of claiming that (...) what were formerly thought of as distinct entities are actually a unified entity, partially considered. By evaluating its use in other debates, I uncover a multi-layered prima facie case against the use of the Partial Consideration Strategy in the dispositional/categorical properties debate. In closing, I describe how the Partial Consideration Strategy can be reworked in a way that would allow it to sidestep this prima facie case. (shrink)

This paper articulates two constraints on an acceptable account of meaning: (i) accessibility: sameness of meaning affords an immediate appearance of de jure co-reference, (ii) flexibility: sameness of meaning tolerates open-ended variation in speakers' substantive understanding of the reference. Traditional accounts of meaning have trouble simultaneously satisfying both constraints. I suggest that relationally individuated meanings provide a promising way of avoiding this tension. On relational accounts, we bootstrap our way to de jure co-reference: the subjective appearance of de jure co-reference (...) helps make it the case that two token representations really do co-refer. (shrink)

Todd (2016) proposes an analysis of future-directed sentences, in particular sentences of the form 'will(φ)', that is based on the classic Russellian analysis of definite descriptions. Todd's analysis is supposed to vindicate the claim that the future is metaphysically open while retaining a simple Ockhamist semantics of future contingents and the principles of classical logic, i.e. bivalence and the law of excluded middle. Consequently, an open futurist can straightforwardly retain classical logic without appeal to supervaluations, determinacy operators, or any further (...) controversial semantical or metaphysical complication. In this paper, we will show that this quasi-Russellian analysis of 'will' both lacks linguistic motivation and faces a variety of significant problems. In particular, we show that the standard arguments for Russell's treatment of definite descriptions fail to apply to statements of the form 'will(φ)'. (shrink)

What does it take to count as competent with the meaning of a thin evaluative predicate like 'is the right thing to do'? According to minimalists like Allan Gibbard and Ralph Wedgwood, competent speakers must simply use the predicate to express their own motivational states. According to analytic descriptivists like Frank Jackson, Philip Pettit and Christopher Peacocke, competent speakers must grasp a particular criterion for identifying the property picked out by the term. Both approaches face serious difficulties. We suggest that (...) these difficulties derive from a shared background assumption that competence conditions must be explained in terms of a determinate conceptual role. We propose a new way of characterizing competence with evaluative terms: what's required for competence is participation in a shared epistemic practice with a term. Our approach, we argue, better explains the nature of evaluative inquiry and the extent of disagreement about evaluative questions. (shrink)

Two main methods for analysing de re readings of definite descriptions in intensional contexts coexist: that of evaluating the description in the actual world, whether by means of scope, actuality operators, or non-local world binding, and that of substituting another description, usually one expressing a salient or ‘vivid’ acquaintance relation to an attitude holder, prior to evaluation. Recent work on so-called descriptive indexicals suggests that contrary to common assumptions, both methods are needed, for different ends. This paper aims to show (...) that there is indeed a division of labour between the two methods of analysis and to identify criteria for choosing among alternative ways to model the second, substitutional method. (shrink)

Words change meaning over time. Some meaning shift is accompanied by a corresponding change in subject matter; some meaning shift is not. In this paper I argue that an account of linguistic meaning can accommodate the first kind of case, but that a theory of concepts is required to accommodate the second. Where there is stability of subject matter through linguistic change, it is concepts that provide the stability. The stability provided by concepts allows for genuine disagreement and ameliorative change (...) in the context of conceptual engineering. (shrink)

This paper concerns content externalism and privileged access. I argue that externally-individuated concepts are not just subject to a causal constraint, but are also subject t an epistemic constraint. Their possession requires not merely that certain background presuppositions be true but, further, that the subject be in possession of true justified beliefs concerning their referents.

In a series of recent articles, Robin Jeshion has developed a theory of singular thought which she calls ‘cognitivism’. According to Jeshion, cognitivism offers a middle path between acquaintance theories—which she takes to impose too strong a requirement on singular thought, and semantic instrumentalism—which she takes to impose too weak a requirement. In this article, I raise a series of concerns about Jeshion's theory, and suggest that the relevant data can be accommodated by a version of acquaintance theory that distinguishes (...) unsuccessful thoughts of singular form from successful singular thoughts, and in addition allows for ‘trace-based’ acquaintance. (shrink)

According to the simple proposal, a predicate is rigid iff it signifies the same property across the different possible worlds. The simple proposal has been claimed to suffer from an over-generalization problem. Assume that one can make sense of predicates signifying properties, and assume that trivialization concerns, to the effect that the notion would cover any predicate whatsoever, can be overcome. Still, the proposal would over-generalize, the worry has it, by covering predicates for artifactual, social, or evaluative properties, such as (...) 'is a knife,' 'is a bachelor,' or 'is funny.' In defense, it is argued that rigidity for predicates as characterized plays the appropriate theoretical role, and that the contention that "unnatural" properties are not to be rigidly signified is ungrounded. (shrink)

The simple proposal for a characterization of general term rigidity is in terms of sameness of designation in very possible world. Critics like Schwartz (2002) and Soames (2002) have argued that such a proposal would trivialize rigidity for general terms. Martí (2004) claims that the objection rests on the failure to distinguish what is expressed by a general term and the property designated. I argue here against such a response by showing that the trivialization problem reappears even if one pays (...) attention to such a distinction. (shrink)

In his famous essentialist account of identity, Kripke holds that it is necessary to the identity of individual people that they have the parents they do in fact have. Some have disputed this requirement, treating it either as a reason to reject essentialism or as something that should be eliminated in order to make essentialism stronger. I examine the reasoning behind some of these claims and argue that it fails to acknowledge the complex and multi-faceted importance of biological process in (...) determining identity and distinguishing significant differences between biological and non-biological cases. In fact, this failure derives from an inherent tendency to treat the biological case in just the same way as the non-biological case at least at one important point in its history—the point of formation. This analysis offers a way of salvaging Kripke’s original claims. I focus in particular on the views of Graeme Forbes and Teresa Robertson, but also discuss the views of Nathan Salmon, M. S. Price and E. J. Lowe. (shrink)

The possibility of Junk is the possibility that something exists and everything is a proper part. Just as we might imagine that there are no simples—that everything has a proper part, all the way down—we might imagine that there are no caps—that everything is a proper part, all the way up. It is not obvious that this apparent possibility can be accommodated within a Lewisian modal framework. For Lewis, every possibility involves the existence of a possible world, and a possible (...) world is just is a maximal sum, and so a cap. But the Lewisian can accommodate Junk, if she wishes, by allowing parts of possible worlds to represent complete possibilities. (shrink)

It is widely accepted that if a property is essential then it is necessary. Against this I present numerous counterexamples from biology and chemistry, which fall into two groups: (I) A property is essential to a genus or species, yet some instances of this genus or species do not have this essential property. (II) A property is essential to a genus, yet some species of this genus do not have this essential property. I discuss and reject four minor objections. Then (...) I discuss in depth whether a distinction between constitutive essence and consequential essence is able to handle these counterexamples. I conclude that this distinction is better put as one between (1) the essence, which is necessary, and (2) the essential properties, which are not formally necessary. An essence of an object X is the substantial universal expressed by its real definition. An object X has a property P essentially iff the property P is explanatory and non-trivial, and P follows from the essence of X. (shrink)

The problem of intersubjective identification arises from the difficulties of explaining how our thoughts and discourse about fictional characters can be directed towards the same (or different) characters given the assumption that there are no fictional entities. In this paper I aim to offer a solution in terms of participation in a practice of thinking and talking about the same thing, which is inspired by Sainsbury's name-using practices. I will critically discuss a similar idea that was put forward by Friend (...) in terms of participation in what Perry calls a notion-network. I will then argue in favor of Sainsbury's baptism-based approach against Perry's information-based approach and I will answer some recent objections that Friend put forward against the former. (shrink)

When are two tokens of a name tokens of the same name? According to this paper, the answer is a matter of the historical connections between the tokens. For each name, there is a unique originating event, and subsequent tokens are tokens of that name only if they derive in an appropriate way from that originating event. The conditions for a token being a token of a given name are distinct from the conditions for preservation of the reference of a (...) name. Hence a name may change its reference. Defending the theory requires considerations about the identity of acts, and about empty names and disagreement. The upshot is a causal theory of the identity of names, but not what would normally be counted as a causal theory of the reference of names. Although reference is often transmitted causally, what determines semantic reference is conventionalized speaker-reference. (shrink)

We argue that thoughts are structures of concepts, and that concepts should be individuated by their origins, rather than in terms of their semantic or epistemic properties. Many features of cognition turn on the vehicles of content, thoughts, rather than on the nature of the contents they express. Originalism makes concepts available to explain, with no threat of circularity, puzzling cases concerning thought. In this paper, we mention Hesperus/Phosphorus puzzles, the Evans-Perry example of the ship seen through different windows, and (...) Mates cases, and we believe that there are many additional applications. (shrink)

Scott Soames (2002) has recently developed and defended strategies for (i) accounting for the meaning of Millian terms, and (ii) extending Kripke's insights from proper names to natural kind terms. In this paper I argue that if we accept these strategies, and their implausible assumptions and consequences, then we can present a novel defence of descriptivism for at least some natural kind terms – those for substances – on that basis. The conclusion, then, will be that there is just no (...) motivation for being a Soamesian Kripkean for an important class of natural kind terms. (shrink)

Reductive physicalists typically accept the causal argument for their view. On this score, Tiehen parts ways with his fellow reductive physicalists. Heretically, he argues that reductive physicalists should reject the causal argument. After presenting Tiehen's challenge, I defend the orthodoxy. Although not myself a reductive physicalist, I show how reductive physicalists can resist this challenge to the causal argument. I conclude with a positive suggestion about how reductive physicalists should use the causal argument.

Examines the connections among believing, saying, and expressing in situations where the sentence used is a declarative sentence containing at least one proper name. Proposes a new way of understanding these connections. Develops an argument for the thesis that, although we typically believe the singular propositions expressed by our uses of name sentences, we rarely use such sentences because we believe those propositions.

After a brief biography of Jaap van Brakel we set out his appropriation and use of the distinction between the manifest image and the scientific image of the world. In a certain sense van Brakel gives priority to the manifest image as the ultimate source of meaning in chemical discourses. He does not take sides in the debate about nominal and real essences, twin earths and so, but presents a compromise. As an active practitioner of the chemical arts he emphasises (...) the indispensability of models as a main tool for chemical thinking. We then turn to van Brakel’s interest in forging an intercultural point of view in which philosophy of chemistry plays an important part. (shrink)

Take a correct sequent of formal logic, perhaps a simple logical truth, like the law of excluded middle, or something with premises, like disjunctive syllogism, but basically a claim of the form \.Γ can be empty. If you don’t like my examples, feel free to choose your own, everything I have to say should apply to those as well. Such a sequent attributes the properties of logical truth or logical consequence to a schematic sentence or argument. This paper aims to (...) answer the question of how beliefs in such attributions are justified, on both its descriptive and normative interpretations; I aim to say when we generally take ourselves to be justified in forming such beliefs, and to make it plausible that beliefs formed this way really are justified.We can ask such questions about many domains but there are special difficulties for answering them in logic. Some of the difficulties stem from the fact that logic is thought t.. (shrink)

Recent work on analyticity distinguishes two kinds, metaphysical and epistemic. This paper argues that the distinction allows for a new view in the philosophy of logic according to which the claims of logic are metaphysically analytic and have distinctive modal profiles, even though their epistemology is holist and in many ways rather Quinean. It is argued that such a view combines some of the more attractive aspects of the Carnapian and Quinean approaches to logic, whilst avoiding some famous problems.