Book Information Articulating Reasons: An Introduction To Inferentialism. By Brandom Robert. Harvard University Press. Cambridge. 2000. Pp. 230. Hardback, £23.95.

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)

G. F. Stout is famous as an early twentieth century proselyte for abstract particulars, or tropes as they are now often called. He advanced his version of trope theory to avoid the excesses of nominalism on the one hand and realism on the other. But his arguments for tropes have been widely misconceived as metaphysical, e.g. by Armstrong. In this paper, I argue that Stout’s fundamental arguments for tropes were ideological and epistemological rather than metaphysical. He moulded his scheme to (...) fit what is actually given to us in perception, arguing that our epistemic practices would break down in an environment where only universals were given to us. (shrink)

This article for the Stanford Encyclopedia for Philosophy provides a state of the art survey and assessment of the contemporary debate about truth-makers, covering both the case for and against truth-makers. It explores 4 interrelated questions about truth-makers, (1) What is it to be a truth-maker? (2) Which range, or ranges, of truths are eligible to be made true (if any are)? (3) What kinds of entities are truth-makers? (4) What is the motivation for adopting a theory of truth-makers? And (...) adds that there's another question to often put aside by metaphysicians but has critical consequences for truth-makers: (5) What are the truth-bearers? (shrink)

Frege attempted to provide arithmetic with a foundation in logic. But his attempt to do so was confounded by Russell's discovery of paradox at the heart of Frege's system. The papers collected in this special issue contribute to the on-going investigation into the foundations of mathematics and logic. After sketching the historical background, this introduction provides an overview of the papers collected here, tracing some of the themes that connect them.

According to the species of neo‐logicism advanced by Hale and Wright, mathematical knowledge is essentially logical knowledge. Their view is found to be best understood as a set of related though independent theses: (1) neo‐fregeanism—a general conception of the relation between language and reality; (2) the method of abstraction—a particular method for introducing concepts into language; (3) the scope of logic—second‐order logic is logic. The criticisms of Boolos, Dummett, Field and Quine (amongst others) of these theses are explicated and assessed. (...) The issues discussed include reductionism, rejectionism, the Julius Caesar problem, the Bad Company objections, and the charge that second‐order logic is set theory in disguise.The irresistible metaphor is that pure abstract objects […] are no more than shadows cast by the syntax of our discourse. And the aptness of the metaphor is enhanced by the reflection that shadows are, after their own fashion, real. (Crispin Wright [1992], p. 181–2)But I feel conscious that many a reader will scarcely recognise in the shadowy forms which I bring before him his numbers which all his life long have accompanied him as faithful and familiar friends; (Richard Dedekind [1963], p. 33)1 Introduction2 Logical‐historical preliminaries3 The linguistic turn4 Reductionism5 Rejectionism6 The ‘Julius Caesar’ problem7 Second‐order logic8 Bad company objections9 Conclusion. (shrink)

Modality is standardly thought to come in two varieties: de dicto and de re. De re modality concerns the attribution of modal features to things or individuals, and enshrines a commitment to Aristotelian essentialism. This chapter considers how David Lewis's conception of de re modality fits into his overall metaphysics. The hypothesis is that the driving force behind his metaphysics in general, and his adherence to counterpart theory in particular, is the distinctly Humean thought that necessary connections between distinct existences (...) are literally unintelligible. Lewis's appeal to counterpart theory in his account of truthmakers is explicitly aimed at delivering a truthmaker principle that eschews necessary connections. Lewis's attitude towards several well‐rehearsed debates in contemporary ontology and the reasons underlying that attitude closely mirror Hume's incendiary verdict on "divinity and school metaphysics." Finally, de re modality is connected with his adherence to the doctrine of "Humean supervenience". (shrink)

One version of the Julius Caesar problem arises when we demand assurance that expressions drawn from different theories or stretches of discourse refer to different things. The counter‐Caesar problem arises when assurance is demanded that expressions drawn from different theories . refer to the same thing. The Julio César problem generalises from the counter‐Caesar problem. It arises when we seek reassurance that expressions drawn from different languages refer to the same kind of things . If the Julio César problem is (...) not resolved then the Fregean account of numbers as objects is cast into doubt, the notion of number left relative to a language. Wright introduced this problem by asking whether there can be such a thing as ‘International Platonism’. After rejecting Hale's attempt to resolve it I argue that the threat posed by the Julio César problem diminishes – even though it cannot be made to logically disappear – once it is recognised that the radical interpretation of an unfamiliar language is inevitably holistic, the evidence available invariably defeasible and consequently Cartesian certainty about the significance of the utterances of a foreign tongue neither to be sought after nor attained. (shrink)

One version of the Julius Caesar problem arises when we demand assurance that expressions drawn from different theories or stretches of discourse refer to different things. The counter‐Caesar problem arises when assurance is demanded that expressions drawn from different theories. refer to the same thing. The Julio César problem generalises from the counter‐Caesar problem. It arises when we seek reassurance that expressions drawn from different languages refer to the same kind of things. If the Julio César problem is not resolved (...) then the Fregean account of numbers as objects is cast into doubt, the notion of number left relative to a language. Wright introduced this problem by asking whether there can be such a thing as ‘International Platonism’. After rejecting Hale's attempt to resolve it I argue that the threat posed by the Julio César problem diminishes – even though it cannot be made to logically disappear – once it is recognised that the radical interpretation of an unfamiliar language is inevitably holistic, the evidence available invariably defeasible and consequently Cartesian certainty about the significance of the utterances of a foreign tongue neither to be sought after nor attained. (shrink)

Do non‐symmetric relations apply to the objects they relate in an order? According to the standard view of relations, the difference between aRb and bRa obtaining, where R is non‐symmetric, corresponds to a difference in the order in which the non‐symmetric relation R applies to a and b. Recently Kit Fine has challenged the standard view in his important paper ‘Neutral Relations’ arguing that non‐symmetric relations are neutral, lacking direction or order. In this paper I argue that Fine cannot account (...) for the application of non‐symmetric relations to their relata; so far from being neutral, these relations are inherently directional. (shrink)

Can Bradley's Regress be solved by positing relational tropes as truth-makers? No, no more than Russell's paradox can be solved by positing Fregean extensions. To call a trope relational is to pack into its essence the relating function it is supposed to perform but without explaining what Bradley's Regress calls into question, viz. the capacity of relations to relate. This problem has been masked from view by the (questionable) assumption that the only genuine ontological problems that can be intelligibly raised (...) are those that can be answered by providing a schedule of truthmakers. (shrink)

In ‘Putnam’s Paradox’, Lewis defended global descriptivism and reference magnetism. According to Schwarz [2014], Lewis didn’t mean what he said there, and really held neither position. We present evidence from Lewis’s correspondence and publications which shows conclusively that Lewis endorsed both.

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)

Is the truthmaker principle a development of the correspondence theory of truth? So Armstrong introduced the truthmaker principle to us, but Lewis (2001. Forget about the ‘correspondence theory of truth’. Analysis 61: 275–80.) influentially argued that it is neither a correspondence theory nor a theory of truth. But the truthmaker principle can be correctly understood as a development of the correspondence theory if it’s conceived as incorporating the insight that truth is a relation between truth-bearers and something worldly. And we (...) strengthen rather than weaken the plausibility of the truthmaker principle if we conceive of truth as performing a substantial rather than deflationary role in the truthmaker principle. (shrink)

Is there a particular‐universal distinction? Ramsey famously advocated scepticism about this distinction. In “Some Formal Ontological Relations” E.J. Lowe argues against Ramsey that a particular‐universal distinction can be made out after all if only we allow ourselves the resources to distinguish between the elements of a four‐fold ontology. But in defence of Ramsey I argue that the case remains to be made in favour of either the four‐fold ontology Lowe recommends or the articulation of a particular‐universal distinction within it. I (...) also argue that the case remains to be made against a spatio‐temporal conception of the particular‐universal distinction. (shrink)

A priori reflection, common sense and intuition have proved unreliable sources of information about the world outside of us. So the justification for a theory of the categories must derive from the empirical support of the scientific theories whose descriptions it unifies and clarifies. We don’t have reliable information about the de re modal profiles of external things either because the overwhelming proportion of our knowledge of the external world is theoretical—knowledge by description rather than knowledge by acquaintance. This undermines (...) the traditional idea that to be an object of category C is to be an object with such- and-such characteristic possibilities of combination. But this is no loss because de re modal thought lacks utility for creatures like us. (shrink)

In this paper I want to do the following things. First I want to show that in the part of the Theaetetus where the relationship between knowledge and perception is examined, the concept of knowledge that is in question is very clearly characterized. We are left in no doubt as to what is to count as knowing. Secondly I want to unravel in some detail the case that Socrates puts on Protagoras’ behalf where he draws on what Protagoras actually wrote (...) (151 E-152C); as opposed to what he may have taught secretly to his pupils (152C-160D). Thirdly I wish to argue that if we let the dialogue speak for itself, it is manifest that this case put up on Protagoras’ behalf at 151 E-152C is not overthrown; it is not even shaken. (shrink)

In an unpublished speech from 1991, David Lewis told his audience that he counted ‘the metaphysician Carnap ’ amongst his historical ancestors. Here I provide a novel interpretation of the Aufbau that allows us to make sense of Lewis’s claim. Drawing upon Lewis’s correspondence, I argue it was the Carnap of the Aufbau whom Lewis read as a metaphysician, because Carnap’s appeal to the notion of founded relations in the Aufbau echoes Lewis’s own appeal to the metaphysics of natural properties. (...) I further maintain that Lewis was right to read Carnap this way and that the notion of a founded relation has a legitimate claim to be both logical and metaphysical. I also argue that Carnap’s initial response to Goodman’s puzzle about ‘grue’ relies upon a metaphysics of simple properties which also prefigures Lewis’s own response to Goodman invoking natural properties. (shrink)

In 1901 Russell had envisaged the new analytic philosophy as uniquely systematic, borrowing the methods of science and mathematics. A century later, have Russell’s hopes become reality? David Lewis is often celebrated as a great systematic metaphysician, his influence proof that we live in a heyday of systematic philosophy. But, we argue, this common belief is misguided: Lewis was not a systematic philosopher, and he didn’t want to be. Although some aspects of his philosophy are systematic, mainly his pluriverse of (...) possible worlds and its many applications, that systematicity was due to the influence of his teacher Quine, who really was an heir to Russell. Drawing upon Lewis’s posthumous papers and his correspondence as well as the published record, we show that Lewis’s non- Quinean influences, including G.E. Moore and D.M. Armstrong, led Lewis to an anti- systematic methodology which leaves each philosopher’s views and starting points to his or her own personal conscience. (shrink)

In this paper I provide a state of the art survey and assessment of the contemporary debate about relations. After (1) distinguishing different varieties of relations, symmetric from non-symmetric, internal from external relations etc. and relations from their set-theoretic models or sequences, I proceed (2) to consider Bradley’s regress and whether relations can be eliminated altogether. Next I turn (3) to the question whether relations can be reduced, bringing to bear considerations from the philosophy of physics as well as metaphysics. (...) Finally, (3) I consider in what sense relations have order, and whether to make sense of this we are required to conceive of relations as having direction or argument positions. (shrink)

Neo-Fregeanism contends that knowledge of arithmetic may be acquired by second-order logical reflection upon Hume's principle. Heck argues that Hume's principle doesn't inform ordinary arithmetical reasoning and so knowledge derived from it cannot be genuinely arithmetical. To suppose otherwise, Heck claims, is to fail to comprehend the magnitude of Cantor's conceptual contribution to mathematics. Heck recommends that finite Hume's principle be employed instead to generate arithmetical knowledge. But a better understanding of Cantor's contribution is achieved if it is supposed that (...) Hume's principle really does inform arithmetical practice. More generally, Heck's arguments misconceive the epistemological character of neo-Fregeanism. (shrink)

There is no single problem of universals but a family of difficulties that treat of a variety of interwoven metaphysical, epistemological, logical and semantic themes. This makes the problem of universals resistant to canonical reduction (to a ‘once-and-for-all’ concern). In particular, the problem of universals cannot be reduced to the problem of supplying truth-makers for sentences that express sameness of type. This is (in part) because the conceptual distinction between numerical and qualitative identity must first be drawn before a sentence (...) is eligible to be supplied with truth-makers. The case is made through a consideration of a recent argument by Gonzalo Rodriguez-Pereyra. (shrink)

The concepts of particular and universal have grown so familiar that their significance has become difficult to discern, like coins that have been passed back and forth too many times, worn smooth so their values can no longer be read. On the Genealogy of Universals seeks to overcome our sense of over-familiarity with these concepts by providing a case study of their evolution during the late nineteenth century and early twentieth century, a study that shows how the history of these (...) concepts is bound up with the origins and development of analytic philosophy itself. Understanding how these concepts were taken up, transfigured, and given up by the early analytic philosophers, enables us to recover and reanimate the debate amongst them that otherwise remains Delphic. This book begins from the early, originating texts of analytic philosophy that have hitherto baffled commentators, including Moore's early papers, and engages afresh with the neglected contributions of philosophical figures that historians of analytic philosophy have mostly since forgotten, including Stout and Whitehead. This sheds new light upon the relationships of Moore to Russell, Russell to Wittgenstein, and Wittgenstein to Ramsey. (shrink)

We argue that Lewis would have rejected recent appeals to the notions of ‘metaphysical dependency’, ‘grounding’ and ‘ontological priority’, because he would have held that they’re not needed and they’re not intelligible. We argue our case by drawing upon Lewis’s views on supervenience, the metaphysics of singletons and the dubiousness of Kripke’s essentialism.

According to the species of neo-logicism advanced by Hale and Wright, mathematical knowledge is essentially logical knowledge. Their view is found to be best understood as a set of related though independent theses: (1) neo-fregeanism-a general conception of the relation between language and reality; (2) the method of abstraction-a particular method for introducing concepts into language; (3) the scope of logic-second-order logic is logic. The criticisms of Boolos, Dummett, Field and Quine (amongst others) of these theses are explicated and assessed. (...) The issues discussed include reductionism, rejectionism, the Julius Caesar problem, the Bad Company objections, and the charge that second-order logic is set theory in disguise. (shrink)

Heil wants us to be ‘ontologically serious’. Because if we’re ontologically serious we won’t take relations seriously. Here’s one of the lines of thought that runs through Heil’s Relations. It’s go...

According to one creation myth, analytic philosophy emerged in Cambridge when Moore and Russell abandoned idealism in favour of naive realism: every word stood for something; it was only after “the Fall,” Russell's discovery of his theory of descriptions, that they realized some complex phrases (“the present King of France”) didn't stand for anything. It has become a commonplace of recent scholarship to object that even before the Fall, Russell acknowledged that such phrases may fail to denote. But we need (...) to go further: even before the Fall, Russell had taken an altogether more discerning approach to the ontology of logic and relations than is usually recognized. (shrink)