There is a well-known argument from Leibniz's Law for the view that coincident material things may be distinct. For given that they differ in their properties, then how can they be the same? However, many philosophers have suggested that this apparent difference in properties is the product of a linguistic illusion; there is just one thing out there, but different sorts or guises under which it may be described. I attempt to show that this ‘opacity’ defence has intolerable consequences for (...) the functioning of our language and that the original argument should therefore be allowed to stand. (shrink)

There is a standard view of relations, held by philosophers and logicians alike, according to which we may meaningfully talk of a relation holding of several objects in a given order. Thus it is supposed that we may meaningfully—indeed, correctly—talk of the relation loves holding of Anthony and Cleopatra or of the relation between holding of New York, Washington, and Boston. But innocuous as this view might appear to be, it cannot be accepted as applying to all relations whatever. For (...) there is an important class of metaphysical and linguistic contexts which call for an alternative conception of relation, one for which the order of the relata plays no role and in which the application of the relation to its relata is achieved by other means. (shrink)

Quine introduced a famous distinction between the ‘notional’ sense and the ‘relational’ sense of certain attitude verbs. The distinction is both intuitive and sound but is often conflated with another distinction Quine draws between ‘dyadic’ and ‘triadic’ (or higher degree) attitudes. I argue that this conflation is largely responsible for the mistaken view that Quine’s account of attitudes is undermined by the problem of the ‘exportation’ of singular terms within attitude contexts. Quine’s system is also supposed to suffer from the (...) problem of ‘suspended judgement with continued belief’. I argue that this criticism fails to take account of a crucial presupposition of Quine’s about the connection between thought and language. The aim of the paper is to defend the spirit of Quine’s account of attitudes by offering solutions to these two problems. (shrink)

I discuss Stalnaker’s views on modality. In particular, his views on actualism, anti-essentialism, counterpart theory, and the Barcan formulas.

It is widely held that if an object a is identical (or non-identical) to an object b, then it is necessary that a is identical (non-identical) to b. This view is supported an argument from Leibniz's Law and a popular conception of de re modality. On the other hand, there are good reasons to allow for contingent identity. Various alternative accounts of de re modality have been developed to achieve this kind of generality, and to explain what is wrong with (...) the argument from Leibniz's Law. (shrink)

This paper is concerned with two concepts of qualitativeness that apply to intensional entities. I propose an account of pure qualitativeness that largely follows the traditional understanding established by Carnap, and try to shed light on its ontological presuppositions. On this account, an intensional entity is purely qualitative iff it does not ‘involve’ any particular. An alternative notion of qualitativeness—which I propose to refer to as a concept of strict qualitativeness—has recently been introduced by Chad Carmichael. However, Carmichael’s definition presupposes (...) a highly fine-grained conception of properties and relations. To eliminate this presupposition, I tentatively suggest a different definition that rests on a concept of perspicuous denotation. In the penultimate section, both concepts of qualitativeness are put to work in distinguishing between different ‘grades’ of qualitative discriminability. (shrink)

We study the logical structure of relations, and in particular the notion of occurrences of objects in a state. We start with formulating a number of principles for occurrences and defining corresponding mathematical models. These models are analyzed to get more insight in the formal properties of occurrences. In particular, we prove uniqueness results that tell us more about the possible logical structures relations might have.

In the ordinary way of representing relations, the order of the relata plays a structural role, but in the states themselves such an order often does not seem to be intrinsically present. An alternative way to represent relations makes use of positions for the arguments. This is no problem for the love relation, but for relations like the adjacency relation and cyclic relations, different assignments of objects to the positions can give exactly the same states. This is a puzzling situation. (...) The question is what is the internal structure of relations? Is the use of positions still justified, and if so, what is their ontological status? In this paper mathematical models for relations are developed that provide more insight into the structure of relations “out there” in the real world. (shrink)

A new logic is presented without predicates—except equality. Yet its expressive power is the same as that of predicate logic, and relations can faithfully be represented in it. In this logic we also develop an alternative for set theory. There is a need for such a new approach, since we do not live in a world of sets and predicates, but rather in a world of things with relations between them.

Exploring intentionality from an externalist perspective, I distinguish three kinds of intentionality in the case of seeing, which I call transparent, translucent, and opaque respectively. I then extend the distinction from seeing to knowing, and then to believing. Having explicated the three-fold distinction, I then critically explore some important consequences that follow from granting that (i) there are transparent and translucent intentional states and (ii) these intentional states are mental states. These consequences include: first, that existential opacity is neither the (...) mark of intentionality nor of the mental; second, that Sellars has not shown that all intentionality is non-relational; third, that a key Quinean argument for semantic indeterminacy rests on a false premise; fourth, that perceptual experience is intentional on Alston’s Theory of Appearing; fifth, that either some mental causation is more than internal physiological causation or some mental states are epiphenomenal. (shrink)

Although Kripke’s œuvre has had a major impact on analytic philosophy and nearly every aspect of his studies has been thoroughly examined, this does not hold for his schmidentity argument, which, so far, has been widely neglected. To the extent to which it has been treated at all, it has been for the most part radically misunderstood. I hold that this argument, in its correctly reconstructed form, has general relevance for a treatment of Frege’s Puzzle and points towards a fundamental (...) methodological restriction for philosophy of language and especially for semantics, as far as informativity and the general topic of cognitive significance are concerned. To show this, I will briefly set out the context of the schmidentity argument and, in Sects. 2 and 4, sketch a reconstruction thereof, including some criticisms of the argument, and an excursion about Kit Fine’s semantic relationism, which stands in stark contrast to this paper’s central claim. Moreover, I will draw a genuinely new and probably quite unexpected conclusion from all the above, to finally give a glimpse at a bigger picture of where this conclusion should lead our thinking about a theoretical treatment of informativity and a linguistic expression’s cognitive value. (shrink)

Fine's replies to critics, in a symposium on his book The Limits of Abstraction.

According to neo-Russellianism, in a sentence such as John believes that Mont Blanc is 4000 m high, any other proper name co-referring with Mont Blanc can be substituted for it without any change in the proposition expressed. Prima facie, our practice of translation shows that this cannot be correct. We will then show that neo-Russellians have a way out of this problem, which consists in holding that actual translations are not a matter of semantics, but also make an attempt at (...) preserving some pragmatic features of the sentences to be translated. We then turn to translations that only preserve the semantic characteristics of the sentences and we argue that, although these translations are unable to show that neo-Russellianism is incorrect, they still show that it relies on some theses that seem to have no justification, apart from saving neo-Russellianism itself. (shrink)

This paper defends a conceptualist answer to the question how objects come by their modal properties. It isolates the controversial metaphysical assumptions that are needed to get ontological conceptualism off the ground, outlines the conceptualist answer to the question and shows that conceptualism is not in as bad a shape as some critics have maintained.

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

The aim of this chapter is to explore to some extent the relationship between identity and necessity in logic and metaphysics. First, I provide a historically-based summary of proofs of the necessity of identity, highlighting the importance of the role that self-identity plays. Second, I introduce two examples of metaphysical topics where the necessity of identity has played a pivotal role: the necessary a posteriori, and the coincidence of material objects. I argue that important aspects of these debates rest on (...) how we represent identity. Third, I consider some recent work on generalized identity. This opens up new prospects for explaining why identity is necessary. (shrink)

A new puzzle about material constitution is presented and its implications are discussed. The moral of the story is that familiar intuitions supporting a neo-Aristotelian view of the material world are contradictory. To accommodate these intuitions is to embrace inconsistency. Therefore, neo-Aristotelianism is worse off for its intuitive appeal. Furthermore, the puzzle is used to argue for an account of ordinary modal thought and language that’s reconstructive, or ameliorative.

The textbook-like history of analytic philosophy is a history of myths, re-ceived views and dogmas. Though mainly the last few years have witnessed a huge amount of historical work that aimed to reconsider our narratives of the history of ana-lytic philosophy there is still a lot to do. The present study is meant to present such a micro story which is still quite untouched by historians. According to the received view Kripke has defeated all the arguments of Quine against quantified (...) modal logic and thus it became a respectful tool for philosophers. If we accept the historical interpreta-tion of the network between Quine, Kripke and modal logic, which is to be presented here, we have to conclude that Quine’s real philosophical animadversions against the modalities are still on the table: though Kripke has provided some important (formal-logical) answers, Quine’s animadversions are still viable and worthy of further consideration. (shrink)

In this dissertation, I investigate a conception of thoughts figuring in ordinary discourse, and argue that this conception is an improvement over a certain standard conception employed in current philosophical and linguistic endeavors. ;In Chapter 2, I discuss the leading principles of the standard conception, a conception according to which thoughts in general are to be identified with propositions. I also briefly preview some of the main features that distinguish the conception developed in the course of this study from the (...) standard conception. ;Chapter 4 is the heart of the thesis. I isolate a reading of the verb 'think' that I contend is both familiar from and central to our ordinary discourse about thoughts and thinking--the "generic reading", I call it. An investigation of the relation expressed by the verb, 'think', on this generic reading, and of the correlative conception of thoughts, occupies the remainder of the study. ;If this ordinary conception of thoughts is to serve the principal functions to which thoughts have standardly been assigned, in philosophical and linguistic endeavors, then there should be a discernible sense in which it is correct to say that thoughts, so conceived, are things that sentences express. In Chapter 5, I discuss the relevant notion of sentential expression. Accounts of this notion have commonly faced a stumbling block in the case of non-declarative sentences. What sort of thoughts, for example, can imperatives or interrogatives be said to express? In Chapter 6, I explain how, on the present conception, there is a clear sense in which sentences of a variety of grammatical moods--imperatives and interrogatives as well as declaratives--may be said, with equal propriety, to express thoughts. ;In Chapter 7, I discuss a fundamental thesis of the standard conception, and argue, in Chapter 8, that any account of the nature of thoughts accommodating this thesis is incompatible with the conception of thoughts arrived at in Chapter 4. Then, in order to retain this familiar conception and its benefits, a new account of the nature of thoughts must be provided. Such an account is described in Chapter 9. (shrink)

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

This paper is partly inspired by a well-known debate between Ruth Barcan Marcus, Terence Parsons and W. V. 0. Quine in the sixties> concerning the extent to which Quantified Modal Logic is committed to Essentialism; the issue nevertheless goes back to the origins of "analytic philosophy'', to the reflections of Frege, Russell, and the earlier Wittgenstein on the nature of logic. By elaborating on a suggestion by Quine, we purport to show that there is a relevant and interesting way to (...) look at the ontological commitments of logical systems such that they are stronger than they are usually taken to be. (shrink)

El artículo discute la formulación de Marcus del principio de sustituibilidad. Se apoyó en una noción de forma lógica en la que el análisis elimina algunos tipos problemáticos de contexto. Defiendo una formulación variante del principio en la cual los contextos problemáticos se acomodan por derecho propio.