I address a type of circularity threat that arises for the view that we employ general basic logical principles in deductive reasoning. This type of threat has been used to argue that whatever knowing such principles is, it cannot be a fully cognitive or propositional state, otherwise deductive reasoning would not be possible. I look at two versions of the circularity threat and answer them in a way that both challenges the view that we need to apply general logical principles (...) in deductive reasoning and defuses the threat to a cognitivist account of knowing basic logical principles. (shrink)

The viability of metaphysics as a field of knowledge has been challenged time and again. But in spite of the continuing tendency to dismiss metaphysics, there has been considerable progress in this field in the 20th- and 21st- centuries. One of the newest − though, in a sense, also oldest − frontiers of metaphysics is the grounding project. In this paper I raise a methodological challenge to the new grounding project and propose a constructive solution. Both the challenge and its (...) solution apply to metaphysics in general, but grounding theory puts the challenge in an especially sharp focus. The solution consists of a new methodology, holistic grounding or holistic metaphysics. This methodology is modeled after a recent epistemic methodology, foundational holism, that enables us to pursue the foundational project of epistemology without being hampered by the problems associated with foundationalism. (shrink)

As analytic philosophy is becoming increasingly aware of and interested in its own history, the study of that field is broadening to include, not just its earliest beginnings, but also the mid-twentieth century. One of the towering figures of this epoch is W.V. Quine (1908-2000), champion of naturalism in philosophy of science, pioneer of mathematical logic, trying to unite an austerely physicalist theory of the world with the truths of mathematics, psychology, and linguistics. Quine's posthumous papers, notes, and drafts revealing (...) the development of his views in the forties have recently begun to be published, as well as careful philosophical studies of, for instance, the evolution of his key doctrine that mathematical and logical truth are continuous with, not divorced from, the truths of natural science. But one central text has remained unexplored: Quine's Portuguese-language book on logic, his 'farewell for now' to the discipline as he embarked on an assignment in the Navy in WWII. Anglophone philosophers have neglected this book because they could not read it. Jointly with colleagues, I have completed the first full English translation of this book. In this accompanying paper I draw out the main philosophical contributions Quine made in the book, placing them in their historical context and relating them to Quine's overall philosophical development during the period. Besides significant developments in the evolution of Quine's views on meaning and analyticity, I argue, this book is also driven by Quine's indebtedness to Russell and Whitehead, Tarski, and Frege, and contains crucial developments in his thinking on philosophy of logic and ontology. This includes early versions of some arguments from 'On What There Is', four-dimensionalism, and virtual set theory. (shrink)

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)

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)

In this study two strands of inferentialism are brought together: the philosophical doctrine of Brandom, according to which meanings are generally inferential roles, and the logical doctrine prioritizing proof-theory over model theory and approaching meaning in logical, especially proof-theoretical terms.

Debates concerning the units and levels of selection have persisted for over fifty years. One major question in this literature is whether units and levels of selection are genuine, in the sense that they are objective features of the world, or merely reflect the interests and goals of an observer. Scientists and philosophers have proposed a range of answers to this question. This Element introduces this literature and proposes a novel contribution. It defends a realist stance and offers a way (...) of delineating genuine levels of selection by invoking the notion of a functional unit. (shrink)

This undergraduate textbook introduces some fundamental issues in philosophy of science for students of philosophy and science students. The book is divided into two parts. Part 1 deals with knowledge and values. Chap. 1 presents the classical conception of knowledge as initiated by the ancient Greeks and elaborated during the development of science, introducing the central concepts of truth, belief and justification. Aspects of the quest for objectivity are taken up in the following two chapters. Moral issues are broached in (...) Chap. 4, which discusses some aspects of the use and abuse of science, taking up the responsibilities of scientists in properly conducting their business and decision-makers in their concerns with the import of science for society. Part 2 contrasts the view of scientific progress as the rejecting of old hypotheses and theories and replacing them with new ones, represented by Karl Popper, with the conception of progress as accumulating knowledge, saving as much as possible from older theories, represented by Pierre Duhem. A concluding chapter defends the natural attitude of taking the theories of modern science to be literally true, i.e. realism, in the face of arguments drawn partly from the history of scientific progress in criticism of this stance. (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)

True to the spirit of Topoi’s Untimely Reviews section, the present essay is a work of the counterfactual imagination. Suppose that Quine’s “Two Dogmas” had been written and published in the late 1990s rather than the early 1950s. What, in those circumstances, would philosophical commentary look like, especially against the marked developments in Quine’s philosophy in that same period? In short, how would Quine’s “Two Dogmas” stand up as a late 1990s paper rather than an early 1950s paper? Answering that (...) question is my task here. (shrink)

Sometimes a fact can play a role in a grounding explanation, but the particular content of that fact make no difference to the explanation—any fact would do in its place. I call these facts vacuous grounds. I show that applying the distinction between-vacuous grounds allows us to give a principled solution to Kit Fine and Stephen Kramer’s paradox of ground. This paradox shows that on minimal assumptions about grounding and minimal assumptions about logic, we can show that grounding is reflexive, (...) contra the intuitive character of grounds. I argue that we should never have accepted that grounding is irreflexive in the first place; the intuitions that support the irreflexive intuition plausibly only require that grounding be non-vacuously irreflexive. Fine and Kramer’s paradox relies, essentially, on a case of vacuous grounding and is thus no problem for this account. (shrink)

I discuss Greg Restall’s attempt to generate an account of logical consequence from the incoherence of certain packages of assertions and denials. I take up his justification of the cut rule and argue that, in order to avoid counterexamples to cut, he needs, at least, to introduce a notion of logical form. I then suggest a few problems that will arise for his account if a notion of logical form is assumed. I close by sketching what I take to be (...) the most natural minimal way of distinguishing content and form and suggest further problems arising for this route. (shrink)

Traditionally, the dominant theory of metaphor has taken the form of saying that metaphor is a matter of using a word with a figurative meaning, that is, a meaning which deviates from standard, literal, meaning. The present article challenges the assumption on which such a characterization rests: that there are standard meanings for words fixed by conventions normative for our use of words. It argues that the most sophisticated defence of such a conception of meaning‐that of David Lewis‐gives an account (...) of convention that cannot be coherently applied to the case of language, and which misdescribes the phenomena of language. The fluidity and flexibility exhibited in our normal literal uses of words is such that to say that a meaning deviates from past meanings assigned to a word registers no contrast between the metaphorical use of words and the literal. Hence if we contrast the literal and the metaphorical, we must do it in some other way than by talking about what happens to the meanings of words. (shrink)

This article examines how Quine and Sellars develop informatively contrasting responses to a fundamental tension in Carnap’s semantics ca. 1950. Quine’s philosophy could well be styled ‘Essays in Radical Empiricism’; his assay of radical empiricism is invaluable for what it reveals about the inherent limits of empiricism. Careful examination shows that Quine’s criticism of Carnap’s semantics in ‘Two Dogmas of Empiricism’ fails, that at its core Quine’s semantics is for two key reasons incoherent and that his hallmark Thesis of Extensionalism (...) is untenable. The tension in Carnap’s semantics together with Quine’s exposure of the severe limits of radical empiricism illuminate central features of Sellars’s philosophy: the fully general form of the myth of givenness, together with Sellars’s alternative Kantian characterisation of understanding; the full significance of Carnap’s distinction between conceptual analysis and conceptual explication, and its important methodological implications; the specifically pragmatic character of Sellars’s realism; and Sellars’s methodological reasons for holding that philosophy must be systematic and that systematic philosophy must be deeply historically and textually informed. This paper thus re-examines this recent episode of philosophical history for its philosophical benefits and systematic insights. (shrink)

Conventionalism about mathematics claims that mathematical truths are true by linguistic convention. This is often spelled out by appealing to facts concerning rules of inference and formal systems, but this leads to a problem: since the incompleteness theorems we’ve known that syntactic notions can be expressed using arithmetical sentences. There is serious prima facie tension here: how can mathematics be a matter of convention and syntax a matter of fact given the arithmetization of syntax? This challenge has been pressed in (...) the literature by Hilary Putnam and Peter Koellner. In this paper I sketch a conventionalist theory of mathematics, show that this conventionalist theory can meet the challenge just raised , and clarify the type of mathematical pluralism endorsed by the conventionalist by introducing the notion of a semantic counterpart. The paper’s aim is an improved understanding of conventionalism, pluralism, and the relationship between them. (shrink)

Within recent feminist philosophy, controversy has developed over the desirability, and indeed, the possibility of defining the central terms of its analysis-"woman," "femininity," etc. The controversy results largely from the undertheorization of the notion of definition; feminists have uncritically adopted an Aristotelian treatment of definition as entailing metaphysical, rather than merely linguistic, commitments. A "discursive" approach to definition, by contrast, allows us to define our terms, while avoiding the dangers of essentialism and universalism.

W. V. Quine’s first philosophical monograph, Word and Object, is widely recognized as one of the most influential books of twentieth century philosophy. Notes, letters, and draft manuscripts at the Quine Archives, however, reveal that Quine was already working on a philosophical book in the early 1940s; a project entitled Sign and Object. In this paper, I examine these and other unpublished documents and show that Sign and Object sheds new light on the evolution of Quine’s ideas. Where “Two Dogmas (...) of Empiricism” is usually considered to be a turning point in Quine’s development, this paper redefines the place of ‘Two Dogmas’ in his oeuvre. Not only does Quine’s book project reveal that his views were already fairly naturalistic in the early 1940s ; Sign and Object also unearths the steps Quine had to take in maturing his perspective; steps that will be traced in the second half of this paper. (shrink)

Introduction to the special issue including papers about Susan Stebbing, Susanne Langer and Maria Kokoszyńska.

In this paper I will discuss why (un) marked expressionstypically get an (un)marked interpretation: Horn''sdivision of pragmatic labor. It is argued that it is aconventional fact that we use language this way.This convention will be explained in terms ofthe equilibria of signalling games introduced byLewis (1969), but now in an evolutionary setting. Iwill also relate this signalling game analysis withParikh''s (1991, 2000, 2001) game-theoretical analysis ofsuccessful communication, which in turn is compared withBlutner''s: 2000) bi-directional optimality theory.

Aconvention is a state in which agents coordinate their activity, not as the result of an explicit agreement, but because their expectations are aligned so that each individual believes that all will act so as to achieve coordination for mutual benefit. Since agents are said to follow a convention if they coordinate without explicit agreement, the notion raises fundamental questions: (1) Why do certain conventions remain stable over time?, and (2) How does a convention emerge in the first place? In (...) a pioneering study, Lewis (1969) addresses these questions by applyingnoncooperative game theory. Lewis defines a convention as aNash coordination equilibrium of a noncooperative game that issalient, that is, it is somehow conspicuous to the agents so that all expect one another to conform with the equilibrium. This paper presents a new game theoretic definition of conventions, which formalizes the notion of salience and which also generalizes the class of conventions Lewis discusses in his work. I define a convention as acorrelated equilibrium (Aumann 1974, 1987) satisfying apublic intentions criterion: Every agent wants his intended action to becommon knowledge. I argue that many conventions correspond to correlated equilibria that are not Nash equilibria, and that this is consistent with Lewis' general viewpoint. Finally, I argue that game theoretic characterizations of convention, such as Lewis' and my own, help to explain a convention's stability, but that a fully satisfactory account of the emergence of convention requires a theory of equilibrium selection beyond the scope of Lewis' work. (shrink)

The aim of the paper is to show that W. V. O. Quine's animadversions against modal logic did not get the same attention that is considered to be the case nowadays. The community of logicians focused solely on the technical aspects of C. I. Lewis’ systems and did not take Quine's arguments and remarks seriously—or at least seriously enough to respond. In order to assess Quine's place in the history, however, his relation to Carnap is considered since their notorious break (...) was about the status of extensionality and modal logic. Since much of the works about the history of analytic philosophy is centered on the relationship of Quine and Carnap, their break about modality deserves much more attention—it also sheds some light on why should anyone wonder about Quine's early arguments against modal logic. The paper ends with some further considerations regarding the early formation of modal logic and hitherto unconsidered problematic issues. (shrink)

Truth by convention, once thought to be the foundation of a uniquely promising approach to explaining our access to the truth in nonempirical domains, is nowadays widely considered an absurdity. Its fall from grace has been due largely to the influence of an argument that can be sketched as follows: our linguistic conventions have the power to make it the case that a sentence expresses a particular proposition, but they can’t by themselves generate truth; whether a given proposition is true—and (...) so whether the sentence that expresses it is true—is a matter of what the world is like, which means it isn’t a matter of convention alone. The consensus is that this argument is decisive against truth by convention. Strikingly, though, it has rarely been formulated with much precision. Here I provide a new rendering of the argument, one that reveals its structure and makes transparent just what assumptions it requires, and then I assess conventionalists’ prospects for resisting each of those assumptions. I conclude that the consensus is mistaken: contrary to what is almost universally thought, there remains a promising way forward for the conventionalist project. Along the way, I clarify conventionalists’ commitments by thinking about what truth by convention would need to be like in order for conventionalism to do the epistemological work it’s intended to do. (shrink)

The original publication of the article contains two formatting errors, the second of which significantly inhibits readability.

Hans Hahn's long-neglected philosophy of mathematics is reconstructed here with an eye to his anticipation of the doctrine of logical pluralism. After establishing that Hahn pioneered a post-Tractarian conception of tautologies and attempted to overcome the traditional foundational dispute in mathematics, Hahn's and Carnap's work is briefly compared with Karl Menger's, and several significant agreements or differences between Hahn's and Carnap's work are specified and discussed.

Quine's holistic empiricist account of scientific inquiry can be characterized by three constitutive principles: *noncontradiction*, *universal revisability* and *pragmatic ordering*. We show that these constitutive principles cannot be regarded as statements within a holistic empiricist's scientific theory of the world. This claim is a corollary of our refutation of Katz's [1998, 2002] argument that holistic empiricism suffers from what he calls the Revisability Paradox. According to Katz, Quine's empiricism is incoherent because its constitutive principles cannot themselves be rationally revised. Using (...) Gärdenfors and Makinson's logic of belief revision based on epistemic entrenchment, we argue that Katz wrongly assumes that the constitutive principles are *statements* within a holistic empiricist's theory of the world. Instead, we show that constitutive principles are best seen as *properties* of a holistic empiricist's theory of scientific inquiry and we submit that, without Katz's mistaken assumption, the paradox cannot be formulated. We argue that our perspective on the status of constitutive principles is perfectly in line with Quinean orthodoxy. In conclusion, we compare our findings with van Fraassen's [2002] argument that we should think of empiricism as a stance, rather than as a doctrine. (shrink)

In this paper we aim to show an intrinsic contradiction of contemporary Metaphysical Realism by focusing on the relation between the subject and the object. Metaphysical Realism considers facts and objects as being empirical, and therefore they are considered in relation to the subject, while at the same time facts are assumed to belong to an autonomous and independent reality. However, if a real object is considered to be independent from the subject, once it enters in a relation with the (...) latter, a real object must undergo an intrinsic transformation. However, since an object cannot avoid this transformation then recovering the real or “absolute” object from the perceived object is not possible. In this way, the inherent contradiction of the “absolute” as being determined, i.e., defined by virtue of a limit, is revealed. (shrink)

Author’s response to critical essays by Brian Weatherson, Alex Byrne, and Stephen Yablo on Philosophical Analysis in the Twentieth Century, Volume 2 The Age of Meaning.

Traditional rationalist approaches to a priori epistemology have long been looked upon with suspicion for positing a faculty of rational intuition capable of knowing truths about the world apart from experience. Conceptualists have tried to fill this void with something more empirically tractable, arguing that we know a priori truths due to our understanding of concepts. All of this theorizing, however, has carried on while neglecting an entire cross section of such truths, the grounding claims that we know a priori. (...) Taking a priori grounding into account poses a significant challenge to conceptualist accounts of a priori knowledge, as it is unclear how merely understanding conceptual connections can account for knowledge of grounding. The fact that we do know some grounding truths a priori, then, is a significant mark in traditional rationalism’s favor, and the next frontier for those who aim to eliminate the mystery surrounding a priori knowledge. (shrink)

There will be a few themes. One to get us going: expansion versus contraction. About an object, o, and the region, R, of space(time) in which o is exactly located,1 we may ask: i) must there exist expansions of o: objects in filled superregions2 of R? ii) must there exist contractions of o: objects in filled subregions of..

Substantivism is a general philosophical methodology advocating a substantive approach to philosophical theorizing. In this article, I present an overview of this methodology with a special emphasis on the field of truth. I begin with a framework for understanding what is at stake in the substantivist–deflationist debate and describe the substantivist critique of deflationism. I then proceed to discuss contemporary substantivism as a positive methodology, present examples of recent substantivist theories of truth, delineate several principles of philosophical substantivism, and connect (...) it to contemporary thought about the nature and methods of philosophy. Due to limitations of space, I am unable to discuss all the forms contemporary substantivism has taken. But I try to give a clear sense of the central principles, challenges, and promise of this methodology. (shrink)

Knowledge requires both freedom and friction . Freedom to set up our epistemic goals, choose the subject matter of our investigations, espouse cognitive norms, design research programs, etc., and friction (constraint) coming from two directions: the object or target of our investigation, i.e., the world in a broad sense, and our mind as the sum total of constraints involving the knower. My goal is to investigate the problem of epistemic friction, the relation between epistemic friction and freedom, the viability of (...) foundationalism as a solution to the problem of friction, an alternative solution in the form of a neo-Quinean model, and the possibility of solving the problem of friction as it applies to logic and the philosophy of logic within that model. (shrink)

The paper argues that no second order theory is ontologically commited to anything beyond what its individual variables range over.

This paper examines the question whether foundational epistemology (“FE”) can be replaced by naturalized epistemology (“NE”). First, it argues that Quine's defense of NE is inadequate since it is only based on arguments showing the impossibility of the logical empiricist version of FE rather than on arguments for the impossibility of FE as such. Second, it proposes that a more promising argument for the impossibility of FE can be found in the Münchhausen-trilemma which aims at showing that ultimate foundations (and, (...) hence, FE) are unattainable. However, Karl-Otto Apel has shown that this trilemma is unconclusive since it uncritically presupposes the premise that all argumentation is deductive in nature. Apel's argument implies that FE is possible if and only if it is possible to devise a non-deductive foundation (“NDF”). It is argued, however, that the possibility of NDF cannot be demonstrated. This leads to a situation called the Multatuli-dilemma: we cannot prove the possibility of ultimate foundations nor can we prove the impossibility of ultimate foundations. This dilemma shows that the discussion about the possibility of FE is pointless. Thus, it suggests that it is legitimate to replace FE by NE. Barry Stroud and Henri Lauener, however, argue that this replacement is not feasible since NE is not capable of refuting scepticism (Stroud) or justifying methodological rules (Lauener). But these objections are shown to be mistaken: First, epistemological scepticism is practically impossible and, hence, does not pose a serious threat to NE. Second, NE is capable of justifying methodological norms if and only if it makes use of so-called internal justifications. Thus, the final conclusion of this paper is that FE can be replaced by NE. (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.

According to Ole Hjortland, Timothy Williamson, Graham Priest, and others, anti-exceptionalism about logic is the view that logic “isn’t special”, but is continuous with the sciences. Logic is revisable, and its truths are neither analytic nor a priori. And logical theories are revised on the same grounds as scientific theories are. What isn’t special, we argue, is anti-exceptionalism about logic. Anti-exceptionalists disagree with one another regarding what logic and, indeed, anti-exceptionalism are, and they are at odds with naturalist philosophers of (...) logic, who may have seemed like natural allies. Moreover, those internal battles concern well-trodden philosophical issues, and there is no hint as to how they are to be resolved on broadly scientific grounds. We close by looking at three of the founders of logic who may have seemed like obvious enemies of anti-exceptionalism—Aristotle, Frege, and Carnap—and conclude that none of their positions is clearly at odds with at least some of the main themes of anti-exceptionalism. We submit that, at least at present, anti-exceptionalism is too vague or underspecified to characterize a coherent conception of logic, one that stands opposed to more traditional approaches. (shrink)

Agents can think using concepts they do not fully understand. This paper investigates the question “Under what conditions does a thinker fully understand, or have mastery of, a concept?” I lay out a gauntlet of problems and desiderata with which any theory of concept mastery must cope. I use these considerations to argue against three views of concept mastery, according to which mastery is a matter of holding certain beliefs, being disposed to make certain inferences, or having certain intuitions. None (...) of these attitudes is either necessary or sufficient for mastery. I propose and respond to objections to my own recognition view of the conditions under which a thinker has mastery of a concept. (shrink)

Grice and Strawson's 'In Defense of a Dogma is admired even by revisionist Quineans such as Putnam (1962) who should know better. The analytic/synthetic distinction they defend is distinct from that which Putnam successfully rehabilitates. Theirs is the post-positivist distinction bounding a grossly enlarged analytic. It is not, as they claim, the sanctified product of a long philosophic tradition, but the cast-off of a defunct philosophy - logical positivism. The fact that the distinction can be communally drawn does not show (...) that it is based on a real difference. Subcategories that can be grouped together by enumeration will do the trick. Quine's polemical tactic (against which Grice and Strawson protest) of questioning the intelligibility of the distinction is indeed objectionable, but his argument can be revived once it is realized that 'analytic' et al. are theoretic terms, and there is no extant theory to make sense of them. Grice and Strawson's paradigm of logical impossibility is, in fact, possible. Their attempt to define synonymy in Quinean terms is a failure, nor can they retain analyticity along with the Quinean thesis of universal revisability. The dogma, in short, is indefensible. (shrink)

My first paper on the Is/Ought issue. The young Arthur Prior endorsed the Autonomy of Ethics, in the form of Hume’s No-Ought-From-Is (NOFI) but the later Prior developed a seemingly devastating counter-argument. I defend Prior's earlier logical thesis (albeit in a modified form) against his later self. However it is important to distinguish between three versions of the Autonomy of Ethics: Ontological, Semantic and Ontological. Ontological Autonomy is the thesis that moral judgments, to be true, must answer to a realm (...) of sui generis non-natural PROPERTIES. Semantic autonomy insists on a realm of sui generis non-natural PREDICATES which do not mean the same as any natural counterparts. Logical Autonomy maintains that moral conclusions cannot be derived from non-moral premises.-moral premises with the aid of logic alone. Logical Autonomy does not entail Semantic Autonomy and Semantic Autonomy does not entail Ontological Autonomy. But, given some plausible assumptions Ontological Autonomy entails Semantic Autonomy and given the conservativeness of logic – the idea that in a valid argument you don’t get out what you haven’t put in – Semantic Autonomy entails Logical Autonomy. So if Logical Autonomy is false – as Prior appears to prove – then Semantic and Ontological Autonomy would appear to be false too! I develop a version of Logical Autonomy (or NOFI) and vindicate it against Prior’s counterexamples, which are also counterexamples to the conservativeness of logic as traditionally conceived. The key concept here is an idea derived in part from Quine - that of INFERENCE-RELATIVE VACUITY. I prove that you cannot derive conclusions in which the moral terms appear non-vacuously from premises from which they are absent. But this is because you cannot derive conclusions in which ANY (non-logical) terms appear non-vacuously from premises from which they are absent Thus NOFI or Logical Autonomy comes out as an instance of the conservativeness of logic. This means that the reverse entailment that I have suggested turns out to be a mistake. The falsehood of Logical Autonomy would not entail either the falsehood Semantic Autonomy or the falsehood of Ontological Autonomy, since Semantic Autonomy only entails Logical Autonomy with the aid of the conservativeness of logic of which Logical Autonomy is simply an instance. Thus NOFI or Logical Autonomy is vindicated, but it turns out to be a less world-shattering thesis than some have supposed. It provides no support for either non-cognitivism or non-naturalism. (shrink)

On an internalist account of logical inference, we are warranted in drawing conclusions from accepted premises on the basis of our knowledge of logical laws. Lewis Carroll’s regress challenges internalism by purporting to show that this kind of warrant cannot ground the move from premises to conclusion. Carroll’s regress vindicates a repudiation of internalism and leads to the espousal of a standpoint that regards our inferential practice as not being grounded on our knowledge of logical laws. Such a standpoint can (...) take two forms. One can adopt either a broadly externalist model of inference or a sceptical stance. I will attempt, in what follows, to defend a version of internalism which is not affected by the regress. The main strategy will be to show that externalism and scepticism are not satisfying standpoints to adopt with regard to our inferential practice, and then to suggest an internalist alternative. (shrink)

On an internalist account of logical inference, we are warranted in drawing conclusions from accepted premises on the basis of our knowledge of logical laws. Lewis Carroll's regress challenges internalism by purporting to show that this kind of warrant cannot ground the move from premises to conclusion. Carroll's regress vindicates a repudiation of internalism and leads to the espousal of a standpoint that regards our inferential practice as not being grounded on our knowledge of logical laws. Such a standpoint can (...) take two forms. One can adopt either a broadly externalist model of inference or a sceptical stance. I will attempt, in what follows, to defend a version of internalism which is not affected by the regress. The main strategy will be to show that externalism and scepticism are not satisfying standpoints to adopt with regard to our inferential practice, and then to suggest an internalist alternative. (shrink)

In this paper we put forward and defend a view of the nature of logic that we call moderate anti-exceptionalism. In the first part of the paper we focus on the problem of genuine logical validity and consequence. We make use of examples from current debates to show that attempts to pinpoint the one and only authentic logic inevitably either yield irrefutable theories or lead to dead ends. We then outline a thoroughly naturalist account of logical consequence as grounded in (...) rules implicit in human linguistic practices. We insist that there are only two existing kinds of language: natural languages, and artificial languages that have been forged by us. There is thus no room for a "genuine" language and hence for "genuine" logic. We conclude that though logical theories are established—and are liable to criticism—in a similar fashion as those of the sciences, and in this sense logic is not exceptional, to fulfill its mission logic must lay a claim to normative authority over our argumentation and reasoning, which makes its methodology somewhat special. Logical theory is not meant to provide just an explanation, the standards it establishes serve also as a tool, providing for a reinforcement of our rational communication. (shrink)

It is a consequence of Quine’s confirmation holism that the logical laws are in principle revisable. Some have worried this is at odds with another dictum in Quine, viz., that any translation which construes speakers as systematically illogical is ipso facto inadequate. In this paper, I try to formulate exactly what the problem is here, and offer a solution to it by (1) disambiguating the term ‘logic,’ and (2) appealing to a Quinean understanding of ‘necessity.’ The result is that the (...) different theses in Quine’s philosophy of logic are to be situated within different contexts of inquiry. (shrink)

According to Paul Boghossian, some truths are knowable a priori because they are expressed by epistemically analytic sentences. In such cases, understanding the sentence is meant to suffice for justified belief in the proposition it expresses. One alleged route from understanding to justification goes via what Boghossian calls ‘the synonymy model’. This article presents a dilemma for this model and argues that although a strategy for avoiding the dilemma is available, this does not vindicate Boghossian's model.

Hilary Putnam once proposed a semantic approach to, as well as a deflationist resolution of, the problem of analyticity. I take up and defend both ideas. First of all, I defend Putnam's semantic construal of the issue against Quine's reductive understanding. Secondly, I devise a semantics that successfully explains the genesis of the relevant analytic truths and that shows them to be harmless. Finally, I rebut the aspirations of the neo-descriptivist semantics, prominently propounded by David Chalmers and Frank Jackson, that (...) is widely presumed to spearhead the re-establishment of substantial analyticities. I conclude that analytic truths—at least those discussed—are indeed harmless. (shrink)