The historical consensus is that logical evidence is special. Whereas empirical evidence is used to support theories within both the natural and social sciences, logic answers solely to a priori evidence. Further, unlike other areas of research that rely upon a priori evidence, such as mathematics, logical evidence is basic. While we can assume the validity of certain inferences in order to establish truths within mathematics and test scientifi c theories, logicians cannot use results from mathematics or the empirical sciences (...) without seemingly begging the question. Appeals to rational intuition and analyticity in order to account for logical knowledge are symptomatic of these commitments to the apriority and basicness of logical evidence. This chapter argues that these historically prevalent accounts of logical evidence are mistaken, and that if we take logical practice seriously we fi nd that logical evidence is rather unexceptional, sharing many similarities to the types of evidence appealed to within other research areas. (shrink)

Peter van Inwagen has long claimed that he doesn’t understand substitutional quantification and that the notion is, in fact, meaningless. Van Inwagen identifies the source of his bewilderment as an inability to understand the proposition expressed by a simple sentence like “,” where “$\Sigma$” is the existential quantifier understood substitutionally. I should think that the proposition expressed by this sentence is the same as that expressed by “.” So what’s the problem? The problem, I suggest, is that van Inwagen takes (...) traditional existential quantification to be ontologically committing and substitutional quantification to be ontologically noncommitting, which requires that the two quantifiers have different meanings—but no different meaning for the substitutional quantifier is forthcoming. What van Inwagen fails to appreciate is that substitutional quantification is directed at a criterion of ontological commitment, namely, W. V. O. Quine’s, which is quite different from van Inwagen’s criterion. Substitutional quantification successfully avoids the commitments Quine’s criterion would engender but has the same commitments as existential quantification given van Inwagen’s criterion. The question, then, is whether the existential quantifier is ontologically committing, as van Inwagen believes. The answer to that question will depend on whether the ordinary language “there is/are,” which is codified by the existential quantifier, is ontologically committing. There are good reasons to doubt that it is. (shrink)

Quine introduced a famous distinction between the ‘notional’ sense and the ‘relational’ sense of certain attitude verbs. The distinction is both intuitive and sound but is often conflated with another distinction Quine draws between ‘dyadic’ and ‘triadic’ (or higher degree) attitudes. I argue that this conflation is largely responsible for the mistaken view that Quine’s account of attitudes is undermined by the problem of the ‘exportation’ of singular terms within attitude contexts. Quine’s system is also supposed to suffer from the (...) problem of ‘suspended judgement with continued belief’. I argue that this criticism fails to take account of a crucial presupposition of Quine’s about the connection between thought and language. The aim of the paper is to defend the spirit of Quine’s account of attitudes by offering solutions to these two problems. (shrink)

While operators for logical necessity and possibility represent "internal" conditions of propositions (or of their corresponding states of affairs), These conditions will be "formal", As is required by logical atomism, And not "material" in content if from the (pseudo) semantical point of view the modal operators range over "all the possible worlds" of a logical space rather than over arbitrary non-Empty sets of worlds (as is usually done in modal logic). Some of the implications of this requirement are noted and (...) though several variants of realist logical atomism are distinguished and discussed, The theory of logical form developed is nominalist. Many of nominalism's difficulties and inadequacies become transparent in the context of logical atomism and are so noted. (shrink)

My aim has been to adapt Quine's criterion of the ontological commitment of theories couched in standard quantificational idiom to a much broader class of theories by focusing on the set-theoretic structure of the models of those theories. For standard first-order theories, the two criteria coincide on simple entities. Divergences appear as they are applied to higher-order theories and as composite entities are taken into account. In support of the extended criterion, I appeal to its fruits in treating the various (...) examples considered above and to the healthy intuitions of the non-noneists among us. Don't O(m) and E(m) comprise just the things we should have though existed according to a particular interpretation m of a language or a theory? Whatever the answer (and it will hardly be unanimous), I hope to have pointed the way towards a recognition of ontology as a worthwhile branch of modern theory. (shrink)

It is sometimes said that there are two, competing versions of W. V. O. Quine’s unrelenting empiricism, perhaps divided according to temporal periods of his career. According to one, logic is exempt from, or lies outside the scope of, the attack on the analytic-synthetic distinction. This logic-friendly Quine holds that logical truths and, presumably, logical inferences are analytic in the traditional sense. Logical truths are knowable a priori, and, importantly, they are incorrigible, and so immune from revision. The other, radical (...) reading of Quine does not exempt logic from the attack on analyticity and a priority. Logical truths and inferences are themselves part of the web of belief, and the same global methodology applies to logic as to any other part of the web, such as theoretical chemistry or ordinary beliefs about ordinary objects. Everything, including logic, is up for grabs in our struggle for holistic confirmation. The purpose of this paper is to examine the law of non-contradiction, and the concomitant principle of ex falso quodlibet, from the perspective of the principles advocated by the radical Quine. I show that he has no compelling reason to accept either of these. To put it bluntly, neither the law of non-contradiction nor the rule of ex falso quodlibet is empirically confirmed, and these principles fare poorly on the various criteria for theory acceptance on the methodology of the radical Quine. So the radical Quine is led rather quickly and rather directly into something in the neighborhood of Graham Priest’s dialetheism. (shrink)

W. V. Quine borrows the principle of charity from Neil Wilson, but modifies and enriches its content to fit into his naturalistic philosophy and epistemology. While Wilson ties this principle to the notion of truth, Quine’s attempts in finding a ground for it lead him to the concept of common rationality shared by all human beings, which is ultimately what makes communication, as the basis of our social life, possible. According to the paper's argument, three other expressions, that is, the (...) principles of psychological plausibility, empathy, and projection, which Quine uses in the contexts akin to that of the principle of charity, are not but different terms for one basic idea. Given the ties between the principle of charity and rationality, Quine's wide use of the principle and its affiliated notions proves that rationality is a central, often neglected, idea in his philosophy. The paper begins with an introductory account of the brief explanation Wilson gives of the principle of charity. Then it spells out four concepts or principles of charity, psychological plausibility, empathy, and projection showing how these four notions or principles basically express the same thing. Examining the relation of these last three principles with the principle of charity and rationality, the paper's main objective is to highlight the centrality of common rationality in Quine's philosophy, despite the common view that Quine is purely engaged with semantical aspects of Language. (shrink)

This book is an exploration and defense of the coherence of classical theism’s doctrine of divine aseity in the face of the challenge posed by Platonism with respect to abstract objects. A synoptic work in analytic philosophy of religion, the book engages discussions in philosophy of mathematics, philosophy of language, metaphysics, and metaontology. It addresses absolute creationism, non-Platonic realism, fictionalism, neutralism, and alternative logics and semantics, among other topics. The book offers a helpful taxonomy of the wide range of options (...) available to the classical theist for dealing with the challenge of Platonism. It probes in detail the diverse views on the reality of abstract objects and their compatibility with classical theism. It contains a most thorough discussion, rooted in careful exegesis, of the biblical and patristic basis of the doctrine of divine aseity. Finally, it challenges the influential Quinean metaontological theses concerning the way in which we make ontological commitments. (shrink)

En este trabajo examino el argumento de McFetridge a favor de la necesidad de la creencia en la necesidad. El argumento pretende establecer un dilema fatal para el “nihilista” modal, aquel que no cree que al menos alguna proposición es necesaria. Mi objetivo principal es mostrar que el dilema que presenta el argumento de McFetridge no es sólido, pues tiene una limitación muy importante con respecto al segundo de sus cuernos, el cual es el más interesante. El segundo cuerno del (...) dilema plantea una especie de argumento trascendental: es necesario creer en la necesidad si es que vamos a ser capaces de razonar confiablemente bajo suposiciones contrafácticas. Sin embargo, este argumento asume que la suposición contrafáctica es una actividad esencial en nuestras vidas, lo cual señala, sostengo, un punto central alrededor del cual el nihilista modal intentaría reafirmar su posición. Así, pretendo mostrar que el segundo cuerno del dilema de McFetridge revela que el quid de la discusión entre creyentes y nihilistas modales debe moverse propiamente de la cuestión del rol de la creencia en la necesidad a la cuestión del rol de la suposición contrafáctica. (shrink)

Quine ha promovido una forma de escepticismo sobre los juicios de modalidad de re que cuestiona su función y sugiere, en consecuencia, su eliminación. Wiggins, por su parte, ha argumentado que nuestros juicios ordinarios de individuación de objetos nos comprometen con un cierto esencialismo, con la aceptación de ciertos juicios de modalidad de re. Si Wiggins tuviera razón, tendríamos una respuesta potencial al escepticismo quineano de la función. Sin embargo, en este trabajo argumento que la propuesta de Wiggins es incapaz (...) de proporcionar una respuesta satisfactoria al escepticismo quineano, pues presupone aquello mismo que está en cuestión: los compromisos esencialistas se siguen sólo de la adopción previa de otros juicios de modalidad de re cuya función está precisamente en entredicho. Asimismo, argumento que esta misma conclusión puede extraerse de la consideración de algunas otras teorías contemporáneas de la individuación, similares a la de Wiggins. (shrink)

ABSTRACT: This paper defends the doctrine of Unrestricted Exportation (UE) against Saul Kripke’s attack on it. According to UE, the exportation step from the de dicto belief report, S believes that α is F, together with the premise that α exists, to the de re report, S believes of α that it is F, is valid. By presenting an alleged counterexample, Kripke tries to show that UE has much more implausible consequences than its advocates would accept. By going through the (...) details of Kripke’s scenario, I argue that UE does not commit us to the consequences Kripke associates with it. (shrink)

It is argued that a number of important, and seemingly disparate, types of representation are species of a single relation, here called structural representation, that can be described in detail and studied in a way that is of considerable philosophical interest. A structural representation depends on the existence of a common structure between a representation and that which it represents, and it is important because it allows us to reason directly about the representation in order to draw conclusions about the (...) phenomenon that it depicts. The present goal is to give a general and precise account of structural representation, then to use that account to illuminate several problems of current philosophical interest — including some that do not initially seem to involve representation at all. In particular, it is argued that ontological reductions (like that of the natural numbers to sets), compositional accounts of semantics, several important sorts of mental representation, and (perhaps) possible worlds semantics for intensional logics are all species of structural representation and are fruitfully studied in the framework developed here. (shrink)

The key argument of Hilary Putnam for conceptual relativism, his so-called mereological argument, is critically evaluated. It is argued that Putnam’s reasoning is based on confusion between languages and theories.

Quine’s thesis of the indeterminacy of translation has puzzled the philosophical community for several decades. It is unquestionably among the best known and most disputed theses in contemporary philosophy. Quine’s classical argument for the indeterminacy thesis, in his seminal work Word and Object, has even been described by Putnam as “what may well be the most fascinating and the most discussed philosophical argument since Kant’s Transcendental Deduction of the Categories” (Putnam, 1975a: p. 159).

In the first exposition of the doctrine of indeterminacy of translation, Quine asserted that the individuation and translation of truth-functional sentential connectives like 'and', 'or', 'not' are not indeterminate. He changed his mind later on, conjecturing that some sentential connectives might be interpreted in different non-equivalent ways. This issue has not been debated much by Quine, or in the subsequent literature, it is, as it were, an unsolved problem, not well understood. For the sake of the argument, I will adopt (...) Quine's background assumption that all the semantic features of a language can be reduced to the speakers' dispositions toward assent and dissent, as far as only the truth-conditional core of the meaning of sentences is concerned. I will put forward an argument to the effect that the speech dispositions of most, if not all, English (French, Italian, etc.) speakers constrain a unique translation of their connectives. This argument crucially relies on an empirical conjecture concerning the behaviour of these operators. (shrink)

The claims of the epistemological 'anarchists' have their roots in the orthodox tradition as well as in the Popperian. In particular they follow from the work of Quine. Meaning variance and incommensurability follow directly from the holistic conception of meaning in his 'network' view. Quine's efforts to evade this conclusion fail. His attempt to develop a theory-neutral notion of observation sentence is shown (1) to be inconsistent with his previous claims since it involves the tacit acceptance of the 'dogma of (...) reductionism', (2) to involve the acceptance of a questionable 'third dogma', i.e. the stimulus-response theory of behaviorist psychology, and (3) ultimately to miss the point of the anarchists. In Quinian terms, in order for observation sentences to perform the function of intertheoretical 'arbiters', what is needed is 'similarity of assent', which is not a meaningful notion on an internetwork basis. (shrink)

Quine claims that holism (i.e., the Quine-Duhem thesis) prevents us from defining synonymy and analyticity (section 2). In Word and Object, he dismisses a notion of synonymy which works well even if holism is true. The notion goes back to a proposal from Grice and Strawson and runs thus: R and S are synonymous iff for all sentences T we have that the logical conjunction of R and T is stimulus-synonymous to that of S and T. Whereas Grice and Strawson (...) did not attempt to defend this definition, I try to show that it indeed gives us a satisfactory account of synonymy. Contrary to Quine, the notion is tighter than stimulus-synonymy – particularly when applied to sentences with less than critical semantic mass (section 3). Now according to Quine, analyticity could be defined in terms of synonymy, if synonymy were to make sense: A sentence is analytic iff synonymous to self-conditionals. This leads us to the following notion of analyticity: S is analytic iff, for all sentences T, the logical conjunction of S and T is stimulus-synonymous to T; an analytic sentence does not change the semantic mass of any theory to which it may be conjoined (section 4). This notion is tighter than Quine's stimulus-analyticity; unlike stimulus-analyticity, it does not apply to those sentences from the very center of our theories which can be assented to come what may, even though they are not synthetic in the intuitive sense (section 5). Conclusion: We can have well-defined notions of synonymy and analyticity even if we embrace Quine's holism, naturalism, behaviorism, and radical translation. Quine's meaning skepticism is to be repudiated on Quinean grounds. (shrink)

We investigate the formal theory of binary quantifiers, that is, quantifiers that take seriously the surface structure of natural language quantifier phrases. We show how to develop a natural deduction system for logics of this sort and demonstrate soundness and completeness results.

I argue that there are good reasons to assume that Quine’s theory of reference and ontology is incompatible with reductive statements – such as ‘Heat is molecular motion’ or ‘Rabbits are conglomerations of cells’. Apparently, reductive statements imply certain intertheoretical identities, yet Quine’s theory of reference and ontology seems incompatible with intertheoretical identities. I argued that treating, for the sake of reconciliation, reductive statements along the lines of Quine’s theory of an ontological reduction (which does not imply intertheoretical identity) fails. (...) Then I discussed two alternative strategies on behalf of Quine to handle reductive statements: the Holistic Strategy (which appeals to Quine’s notion of an all-encompassing background theory) and the Individuative Strategy (which draws on Quine’s notion of an apparatus of individuation). I argue that the Individuative Strategy promises to succeed. However, the Individuative Strategy obliges to revising Quine’s theory of an ontological reduction – a revision that, as I argue, can and should be implemented. (shrink)

Davidson has famously argued that conceptual relativism, which, for him, is based on the content-scheme dualism, or the “third dogma” of empiricism, is either unintelligible or philosophically uninteresting and has accused Quine of holding onto such a dogma. For Davidson, there can be found no intelligible ground for the claim that there may exist untranslatable languages: all languages, if they are languages, are in principle inter-translatable and uttered sentences, if identifiable as utterances, are interpretable. Davidson has also endorsed the Quinean (...) indeterminacy-underdetermination distinction. The early Quine, as well as the later Quine, believe that the indeterminacy of translation casts serious doubt on the existence of facts of the matter about correct translation between languages. In this paper, I will argue that Quine cannot be the target of Davidson’s argument against conceptual relativism, and that Davidson’s argument is in conflict, among others, with his endorsement of the Quinean indeterminacy-underdetermination distinction. I will show how this conflict results in a radical departure from Quine with respect to the matter of factualism about fine-grained meanings. (shrink)

As in the case of great books in all branches of philosophy, Pierre Duhem's Le Théorie Physique , first published in 1906, can be looked to as the progenitor of many different and even conflicting currents in subsequent philosophy of science. On a superficial reading, it seems to be an expression of what later came to be called deductivist and instrumentalist analyses of scientific theory. Duhem's very definition of physical theory, put forward early in the book, is the quintessence of (...) instrumentalism: A physical theory is not an explanation. It is a system of mathematical propositions, deduced from a small number of principles, which aim to represent as simply, as completely, and as exactly as possible a set of experimental laws [p. 19]. (shrink)

As in the case of great books in all branches of philosophy, Pierre Duhem's Le Théorie Physique, first published in 1906, can be looked to as the progenitor of many different and even conflicting currents in subsequent philosophy of science. On a superficial reading, it seems to be an expression of what later came to be called deductivist and instrumentalist analyses of scientific theory. Duhem's very definition of physical theory, put forward early in the book, is the quintessence of instrumentalism:A (...) physical theory is not an explanation. It is a system of mathematical propositions, deduced from a small number of principles, which aim to represent as simply, as completely, and as exactly as possible a set of experimental laws [p. 19]. (shrink)

In this paper I shall examine the interrelationships holding between four of the main theses of Quine's philosophy. (1)Ho1ism (2)Underdetennination of scientific theories (3) Indeterminacy of translation (4) Ontological Relativity -/- These four doctrines have generated a lasting controversy: in one interpretation they seem to be false and in the other they are threatened to collapse into triviality. Moreover it has been claimed that they cannot be consistently upheld together. I shall argue, on the contrary, that they are true, original (...) and mutually consistent. (shrink)

This paper considers the connection between concepts, conceptual schemes and grammar in Wittgenstein’s last writings. It lists eight claims about concepts that one can garner from these writings. It then focuses on one of them, namely that there is an important difference between conceptual and factual problems and investigations. That claim draws in its wake other claims, all of them revolving around the idea of a conceptual scheme, what Wittgenstein calls a ‘grammar’. I explain why Wittgenstein’s account does not fall (...) prey to Davidson’s animadversions against the idea of a conceptual scheme as a force operating on a pre-conceptual content. In the sequel I deny that the distinction between grammatical and empirical propositions disappears in the last writings: it is neither deliberately abandoned, nor willy-nilly undermined by the admission of hinge propositions in On Certainty or by the role accorded to agreement in judgement. (shrink)

This paper considers the connection between concepts, conceptual schemes and grammar in Wittgenstein’s last writings. It lists eight claims about concepts that one can garner from these writings. It then focuses on one of them, namely that there is an important difference between conceptual and factual problems and investigations. That claim draws in its wake other claims, all of them revolving around the idea of a conceptual scheme, what Wittgenstein calls a ‘grammar’. I explain why Wittgenstein’s account does not fall (...) prey to Davidson’s animadversions against the idea of a conceptual scheme as a force operating on a pre-conceptual content. In the sequel I deny that the distinction between grammatical and empirical propositions disappears in the last writings: it is neither deliberately abandoned, nor willy-nilly undermined by the admission of hinge propositions in On Certainty or by the role accorded to agreement in judgement. (shrink)