In this essay, I propose an analysis of Quine’s example ’Giorgione was so-called because of his size’, grounded on the idea of an obstinate demonstrative. In the first sections, I discuss the advantages and drawbacks of the demonstrative and logophoric treatments of ‘so called’, I highlight certain parallelisms with Davidson’s paratactic view of quotation, and I introduce independent considerations in favor of the idea of an obstinate demonstrative. In the second half of my essay, I apply this notion to Quine’s (...) example, and I discuss its consequences with respect to the principle of substitutivity of coreferential singular terms. (shrink)

Dans Word and Object, Quine propose explicitement une définition de la notion de signification-stimulus dans les termes du behaviorisme. Cette caractérisation est commandée par son naturalisme, qui consiste à faire de la philosophie une partie de la science empirique. Il est néanmoins généralement admis que la science entend décrire les phénomènes tandis qu’à la suite du tournant linguistique, la philosophie se concentre sur le langage. Dans ces conditions, il est légitime de chercher à déterminer le statut logique que l’on doit (...) assigner à la notion de signification-stimulus chez Quine. Nous présentons à cet effet trois procédures langagières bien distinctes dans la littérature. Nous ébauchons ensuite le cadre théorique dans lequel se situe la notion de signification-stimulus avant d’en proposer une reconstruction rationnelle en termes neurophysiologiques. Ces considérations apportées, nous montrons que la caractérisation que Quine donne de cette notion constitue non une définition, mais une explication. (shrink)

the purpose of this paper is to o er a logico‐philosophical critical overview of the theory of multiple realities (tWr). the paper is divided into three sections. In the rst section I present a brief history of the development of some ideas, which combined together form the conceptual amework of the theory in question, whose main thesis is that there is more than one reality. In the second part I present (and try to address) some interpretations of tWr, which can (...) be described as: ontological; epistemological; esthetical; logical ad mixed interpretations. When do‐ ing so, a special emphasis is laid on the presentation of an explication of tWr based on theory of models, an explication authored by teresa Kostyrko. this explication rests on a conditional recognition of the particular ‘realities’ of Chwistek’s theory as proper models (i.e. those, which ful ll the condition of the identity of meaning of theory’s fundamental notions) of the theories of reality, with the provision that such models are indeed constructible. In the last section of my paper I propose a preliminary appraisal of the tWr as well as a way to reengineer this theory in order to avoid some of its di culties. By appealing to Kostyrko’s idea on one hand and the spirit Quinean ontological relativism on the other, I wish to argue as follows: ‘reality’ is the name of the set comprising all meanings of the term ‘reality’; under particular conditions these meanings can be arranged in a theory, which posseses a proper model (scienti c discourse, some forms of the common talk); model proper designate by de nition classes of objects, which we regard as existent on the grounds of a given theory. the above set of theses forms the core of a concept, which I propose to call the ‘manifold reality’ in order to di erentiate it om tWr, the development of which theory it is, as well as its modi cation towards a new kind of ontology. (shrink)

This article builds on C. S. Peirce’s suggestive blueprint for an inclusive outlook that grants reality to his three categories. Moving away from the usual focus on (contentious) cosmological forces, I use a modal principle to partition various ontological layers: regular sign-action (like coded language) subsumes actual sign-action (like here-and-now events) which in turn subsumes possible sign-action (like qualities related to whatever would be similar to them). Once we realize that the triadic sign’s components are each answerable to this asymmetric (...) subsumption, we obtain the means to track at which level of complexity semiosis finds itself, in a given case. Since the bulk of such a “trinitarian” metaphysics would be devoted to countenancing uninterpreted phenomena, I argue that current misgivings about sign-based ontologies are largely misplaced. (shrink)

Vít Gvoždiak published a reconciliatory analysis of Searle’s social ontology with semiotics in Gvoždiak (2012). Without prior knowledge of his paper, an analysis of the same subject appeared in Msimang (2014). Even though Searle’s social ontology is a common point of reference in the formulation of semiotics in these papers, it also serves as a point of departure in their understanding of semiotics and its development. The semiotic theory expressed in Gvoždiak (2012) is an inherently linguistic (speech act centred) theory, (...) whereas the semiotic theory presented in Msimang (2014) tends more towards a general theory of communicative systems in which social ontology, which follows from speech act theory, is an interesting part. It is my purpose in this note to contrast the two positions of semiotic theory as they appear in the aforementioned papers in reference to their appropriation of Searle’s social ontology. (shrink)

Indispensablists argue that when our belief system conflicts with our experiences, we can negate a mathematical belief but we do not because if we do, we would have to make an excessive revision of our belief system. Thus, we retain a mathematical belief not because we have good evidence for it but because it is convenient to do so. I call this view ‘ mathematical convenientism.’ I argue that mathematical convenientism commits the consequential fallacy and that it demolishes the Quine-Putnam (...) indispensability argument and Baker’s enhanced indispensability argument. (shrink)

The idea that certain philosophical debates are "merely verbal" has historically been raised as a challenge against (large parts of) metaphysics. In this paper, I explore an analogous challenge to large parts of epistemology, which is motivated by recent arguments in experimental philosophy. I argue that, while this challenge may have some limited success, it cannot serve as a wedge case for wide-ranging skepticism about the substantiveness of epistemological debates; most epistemological debates are immune to the worries it raises.

In this paper, I outline a reductio against Stanford’s “New Induction” on the History of Science, which is an inductive argument against scientific realism that is based on what Stanford (2006) calls “the Problem of Unconceived Alternatives” (PUA). From the supposition that Stanford’s New Induction on the History of Science is cogent, and the parallel New Induction on the History of Philosophy (Mizrahi 2014), it follows that scientific antirealism is not worthy of belief. I also show that denying a key (...) premise in the reductio only forces antirealists who endorse Stanford’s New Induction on the History of Science into a dilemma: either antirealism falls under the axe of Stanford’s New Induction on the History of Science or it falls under the axe of the New Induction on the History of Philosophy. (shrink)

Human bodies have a totally different mode of existence from those collections of mental properties (intelligence, will power, consciousness, etc.) that we call minds. They belong to the ontological category of physical substances or entities, whereas mental properties belong to the ontological category of properties or attributes, and as such can exist only so long as their physical bearers exist. Mental properties “emerge” (in a sense that makes emergence ubiquitous throughout the natural world) when the constituent parts of a biological (...) organism—especially its brain—are configured in certain sorts of ways. A view of reality that is both conceptually coherent and scientifically comprehensive makes the very idea of surviving one’s bodily death literally absurd. -/- 1. The Cheshire Cat Fallacy: “A Grin Without a Cat” -- 2. Two Main Arguments for Substance Dualism - 2.1 An Appeal to the Logic of Identity and Difference - 2.2 An Appeal to the Noncogitative Nature of Matter -- 3. A Host of Problems for Substance Dualism - 3.1 The Inexplicability of Mind-Brain Dependence - 3.2 The Inexplicability of Mental Causation - 3.3 The Violation of Scientific Laws - 3.4 Minds as Miracle-Workers - 3.5 Problems about Our Embryological and Developmental Histories - 3.6 Problems about our Evolutionary Histories - 3.7 Which Stage of the Soul or Mind Survives? - 3.8 Where are our Disembodied Souls Supposed to Survive? -- 4. The Argument from Leibniz’s Law Presupposes a Category Misallocation - 4.1 The Fallacy of Reification - 4.2 Resisting the Reifying Lure of Language - 4.3 Dualistic Consequences of Reifying Mentalistic Terms - 4.4 Allocation to Ontological Categories - 4.5 Locke’s Partial Solution to the Category Misallocation - 4.6 Ryle on Category Mistakes and “the Ghost in the Machine” - 4.7 Ryle’s Important Insight: To Have a Mind is to have a Set of Mental Properties - 4.8 Interim Summary -- 5. The Emergence of “Minds” from Incogitative Matter - 5.1 Locke’s A Priori Argument - 5.2 Locke’s Argument Refuted by Counterexamples - 5.3 The Concept of Emergence Defined - 5.4 Rival Concepts of Emergence - 5.5 The Ubiquitousness of Emergent Properties - 5.6 The Metaphysics of Emergent Materialism - 5.6.1 Substance Monism - 5.6.2 The Doctrine of Property Dualism is Misconceived - 5.6.3 Emergent Properties of Different Kinds - 5.6.4 The “Hierarchy” of Sciences - 5.6.5 The Broad Spectrum of “Mental” Properties -- 6. The Metaphysical Impossibility of Survival - 6.1 Mind-Brain Dependence - 6.2 The Issue of Mental Causation - 6.2.1 The Bogeyman of Epiphenomenalism - 6.3 The Violation of Scientific Laws - 6.4 Minds as Miracle-Workers - 6.5 Our Embryological and Developmental Histories - 6.6 Our Evolutionary Histories -- 7. Conclusion. (shrink)

Examples suggest that one and the same A may be different Bs, and hence that there is some sort of incompleteness in the unqualified statement that x and y are the same which needs to be eliminated by answering the question “the same what?” One way to make this more precise is by appeal to Geach's idea that identity is relative. In this paper I evaluate Geach's relative identity thesis.

a This is an outline of a coherence theory of law. Its basic ideas are: reasonable support and weighing of reasons. All the rest is commentary.a (TM) These words at the beginning of the preface of this book perfectly indicate what On Law and Reason is about. It is a theory about the nature of the law which emphasises the role of reason in the law and which refuses to limit the role of reason to the application of deductive logic. (...) In 1989, when the first edition of On Law and Reason appeared, this book was ground breaking for several reasons. It provided a rationalistic theory of the law in the language of analytic philosophy and based on a thorough understanding of the results, including technical ones, of analytic philosophy. That was not an obvious combination at the time of the booka (TM)s first appearance and still is not. The result is an analytical rigor that is usually associated with positivist theories of the law, combined with a philosophical position that is not natural law in a strict sense, but which shares with it the emphasis on the role of reason in determining what the law is. If only for this rare combination, On Law and Reason still deserves careful study. On Law and Reason also foreshadowed and influenced a development in the field of Legal Logic that would take place in the nineties of the 20th century, namely the development of non-monotonic (a defeasiblea (TM)) logics for the analysis of legal reasoning. In the new Introduction to this second edition, this aspect is explored in some more detail. (shrink)

Philosophy of science and history of science both have a significant relation to science itself; but what is their relation to each other? That question has been a focal point of philosophical and historical work throughout the second half of this century. An analysis and review of the progress made in dealing with this question, and especially that made in philosophy, is the focus of this thesis. Chapter one concerns logical positivist and empiricist approaches to philosophy of science, and the (...) significance of the criticisms levelled at them by analytic epistemologists such as Willard Quine and 'historicist' philosophers, especially Thomas Kuhn. Chapter two details the attempts by Kuhn and Lakatos to integrate these historicist criticisms with historically oriented philosophy of science, in their separate attempts at providing rational explanations of historical developments. Kuhn's latest work seeks to mend fences with philosophy, but his efforts remain too closely tied to the epistemological approaches strongly criticized in his earlier work. Lakatos' treatment of history is much more subtle than most have understood it to be, but the conception of scientific rationality that arises out of it is transformed into an abstract cultural product, more reminiscent of Hegel's geist than of individual human rationality. Chapters three and four discuss the recommendations of Lakatos and Laudan to historians with regard to historiography, and the actual historiographies and philosophy of history of practicing historians and historians of science. The philosophers' contributions indicate little concern for the historians' own methods, materials, and purposes; and the historians' writings present methodologies for history of science that are independent of the normative demarcations of philosophy of science, pace Lakatos and Laudan. Chapter five develops a philosophical position that fosters a more productive engagement between philosophy and history of science, a 'methodological historicism' that embraces the possibility of an important role for social and political factors in a philosophical study of scientific development. The epistemological relativism that might accompany such a historicist position need not be the radical epistemological anarchism of Feyerabend, though it will allow for a significant underdetermination of scientific development by reason nonetheless. (shrink)

Can Quine’s criterion for ontological commitment be comparatively applied across different logics? If so, how? Cross-logical evaluations of discourses are central to contemporary philosophy of mathematics and metaphysics. The focus here is on the influential and important arguments of George Boolos and David Lewis that second-order logic and plural quantification don’t incur additional ontological commitments over and above those incurred by first-order quantifiers. These arguments are challenged by the exhibition of a technical tool—the truncation-model construction of notational equivalents—that compares the (...) ontological role and increased expressive strength of non-first-order ideology to first-order ideology. (shrink)

This paper aims to shed light on the broader significance of Frege’s logicism against the background of discussing and comparing Wittgenstein’s ‘showing/saying’-distinction with Brandom’s idiom of logic as the enterprise of making the implicit rules of our linguistic practices explicit. The main thesis of this paper is that the problem of Frege’s logicism lies deeper than in its inconsistency : it lies in the basic idea that in arithmetic one can, and should, express everything that is implicitly presupposed so that (...) nothing is left unsaid. This, in fact, is the target of Wittgenstein’s critique. Rather than the Tractatus, with its claim that logicism attempts to say something that can only be shown, it is the Philosophical Investigations, with its argument by regress against the thesis that every rule which one can follow must be of an explicit nature, that is of real significance here. (shrink)

A filosofia da linguagem dedica-se ao estudo da linguagem natural. Não se dedica ao estudo de línguas particulares, tal como o português, o castelhano ou o inglês, mas sim ao estudo filosófico de características gerais da linguagem e da nossa capacidade e proficiência linguística enquanto seres humanos. A investigação do desenvolvimento da linguagem é uma tarefa a ser desenvolvida pela ciência – a paleontologia, a neurologia, etc. Mas a ciência ocupa-se de algo de que temos um conhecimento intuitivo prévio – (...) a linguagem natural. Ora, a filosofia da linguagem dedica-se em parte a tornar explícito o nosso conhecimento implícito da linguagem. Como tal, a filosofia da linguagem é uma disciplina central na filosofia. Este capítulo é uma introdução selectiva à filosofia da linguagem. A alternativa que se nos deparava era fazer uma breve apresentação de teorias do significado, da referência e da verdade, e ainda de alguns tópicos de pragmática, ou escolher um tópico em particular que é, tradicionalmente, o elegido nos cursos introdutórios à filosofia da linguagem. Este capítulo oferece assim uma introdução a alguns dos temas centrais e clássicos da filosofia da linguagem contemporânea. A maior parte do capítulo dedicar-se-á a teorias da referência, a de Frege e de Russell, e à sua crítica subsequente por filósofos como Saul Kripke. Isto poderia levar-nos a pensar que a filosofia da linguagem contemporânea continua, como era tradicional, focada simplificada da relação entre linguagem, mente e mundo. Nada podia estar mais longe da verdade, como se tornará claro. A grande alteração na perspectiva sobre o estudo da linguagem, que se deve a pessoas como Frege ou Russell, é que graças ao seu trabalho os filósofos passaram a reflectir sobre a contribuição semântica sistematicamente feita por diferentes categorias sintácticas nas diferentes construções frásicas em que possam ocorrer, por exemplo a de termos referenciais como os nomes próprios. A relação linguagem-mente-mundo continua a ser uma preocupação dos filósofos contemporâneos, mas de uma forma muito mais sofisticada, rigorosa e sistemática. Os filósofos preocupam-se agora, por exemplo, com as condições de verdade correctas de usos particulares de frases, com os estados de coisas reais ou possíveis que confeririam verdade ou falsidade às frases usadas, e com o valor cognitivo de distintos tipos de frases. Como indicaremos na última secção do capítulo, outros desenvolvimentos da filosofia da linguagem contemporânea dizem respeito àquilo que nós, enquanto seres humanos, conseguimos fazer por meio da linguagem, aos diferentes actos de fala possíveis, e aos diferentes níveis de significado que podemos comunicar por meio do uso de frases com um significado convencionalmente estabelecido. (shrink)

My topic is the relation between nonsense and intelligibility, and the contrast between nonsense and falsehood which played a pivotal role in the rise of analytic philosophy . I shall pursue three lines of inquiry. First I shall briefly consider the positive case, namely linguistic understanding . Secondly, I shall consider the negative case—different breakdowns of understanding and connected forms of failure to make sense . Third, I shall criticize three important misconceptions of nonsense and unintelligibility: the austere conception of (...) nonsense propounded by the New Wittgensteinians ; the “no nonsense position” which roundly denies that there are cases of nonsense—Chomsky’s semantic anomalies or Ryle’s category mistakes–that are grammatically well-formed, without even having the potential for being used to make a truth-apt statement ; the individualistic conception of language and of semantic mistakes championed by Davidson . All three positions, I shall argue, ignore or deny combinatorial nonsense, the fact that perfectly meaningful sentence-components can be combined in a way that may be grammatical, yet without resulting in a sentence that is itself “meaningful”, i.e. endowed with linguistic sense. At a more strategic level, the first and the third position deny or ignore that natural languages are communal historical practices that go beyond idiolects and the employments of expressions in specific contexts and that are guided by semantic rules—standards for the meaningful use of words. (shrink)

According to three-dimensionalism, objects persist in time by being wholly present at each time they exist; on the contrary, four-dimensionalism asserts that objects persist by having different temporal parts at different times or that they are instantaneous temporal parts of four-dimensional aggregates. Le Poidevin has argued that four-dimensionalism better accommodates two common assumptions concerning persistence and continuity; namely, that time itself is continuous and that objects persist in time in a continuous way. To this purpose, he has offered two independent (...) arguments, each of which moves from a different understanding of continuity. In this paper, both of Le Poidevin’s arguments will be discussed and rejected. (shrink)

Metaphysics has had a long history of debate over its viability, and substantivity. This thesis explores issues connected to the realism question within the domain of metaphysics, ultimately aiming to defend a realist, substantive metaphysics by responding to so-called deflationary approaches, which have become prominent, and well supported within the recent metametaphysical and metaontological literature. To this end, I begin by examining the changing nature of the realism question. I argue that characterising realism and anti-realism through theories of truth unduly (...) places epistemology prior to ontology, and is unwarranted in assuming a non-neutrality between theories of truth and positions within the realism debate. I therefore propose a characterisation of realism and anti-realism understood through truthmaking. This produces a suitable working characterisation of realism that will be used within the remainder of this project. In the second section, I trace the historical influences upon current deflationary approaches to metaphysics, most prominently those of Carnap, and Putnam. I argue that Quine’s supposed attack on Carnap’s anti-metaphysical thought fails, and show how current deflationary thought, most prominently exhibited by Hirsch, came to focus on linguistically derived concerns over the substantivity of metaphysics. In the third section, I outline a number of issues for the deflationist, and defend the coherency and legitimacy of the unrestricted existential quantifier. Focusing on the linguistic aspect of deflationism, I argue that the conception of language that the deflationist relies upon lacks suitable empirical and theoretical support within linguistics and other related domains. Furthermore, I suggest that linguistic analysis in fact supports the claim that the quantifier carries no inherent restrictions. This restores our ability to suitably posit the unrestricted existential quantifier, as a quantifier wherein the domain is only restricted by metaphysically substantive restrictions. Through this, I argue that metaphysics is a substantive domain of discourse. Lastly, I sketch a positive account of how, under an empirically and theoretically justified conception of language, metaphysics can be coherently held to be a realist, substantive enterprise, contra claims that hold that the nature of language inherently prevents metaphysics being considered to be a substantive domain of discourse. (shrink)

The standard truth-conditional semantics for substitutional quantification, due to Saul Kripke, does not specify what proposition is expressed by sentences containing the particular substitutional quantifier. In this paper, I propose an alternative semantics for substitutional quantification that does. The key to this semantics is identifying an appropriate propositional function to serve as the content of a bound occurrence of a formula containing a free substitutional variable. I apply this semantics to traditional philosophical reasons for interest in substitutional quantification, namely, theories (...) of truth and ontological commitment. (shrink)

In recent years there has been an interesting turn in the philosophical literature to groups and collective action. At the same time there has been a renewed interest in various forms of methodological individualism. This paper attempts to show the diversity of group action that is overlooked by much of the literature, to clarify some of the ambiguities that plague our language about groups and collectives, and to support the view that social entities are genuine. Some important arguments against social (...) entities being genuine are rebutted. The existence of social entities gives some substance to the debate about methodological individualism, but the resolution of the debate has depended too much on empirical results in the distant future. The article ends with some suggestions on how the debate matters in looking for biases in the directions of current social theorizing. (shrink)

The hermeneutic circle serves as a standard argument for all those who raise a claim to the autonomy of the human sciences. The proponents of an alternative methodology for the human sciences present the hermeneutic circle either as an ontological problem or as a specific methodological problem in the social sciences and the humanities. In this paper I would like to check the soundness of this argument. I will start with listing and shortly sketching out three variations of the problem. (...) I will then critically discuss these and appeal to alternative solutions and I will close with a short conclusion. (shrink)

When creating theory to understand or implement change at the social and/or organizational level, it is generally accepted that part of the theory building process includes a process of abstraction. While the process of abstraction is well understood, it is not so well understood how abstractions “fit” together to enable the creation of better theory. Starting with a few simple ideas, this paper explores one way we work with abstractions. This exploration challenges the traditionally held importance of abstracting concepts from (...) experience. That traditional focus has been one-sided—pushing science toward the discovery of data without the balancing process that occurs with the integration of the data. Without such balance, the sciences have been pushed toward fragmentation. Instead, in the present paper, new emphasis is placed on the relationship between abstract concepts. Specifically, this paper suggests that a better theory is one that is constructed of concepts that exist on a similar level of abstraction. Suggestions are made for quantifying this claim and using the insights to enable scholars and practitioners to create more effective theory. (shrink)

This article presents a reconstruction of the so-called classical, formal or Mendelian genetics, which is intended to be more complete and adequate than existing reconstructions. This reconstruction has been carried out with the instruments, duly modified and extended with respect to the case under consideration, of the structuralist conception of theories. The so-called Mendel’s Laws, as well as linkage genetics and gene mapping are formulated in a precise manner while the global structure of genetics is represented as a theory-net. These (...) results are of methodological, philosophical and didactical relevance. (shrink)

Quine's argument for a naturalized epistemology is routinely perceived as an argument from despair: traditional epistemology must be abandoned because all attempts to deduce our scientific theories from sense experience have failed. In this paper, I will show that this picture is historically inaccurate and that Quine's argument against first philosophy is considerably stronger and subtler than the standard conception suggests. For Quine, the first philosopher's quest for foundations is inherently incoherent; the very idea of a self-sufficient sense datum language (...) is a mistake, there is no science-independent perspective from which to validate science. I will argue that a great deal of the confusion surrounding Quine's argument is prompted by certain phrases in his seminal ‘Epistemology Naturalized’. Scrutinizing Quine's work both before and after the latter paper provides a better key to understanding his remarkable views about the epistemological relation between theory and evidence. (shrink)

This symposium contribution discusses the conception of ontology which is used in Hilary Putnam's book Ethics without Ontology.

Ce travail a pour objet d’examiner comment sont articulés deux thèmes centraux de l’oeuvre philosophique de Poincaré : la question de la nature mathématique de la physique et la critique des questionnements « métaphysiques » relatifs aux théories scientifiques. En s’appuyant sur la dimension linguistique du traitement de ces thèmes par Poincaré et en analysant certains aspects de ses réflexions sur le continu et la mesure des grandeurs physiques, notre examen sera poursuivi en suivant le fil conducteur de la distinction (...) entre les notions d’identité numérique et d’égalité, dont nous tâcherons de montrer qu’elle sous-tend tout à la fois la caractérisation par Poincaré de la métaphysique et ses considérations sur la géométrie et le continu.The purpose of this study is to examine the link between two main topics of Poincaré’s philosophical work : the question of the mathematical nature of physics and the criticism of “metaphysical” questions about physical theories. By focusing on the linguistic dimension of Poincaré’s treatment of these subjects and by analysing some aspects of his reflections about continuum and physical measurement, our inquiry will be pursued following the vital lead of the distinction between numerical identity and equality, which appears to underlie both Poincaré’s characterisation of metaphysics and his reflections about geometry and the continuum. (shrink)

This article investigates the claim that some truths are fundamentally or really true — and that other truths are not. Such a distinction can help us reconcile radically minimal metaphysical views with the verities of common sense. I develop an understanding of the distinction whereby Fundamentality is not itself a metaphysical distinction, but rather a device that must be presupposed to express metaphysical distinctions. Drawing on recent work by Rayo on anti-Quinean theories of ontological commitments, I formulate a rigourous theory (...) of the notion. In the final sections, I show how this package dovetails with ' interpretationist' theories of meaning to give sober content to thought that some things — perhaps sets, or gerrymandered mereological sums — can be 'postulated into existence'. (shrink)

Everyone knows what David Lewis' possible worlds are, what role they play in his account of possibility and necessity, and Saul Kripke's criticisms. But what, instead, are Kripke's possible worlds, and what role do they play in his account of possibility and necessity? The answers are not so obvious. Recently, it has even been claimed that, contrary to what is standardly assumed, Kripke's approach to modality has not always been consistently metaphysical. In particular, an interpretation of the famous passage in (...) the preface to Naming and Necessity with Kripke's discussion of the dice example has been put forward, according to which he purports there to clarify the modal notions in terms of that of possible world, model-theoretically construed, in a way which is reminiscent of Carnap's. In this paper, I shall point out some internal difficulties of this interpretation, and offer a different one, according to which in the dice passage Kripke is trying, consistently with his metaphysical approach, to legitimize the technically useful notion of possible world starting from modal notions, to be accounted for in another way (arguably, in an essentialistic framework). My final goal, however, will be philosophical elucidation rather than mere exegesis. Indeed, I am interested in shedding some light on what possible worlds might possibly be, if something like Kripke's metaphysical approach is on the right track. (shrink)

The concept of truth arises from puzzling over distinctions between the real and the apparent, while the origin of these distinctions lies in the neurobiology of mammalian cerebral lateralization, that is, in the evolution of brains that can address the world both indicatively and subjunctively; brains that represent the world both categorically and hypothetically. After some 2,500 years of thinking about it, the Western philosophical tradition has come up with three major theories of truth: correspondence, coherence, and pragmatist. Traditional philosophy (...) has nevertheless failed to arbitrate much among these views; certainly no clear winner has emerged. I argue, however, that contemporary neuroscience provides adequate theoretical grounds for a unified theory of truth. More specifically, I contend that the correspondence, the coherence, and the pragmatic utility of symbols are each biological features of our neurophysiological information processing systems—that is to say, our brains. On my view, the traditional trifurcation of philosophical accounts of the predicate, “is true”, stems from a trifurcation of focus on the information latent in sensory, motor, and somatosensory cortices of the human brain. (shrink)

Let us agree that everything that there is exists, and that to be, to be real, and to exist are one and the same. Does everything that there is exist to the same degree? Or do some things exist more than others? Are there gradations of being? I argue that some entities exist more than others. Moreover, many of the notions in play in contemporary metaphysical discourse, such as fundamentality, perfect naturalness, and grounding ought to be cashed out in terms (...) of degree of existence. (shrink)

The article introduces a special issue of the journal _Metaphysica_ on vagueness and ontology. The conventional view has it that all vagueness is semantic or representational. Russell, Dummett, Evans and Lewis, inter alia, have argued that the notion of “ontic” or “metaphysical” vagueness is not even intelligible. In recent years, a growing minority of philosophers have tried to make sense of the notion and have spelled it out in various ways. The article gives an overview and relates the idea of (...) ontic vagueness to the unquestioned phenomenon of fuzzy spatiotemporal boundaries and to the associated “problem of the many”. It briefly discusses the question of whether ontic vagueness can be spelled out in terms of “vague identity”, emphasizes the often neglected role of the difference between sortal and non-sortal ontologies and suggests a deflationary answer to the ill-conceived question of whether the “ultimate source” of vagueness lies either in language or in the world. (shrink)

This paper considers Maddy’s strategy for naturalising mathematics in the context of Quine’s scientific naturalism. The aim of this proposal is to account for the acceptability of mathematics on scientific grounds without committing to revisionism about mathematical practice entailed by the Quine-Putnam indispensability argument. It has been argued that Maddy’s mathematical naturalism makes inconsistent assumptions on the role of mathematics in scientific explanations to the effect that it cannot distinguish mathematics from pseudo-science. I shall clarify Maddy’s arguments and show that (...) the objection can be overcome. I shall then reformulate a novel version of the objection and consider a possible answer, and I shall conclude that mathematical naturalism does not ultimately provide a viable strategy for accommodating an anti-revisionary stance on mathematics within a Quinean naturalist framework. (shrink)

This paper examines the ontological commitments of the second-order language of arithmetic and argues that they do not extend beyond the first-order language. Then, building on an argument by George Boolos, we develop a Tarski-style definition of a truth predicate for the second-order language of arithmetic that does not involve the assignment of sets to second-order variables but rather uses the same class of assignments standardly used in a definition for the first-order language.

The causal nominalist theory of properties appears at first glance to offer a novel nominalist approach and one that can provide an illuminating response to the one over many problem. I argue, however, that on closer inspection causal ‘nominalism’ collapses into either a version of realism or a mere variant of one of the traditional nominalist approaches. In the case of Whittle’s specific brand of causal nominalism, I suggest it is best thought of as a version of what Armstrong calls (...) ‘ostrich’ nominalism, a view which ultimately refuses to acknowledge the one over many problem rather than provide a solution to it. (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 classical logic, a contradiction allows one to derive every other sentence of the underlying language; paraconsistent logics came relatively recently to subvert this explosive principle, by allowing for the subsistence of contradictory yet non-trivial theories. Therefore our surprise to find Wittgenstein, already at the 1930s, in comments and lectures delivered on the foundations of mathematics, as well as in other writings, counseling a certain tolerance on what concerns the presence of contradictions in a mathematical system. ‘Contradiction. Why just this (...) spectre? This is really very suspicious.’ ( Philosophical Remarks III–56) In the last decades, several authors (e.g. Arrington, Hintikka, Van Heijenoort, Wright, Wrigley) have been digging into Wittgenstein’s rather non-standard standpoint on what concerns the interpretation and import of contradiction in logic and mathematics, and many other authors (e.g. da Costa, Goldstein, Granger, Marconi) have been investigating the possibility of taking Wittgenstein seriously as one of the early forerunners of paraconsistency. While many advances have been made on the first front, the second set of investigations has led almost exclusively to negative results: no, no operational proposal about the construction of a logic in which (some) contradictions are made inoffensive can be read from Wittgenstein’s philosophical work; in fact, it appears that the most one can find there is the exhortation for mathematicians to alter their attitude with respect to contradictions and to consistency proofs. The play is done, and one looks for a resume of the opera. This paper fills that blank, as a thorough investigation of the possible relations between Wittgenstein and paraconsistency. DOI:10.5007/1808-1711.2010v14n1p135. (shrink)

In the article of 1965 Are logical truths analytic? Hintikka deals with the problem of establishing whether the logical truths of first-order logic areanalytic or synthetic. In order to provide an answer to this issue, Hintikka firstly distinguishes two different notions of analyticity, and then he showsthat the sentences of first-order logic are analytic in one sense, but synthetic in another. This interesting result clearly illustrates the non-triviality of thequestion. In this paper we aim at answering the question Are modal (...) truths analytic? In order to elaborate a satisfactory answer to this question, wewill follow the strategy of Hintikka and we will exploit some recent results on the proof theory for modal logic. Finally, our conclusions will shed newlights on the links between first-order logic and modal logic. (shrink)

David Lewis claims that his theory of modality successfully reduces modal items to nonmodal items. This essay will clarify this claim and argue that it is true. This is largely an exercise within ‘Ludovician Polycosmology’: I hope to show that a certain intuitive resistance to the reduction and a set of related objections misunderstand the nature of the Ludovician project. But these results are of broad interest since they show that would-be reductionists have more formidable argumentative resources than is often (...) thought. Lewis’s reduction depends on a set of methodological commitments each of which is fairly plausible or at least currently popular, and none of which is particular to modality. The choice of which of these commitments to reject I leave to the discerning antireductionist. The essay proceeds as follows: §1 discusses reduction generally and one or two relevant puzzles; §2 discusses Lewis’s reduction in particular; the longest section, §3 replies to four objections. (shrink)

The question of authenticity centers in the lives of women of color to invite and restrict their representative roles. For this reason, Gayatri Chakravorty Spivak and Uma Narayan advocate responding with strategic essentialism. This paper argues against such a strategy and proposes an epistemic understanding of the question of authentic- ity. The question stems from a kernel of truth—the connection between experience and knowledge. But a coherence theory of knowledge better captures the sociality and the holism of experience and knowledge.

I have spent over 50 years of dedicated research on this theme. These are my overall conclusions. I think that science-as-it-is has come to too-limited conclusions, largely because, by in large, they are using an outmoded, "Newtonian" model of reality, (echoing Penrose, D'Espagnat, Maturana). Twentieth century physics has changed that, and it is time to apply its results to the rest of our world picture. I contend that the "materialists", as exemplified by Dennett, are archeological artifacts! There still remains room (...) for the human mind and the human soul -and my book shows how! This book proposes an entirely new perspective and an actual solution to the problem based on modern biology,(Maturana), modern physics, (Bohr, D'Espagnat, Einstein), modern logic, (Quine) and modern philosophy, (Cassirer), but it is still firmly grounded in Realism. It's conclusion is that the existence of "mind" is a necessary consequence of realism. (shrink)

A close examination of the literature on ontology may strike one with roughly two distinct senses of this word. According to the first of them, which we shall call traditional ontology , ontology is characterized as the a priori study of various “ontological categories”. In a second sense, which may be called naturalized ontology , ontology relies on our best scientific theories and from them it tries to derive the ultimate furniture of the world. From a methodological point of view (...) these two senses of ontology are very far away. Here, we discuss a possible relationship between these senses and argue that they may be made compatible and complement each other. We also examine how logic, understood as a linguistic device dealing with the conceptual framework of a theory and its basic inference patterns must be taken into account in this kind of study. The idea guiding our proposal may be put as follows: naturalized ontology checks for the applicability of the ontological categories proposed by traditional ontology and give substantial feedback for it. The adequate expression of some of the resulting ontological frameworks may require a different logic. We conclude with a discussion of the case of orthodox quantum mechanics, arguing that this theory exemplifies the kind of relationship between the two senses of ontology. We also argue that the view proposed here may throw some light in ontological questions concerning this theory. (shrink)

Hans Herzberger as a philosopher and logician has shown deep interest both in the philosophy of Gottlob Frege, and in the topic of the inexpressible and the ineffable. In the fall of 1982, he taught at the University of Toronto, together with André Gombay, a course on Frege's metaphysics, philosophy of language, and foundations of arithmetic. Again, in the fall of 1986, he taught a seminar on the philosophy of language that dealt with 'the limits of discursive symbolism in several (...) domains of human experience.' The course description continues by saying: 'Special attention will be given to the paradoxes underlying various doctrines of the inexpressible and the tensions inherent in those paradoxes. Some doctrines of .. (shrink)

This discussion paper proposes that a meaningful distinction between science and technoscience can be found at the level of the objects of research. Both notions intermingle in the attitudes, intentions, programs and projects of researchers and research institutions—that is, on the side of the subjects of research. But the difference between science and technoscience becomes more explicit when research results are presented in particular settings and when the objects of research are exhibited for the specific interest they hold. When an (...) experiment is presented as scientific evidence which confirms or disconfirms a hypothesis, this agrees with traditional conceptions of science. When organic molecules are presented for their capacity to serve individually as electric wires that carry surprisingly large currents, this would be a hallmark of technoscience. Accordingly, we propose research on the ontology of research objects. The focus on the character and significance of research objects makes this a specifically philosophical project. (shrink)