In the course of the discussion, Professor Quine pinpoints the difficulties involved in translation, brings to light the anomalies and conflicts implicit in our ...

If Art is smart and Art is rich, then someone is both smart and rich – namely, Art. And if Art is smart and Bart is smart, then Art is something that Bart is, too – namely, smart. The first claim involves first-order quantification, a generalization concerning what kinds of things there are. The second involves second-order quantification, a generalization concerning what there is for things to be. Or so it appears. Following W.V.O. Quine, many philosophers have endorsed a thesis (...) of Ontological Collapse about second-order quantification. They maintain that ultimately, second-order quantification reduces to first-order quantification over sets or properties, and therefore also carries the latter’s distinctive ontological commitments. In this revised version of his doctoral dissertation, awarded the Wolfgang-Stegmüller-Prize in 2012, Stephan Krämer examines the major arguments for Ontological Collapse in detail and finds all of them wanting. Quantifications, he argues, fall into at least two irreducible kinds: those on what things there are, and those on what there is for things to be. (shrink)

P.F. Strawson's essay traces some formal characteristics of logic and grammar to their roots in general features of thought and experience.

Neo-Fregeans take their argument for arithmetical realism to depend on the availability of certain, so-called broadly syntactic tests for whether a given expression functions as a singular term. The broadly syntactic tests proposed in the neo-Fregean tradition are the so-called inferential test and the Aristotelian test. If these tests are to subserve the neo-Fregean argument, they must be at least adequate, in the sense of correctly classifying paradigm cases of singular terms and non-singular terms. In this paper, I pursue two (...) main goals. On the one hand, I show that the tests’ current state-of-the-art formulations are inadequate and, hence, cannot subserve the neo-Fregean argument. On the other hand, I propose revisions that are adequate and, hence, can subserve this argument. (shrink)

Hilary Putnam deals in this book with some of the most fundamental persistent problems in philosophy: the nature of truth, knowledge and rationality. His aim is to break down the fixed categories of thought which have always appeared to define and constrain the permissible solutions to these problems.

Divided into two parts, the first concentrates on the logical properties of propositions, their relation to facts and sentences, and the parallel objects of commands and questions. The second part examines theories of intentionality and discusses the relationship between different theories of naming and different accounts of belief.

A realist theory of truth for a class of sentences holds that there are entities in virtue of which these sentences are true or false. We call such entities ‘truthmakers’ and contend that those for a wide range of sentences about the real world are moments (dependent particulars). Since moments are unfamiliar, we provide a definition and a brief philosophical history, anchoring them in our ontology by showing that they are objects of perception. The core of our theory is the (...) account of truthmaking for atomic sentences, in which we expose a pervasive ‘dogma of logical form’, which says that atomic sentences cannot have more than one truthmaker. In contrast to this, we uphold the mutual independence of logical and ontological complexity, and the authors outline formal principles of truthmaking taking account of both kinds of complexity. (shrink)

In "Realism and Reason" Hilary Putnam has offered an apparently strong argument that the position of metaphysical realism provides an incoherent model of the relation of a correct scientific theory to the world. However, although Putnam's attack upon the notion of the "intended" interpretation of a scientific theory is sound, it is shown here that realism may be formulated in such a way that the realist need make no appeal to any "intended" interpretation of such a theory. Consequently, it can (...) be shown that realism is immune to Putnam's criticism and that attempts at reformulating this criticism are not likely to meet with success. (shrink)

Is the assumption of a fundamental distinction between particulars and universals another unsupported dogma of metaphysics? F. P. Ramsey famously rejected the particular – universal distinction but neglected to consider the many different conceptions of the distinction that have been advanced. As a contribution to the piecemeal investigation of this issue three interrelated conceptions of the particular – universal distinction are examined: universals, by contrast to particulars, are unigrade; particulars are related to universals by an asymmetric tie of exemplification; universals (...) are incomplete whereas particulars are complete. It is argued that these conceptions are wanting in several respects. Sometimes they fail to mark a significant division amongst entities. Sometimes they make substantial demands upon the shape of reality; once these demands are understood aright it is no longer obvious that the distinction merits our acceptance. The case is made via a discussion of the possibility of multigrade universals. (shrink)

Whether a predicate is a referential expression depends upon what reference is conceived to be. Even if it is granted that reference is a relation between words and worldly items, the referents of expressions being the items to which they are so related, this still leaves considerable scope for disagreement about whether predicates refer. One of Frege's great contributions to the philosophy of language was to introduce an especially liberal conception of reference relative to which it is unproblematic to suppose (...) that predicates are referring expressions. According to this liberal conception, each significant expression in a language has its own distinctive semantic role or power, a power to effect the truth-value of the sentences in which it occurs. (shrink)

This chapter concentrates on two discussions, both of which enlist Wittgenstein's rule‐following considerations in support of radical and highly revisionary conclusions about the objectivity of meaning ‐ conclusions which may appear to entail, and have been taken to entail, consequences for the objectivity of truth and judgment which are no less radical and revisionary. There is widespread agreement that Wittgenstein advances, in the rule‐following sections of Philosophical Investigations and Remarks on the Foundations of Mathematics, considerations that are quite destructive of (...) certain conceptions of meaning, understanding, and rule‐following into which one may easily slide when attempts a general philosophical account of them. Saul Kripke interprets central sections of Philosophical Investigations as developing a 'skeptical paradox' about meaning. Kripke himself describes the skeptical conclusion as 'insane and intolerable'. (shrink)

Say that two sentences are factually equivalent when they describe the same facts or situations, understood as worldly items, i.e. as bits of reality rather than as representations of reality. The notion of factual equivalence is certainly of central interest to philosophical semantics, but it plays a role in a much wider range of philosophical areas. What is the logic of factual equivalence? This paper attempts to give a partial answer to this question, by providing an answer the following, more (...) specific question: Given a standard propositional language with negation, conjunction and disjunction as primitive operators, which sentences of the language should be taken to be factually equivalent by virtue of their logical form? The system for factual equivalence advocated in this paper is a proper fragment of the first-degree system for the logic of analytic equivalence put forward in the late seventies by R. B. Angell. I provide the system with two semantics, both formulated in terms of the notion of a situation’s being fittingly described by a linguistic item. In the final part of the paper I argue, contra a view I defended in my “Grounding and Truth-Functions”, that the logic for factual equivalence I advocate here should be preferred to Angell’s logic if one wishes to follow the general conception of the relationships between factual equivalence and the notion of grounding put forward in the 2010 paper. (shrink)

Some people object to realism about universals because they think that instantiation, the connection between something and the universals that characterize it, is too mysterious. Baxter and Armstrong try to make instantiation less mysterious by taking it to be a kind of partial identity. However, I argue that their accounts of instantiation, and any similar ones, fail.

The article is an investigation of a certain form of argument that refers to Leibniz’s Law as its inference ticket (where Leibniz’s Law is understood as the thesis that if x=y.

Hilary Putnam deals in this book with some of the most fundamental persistent problems in philosophy: the nature of truth, knowledge and rationality. His aim is to break down the fixed categories of thought which have always appeared to define and constrain the permissible solutions to these problems.

Timothy Williamson gives an original and provocative treatment of deep metaphysical questions about existence, contingency, and change, using the latest resources of quantified modal logic. Contrary to the widespread assumption that logic and metaphysics are disjoint, he argues that modal logic provides a structural core for metaphysics.

Tim Button explores the relationship between words and world; between semantics and scepticism. -/- A certain kind of philosopher – the external realist – worries that appearances might be radically deceptive. For example, she allows that we might all be brains in vats, stimulated by an infernal machine. But anyone who entertains the possibility of radical deception must also entertain a further worry: that all of our thoughts are totally contentless. That worry is just incoherent. -/- We cannot, then, be (...) external realists, who worry about the possibility of radical deception. Equally, however, we cannot be internal realists, who reject all possibility of deception. We must position ourselves somewhere between internal realism and external realism, but we cannot hope to say exactly where. We must be realists, for what that is worth, and realists within limits. -/- In establishing these claims, The Limits of Realism critically explores and develops several themes from Hilary Putnam’s work: the model-theoretic arguments; the connection between truth and justification; the brain-in-vat argument; semantic externalism; and conceptual relativity. The book establishes the continued significance of these topics for all philosophers interested in mind, logic, language, or the possibility of metaphysics. (shrink)

Barry Taylor's book mounts a major new argument against one of the fundamental tenets of much contemporary philosophy, the idea that we can make sense of reality as existing objectively, independently of our capacities to come to know it. He concludes that there is no defensible notion of truth which preserves the theses of traditional realism, nor any extant position sufficiently true to the ideals of that doctrine to inherit its title. In presenting his case Taylor engages with many key (...) works of contemporary metaphysics, semantics, and philosophical logic, so his book will be of interest to a broad spectrum of scholars and students. (shrink)

Putnam's model theoretic argument against metaphysical realism can be reconstructed as valid, with premises acceptable to the realist. There is no illegitimate assumption that the causal theory of reference is false.

During the realist revival in the early years of this century, philosophers of various persuasions were concerned to investigate the ontology of truth. That is, whether or not they viewed truth as a correspondence, they were interested in the extent to which one needed to assume the existence of entities serving some role in accounting for the truth of sentences. Certain of these entities, such as the Sätze an sich of Bolzano, the Gedanken of Frege, or the propositions of Russell (...) and Moore, were conceived as the bearers of the properties of truth and falsehood. Some thinkers however, such as Russell, Wittgenstein in the Tractatus, and Husserl in the Logische Untersuchungen, argued that instead of, or in addition to, truth-bearers, one must assume the existence of certain entities in virtue of which sentences and/or propositions are true. Various names were used for these entities, notably 'fact', 'Sachverhalt', and 'state of affairs'. (1) In order not to prejudge the suitability of these words we shall initially employ a more neutral terminology, calling any entities which are candidates for this role truth-makers. (shrink)

The paper deals with the semantics and ontology of ordinary discourse about properties. The main focus lies on the following thesis: A simple predication of the form ‘a is F’ is synonymous with the corresponding explicit property-attribution ‘a has F-ness’. An argument against this Synonymy Thesis is put forth which is based on the thesis that simple predications and property-attributions differ in their conditions of understanding. In defending the argument, the paper accounts for the way in which we come to (...) adopt the conceptual framework of properties. (shrink)