In this chapter a new problem about rule-following is outlined, one that is distinct both from Kripke’s and Wright’s versions of the problem. This new problem cannot be correctly responsed to, as Kripke’s can, by invoking Wright’s Intentional Account of rule-following. The upshot might be called, following Kant, an antinomy of pure reason: we both must — and cannot — make sense of someone’s following a rule. The chapter explores various ways out of this antinomy without here endorsing any of (...) them. (shrink)

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 the early 1900s, Russell began to recognize that he, and many other mathematicians, had been using assertions like the Axiom of Choice implicitly, and without explicitly proving them. In working with the Axioms of Choice, Infinity, and Reducibility, and his and Whitehead’s Multiplicative Axiom, Russell came to take the position that some axioms are necessary to recovering certain results of mathematics, but may not be proven to be true absolutely. The essay traces historical roots of, and motivations for, Russell’s (...) method of analysis, which are intended to shed light on his view about the status of mathematical axioms. I describe the position Russell develops in consequence as “immanent logicism,” in contrast to what Irving (1989) describes as “epistemic logicism.” Immanent logicism allows Russell to avoid the logocentric predicament, and to propose a method for discovering structural relationships of dependence within mathematical theories. (shrink)

What is mathematics about? And if it is about some sort of mathematical reality, how can we have access to it? This is the problem raised by Plato, which still today is the subject of lively philosophical disputes. This book traces the history of the problem, from its origins to its contemporary treatment. It discusses the answers given by Aristotle, Proclus and Kant, through Frege's and Russell's versions of logicism, Hilbert's formalism, Gödel's platonism, up to the the current debate on (...) Benacerraf's dilemma and the indispensability argument. Through the considerations of themes in the philosophy of language, ontology, and the philosophy of science, the book aims at offering an historically-informed introduction to the philosophy of mathematics, approached through the lenses of its most fundamental problem. (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 talk surveys a range of positions on the fundamental metaphysical and epistemological questions about elementary logic, for example, as a starting point: what is the subject matter of logic—what makes its truths true? how do we come to know the truths of logic? A taxonomy is approached by beginning from well-known schools of thought in the philosophy of mathematics—Logicism, Intuitionism, Formalism, Realism—and sketching roughly corresponding views in the philosophy of logic. Kant, Mill, Frege, Wittgenstein, Carnap, Ayer, Quine, and Putnam (...) are among the philosophers considered along the way. (shrink)

Two conceptions of a priori methods and assumptions can be distinguished. First, there are the assumptions and methods accepted prior to a given inquiry. Second, there are innate assumptions and methods. For each of these two types of a priori methods and assumptions, we can also allow cases in which one starts with something that is a priori and is justified in reaching a new belief or procedure without making any appeal to new experiential data. But we should not suppose (...) there is some further sort of a priori explained in terms of some other notion of justification. If we try to construct a notion of the a priori by considering ways in which knowledge, belief, or reasoning might be though to be directly a priori, via direct insight, inability to imagine something false, intentions about use of language, and the language faculty, the resulting conception of the a prior in each of these cases reduces to either of the first two conceptions. (shrink)

This dissertation is a contribution to the philosophy of language. Its central question is: In virtue of which facts do linguistic expressions mean what they do? E.g. why does “apple” mean apple in English? The question receives a systematic answer; in short: Linguistic expressions mean what they do because among their users, there are linguistic conventions and social norms to use and understand them in certain ways. The answer is clarified and defended as a central thesis. For in this form, (...) it is at best a slogan: What is meaning? What is it to use and understand expressions? What are conventions and social norms anyway? How does the use and understanding determine meaning? The goal of the dissertation consists in answering these questions. (shrink)

In this essay we introduce the idea of an epistemic triangle, with factual, theoretical, and conceptual investigations at its vertices, and argue that whereas scientific progress requires a balance among the three types of investigations, psychology's epistemic triangle is stretched disproportionately in the direction of factual investigations. Expressed by a variety of different problems, this unbalance may be created by a main operative theme—the obsession of psychology with a narrow and mechanical view of the scientific method and a misguided aversion (...) to conceptual inquiries. Hence, to redress psychology's epistemic triangle, a broader and more realistic conception of method is needed and, in particular, conceptual investigations must be promoted. Using examples from different research domains, we describe the nature of conceptual investigations, relate them to theoretical investigations, and illustrate their purposes, forms, and limitations. (shrink)

In this paper, I discuss the influential view that depiction, like language, depends on arbitrary conventions. I argue that this view, however it is elaborated, is false. Any adequate account of depiction must be consistent with the distinctive features of depiction. One such feature is depictive generativity. I argue that, to be consistent with depictive generativity, conventionalism must hold that depiction depends on conventions for the depiction of basic properties of a picture’s object. I then argue that two considerations jointly (...) preclude depiction from being governed by such conventions. Firstly, conventions must be salient to those who employ them. Secondly, those parts of pictures that depict basic properties of objects are not salient to the makers and interpreters of pictures. (shrink)

Modality and Anti-Metaphysics critically examines the most prominent approaches to modality among analytic philosophers in the twentieth century, including essentialism. Defending both the project of metaphysics and the essentialist position that metaphysical modality is conceptually and ontologically primitive, Stephen McLeod argues that the logical positivists did not succeed in banishing metaphysical modality from their own theoretical apparatus and he offers an original defence of metaphysics against their advocacy of its elimination. -/- Seeking to assuage the sceptical worries which underlie modal (...) anti-realism, McLeod provides an original contribution to essentialist epistemology, engaging with current debates about modality and suggesting that standard essentialist approaches to some issues in the philosophies of logic and language require revision. -/- This book offers valuable insights to professional philosophers, postgraduates and advanced undergraduates interested in metaphysics, philosophy of logic or the history of twentieth-century analytic philosophy. (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)

Toisaalta ennennäkemätön äärettömien joukko-opillisten menetelmien hyödyntäminen sekä toisaalta epäilyt niiden hyväksyttävyydestä ja halu oikeuttaa niiden käyttö ovat ratkaisevasti muovanneet vuosisatamme matematiikkaa ja logiikkaa. Tämän kehityksen vaikutus nykyajan filosofiaan on myös ollut valtaisa; merkittävää osaa siitä ei voi edes ymmärtää tuntematta sen yhteyttä tähän matematiikan ja logiikan vallankumoukseen. Lähestymistapoja, jotka tavalla tai toisella hyväksyvät äärettömän matematiikan ja perinteisten logiikan sääntöjen (erityisesti kolmannen poissuljetun lain) soveltamisen myös sen piirissä, on tullut tavaksi kutsua klassiseksi matematiikaksi ja logiikaksi erotuksena nämä hylkäävistä radikaaleista intuitionistisista ja (...) konstruktivistisista opeista. (shrink)

The paper argues that the theory of Implicit Definition cannot give an account of knowledge of logical principles. According to this theory, the meanings of certain expressions are determined such that they make certain principles containing them true; this is supposed to explain our knowledge of the principles as derived from our knowledge of what the expressions mean. The paper argues that this explanation succeeds only if Implicit Definition can account for our understanding of the logical constants, and that fully (...) understanding a logical constant in turn requires the ability to apply it correctly in particular cases. It is shown, however, that Implicit Definition cannot account for this ability, even if it draws on introduction rules for the logical constants. In particular, Implicit Definition cannot account for our ability to apply negation in particular cases. Owing to constraints relating to the unique characterisation of logical constants, invoking the notion of rejection does not remedy the situation. Given its failure to explain knowledge of logic, the prospects of Implicit Definition to explain other kinds of a priori knowledge are even worse. (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)

Given the fundamental role that concepts play in theories of cognition, philosophers and cognitive scientists have a common interest in concepts. Nonetheless, there is a great deal of controversy regarding what kinds of things concepts are, how they are structured, and how they are acquired. This chapter offers a detailed high-level overview and critical evaluation of the main theories of concepts and their motivations. Taking into account the various challenges that each theory faces, the chapter also presents a novel approach (...) to concepts that is organized around two ideas. The first is a pluralistic view of differing types of conceptual structure. The second is a model that treats concepts as atomic representations that are linked to various types of conceptual structures. (shrink)

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.

I interpret Mill?s view on logic as the instrumentalist view that logical inferences, complex statements, and logical operators are not necessary for reasoning itself, but are useful only for our remembering and communicating the results of the reasoning. To defend this view, I first show that we can transform all the complex statements in the language of classical first-order logic into what I call material inference rules and reduce logical inferences to inferences which involve only atomic statements and the material (...) inference rules. Then I explain why we introduce logical operators and logical inference rules into a system of the latter kind. In the end I determine what kind of negation is justified from this point of view. (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.

In his landmark article, “Two Dogmas of Empiricism,” W.V.O. Quine pushed analytical philosophy into its post-positivist phase by rejecting two central tenets of logical empiricism. The first dogma was the distinction between analytic and synthetic statements; the second was reductionism, or the belief that to each synthetic sentence there corresponds a set of experiences that will confirm or disconfirm it. But in both “Two Dogmas” and Word and Object, Quine stretches analytical philosophy to its limits. The problem is, ironically, his (...) adherence to two separate dogmas. The first stems from Quine’s empiricism: he insists that there is nothing more to meaning than the empirical method of discovering it. The second has been taken as the defining characteristic of analytical philosophy;2 it is the belief that a philosophical account of thought can only be attained through an account of language – the famed “linguistic turn.” I will argue that a philosophical account of language can only be attained given an account of thought,3 and that the philosophies of Kant and Davidson can help us construct such an account. (shrink)

In , Peter van Inwagen asked a good question. (Asking the right question is often the hardest part.) He asked: what do you have to do to some objects to get them to compose something---to bring into existence some further thing made up of those objects? Glue them together or what?1 Some said that you don’t have to do anything.2 No matter what you do to the objects, they’ll always compose something further, no matter how they are arranged. Thus we (...) learned of the fusion of the coins in our pockets and the Eiffel tower. (shrink)

John Cook Wilson (1849–1915) was Wykeham Professor of Logic at New College, Oxford and the founder of ‘Oxford Realism’, a philosophical movement that flourished at Oxford during the first decades of the 20th century. Although trained as a classicist and a mathematician, his most important contribution was to the theory of knowledge, where he argued that knowledge is factive and not definable in terms of belief, and he criticized ‘hybrid’ and ‘externalist’ accounts. He also argued for direct realism in perception, (...) criticizing both empiricism and idealism, and argued for a moderate nominalist view of universals as being in rebus and only ‘apprehended’ by their particulars. His influence helped swaying Oxford away from idealism and, through figures such as H. A. Prichard, Gilbert Ryle, or J. L. Austin, his ideas were also to some extent at the origin of ‘moral intuitionism’ and ‘ordinary language philosophy’ which defined much of Oxford philosophy until the second half of the twentieth-century. Nevertheless, his name and legacy were all but forgotten for generations after World War II. Still, his views on knowledge are with us today, being in part at work in the writings of philosophers as diverse as John McDowell, Charles Travis, and Timothy Williamson. (shrink)

In this article, the prospects of deflationism about the concept of truth are investigated. A new version of deflationism, called inferential deflationism, is articulated and defended. It is argued that it avoids the pitfalls of earlier deflationist views such as Horwich’s minimalist theory of truth and Field’s version of deflationism.

The distinction between mature and immature science is controversial. Laudan (1977) disavows the idea of immature science while Von Eckardt (1993) claims that cognitive science is just that (an immature science) and modifies Laudan's Research Tradition methodology to argue its rational pursuability . She uses the (Kuhnian) idea of a framework of shared characteristics (FSC) to identify the community of cognitive scientists. Diverse community assumptions pertaining specifically to human cognitive capacities (should) consolidate cognitive research efforts into a coherent and rationally (...) pursuable scientific endeavor. Von Eckardt maintains that the substantive assumptions about the computational and representational character of human cognitive capacities are central to the rational reconstruction of immature cognitive science in two ways. Descriptively, these assumptions are evident in the cognitive science community. Normatively, the assumptions satisfy justificatory conditions on the rational pursuit of this computational, cognitive science research tradition. Normativity is a problem for any naturalistic approach and thus for Von Eckardt's FSC. I critique the FSC strategy and present a modestly naturalistic alternative based on ideas of Goodman, Quine, and more recently, Philip Kitcher. I apply them to the “childhood afflictions” endemic to immaturity, scientific and otherwise. I test my critique of immature computational cognitive science by discussing two phenomena that, in my view, belong properly to any theory of human cognition but are noticeably absent from Von Eckardt's FSC reconstruction. I conclude that understanding the reasons why the FSC view fails can and should contribute to the development of a successful and complete theory of human cognition. (shrink)

Arthur Pap’s work played an important role in the development of the analytic tradition. This role goes beyond the merely historical fact that Pap’s views of dispositional and modal concepts were influential. As a sympathetic critic of logical empiricism, Pap, like Quine, saw a deep tension in logical empiricism at its very best in the work of Carnap. But Pap’s critique of Carnap is quite different from Quine’s, and represents the discovery of limits beyond which empiricism cannot go, where there (...) lies nothing other than intuitive knowledge of logic itself. Pap’s arguments for this intuitive knowledge anticipate Etchemendy’s recent critique of the model-theoretic account of logical consequence. Pap’s work also anticipates prominent developments in the contemporary neo-Fregean philosophy of mathematics championed by Wright and Hale. Finally, Pap’s major philosophical preoccupation, the concepts of necessity and possibility, provides distinctive solutions and perspectives on issues of contemporary concern in the metaphysics of modality. In particular, Pap’s account of modality allows us to see the significance of Kripke’s well-known arguments on necessity and apriority in a new light. (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)

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)

In this article I first sketch what I take to be two Quinean arguments for the continuity of philosophy with science. After examining Wittgenstein’s reasons for not accepting the arguments, I conclude that they are ineffective on Wittgenstein’s assumptions. Next, I ask three related questions: Where do Quine’s and Wittgenstein’s philosophical views essentially diverge? Did Wittgenstein have an argument against the continuity of science with philosophy? Did Wittgenstein believe until the end of his philosophical career that scientific results are philosophically (...) irrelevant? It will be seen that all three questions are related with Wittgenstein’s distinction between conceptual and factual issues. I conclude that the opposition between Quinean philosophy and Wittgensteinian philosophy is genuine. (shrink)

It is widely agreed that the content of a logical concept such as and is constituted by the inferences it enters into. I argue that it is impossible to draw a principled distinction between logical and non-logical concepts, and hence that the content of non-logical concepts can also be constituted by certain of their inferential relations. The traditional problem with such a view has been that, given Quine’s arguments against the analytic-synthetic distinction, there does not seem to be any way (...) to distinguish between those inferences that are content constitutive and those that are not. I propose that such a distinction can be drawn by appealing to a notion of ‘psychosemantic analyticity’. This approach is immune to Quine’s arguments, since ‘psychosemantic analyticity’ is a psychological property, and it is thus an empirical question which inferences have this property. (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)

Michael Friedman maintains that Carnap did not fully appreciate the impact of Gödel's first incompleteness theorem on the prospect for a purely syntactic definition of analyticity that would render arithmetic analytically true. This paper argues against this claim. It also challenges a common presumption on the part of defenders of Carnap, in their diagnosis of the force of Gödel's own critique of Carnap in his Gibbs Lecture. The author is grateful to Michael Friedman for valuable comments. Part of the research (...) towards this paper was carried out while the author was a Visiting Fellow at the Center for Philosophy of Science at the University of Pittsburgh. The paper was presented to the Center's Fellowship Reunion Conference in Athens in 1992. It was committed for publication in the Proceedings of that conference, but those Proceedings never appeared. By the time it became evident that they would never appear, both the hard copy and the source file had been mislaid. The hard copy re-surfaced in 2007. The literature on this topic since 1992 appears to leave some space for the ideas and arguments presented here. Although the paper has been updated in light of the more recent literature, its basic thesis, presented in 1992, remains the same. Only 3 is new, questioning a basic presumption made by more recent commentators in their presentation of Gödel's criticism of Carnap in his Gibbs Lecture. For helpful comments on the current version, the author is indebted to Robert Kraut, Stewart Shapiro, and Adam Podlaskowski. CiteULike Connotea Del.icio.us What's this? (shrink)

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)

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..

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

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)

This paper criticises necessitarianism, the thesis that there is at least one necessary truth; and defends possibilism, the thesis that all propositions are contingent, or that anything is possible. The second section maintains that no good conventionalist account of necessity is available, while the third section criticises model theoretic necessitarianism. The fourth section sketches some recent technical work on nonclassical logic, with the aim of weakening necessitarian intuitions and strengthening possibilist intuitions. The fifth section considers several a prioristic attempts at (...) demonstrating that there is at least one necessary proposition and finds them inadequate. The final section emphasises the epistemic aspect of possibilism. (shrink)

Recent Carnap scholarship suggests that the received view of the Carnap-Quine analyticity debate is importantly mistaken. It has been suggested that Carnap’s analyticity distinction is immune from Quine’s criticisms. This is either because Quine did not understand Carnap’s use of analytic-ity, or because Quine did not appreciate that, rather than dispelling dog-mas, he was merely offering an alternate framework for philosophy. It has also been suggested that ultimately nothing of substance turns on this dis-pute. I am sympathetic to these reassessments (...) and their rejection of the re-ceived view, but argue that they fail to pay proper attention to Carnap’s metaphysical deflationism. For it is there that Quine’s arguments ultimately make contact with Carnap, undermining his metaphysical deflationism. Moreover, the viability of deflationism is directly related to the viability of Carnap’s view of philosophy as methodologically distinct from science. Hence, Quine’s criticisms make contact with the deepest aspects of Carnap’s views. (shrink)

It is traditionally held that our knowledge of necessity is a priori; but the familiar theories of a priori knowledge – platonism and conventionalism – have now been discredited, and replaced by either modal skepticism or a posteriori essentialism. The main thesis of this paper is that Kant's theory of a priori knowledge, when detached from his transcendental idealism, offers a genuine alternative to these unpalatable options. According to Kant's doctrine, all epistemic necessity is grounded directly or indirectly on our (...) capacity for clear and distinct rational intuition. Insight, in turn, depends upon functions of the imagination for creating “mental models” of necessary truths. This doctrine is well exemplified by Kant's account of our knowledge of simple analytic truths. (shrink)