The Löwenheim-Hilbert-Bernays theorem states that, for an arithmetical first-order language L, if S is a satisfiable schema, then substitution of open sentences of L for the predicate letters of S...

Philosophers have observed that metaphysical necessity appears to be a true or real or genuine form of necessity while epistemic necessity does not. Similarly, natural necessity appears genuine while deontic necessity does not. But what is it for a form of necessity to be genuine? I defend an account of genuine necessity in explanatory terms. The genuine forms of necessity, I argue, are those that provide what I call necessitarianexplanation. I discuss the relationship of necessitarian explanation to ground.

During the past few decades, a radical shift has occurred in how philosophers conceive of the relation between science and philosophy. A great number of analytic philosophers have adopted what is commonly called a ‘naturalistic’ approach, arguing that their inquiries ought to be in some sense continuous with science. Where early analytic philosophers often relied on a sharp distinction between science and philosophy—the former an empirical discipline concerned with fact, the latter an a priori discipline concerned with meaning—philosophers today largely (...) follow Willard Van Orman Quine (1908-2000) in his seminal rejection of this distinction. -/- This book offers a comprehensive study of Quine’s naturalism. Building on Quine’s published corpus as well as thousands of unpublished letters, notes, lectures, papers, proposals, and annotations from the Quine archives, this book aims to reconstruct both the nature (chapters 2-4) and the development (chapter 5-7) of his naturalism. As such, this book aims to contribute to the rapidly developing historiography of analytic philosophy, and to provide a better, historically informed, understanding of what is philosophically at stake in the contemporary naturalistic turn. (shrink)

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)

It is widely agreed that the intelligibility of modal metaphysics has been vindicated. Quine's arguments to the contrary supposedly confused analyticity with metaphysical necessity, and rigid with non-rigid designators.2 But even if modal metaphysics is intelligible, it could be misconceived. It could be that metaphysical necessity is not absolute necessity – the strictest real notion of necessity – and that no proposition of traditional metaphysical interest is necessary in every real sense. If there were nothing otherwise “uniquely metaphysically significant” about (...) metaphysical necessity, then paradigmatic metaphysical necessities would be necessary in one sense of “necessary”, not necessary in another, and that would be it. The question of whether they were necessary simpliciter would be like the question of whether the Parallel Postulate is true simpliciter – understood as a pure mathematical conjecture, rather than as a hypothesis about physical spacetime. In a sense, the latter question has no objective answer. In this article, I argue that paradigmatic questions of modal metaphysics are like the Parallel Postulate question. I then discuss the deflationary ramifications of this argument. I conclude with an alternative conception of the space of possibility. According to this conception, there is no objective boundary between possibility and impossibility. Along the way, I sketch an analogy between modal metaphysics and set theory. (shrink)

semantic minimalism and moderte contextualism.

Recent scholarship indicates that Quine’s “Truth by Convention” does not present the radical critiques of analytic truth found fifteen years later in “Two Dogmas of Empiricism.” This prompts a historical question: what caused Quine’s radicalization? I argue that two crucial components of Quine’s development can be traced to the academic year 1940–1941, when he, Russell, Carnap, Tarski, Hempel, and Goodman were all at Harvard together. First, during those meetings, Quine recognizes that Carnap has abandoned the extensional, syntactic approach to philosophical (...) analysis, an approach espoused in Carnap’s 1934 Logical Syntax of Language, and which Quine endorsed his entire career. Second, Tarski presents Quine with a philosophically well-motivated reason to think that an apparently analytic discipline, arithmetic, could be synthetic; this reflects one of the central assertions found in “Two Dogmas” but not in “Truth by Convention.” I use this account of Quine’s development to resolve a dispute between Creath and Mancosu concerning the timeline for Quine’s evolving critiques of analyticity. (shrink)

Donald Davidson and John Searle famously differ, among other things, on the issue of animal thoughts. Davidson seems to be a latter-day Cartesian, denying any propositional thought to subhuman animals, while Searle seems to follow Hume in claiming that if we have thoughts, then animals do, too. Davidson’s argument centers on the idea that language is necessary for thought, which Searle rejects. The paper argues two things. Firstly, Searle eventually argues that much of a more complex thought does depend on (...) language, which reduces a distance between himself and Davidson. Secondly, some of Davidson’s suggestions are promising – in particular the idea that we may lack a vocabulary to capture the contents of animal thoughts. Based on this insight, one might, pace Davidson, grant thoughts to animals. However, this does not mean, pace Searle, that it should be possible to construe even the simplest of such thoughts as propositional. Perhaps we need to move beyond Davidson and Searle by developing a theory of nonpropositional thought for animals. (shrink)

La position résolument extensionaliste de Quine a été appuyée par des arguments de nature différente, dans ses multiples articles destinés à rejeter le projet de logique modale. On peut classer ces arguments en trois catégories : un argument naturaliste, où l’auteur tente de baser le langage scientifique sur une notation tâchée de décrire la “structure ultime de la réalité” ; un argument esthétique, où Quine fait allusion à des raisons de clarté et d’efficacité démonstrative pour privilégier la théorie des fonctions (...) de vérité ; un argument pratique, dans la mesure où Quine défend la logique classique sur la base du “principe de mutilation minimum”. A travers une étude de ses écrits relatifs aux attitudes propositionnelles, nous montrerons que la philosophie de la logique de Quine a prolongé la partie épistémologique de son oeuvre, optant finalement pour une stratégie de réduction naturaliste des intensions, à l’image du mouvement engagé par Word and Object et prolongé par From Stimulus to Science. Ce projet se soldera par un échec relatif, et Quine résumera cette désillusion par un fossé entre les structures du langage et du monde : la thèse du “monisme anomal” de Davidson sera le dernier mot, amer, du défenseur acharné de la logique classique. (shrink)

Many are reluctant to accept primitive modality into their fundamental picture of the world. The worry often traces to this thought: we shouldn't adopt any more primitive - that is, unexplained - notions than we need in order to explain all the features of the world, and primitive modal notions are not needed. I examine one prominent rival to modal primitivism, combinatorialism, and show that in order to account for all the modal features of the world the combinatorialist must adopt (...) two additional primitive notions. My own modal primitivist view takes as primitive the notion of incompatibility between properties or relations. I show how the non-modal notions that the combinatorialist must adopt as primitive may be analyzed using my notion. The upshot is that with respect to the number of primitive notions, my modal primitivist theory comes out ahead. (shrink)

In “Naming with Necessity”, it is argued that Kripke’s thesis that proper names are rigid designators is best seen as being motivated by an individual-driven picture of modality, which has two parts. First, inherent in proper-name usage is the expectation that names refer to modally robust individuals: individuals that can sustain modal predications like ‘is necessarily human’. Second, these modally robust individuals are the fundamental building blocks on the basis of which possible worlds should be conceived in a modal semantics (...) intended to mirror the conceptual apparatus behind ordinary modal talk. The individual-driven picture is distinct from two views inspired by Kripke, direct reference theory and Millianism. The former covers only the first half of the picture, while the latter explicitly gives up on that half even, opting to remain neutral about what expectation expressions impose on the nature of their referents. (shrink)

In the Twentieth Century, Logic and Philosophy of Language are two of the few areas of philosophy in which philosophers made indisputable progress. For example, even now many of the foremost living ethicists present their theories as somewhat more explicit versions of the ideas of Kant, Mill, or Aristotle. In contrast, it would be patently absurd for a contemporary philosopher of language or logician to think of herself as working in the shadow of any figure who died before the Twentieth (...) Century began. Advances in these disciplines make even the most unaccomplished of its practitioners vastly more sophisticated than Kant. There were previous periods in which the problems of language and logic were studied extensively (e.g. the medieval period). But from the perspective of the progress made in the last 120 years, previous work is at most a source of interesting data or occasional insight. All systematic theorizing about content that meets contemporary standards of rigor has been done subsequently. (shrink)

A construção de “existe” como um predicado de primeiraordem ou real é defendida contra a ortodoxia prevalente.

This volume draws connections between Wittgenstein's philosophy and the work of Saul Kripke, especially his Naming and Necessity. Saul Kripke is regarded as one of the foremost representatives of contemporary analytic philosophy. His most important contributions include the strict distinction between metaphysical and epistemological questions, the introduction of the notions of contingent a priori truth and necessary a posteriori truth and original accounts of names, descriptions, identity, necessity and realism. The chapters in this book elucidate the relevant connections between Kripke's (...) work and Wittgenstein, specifically concerning the standard meter, contingent apriori and rule-following. The contributions shed light on how Kripke's philosophical outlook was influenced by Wittgenstein, and how mainstream analytic philosophy and Wittgensteinian philosophy can fruitfully engage with one another. Kripke and Wittgenstein will be of interest to philosophers working on Wittgenstein, Kripke, and the history of analytic philosophy. (shrink)

Analytic philosophy in the mid-twentieth century underwent a major change of direction when a prior consensus in favour of extensionalism and descriptivism made way for approaches using direct reference, the necessity of identity, and modal logic. All three were first defended, in the analytic tradition, by one woman, Ruth Barcan Marcus. But analytic philosophers now tend to credit them to Kripke, or Kripke and Carnap. I argue that seeing Barcan Marcus in her historical context – one dominated by extensionalism and (...) descriptivism – allows us to see how revolutionary she was, in her work and influence on others. I focus on her debate with Quine, who found himself retreating to softened, and more viable, versions of his anti-modal arguments as a result. I make the case that Barcan's formal logic was philosophically well-motivated, connected to her views on reference, and well-matched to her overall views on ontology. Her nominalism led her to reject posits which could not be directly observed and named, such as possibilia. She conceived of modal calculi as facilitating counterfactual discourse about actual existents. I conclude that her contributions ought to be recognized as the first of their kind. Barcan Marcus must be awarded a central place in the canon of analytic philosophy. (shrink)

Theories about the ontological structure of the world have generally been described in informal, intuitive terms. This book offers an account of the general features and methodology of formal ontology. The book defends conceptual realism as the best system to adopt based on a logic of natural kinds. By formally reconstructing an intuitive, informal ontological scheme as a formal ontology we can better determine the consistency and adequacy of that scheme.

El debate que se gestó alrededor del concepto de existencia en manos de Willard Van Orman Quine y Rudolf Carnap, dio al siglo XX un cúmulo de aportes significativos a la ontología. La postura realista, con algunas variantes, de Quine y el criterio anti-realista de Carnap, otorga insumos para pensar de mejor forma cómo se intenta dar descripciones acerca del inmobiliario del mundo. Conocer este debate es importante, ya que, se expone los alcances y limitaciones que implican las explicaciones ontológicas (...) acerca de la realidad que deben ser tenidas en cuenta en la actualidad. Este trabajo cumple esa función, la de explicar sintéticamente uno de los debates más importantes para la ontología. (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)

La notion phénoménologique d'intentionnalité suscite certaines énigmes philosophiques assez déroutantes concernant par exemple l'existence d'entités relationnelles ou le statut des objets intentionnels. Il est ici suggéré que ces énigmes, apparemment ontologiques, auraient plus de chances d'être élucidées si elles étaient considérées comme des problèmes sémantiques concernant cette catégorie spéciale d'énoncés que l'on appelle énoncés intensionnels ». Elles pourraient alors être discutées à l'aide de méthodes plus précises comme celles de Carnap, Church ou Quine.The phenomenological notion of intentionality raises a number (...) of rather perplexing philosophical riddles, for instance about the existence of relational entities or about the status of intentional objects. The paper suggests that these seemingly ontological riddles would gain more chances to be elucidated if they were regarded as semantic problems about a special kind of statements called "intensional statements". Thus they could be discussed with the help of some more precise methods such as those of Carnap, Church or Quine. (shrink)

This is a thorough treatment of first-order modal logic. The book covers such issues as quantification, equality (including a treatment of Frege's morning star/evening star puzzle), the notion of existence, non-rigid constants and function symbols, predicate abstraction, the distinction between nonexistence and nondesignation, and definite descriptions, borrowing from both Fregean and Russellian paradigms.

This paper consists of two parts. Part I contains a precise model-theoretic reconstruction of Quine's criterion for the ontological presuppositions of a theory. Two versions (K1), (K2) of the criterion are elaborated, (K2) being the more adequate one which is shown through a number of theorems for each version. Part II contains a critical discussion of (K2), in particular of the question wether (K2) is a criterion for ontological presuppositions, i.e. for entities existing independently of the theory. Its answer depends (...) on the meaning of the quantifiers used in (K2). It is shown that this meaning, contrary to Quine's opinion, does not commit one to the existence of entities. Quine's criterion is therefore not a criterion for ontological presuppositions of theories. If theories at all presuppose independently existing entities, then it is not by using the standard quantifiers of classical logic. One of the consequences of this result is that there is no need for a free logic, which is shown by discussing a system of Lambert and Meyer. Another consequence is that there is no problem about negative existentials. (shrink)

A collection of ten previously published essays on existence, nonexistence, empty names, fiction and myth, and free logic.

This paper presents a puzzle about the logic of real definition. In particular, I demonstrate that five principles concerning definition (that it is coextensional and irreflexive, that it applies to its cases, that it permits expansion and that it is itself defined) are incompatible. I then explore the advantages and disadvantages of each principle—one of which must be rejected to restore consistency.

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)

Strawson’s work seems to contain both pragmatic and semantic concepts of presupposition. The former concept has largely been studied by many philosophers and linguists, while the latter has not been properly investigated (van Fraassen being an exception). The present author explicates the semantic concept of existential presupposition in relation to deriving existential statements and distinguishing their de dicto/de re variants (in the rather generalized sense following Tichý).

This paper traces the development of Quine's ontological ideas throughout his early logical work in the period before 1948. It shows that his ontological criterion critically depends on this work in logic. The use of quantifiers as logical primitives and the introduction of general variables in 1936, the search for adequate comprehension axioms, and problems with proper classes, all forced Quine to consider ontological questions. I also show that Quine's rejection of intensional entities goes back to his generalisation of Principia (...) Mathematica in 1932. (shrink)

. David Chalmerss version of two-dimensional semantics is an attempt at setting up a unified semantic framework that would vindicate both the Fregean and the Kripkean semantic intuitions. I claim that there are three acceptable ways of carrying out such a project, and that Chalmerss theory does not coherently fit any of the three patterns. I suggest that the theory may be seen as pointing to the possibility of a double reading for many linguistic expressions (a double reading which, however, (...) is not easily identified with straightforward semantic ambiguity). (shrink)

A free logical analysis of singular terms couched in terms of the semantic theory of Keenan and Faltz is shown to avoid problems with both Frege's and Russell's treatments. At its heart is the proposal of Keenan and Faltz to reverse the usual mode-theoretic conception of individuals and properties, taking the latter as primitive and the former as derived therefrom. A simple extension of the notion 'property' is then shown to enable a parallel treatment of definite generics.

In his article “Opacity” (1986), David Kaplan propounded a counterexample to the the- sis, defended by Quine and known as Quine’s Theorem, that establishes the illegitimacy of quantifying from outside into a position not open to substitution. He ingeniously built his counterexample using Quine’s own philosophical material and novel devices, arc quotes and $entences. The present article offers detailed analysis and critical discus- sion of Kaplan’s counterexample and proposes a reasonable reformulation of Quine’s Theorem that bypasses both this counterexample and (...) another, in the author’s opinion, more persuasive counterexample, also discussed in this paper and somehow implicit in “Opacity”, which involves Russellian propositions instead of the Quinean apparatus. (shrink)

On a widespread reading, the Carnap-Quine debate about ontology concerns the objectivity and non-triviality of ontological claims. I argue that this view mischaracterizes Carnap’s aims in “Empiricism, Semantics, and Ontology” : Carnap’s fundamental goal is to free up decisions about scientific language from constraints deriving from ontological doctrine. The contention, based on his internal/external distinction, that ontological claims are either meaningless or trivial was Carnap’s means to achieving this more fundamental goal. Setting the record straight on this point brings out (...) three important and often overlooked features of Carnap’s views on ontology. First, the target of Carnap’s critique in ESO is not Quine’s mature views on ontology, as laid out in “On What There Is”. Rather, Carnap is responding to arguments for nominalism that were given by Tarski, Goodman, and Quine in the 1940s. Second, a more general rejection of conservatism in theory choice is essential to Carnap’s aims and is implicit in his fundamental views on language. Third, even if it turns out to be tenable, the i/e distinction is not adequate for Carnap’s aim in ESO. Drawing on his basic conception of scientific language, I will suggest an alternative approach on his behalf. (shrink)

Quine’s general approach is to treat ontology as a matter of what a theory says there is. This turns ontology into a question of which existential statements are consequences of that theory. This approach is contrasted favourably with the view that takes ontological commitment as a relation to things. However within the broadly Quinean approach we can distinguish different accounts, differing as to the nature of the consequence relation best suited for determining those consequences. It is suggested that Quine’s own (...) narrowly formal account fails. Then a consideration of the necessitation approach championed by Jackson and Lewis shows that it does not do justice to the role of acknowledging consequences in determining rationality. I suggest that an approach which puts a priori consequence as the key relation does a better job. The task of spelling out the nature of a priori consequence is sketched, along with reasons to doubt the adequacy of the double indexing approach to analysing the a priori. The sorts of relations we can stand in to theories which allow us to inherit ontological commitments are touched on with a number of important philosophical strategies for introducing belief-like attitudes which nevertheless avoid ontological commitment. (shrink)

El significado de los términos numéricos es objeto de debate en la lingüística, la pragmática y la filosofía del lenguaje. En este trabajo defiendo una versión contextualista en la cual propongo que, más que consistir en un concepto específico, la semántica de los términos numéricos es una vía convencional para activar cognitivamente una zona conceptual que contiene a los conceptos numéricos que pueden expresarse a través de su uso. Las interpretaciones que un término numérico puede recibir están dadas por la (...) interacción de la forma lógica del enunciado en que aparece, la activación de una zona conceptual específica y la búsqueda de relevancia óptima. Esta propuesta explica evidencia lingüística y empírica de la que otras posturas no pueden dar cuenta. (shrink)

Could one give expression to a doctrine of essentialism without running afoul of semantical problems that are alleged to beggar systems of quantified modal logic? An affirmative answer is, I believe, called for at least in the case of individual essentialism. Individual essentialism is an ontological thesis concerning a kind of necessary connection between objects and their (essential) properties. It is not or anyhow not primarily a semantic thesis, a thesis about meanings, for example. And thus we are implicitly counselled (...) not to seek for the logical reconstruction of such necessities in theories in which necessity is a de ditto matter. A more natural-seeming target is an understanding of the structure of idioms of de re necessity. Of course, de re necessities may turn out to be special cases of necessities de ditto, with what consequences it is interesting to speculate upon, but it would be preferable if the theory of individual essences were to be prosecuted initially at least without prejudice to this other matter. A theory of individual essences therefore may find it a convenience to recognize a special category of open sentence by means of which to represent de re attributions of necessity. (shrink)

The present article purports to show that the protocol sentence debate, pursued by some leading members of the Vienna Circle in the mid-1930s, was essentially a controversy over the explanation and the real significance of the concept of truth. It is further shown that the fundamental issue underlying the discussions about the concept of truth was the relationship between form and content, as well as between logic/language and the world. R. Carnap was the philosopher who most explicitly and systematically attempted (...) to come to grips with this problem. It is shown that the form-content distinction pervades the three most important phases of Carnap's philosophical development: the structuralist (in Der logische Aufbau der Welt), the syntactical and the semantical. His final semantical stance is essentially determined by the concept of linguistic frameworks. The article purports to demonstrate that this concept cannot be dispensed with in philosophy, but that Carnap failed to work out its ontological implications. Finally, the concept of an internal ontology is briefly delineated. (shrink)

I present and defend a reliabilist explanation of a priori knowledge which fulfils seven plausibility requirements.