Consider a simple game with n players. Let ψi be the Shapley–Shubik power index for player i. Then 1-ψi measures his powerlessness. We break down this powerlessness into two components – a `quixote index' Q i (which measures how much of a `quixote' i is), and a `follower index' F i (which measures how much of a `follower' he is). Formulae, properties, and axiomatizations for Q and F are given. Examples are also supplied.

Lars Bergström: Quine and the a priori. Many philosophers believe that W.V. Quine says or implies that there is no a priori knowledge. It is argued here, on the contrary, that there is indeed a priori justification and that this claim is quite consistent with Quine's philosophy. Quine's views on analyticity are also explained and a Quinean notion of analyticity is proposed. The question of whether a posteriori justification and epistemological coherentism is justified a priori is also discussed. A priori (...) and a posteriori justification are not mutually exclusive. (shrink)

Glymour and Quine propose two different formal criteria for theoretical equivalence. In this paper we examine the relationships between these criteria.

Many mathematical objects arise from equivalence classes and invite implementation as those classes. Set-existence principles that would enable this are incompatible with ZFC's unrestricted aussonderung but there are set theories which admit more instances than does ZF. NF provides equivalence classes for stratified relations only. Church's construction provides equivalence classes for “low” sets, and thus, for example, a set of all ordinals. However, that set has an ordinal in turn which is not a member of the set constructed; so no (...) set of all ordinals is obtained thereby. This “recurrence problem” is discussed. (shrink)

Many mathematical objects arise from equivalence classes and invite implementation as those classes. Set-existence principles that would enable this are incompatible with ZFC's unrestricted _aussonderung_ but there are set theories which admit more instances than does ZF. NF provides equivalence classes for stratified relations only. Church's construction provides equivalence classes for "low" sets, and thus, for example, a set of all ordinals. However, that set has an ordinal in turn which is not a member of the set constructed; so no (...) set of _all_ ordinals is obtained thereby. This "recurrence problem" is discussed. (shrink)

Was kann Naturalismus in der gegenwärtigen Erkenntnistheorie heißen? Wie können wir antinaturalistische Argumente in der Erkenntnistheorie aus naturalistischer Sicht bewerten und klassifizieren? Hat der radikale Naturalist Quine etwa Recht mit seiner Provokation, dass Erkenntnistheorie angewandte Naturwissenschaft ist? "Die Studie enthält viele großartige Bausteine. Sukopp bietet ein Panorama von beeindruckender Breite und Tiefe. Ihre wichtigste Leistung liegt darin, dass sie es nicht bei Darstellungen und Gegenüberstellungen bewenden lässt, sondern sich durchgehend auf Argumente einlässt, auf fremde und eigene. Darin sehe ich die (...) eigentliche philosophische Leistung. Wer sich nicht nur über ein Spektrum von Meinungen informieren möchte, sondern über Argumente Pro und Kontra und über ihre Haltbarkeit, der wird hier nicht nur fündig: Er wird reich belohnt." Gerhard Vollmer. (shrink)

Quine often argued for a simple, untyped system of logic rather than the typed systems that were championed by Russell and Carnap, among others. He claimed that nothing important would be lost by eliminating sorts, and the result would be additional simplicity and elegance. In support of this claim, Quine conjectured that every many-sorted theory is equivalent to a single-sorted theory. We make this conjecture precise, and prove that it is true, at least according to one reasonable notion of theoretical (...) equivalence. Our clarification of Quine’s conjecture, however, exposes the shortcomings of his argument against many-sorted logic. (shrink)

This paper is about the semantic analysis of referentially opaque verbs like seek and owe that give rise to nonspecific readings. It is argued that Montague's categorization (based on earlier work by Quine) of opaque verbs as properties of quantifiers runs into two serious difficulties: the first problem is that it does not work with opaque verbs like resemble that resist any lexical decomposition of the seek ap try to find kind; the second one is that it wrongly predicts de (...) dicto (i.e. narrow scope) readings due to quantified noun phrases in the object positions of such verbs. It is shown that both difficulties can be overcome by an analysis of opaque verbs as operating on properties. This is a strongly modified version of a paper entitled lsquoDo We Bear Attitudes towards Quantifiers?rsquo that I have presented at conferences in Gosen (Gesellschaft für Sprachwissenschaft), Ithaca (SALT I), and Konstanz (Lexikon). I owe a special debt to Hans Kamp and Arnim von Stechow for shaping my views on the subject of this paper during the past ten years or so. Comments from and discussions with the following friends and colleagues have also led to considerable improvements: Heinrich Beck, Steve Berman, David Dowty, Veerle van Geenhoven, Fritz Hamm, Irene Heim, Wolfgang Klein, Angelika Kratzer, Michael Morreau, Barbara Partee, Mats Rooth, Roger Schwarzschild, Wolfgang Sternefeld, Emil Weydert, Henk Zeevat, and three referees. (shrink)

The author's concept of incommensurability is explicated by elaborating the claim that some terms essential to the formulation of older theories defy translation into the language of more recent ones. Defense of this claim rests on the distinction between interpreting a theory in a later language and translating the theory into it. The former is both possible and essential, the latter neither. The interpretation/translation distinction is then applied to Kitcher's critique of incommensurability and Quine's conception of a translation manual, both (...) of which take reference-preservation as the sole semantic criterion of translational adequacy. The paper concludes by enquiring about the additional criteria a successful translation must satisfy. (shrink)

In Writing the Book of the World, Ted Sider argues that David Lewis’s distinction between those predicates which are ‘perfectly natural’ and those which are not can be extended so that it applies to words of all semantic types. Just as there are perfectly natural predicates, there may be perfectly natural connectives, operators, singular terms and so on. According to Sider, one of our goals as metaphysicians should be to identify the perfectly natural words. Sider claims that there is a (...) perfectly natural first-order quantifier. I argue that this claim is not justified. Quine has shown that we can dispense with first-order quantifiers, by using a family of ‘predicate functors’ instead. I argue that we have no reason to think that it is the first-order quantifiers, rather than Quine’s predicate functors, which are perfectly natural. The discussion of quantification is used to provide some motivation for a general scepticism about Sider’s project. Shamik Dasgupta’s ‘generalism’ and Jason Turner’s critique of ‘ontological nihilism’ are also discussed. (shrink)

This book is both shorter and more comprehensive than any of Quine's other six since Word and Object. But let this description raise no fears that it must stretch itself too thin, at least for veteran students of his major philosophical project, “to examine the evidential support of science”. For with less detail in focus, the structural elements of that project stand revealed as never before. Improvements in presentation, as Quine sees them, help here. And veterans can learn of certain (...) changes, notable if not huge, in various Quinean views. For besides summing up and explaining, Pursuit of Truth moves on. (shrink)

Quine takes physics to be the ultimate arbiter of what there is. [AL 1/29/2004].

Obwohl W. V. Quine seine ontologische Position als realistische bezeichnet hat, scheinen viele seiner Bemerkungen und Resultate, wie die These der Ontologischen Relativität, einen tiefgreifenden Anti-Realismus zu stützen. Es ist der Naturalismus, so Quine, der die sich scheinbar auftuenden Widersprüche aufhebt. Der Aufsatz untersucht diese These, und diskutiert den Realismusbegriff Quines sowie die gegenseitigen Abhängigkeiten von Naturalismus und Realismus. Ich argumentiere, dass die strikt „immanenten" Argumente, die Quine für den Realismus vorbringt, nicht stichhaltig sind. Ein Ergebnis ist, dass im Naturalismus (...) realistische Annahmen vorausgesetzt werden, aber diese Annahmen kaum gerechtfertigt werden können. (shrink)

This dictionary is the ideal one volume philosophy reference source for general readers, students, and academics. It covers all the key concepts, doctrines and schools of thought from both the Anglo-American and Continental philosophical traditions. A unique feature is the powerful series of philosophical self-portraits by leading figures, including Sir Isaiah Berlin, Alasdair MacIntyre, W. V. O. Quine, Richard Rorty and John Searle.

The term ‘continuous’ in real analysis wasn’t given an adequate formal definition until 1817. However, important theorems about continuity were proven long before that. How was this possible? In this paper, I introduce and refine a proposed answer to this question, derived from the work of Frank Jackson, David Lewis and other proponents of the ‘Canberra plan’. In brief, the proposal is that before 1817 the meaning of the term ‘continuous’ was determined by a number of ‘platitudes’ which had some (...) special epistemic status. (shrink)

Quine’s classical classic interpretation succinctly characterized characterizes Carnap’s Aufbau as an attempt “to account for the external world as a logical construct of sense-data....” Consequently, “Russell” was characterized as the most important influence on the Aufbau. Those times have passed. Formulating a comprehensive and balanced interpretation of the Aufbau has turned out to be a difficult task and one that must take into account several disjointed sources. My thesis is that the core of the Aufbau rested on a problem that (...) had haunted German philosophy since the end of the 19th century. In terms fashionable at the time, this problem may be expressed as the polarity between Leben and Geist that characterized German philosophy during the years of the Weimar Republic. At that time, many philosophers, including Cassirer, Rickert and Vaihinger, were engaged in overcoming this polarity. As I will show, Carnap’s Aufbau joined the ranks of these projects. This suggests that Lebensphilosophie and Rickert’s System der Philosophie exerted a strong influence on Carnap’s projects, an influence that is particularly conspicuous in his unpublished manuscript Vom Chaos zur Wirklichkeit. Carnap himself asserted that this manuscript could be considered “the germ of the constitution theory” of the Aufbau. Reading Chaos also reveals another strong but neglected influence on the Aufbau, namely a specific version of neutral monism put forward by the philosopher and psychologist Theodor Ziehen before World War I. Ziehen’s work contributed much to the invention of the constitutional method of quasi-analysis. -/-. (shrink)

Engaging, accessible, and up-to-date, this work introduces the central debates of English language philosophy since 1945. It begins with a brief description of philosophical debate during the first half of the twentieth century, offering fascinating discussions of writings by Wittgenstein, Ryle, Austin, Quine, and Sellars. It then describes several ensuing philosophical debates that have shaped philosophical discussions since the 1960s, addressing the Davidson/Dummett debate on language; the Kripke/Lewis debate on possible worlds; the Popper/Kuhn debate on the justification in epistemology; the (...) debates on materialism, functionalism, and dual-aspect theories of mind; and recent work in moral psychology, metaethics, and normative ethics. It also includes a critical discussion of Rorty's metaphilosophical skepticism and pays extensive attention to writings of Strawson, Putnam, Evans, McDowell, Williams, Nagel, and many other contemporary philosophers. (shrink)

We consider the quantifier hierarchy of Takahashi [1972] and show how it gives rise to reflection theorems for some large cardinals in ZF, a new natural subtheory of Zermelo's set theory, a potentially useful new reduction of the consistency problem for Quine's NF, and a sharpening of another reduction of this problem due to Boffa.

https://revistes.uab.cat/enrahonar/article/view/v27-mccarthy.

This book is a contribution to the flourishing field of formal and philosophical work on truth and the semantic paradoxes. Our aim is to present several theories of truth, to investigate some of their model-theoretic, recursion-theoretic and proof-theoretic aspects, and to evaluate their philosophical significance. In Part I we first outline some motivations for studying formal theories of truth, fix some terminology, provide some background on Tarski’s and Kripke’s theories of truth, and then discuss the prospects of classical type-free truth. (...) In Chapter 4 we discuss some minimal adequacy conditions on a satisfactory theory of truth based on the function that the truth predicate is intended to fulfil on the deflationist account. We cast doubt on the adequacy of some non-classical theories of truth and argue in favor of classical theories of truth. Part II is devoted to grounded truth. In chapter 5 we introduce a game-theoretic semantics for Kripke’s theory of truth. Strategies in these games can be interpreted as reference-graphs of the sentences in question. Using that framework, we give a graph-theoretic analysis of the Kripke-paradoxical sentences. In chapter 6 we provide simultaneous axiomatizations of groundedness and truth, and analyze the proof-theoretic strength of the resulting theories. These range from conservative extensions of Peano arithmetic to theories that have the full strength of the impredicative system ID1. Part III investigates the relationship between truth and set-theoretic comprehen- sion. In chapter 7 we canonically associate extensions of the truth predicate with Henkin-models of second-order arithmetic. This relationship will be employed to determine the recursion-theoretic complexity of several theories of grounded truth and to show the consistency of the latter with principles of generalized induction. In chapter 8 it is shown that the sets definable over the standard model of the Tarskian hierarchy are exactly the hyperarithmetical sets. Finally, we try to apply a certain solution to the set-theoretic paradoxes to the case of truth, namely Quine’s idea of stratification. This will yield classical disquotational theories that interpret full second-order arithmetic without set parameters, Z2- . We also indicate a method to recover the parameters. An appendix provides some background on ordinal notations, recursion theory and graph theory. (shrink)

T-biconditionals have often been regarded as insufficient as axioms for truth. This verdict is based on Tarski’s observation that the typed T-sentences suffer from deductive weakness. As indicated by McGee, the situation might change radically if we consider type-free disquotational theories of truth. However, finding a well-motivated set of untyped T-biconditionals that is consistent and recursively enumerable has proven to be very difficult. Moreover, some authors ) have argued that any solution to the semantic paradoxes necessarily involves ‘inflationary’ means, thus (...) spelling doom to deflationist and minimalist truth theories in particular. The situation is indeed worrisome as formal theories of minimalist truth are missing so far. This makes it very hard to properly evaluate the tenets of minimalism. In the present article, we will show how to find safe instances of the T-schema just by relying on syntactic features of the sentences of our language—in particular, we will explore Quine’s idea of stratification. Based on that, we will introduce some disquotational truth theories that are deductively very strong. (shrink)

Idealist Heresies in Philosophy of Science: Cassirer, Carnap, and Kuhn. As common wisdom has it, philosophy of science in the analytic tradition and idealist philosophy are incompatible. Usually, not much effort is spent for explaining what is to be understood by idealism. Rather, it is taken for granted that idealism is an obsolete and unscientific philosophical account. In this paper it is argued that this thesis needs some qualification. Taking Carnap and Kuhn as paradigmatic examples of positivist and postpositivist philosophies (...) of science it is shown that these accounts share important features with Cassirer's idealist philosophy of science developed in the first half of this century. As it turns out, often Cassirer is more modern than those classical philosophers of (post)posivitist philosophy of science. For instance, Quine's criticism against Carnap's empiricist philosophy of science launched in Two Dogmas of Empiricism is anticipated by Cassirer for several decades. (shrink)

Carnap and Twentieth-Century Thought: Explication as En lighten ment is the first book in the English language that seeks to place Carnap's philosophy in a broad cultural, political and intellectual context. According to the author, Carnap synthesized many different cur rents of thought and thereby arrived at a novel philosophical perspective that remains strik ing ly relevant today. Whether the reader agrees with Carus's bold theses on Carnap's place in the landscape of twentieth-century philosophy, and his even bolder claims concerning (...) the role that philosophy in Carnap's style should play in the thought of our century, does not matter so much as the excellent opportunity Carus's book offers to thoroughly rethink one's ideas about Carnap's philosophy. One reason why Carnap and Twentieth-Century Thought might change one's ideas is that Carus has unearthed much hitherto unknown material from the archives that sheds new light on Carnap's early life and thought. Indeed, the many archival findings presented in CTT for the first time suffice to make the book re warding reading for philosophers and historians of philosophy alike. CTT exhibits a high standard of historical scholarship, and the book itself is a beautiful example of high-quality academic publishing. Up to now, Carnap has remained a controversial figure on the philo sophical scene. On the one hand, he has a solid reputation as a leading figure of logical positivism . According to conventional wisdom, this was a school of thought characterized by its formal and technical philosophy, as well as being rather dismissive of other ways of doing philosophy, dogmatically sticking to its own theses. As a typical example of this arrogant logical empiricist attitude, one usually refers to Carnap's notorious Overcoming Metaphysics by Logical Analysis of Language , written when the Vienna Circle's Logical Empiricism had entered its most radical phase. Self-proclaimed postpositivist philosophers of science dismissed logical positivism, in particular Carnap's, as the dogmatic and orthodox “received view.” The tendency to portray logical empiricism as an obsolete doctrine centering around certain “dogmas” started with Quine's Two Dogmas of Empiricism and reached its somewhat ridiculous culmination in the early 1980s when allegedly “six or seven dogmas” were discovered . Thereby an allegedly un brid geable gap between classical “dogmatic” logical em pi ricism and its modern “enlightened” suc ces sors was construed. (shrink)

Much discussion has been accorded in recent years to what Willard Quine has dubbed “two dogmas of empiricism”.

In general little thought is given to the general question of how to implement mathematical objects in set theory. It is clear that—at various times in the past—people have gone to considerable lengths to devise implementations with nice properties. There is a litera- ture on the evolution of the Wiener-Kuratowski ordered pair, and a discussion by Quine of the merits of an ordered-pair implemen- tation that makes every set an ordered pair. The implementation of ordinals as Von Neumann ordinals is (...) so attractive that it is uni- versally used in all set theories which have enough replacement to prove Mostowski’s collapse lemma. I have frequently complained in the past about the widespread habit of referring to implementations of pairs (ordinals etc) as definitions of pairs (etc). My point here is a different one: generally little attention has been paid to the question of what makes an implementation a good implementation. In most cases of interest the merits of the candidates are uncontroversial. What I want to examine here is an example where there are com- peting implementations for ordered pairs, and—although it is clear to the cognoscenti and also (with a bit of arm-waving) plausible to the logician in the street that some of the impossible candidates are impossible, nobody has ever given a satisfactory explanation of why this is so. (shrink)

The concept of similarity has had a rather mixed reputation in philosophy and the sciences. On the one hand, philosophers such as Goodman and Quine emphasized the „logically repugnant“ and „insidious“ character of the concept of similarity that allegedly renders it inaccessible for a proper logical analysis. On the other hand, a philosopher such as Carnap assigned a central role to similarity in his constitutional theory. Moreover, the importance and perhaps even indispensibility of the concept of similarity for many empirical (...) sciences can hardly be denied. The aim of this paper is to show that Quine’s and Goodman’s harsh verdicts about this notion are mistaken. The concept of similarity is susceptible to a precise logico-mathematical analysis through which its place in the conceptual landscape of modern mathematical theories such as order theory, topology, and graph theory becomes visible. Thereby it can be shown that a quasi-analysis of a similarity structure S can be conceived of as a sheaf (etale space) over S. (shrink)

De re modality is eliminable if there is an effective translation of all wffs into non-de re equivalents. We cannot have logical equivalence unless 'logic' has odd theses, but we can have material equivalence by banning all essences, something the nonde re facts let us do, or by giving everything such humdrum essences as self-identity and banning the more interesting ones. Eliminability cannot be got from weaker assumptions, nor independent ones of even modest generality. The net philosophical import is that, (...) quite apart from the merits of essentialism, de re language has scant utility. (shrink)

It is shown that, according to NF, many of the assertions of ordinal arithmetic involving the T-function which is peculiar to NF turn out to be equivalent to the truth-in-certain-permutation-models of assertions which have perfectly sensible ZF-style meanings, such as: the existence of wellfounded sets of great size or rank, or the nonexistence of small counterexamples to the wellfoundedness of ∈. Everything here holds also for NFU if the permutations are taken to fix all urelemente.

Few disputes have dominated the discourse of analytic philosophy like the one between Rudolf Carnap and Willard Van Orman Quine. Centered originally on the issue of intensionality in the philosophy of logic and language — ultimately the import of the distinction between analytic and synthetic statements — their conflict came to concern the nature of post-foundational epistemology and its relation to ontology. Are we to follow Carnap and explicate the conditions of intersubjectively meaningful speech in a purely formal inquiry that, (...) taken by itself, refrains from underwriting any one such framework? Or are we to follow Quine and naturalize epistemology as an empirical inquiry into the conditions of theory acceptance and thus, perforce, acquiesce in ontological commitments? Perhaps not the least pressing question is whether there is any “cognitive” conflict at all between Carnapean reconstructionism and Quinean naturalism. (shrink)

Contemporary developments in economicmethodology have produced a vibrant agenda ofcompeting positions. These include, amongothers, constructivism, critical realism andrhetoric, with each contributing to the Realistvs. Pragmatism debate in the philosophies of thesocial sciences. A major development in theneo-pragmatist contribution to economicmethodology has been Quine's pragmatic assaulton the dogmas of empiricism, which are nowclearly acknowledged within contemporaryeconomic methodology. This assault isencapsulated in the celebrated Duhem-Quinethesis, which according to a number ofcontemporary leading philosophers of economics,poses a particularly serious methodologicalproblem for economics. This problem, (...) asreflected in Hausman's analysis, consists ofthe inability of economics to learn fromexperience, thereby subverting the capacity totest economic theories. In this paper wedispute this position. Our argument is basedon a combination of Quine's holism with VanFraassen's constructive empiricism, especiallythe latter's analysis of empirical adequacy andhis pragmatic approach to explanation. Theresulting reorientation of economic methodologyrestores the capacity of economics to learnfrom experience and reinstates the imperativeof developing alternatives to orthodoxtheorizing in economics. (shrink)

A HISTORY OF WESTERN PHILOSOPHY examines the nature of philosophical enterprise and philosophy's role in Western culture. Jones and Fogelin weave key passages from classic philosophy works into their comments and criticisms, giving A HISTORY OF WESTERN PHILOSOPHY the combined advantages of a source book and textbook. The text concentrates on major figures in each historical period, combining exposition with direct quotations from the philosophers themselves. The text places philosophers in appropriate cultural context and shows how their theories reflect the (...) concerns of their times. (shrink)

This paper resolves the problems raised by Israel Scheffler and Noam Chomsky against Quine’s criterion of ontological commitment. I call Scheffler’s and Chomsky’s problems as (1) the problem of inexorable ontological commitments and (2) the problem of false existential inferences. I extend their problems to a third one, which is called as the problem of extended inexorable ontological commitments to rival entities. In order to present the third problem, two ontological disputes are considered: Russell–Meinong dispute from the context of the (...) referential theory of meaning and David Lewis–Meinong dispute from the context of modal metaphysics. In order to work out a resolution to these three problems, I emphasize the distinction between meta-ontology/meta-theory and object theory. Then, it is explained that there is a functional difference between Quine’s criterion of ontological commitments (meta-theory) and the object theories to which this criterion is applied. Here, considering the functional difference, I introduce different kinds of commitments: direct commitments and indirect commitments. Using Strawson’s views on the notion of presupposition, the distinction between direct commitments and indirect commitments is characterized further. Employing this distinction, I resolve the problem of inexorable ontological commitment to the entities, the problem of false existential inferences and the problems of extended inexorable ontological commitment to the rival entities. (shrink)