The paper tries to spell out a connection between deductive logic and rationality, against Harman's arguments that there is no such connection, and also against the thought that any such connection would preclude rational change in logic. One might not need to connect logic to rationality if one could view logic as the science of what preserves truth by a certain kind of necessity (or by necessity plus logical form); but the paper points out a serious obstacle to any such (...) view. (shrink)

Do human beings have a special and distinguished place in reality? In Idealism and the Harmony of Thought and Reality Thomas Hofweber contends that they do. We are special since there is an intimate connection between our human minds and reality itself. This book defends a form of idealism which holds that our human minds constrain, but do not construct, reality as the totality of facts. Reality as the totality of facts is thus not independent of our minds, and our (...) minds play a metaphysically special role in all of reality. But reality as the totality of things is taken to be completely independent of us. Hofweber's proposed form of conceptual idealism is formulated via the notion of a harmony between our minds and reality. This harmony is defended through considerations in the philosophy of language. How can one possibly defend a metaphysical thesis like idealism from considerations about our own representation? A key step in the book's argument is to consider a special class of concepts--inescapable concepts--which we cannot rationally replace with different ones. This leads to a new approach for making progress in metaphysics--immanent metaphysics--which is broadly neo-Kantian in spirit. (shrink)

"This book is valuable as expounding in full a theory of meaning that has its roots in the work of Frege and has been of the widest influence.

This book defends a version of linguistic idealism, the thesis that the world is a product of language. In the course of defending this radical thesis, Gaskin addresses a wide range of topics in contemporary metaphysics, philosophy of language, philosophical logic, and syntax theory. Starting from the context and compositionality principles, and the idea of a systematic theory of meaning in the Tarski-Davidson tradition, Gaskin argues that the sentence is the primary unit of linguistic meaning, and that the main aspects (...) of meaning, sense and reference, are themselves theoretical posits. Ontology, which is correlative with reference, emerges as language-driven. This linguistic idealism is combined with a realism that accepts the objectivity of science, and it is accordingly distinguished from empirical pragmatism. Gaskin contends that there is a basic metaphysical level at which everything is expressible in language; but the vindication of linguistic idealism is nuanced inasmuch as there is also a derived level, asymmetrically dependant on the basic level, at which reality can break free of language and reach into the realms of the unnameable and indescribable. Language and World will be of interest to scholars and advanced students working in metaphysics, philosophy of language, and linguistics. (shrink)

This book traces the development of formal logic from its origins inancient Greece to the present day. The authors first discuss the work oflogicians from Aristotle to Frege, showing how they were influenced by thephilosophical or mathematical ideas of their time. They then examinedevelopments in the present century.

In this book, Zalta attempts to lay the axiomatic foundations of metaphysics by developing and applying a (formal) theory of abstract objects. The cornerstones include a principle which presents precise conditions under which there are abstract objects and a principle which says when apparently distinct such objects are in fact identical. The principles are constructed out of a basic set of primitive notions, which are identified at the end of the Introduction, just before the theorizing begins. The main reason for (...) producing a theory which defines a logical space of abstract objects is that it may have a great deal of explanatory power. It is hoped that the data explained by means of the theory will be of interest to pure and applied metaphysicians, logicians and linguists, and pure and applied epistemologists. (shrink)

Quine has called the question, ‘What is there?’ the “ontological question.” But if we call this question by that name, what name shall we use for the question, ‘What are we asking when we ask “What is there?”’? I shall call it ‘the meta-ontological question’. I shall call the attempt to answer the meta-ontological question ‘meta-ontology’ and any proposed answer to it ‘a meta-ontology’. In this essay, I shall briefly sketch a meta-ontology. The meta-ontology I shall present is broadly Quinean. (...) I am, in fact, willing to call it an exposition of Quine’s meta-ontology. (shrink)

In this manuscript, published here for the first time, Tarski explores the concept of logical notion. He draws on Klein's Erlanger Programm to locate the logical notions of ordinary geometry as those invariant under all transformations of space. Generalizing, he explicates the concept of logical notion of an arbitrary discipline.

By a `denoting phrase' I mean a phrase such as any one of the following: a man, some man, any man, every man, all men, the present King of England, the present King of France, the center of mass of the solar system at the first instant of the twentieth century, the revolution of the earth round the sun, the revolution of the sun round the earth. Thus a phrase is denoting solely in virtue of its form. We may distinguish (...) three cases: (1) A phrase may be denoting, and yet not denote anything; e.g., `the present King of France'. (2) A phrase may denote one definite object; e.g., `the present King of England' denotes a certain man. (3) A phrase may denote ambiguously; e.g. `a man' denotes not many men, but an ambiguous man. The interpretation of such phrases is a matter of considerably difficulty; indeed, it is very hard to frame any theory not susceptible of formal refutation. All the difficulties with which I am acquainted are met, so far as I can discover, by the theory which I am about to explain. (shrink)

In this book Terence Parsons revives the older tradition of taking such objects at face value. Using various modern techniques from logic and the philosophy of language, he formulates a metaphysical theory of nonexistent objects. The theory is given a formalization in symbolism rich enough to contain definite descriptions, modal operators, and epistemic contexts, and the book includes a discussion which relates the formalized theory explicitly to English.

Let me start with a well-known story. Kant held that logic and conceptual analysis alone cannot account for our knowledge of arithmetic: “however we might turn and twist our concepts, we could never, by the mere analysis of them, and without the aid of intuition, discover what is the sum [7+5]” (KrV, B16). Frege took himself to have shown that Kant was wrong about this. According to Frege’s logicist thesis, every arithmetical concept can be defined in purely logical terms, and (...) every theorem of arithmetic can be proved using only the basic laws of logic. Hence, Kant was wrong to think that our grasp of arithmetical concepts and our knowledge of arithmetical truth depend on an extralogical source—the pure intuition of time (Frege 1884, §89, §109). Arithmetic, properly understood, is just a part of logic. (shrink)

The expression ‘free logic,’ coined by the author in 1960, is an abbreviation for ‘logic free of existence assumptions with respect to its terms, singular and general, but whose quantifiers are treated exactly as in standard quantifier logic.’ In more traditional language, such logics do not presume that either singular or general terms — the two distinct categories of terms emphasized in modern logical grammar — have existential import. A singular term ‘t’ has existential import just in case t exists (...) (or, equivalently, there exists an object the same as t) and a general term (or predicate) ‘G’ has existential import just in case G exist (or, equivalently, there exists an object that is G).1 Examples from colloquial English customarily taken to be singular terms are expressions such as ‘Socrates’, ‘the planet causing perturbations in the orbit of Mercury’, ‘5’, ‘5/0’, ‘the square of 3’ and ‘having a heart’. Some of these do not have existential import — in particular, ‘5/0’ and ‘the planet causing perturbations in the orbit of Mercury’. Examples from colloquial English customarily taken to be general terms are expressions such as ‘is a philosopher’, ‘is a planet causing perturbations in the orbit of Mercury’, ‘number’, ‘is divisible by 0’, and ‘has a heart’. Some of these general terms do not have existential import — in particular, ‘is a planet causing perturbations in the orbit of Mercury’ and ‘is divisible by 0’. To say that the quantifers are treated exactly as in standard quantifier logic is to say, roughly, that the operator symbol ‘∃’ (the existential quantifier) reads: ‘There exists an object’, and the operator symbol ‘∀’ (the universal quantifier) reads: ‘Every existent object’. (shrink)

Truth is one of the most debated topics in philosophy; Wolfgang Kunne presents a comprehensive critical examination of all major theories, from Aristotle to the present day. He argues that it is possible to give a satisfactory 'modest' account of truth without invoking problematic notions like correspondence, fact, or meaning. The clarity of exposition and the wealth of examples will make Conceptions of Truth an invaluable and stimulating guide for advanced students and scholars.

überall einen richtigen Gebrauch der reinen Vernunft giebt, in welchem Fall es auch einen Canon derselben geben muß, so wird dieser nicht den speculativen, sondernden pr.ntischen Vernunftgebrauch betreffen, den wir also iezt ...

Ontology and the Ambitions of Metaphysics By HofweberThomasOxford University Press, 2016. xvi + 366 pp. £50.00.

Kit Fine develops a Fregean theory of abstraction, and suggests that it may yield a new philosophical foundation for mathematics, one that can account for both our reference to various mathematical objects and our knowledge of various mathematical truths. The Limits ofion breaks new ground both technically and philosophically.

This paper is an investigation of the general logic of "identifications", claims such as 'To be a vixen is to be a female fox', 'To be human is to be a rational animal', and 'To be just is to help one's friends and harm one's enemies', many of which are of great importance to philosophers. I advocate understanding such claims as expressing higher-order identity, and discuss a variety of different general laws which they might be thought to obey. [New version: (...) Nov. 4th, 2016]. (shrink)

When I first began to take an interest in the debate over nominalism in philosophy of mathematics, some twenty-odd years ago, the issue had already been under discussion for about a half-century. The terms of the debate had been set: W. V. Quine and others had given “abstract,” “nominalism,” “ontology,” and “Platonism” their modern meanings. Nelson Goodman had launched the project of the nominalistic reconstruction of science, or of the mathematics used in science, in which Quine for a time had (...) joined him before turning against him. William Alston, Rudolf Carnap, and Michael Dummett had raised doubts about what the point of Goodman’s exercise could be, and though they had unfortunately been largely ignored, Quine’s contention that the exercise cannot be successfully completed had gained wide publicity as the so-called “indispensability” argument against nominalism. By contrast, two subtle discussions of Paul Benacerraf had been appropriated by nominalists and turned into the so-called “multiple reductions” and “epistemological” arguments for nominalism. (shrink)

In this book, Stephen Read sets out to rescue logic from its undeserved reputation as an inflexible, dogmatic discipline by demonstrating that its technicalities and processes are founded on assumptions which are themselves amenable to philosophical investigation. He examines the fundamental principles of consequence, logical truth and correct inference within the context of logic, and shows that the principles by which we delineate consequences are themselves not guaranteed free from error. Central to the notion of truth is the beguiling issue (...) of paradox. Its philosophical value, Read shows, lies in exposing the invalid assumption on which the paradox is built. Thinking About Logic also discusses logical puzzles which introduce questions relating to language, the world, and their relationship. (shrink)

Existence questions have been topics for heated debates in metaphysics, but this book argues that they can often be answered easily, by trivial inferences from uncontroversial premises. This 'easy' approach to ontology leads to realism about disputed entities, and to the view that metaphysical disputes about existence questions are misguided.

In order to perfectly describe the world, it is not enough to speak truly. One must also use the right concepts - including the right logical concepts. One must use concepts that "carve at the joints", that give the world's "structure". There is an objectively correct way to "write the book of the world". Much of metaphysics, as traditionally conceived, is about the fundamental nature of reality; in the present terms, this is about the world's structure. Metametaphysics - inquiry into (...) the status of metaphysical questions - turns on structure. The question of whether ontological, causal, or modal questions are "substantive" is in large part a question of whether the world has ontological, causal, and modal structure - whether quantifiers, causal relations, and modal operators carve at the joints. (shrink)

Philosophers and theorists have long been puzzled by humans' ability to talk about things that do not exist, or to talk about things that they think exist but, in fact, do not. _Empty Names, Fiction, and the Puzzles of Non-Existence_ is a collection of 13 new works concerning the semantic and metaphysical issues arising from empty names, non-existence, and the nature of fiction. The contributors include some of the most important researchers working in these fields. Some of the papers develop (...) and defend new positions on these matters, while others offer important new perspectives and criticisms of the existing approaches. The volume contains a comprehensive introductory essay by the editors, which provides a survey of the philosophical issues concerning empty names, the various responses to these issues, and the literature on the subject to date. (shrink)

A sense of unity -- Basic objects : a reply to Xu -- Objectivity without objects -- The vagueness of identity -- Quantifier variance and realism -- Against revisionary ontology -- Comments on Theodore Sider's four dimensionalism -- Sosa's existential relativism -- Physical-object ontology, verbal disputes, and common sense -- Ontological arguments : interpretive charity and quantifier variance -- Language, ontology, and structure -- Ontology and alternative languages.

"The first two lectures place the alternative I defend -- a kind of pragmatic realism -- in a historical and metaphysical context. Part of that context is provided by Husserl's remark that the history of modern philosophy begins with Galileo -- that is, modern philosophy has been hypnotized by the idea that scientific facts are all the facts there are. Another part is provided by the analysis of a very simple example of what I call 'contextual relativity'. The position I (...) defend holds that truth depends on conceptual scheme and it is nonetheless 'real truth'. "In my third lecture I turn to the Kantian antecedents of this view, explaining what I think should be retained of the Kantian idea of autonomy as the central theme of morality, and extracting from Kant's work a 'moral image of the world' that connects the ideals of equality and intellectual liberty. In this lecture I defend the idea that moral images are an indispensible part of our moral and cultural heritage. "In the final lecture I defend the idea of moral objectivity. I compare our epistemological positions in ethics, history, analysis of human character, and science, and I argue that in no area can we hope for a 'foundation' which is more ultimate than the beliefs that actually, at a given time, function as foundational in the area, the beliefs concerning which one has to say 'this is where my spade is turned'. In ethics such beliefs are represented in moral images of the world.". (shrink)

On the now dominant Quinean view, metaphysics is about what there is. Metaphysics so conceived is concerned with such questions as whether properties exist, whether meanings exist, and whether numbers exist. I will argue for the revival of a more traditional Aristotelian view, on which metaphysics is about what grounds what. Metaphysics so revived does not bother asking whether properties, meanings, and numbers exist (of course they do!) The question is whether or not they are fundamental.

There is a long history of worrying about whether or not metaphysics is a legitimate philosophical discipline. Traditionally such worries center around issues of meaning and epistemological concerns. Do the metaphysical questions have any meaning? Can metaphysical methodology lead to knowledge? But these questions are, in my opinion, not as serious as they have sometimes (historically) been taken to be. What is much more concerning is another set of worries about metaphysics, which I take to the greatest threat to metaphysics (...) as a philosophical discipline. These worries, in effect, hold that the questions that metaphysics tries to answer have long been answered in other parts of inquiry, ones that have much greater authority. And if they haven’t been answered yet then one should not look to philosophy for an answer. What metaphysics tries to do has been or will be done by the sciences. There is nothing left to do for philosophy, or so the worry. Let me illustrate this with two examples, one of which is our main concern here. (shrink)

Although higher-order metaphysics seems prima facie to be a promising new approach to metaphysics, it is nonetheless based on a mistake. This mistake is tied to a misuse of formal languages in metaphysics in general, not just to the use of higher-order rather than lower-order languages. I hope to highlight the mistake by discussing a popular recent example of higher- order metaphysics: the argument that reality is not structured using reasoning inspired by the Russell-Myhill paradox. A key issue will be (...) the relationship between higher-order quantification in formal languages and quantification in English, in particular the questions whether such quantifiers are already to be found in English, and whether they could simply be added to English if not in order to gain expressive strength. I will conclude that little of metaphysical significance follows from this Russell-Myhill inspired argument against structure. The reason why the results of higher-order logic show little of metaphysical significance generalizes to other uses of higher-order logic in metaphysical theorizing, and with it supports that higher-order metaphysics is a flawed research program. I end with some reflections on what positive role formal tools like higher-order logic can have in metaphysics, and what the fundamental mistake is on which higher-order metaphysics is based. (shrink)

In this paper I attempt two things. First, I argue that one can coherently imagine different communities using languages structurally similar to English, but in which the meanings of the quantifiers vary, so that the answers to ontological questions, such as ‘Under what circumstances do some things compose something?’, are different. Second, I argue that nevertheless, one can make sense of the idea that of the various possible assignments of meanings to the quantifiers, one is especially fundamental, so that there (...) is still room for genuine debate as regards the answers to ontological questions construed in the fundamental way. My attempt to explain what is distinctive about the fundamental senses of the quantifiers involves a generalisation of the idea that claims of existence are never analytic.<br>. (shrink)

[Stephen Yablo] The usual charge against Carnap's internal/external distinction is one of 'guilt by association with analytic/synthetic'. But it can be freed of this association, to become the distinction between statements made within make-believe games and those made outside them-or, rather, a special case of it with some claim to be called the metaphorical/literal distinction. Not even Quine considers figurative speech committal, so this turns the tables somewhat. To determine our ontological commitments, we have to ferret out all traces of (...) nonliterality in our assertions; if there is no sensible project of doing that, there is no sensible project of Quinean ontology. /// [Andre Gallois] I discuss Steve Yablo's defence of Carnap's distinction between internal and external questions. In the first section I set out what I take that distinction, as Carnap draws it, to be, and spell out a central motivation Carnap has for invoking it. In the second section I endorse, and augment, Yablo's response to Quine's arguments against Carnap. In the third section I say why Carnap's application of the distinction between internal and external questions runs into trouble. In the fourth section I spell out what I take to be Yablo's version of Carnap. In the last I say why that version is especially vulnerable to the objection raised in the second. (shrink)