A collection of material on Husserl's Logical Investigations, and specifically on Husserl's formal theory of parts, wholes and dependence and its influence in ontology, logic and psychology. Includes translations of classic works by Adolf Reinach and Eugenie Ginsberg, as well as original contributions by Wolfgang Künne, Kevin Mulligan, Gilbert Null, Barry Smith, Peter M. Simons, Roger A. Simons and Dallas Willard. Documents work on Husserl's ontology arising out of early meetings of the Seminar for Austro-German Philosophy.

The idea that two objects can coincide—by sharing all their proper parts, or matter—yet be non-identical, results in the “Problem of Coincident Objects”: in what relation do objects stand if they are not identical but share all their proper parts? One solution is to introduce material constitution. In this paper, I argue that this is ad hoc since, first, this solution cannot be generalized to solve similar problems, and, second, there are pseudo cases of coincidence that should not trigger the (...) introduction of material constitution and these cannot be distinguished in any principled way from the allegedly real cases of coincidence. (shrink)

I have written a number of articles recently that have a rather remarkable character. They all point out trivial grammatical facts that, at great cost, have not been respected in twentieth century Logic. A major continuous strand in my previous work, with this same character, I will first summarise, to locate the kind of fact that is involved. But then I shall present an overview of the more recent, and more varied points I have made, which demonstrate the far larger (...) extent of basic grammar that has been overlooked or suppressed. I end with some remarks about how this phenomenon can have arisen – principally through logicians not being attentive enough to their own language, and occupying themselves, instead, with often quite imaginary languages. (shrink)

The epsilon calculus improves upon the predicate calculus by systematically providing complete individual terms. Recent research has shown that epsilon terms are therefore the “logically proper names” Russell was not able to formalize, but their use improves upon Russell’s theory of descriptions not just in that way. This paper details relevant formal aspects of the epsilon calculus before tracing its extensive application not just to the theory of descriptions, but also to more general problems with anaphoric reference. It ends by (...) contrasting a Meinongian account of cross-reference in intensional constructions with the epsilon account. (shrink)

_ Source: _Volume 94, Issue 3, pp 381 - 390 Reference can fail in a way that intentionality cannot. Though the stream of phenomenal experience typically does not fail to target objects outside, it may do. How does the mind go about targeting objects beyond itself? The speculative conjecture of this paper is that it does so by a type of process which can be called _pointing_, and that the acts or act-aspects of pointing can be called _pointers_. The notion (...) of a pointer has several suggestive roots. One is the familiar physical gesture of pointing. Another is the existence of directional signs such as on roads. The third is the software data types making direct reference to memory locations in computers, also called ‘pointers’. A final source is demonstrative pronouns and other deictic expressions in language, of which Peter Geach wrote, “a demonstrative pronoun … works like a pointer, not like a label”. I suggest that there is in the mental cognitive repertoire a structurally and semantically analogous type of act which pierces the passivity of perception, directs us outside the machine, and prepares the way for drawing others’ minds to the same thing. (shrink)

There will be a few themes. One to get us going: expansion versus contraction. About an object, o, and the region, R, of space(time) in which o is exactly located,1 we may ask: i) must there exist expansions of o: objects in filled superregions2 of R? ii) must there exist contractions of o: objects in filled subregions of..

The prime purpose of this paper is, first, to restore to discourse-bound occasion sentences their rightful central place in semantics and secondly, taking these as the basic propositional elements in the logical analysis of language, to contribute to the development of an adequate logic of occasion sentences and a mathematical foundation for such a logic, thus preparing the ground for more adequate semantic, logical and mathematical foundations of the study of natural language. Some of the insights elaborated in this paper (...) have appeared in the literature over the past thirty years, and a number of new developments have resulted from them. The present paper aims atproviding an integrated conceptual basis for this new development in semantics. In Section 1 it is argued that the reduction by translation of occasion sentences to eternal sentences, as proposed by Russell and Quine, is semantically and thus logically inadequate. Natural language is a system of occasion sentences, eternal sentences being merely boundary cases. The logic hasfewer tasks than is standardly assumed, as it excludes semantic calculi, which depend crucially on information supplied by cognition and context and thus belong to cognitive psychology rather than to logic. For sentences to express a proposition and thus be interpretable and informative, they must first be properly anchored in context. A proposition has a truth value when it is, moreover, properly keyed in the world, i.e. is about a situation in the world. Section 2 deals with the logical properties of natural language. It argues that presuppositional phenomena require trivalence and presents the trivalent logic PPC3, with two kinds of falsity and two negations. It introduces the notion of -space for a sentence A as the basis of logical model theory, and the notion of P A /, functioning as a `private' subuniverse for A/A. The trivalent Kleene calculus is reinterpreted as a logical account of vagueness, rather than of presupposition. PPC3 and the Kleene calculus are refinements of standard bivalent logic and can be combined into one logical system. In Section 3 the adequacy of PPC3 as a truth-functional model of presupposition is considered more closely and given a Boolean foundation. In a noncompositional extended Boolean algebra, three operators are defined: 1a for the conjoined presuppositions of a, ã for the complement of a within 1a, and â for the complement of 1a within Boolean 1. The logical properties of this extended Boolean algebra are axiomatically defined and proved for all possible models. Proofs are provided of the consistency and the completeness of the system. Section 4 is a provisional exploration of the possibility of using the results obtained for a new discourse-dependent account of the logic of modalities in natural language. The overall result is a modified and refined logical and model-theoretic machinery, which takes into account both the discourse-dependency of natural language sentences and the necessity of selecting a key in the world before a truth value can be assigned. (shrink)

There are two main approaches to the problem of donkey anaphora (e.g. If John owns a donkey , he beats it ). Proponents of dynamic approaches take the pronoun to be a logical variable, but they revise the semantics of quantifiers so as to allow them to bind variables that are not within their syntactic scope. Older dynamic approaches took this measure to apply solely to existential quantifiers; recent dynamic approaches have extended it to all quantifiers. By contrast, proponents of (...) E-type analyses take the pronoun to have the semantics of a definite description (with it ≈ the donkey, or the donkey that John owns ). While competing accounts make very different claims about the patterns of coindexation that are found in the syntax, these are not morphologically realized in spoken languages. But they are in sign language, namely through locus assignment and pointing. We make two main claims on the basis of ASL and LSF data. First, sign language data favor dynamic over E-type theories: in those cases in which the two approaches make conflicting predictions about possible patterns of coindexation, dynamic analyses are at an advantage. Second, among dynamic theories, sign language data favor recent ones because the very same formal mechanism is used irrespective of the indefinite or non-indefinite nature of the antecedent. Going beyond this debate, we argue that dynamic theories should allow pronouns to be bound across negative expressions, as long as the pronoun is presupposed to have a non-empty denotation. Finally, an appendix displays and explains subtle differences between overt sign language pronouns and all other pronouns in examples involving ‘disjunctive antecedents’, and suggests that counterparts of sign language loci might be found in spoken language. (shrink)

Todd (2016) proposes an analysis of future-directed sentences, in particular sentences of the form 'will(φ)', that is based on the classic Russellian analysis of definite descriptions. Todd's analysis is supposed to vindicate the claim that the future is metaphysically open while retaining a simple Ockhamist semantics of future contingents and the principles of classical logic, i.e. bivalence and the law of excluded middle. Consequently, an open futurist can straightforwardly retain classical logic without appeal to supervaluations, determinacy operators, or any further (...) controversial semantical or metaphysical complication. In this paper, we will show that this quasi-Russellian analysis of 'will' both lacks linguistic motivation and faces a variety of significant problems. In particular, we show that the standard arguments for Russell's treatment of definite descriptions fail to apply to statements of the form 'will(φ)'. (shrink)

The problem of the many poses the task of explaining mereological indeterminacy of ordinary objects in a way that sustains our familiar practice of counting these objects. The aim of this essay is to develop a solution to the problem of the many that is based on an account of mereological indeterminacy as having its source in how ordinary objects are, independently of how we represent them. At the center of the account stands a quasi-hylomorphic ontology of ordinary objects as (...) material objects with multiple individual forms. (shrink)

The key idea behind the diagrammatic approach presented in the paper is that the sophisticated mechanisms of human visual construction also play an important role in natural languages. We propose a diagrammatic representation of English, giving examples, translation rules, and semantics. Special attention will be paid to anaphoric phenomena, in particular, the possibility of a uniform treatment of anaphoric pronouns.

Mereological nihilism is the view that no objects have proper parts. Despite how counter‐intuitive it is, it is taken quite seriously, largely because it solves a number of puzzles in the metaphysics of material objects – or so its proponents claim. In this article, I show that for every puzzle that mereological nihilism solves, there is a similar puzzle that (a) it doesn’t solve, and (b) every other solution to the original puzzle does solve. Since the solutions to the new (...) puzzles apply just as well to the old puzzles, the old puzzles provide no motivation to be a mereological nihilist. (shrink)

The argument from convention contends that the regular use of definite descriptions as referential devices strongly implies that a referential semantic convention underlies such usage. On the presumption that definite descriptions also participate in a quantificational semantic convention, the argument from convention has served as an argument for the thesis that the English definite article is ambiguous. Here, I revisit this relatively new argument. First, I address two recurring criticisms of the argument from convention: its alleged tendency to overgenerate and (...) its apparent evidential inadequacy. These criticisms are found wanting. Second, following Zacharska, I argue that while the argument from convention does alter the landscape of logical possibilities insofar as it provides good grounds for treating Donnellan’s referential–attributive distinction as having truth-conditional consequences, the argument from convention nonetheless fails to demonstrate that ‘the’ requires two lexical entries. (shrink)

When your word processor or email program is running on your computer, this creates a "virtual machine” that manipulates windows, files, text, etc. What is this virtual machine, and what are the virtual objects it manipulates? Many standard arguments in the philosophy of mind have exact analogues for virtual machines and virtual objects, but we do not want to draw the wild metaphysical conclusions that have sometimes tempted philosophers in the philosophy of mind. A computer file is not made of (...) epiphenomenal ectoplasm. I argue instead that virtual objects are "supervenient objects". The stereotypical example of supervenient objects is the statue and the lump of clay. To this end I propose a theory of supervenient objects. Then I turn to persons and mental states. I argue that my mental states are virtual states of a cognitive virtual machine implemented on my body, and a person is a supervenient object supervening on his cognitive virtual machine. (shrink)

I defend the view that ordinary objects like statues are identical to the pieces of matter from which they are made. I argue that ordinary speakers assert sentences such as ‘this statue is a molded piece of clay’. This suggests that speakers believe propositions which entail that ordinary objects such as statues are the pieces matter from which they are made, and therefore pluralism contradicts ordinary beliefs. The dominant response to this argument purports to find an ambiguity in the word (...) ‘is’, such that ‘is’ in these sentences means the same as ‘constitutes or is constituted by’. I will use standard tests for ambiguity to argue that this strategy fails. I then explore and reject other responses to the argument. (shrink)

Simple mass nouns are words like ‘water’, ‘furniture’ and ‘gold’. We can form complex mass noun phrases such as ‘dirty water’, ‘leaded gold’ and ‘green grass’. I do not propose to discuss the problems in giving a characterization of the words that are mass versus those that are not. For the purposes of this paper I shall make the following decrees: (a) nothing that is not a noun or noun phrase can be mass, (b) no abstract noun phrases are considered (...) mass, (c) words like ‘thing’, ‘entity’ and ‘object’ are not mass, (d) I shall not consider such words as ‘stuff’, ‘substance or ‘matter’, (e) measures on mass nouns (like ‘gallon of gasoline’, ‘blade of grass’, etc.) are not considered, (f) plurals of count terms are not considered mass. Within these limitations, we can say generally that mass noun phrases are those phrases that ‘much’ can be prefexed to, by ‘many’ cannot be prefexed to, without an0maly.l Semantically, such phrases usually have the property of collectiveness- they are true of any sum of things of which they are true ; and of divisiveness - they are true of any part (down to a certain limit) of things of which they are true. All of this, however, is only ‘generally speaking’ - I shall mostly use only the simple examples given above and ignore the problems in giving a complete characterization of mass nouns. In the paper I want to discuss some problems involved in casting English sentences containing mass nouns into some artificial language; but in order to do this we should have some anchoring framework on which to justify or reject a given proposal. The problem of finding an adequate language can be viewed as a case of translation (from English to the artificial language), where the translation relation must meet certain requirements. I shall suggest five such requirements; others could be added. (shrink)

One of the goals of a certain brand of philosopher has been to give an account of language and linguistic phenomena by means of showing how sentences are to be translated into a "logically perspicuous notation" (or an "ideal language"—to use passe terminology). The usual reason given by such philosophers for this activity is that such a notational system will somehow illustrate the "logical form" of these sentences. There are many candidates for this notational system: (almost) ordinary first-order predicate logic (...) (see Quine [1960]), higher-order predicate logic (see Parsons [1968, 1970]), intensional logic (see Montague [1969, 1970a, 1970b, 1971]), and transformational grammar (see Harrnan [1971]), to mention some of the more popular ones. I do not propose to discuss the general question of the correctness of this approach to the philosophy of language, nor do I wish to adjudicate among the notational systems mentioned here. Rather, I want to focus on one problem which must be faced by all such systems—a problem that must be discussed before one decides upon a notational system and tries to demontrate that it in fact can account for all linguistic phenomena. The general problem is to determine what we shall allow as linguistic data; in this paper I shall restrict my attention to this general problem as it appears when we try to account for certain words with non-singular reference, in particular, the words that are classified by the count/ mass and sortal/non-sortal distinctions. (shrink)

The neo-Fregean account of arithmetical knowledge is centered around the abstraction principle known as Hume’s Principle: for any concepts X and Y , the number of X ’s is the same as the number of Y ’s just in case there is a 1–1 correspondence between X and Y . The Caesar Problem, originally raised by Frege in §56 of Die Grundlagen der Arithmetik , emerges in the context of the neo-Fregean programme, because, though Hume’s Principle provides a criterion of (...) identity for objects falling under the concept of Number–namely, 1–1 correspondence—the principle fails to deliver a criterion of application. That is, it fails to deliver a criterion that will tell us which objects fall under the concept Number, and so, leaves unanswered the question whether Caesar could be a number. Hale and Wright have recently offered a neo-Fregean solution to this problem. The solution appeals to the notion of a categorical sortal. This paper offers a reconstruction of their solution, which has the advantage over Hale and Wright’s original proposal of making clear what the structure of the background ontology is. In addition, it is shown that the Caesar Problem can be solved in a framework more minimal than that of Hale and Wright, viz . one that dispenses with categorical sortals. The paper ends by discussing an objection to the proposed neo-Fregean solutions, based on the idea that Leibniz’s Law gives a universal criterion of identity. This is an idea that Hale and Wright reject. However, it is shown that a solution very much in keeping with their own proposal is available, even if it is granted that Leibniz’s Law provides a universal criterion of identity. (shrink)

This paper follows up a suggestion by Paul Vincent Spade that there were two Medieval theories of the modes of personal supposition. I suggest that early work by Sherwood and others was a study of quantifiers: their semantics and the effects of context on inferences that can be made from quantified terms. Later, in the hands of Burley and others, it changed into a study of something else, a study of what I call global quantificational effect. For example, although the (...) quantifier in ‘¬∀xPx’ is universal, it can be seen globally as having an existential effect; this is because the formula containing it is equivalent to ‘∃x¬Px’. The notion of global effect can be explained in terms of the modern theory of normal forms. I suggest that early authors were studying quantifiers, and the terminology of the theory of personal supposition is a classification of kinds of quantifiers. In this theory, to say that a term has distributive supposition is to say, roughly, that it is quantified by a universal quantifying sign. Later authors turned this into a theory of global quantificational effect. In the later theory, to say that a term has distributive supposition is to say that the overall effect is as if the term were universally quantified with a quantifier taking (relatively) wide scope. The difference between these two approaches is illustrated by the fact that the term ‘man’ is classified as having distributive ("universal") supposition in ‘Not every man is running’ in the earlier theory, whereas in the later theory that term does not have distributive supposition; it has determinate ("existential") supposition. In the paper I explain these options, and I argue from several texts that the earlier and later medieval theories actually worked like this. In an appendix I make further efforts to clarify the obscure early accounts, as well as the nineteenth century "doctrine of distribution". The last section of the paper discusses the "purpose(s)" of supposition theory. (shrink)

The problem discussed here is to find a basis for a uniform treatment of the relation between pronouns and their antecedents, taking into account both linguists' and philosophers' approaches. The two main candidates would appear to be the linguists' notion of coreference and the philosophers' notion of pronouns as variables. The notion of coreference can be extended to many but not all cases where the antecedent is non-referential. The pronouns-as-variables approach appears to come closer to full generality, but there are (...) some examples of pronouns of laziness which appear to resist either of the two approaches. (shrink)

Formal semantics is an approach to SEMANTICS1, the study of meaning, with roots in logic, the philosophy of language, and linguistics, and since the 1980’s a core area of linguistic theory. Characteristics of formal semantics to be treated in this article include the following: Formal semanticists treat meaning as mind-independent (though abstract), contrasting with the view of meanings as concepts “in the head” (see I-LANGUAGE AND E-LANGUAGE and MEANING EXTERNALISM AND INTERNALISM); formal semanticists distinguish semantics from knowledge of semantics (Lewis (...) 1975, Cresswell 1978), which has consequences for the notion of semantic COMPETENCE. A central part of the meaning of a sentence on this approach is its TRUTH CONDITIONS, and most although not all formal semantics is model-theoretic, relating linguistic expressions to model-theoretically constructed semantic values cast in terms of truth, REFERENCE, and possible worlds. This sets formal semantics apart from approaches which view semantics as relating a sentence just to a representation on another linguistic “level” (LOGICAL FORM) or a representation in an innate LANGUAGE OF THOUGHT. The formal semanticist could accept such representations as an aspect of semantics but would insist on asking what the model-theoretic semantic interpretation of the given representationlanguage is (Lewis 1970). Formal semantics is centrally concerned with COMPOSITIONALITY at the SYNTAX-SEMANTICS INTERFACE, how the meanings of larger constituents are built up from the meanings of their parts on the basis of their syntactic structure, and with the relation between compositional SENTENCE MEANING and meaning in discourse. (shrink)

Formal semantics and pragmatics as they have developed since the late 1960's have been shaped by fruitful interdisciplinary collaboration among linguists, philosophers, and logicians, among others, and in turn have had noticeable effects on developments in syntax, philosophy of language, computational linguistics, and cognitive science.In this paper I describe the environment in which formal semantics was born and took root, highlighting the differences in ways of thinking about natural language semantics in linguistics and in philosophy and logic. With Montague as (...) a central but not solo player in the story, I reflect on crucial developments in the 1960's and 70's in linguistics and philosophy, and the growth of formal semantics and formal pragmatics from there. I discuss innovations, key players, and leading ideas that shaped the development of formal semantics and its relation to syntax, to pragmatics, and to the philosophy of language in its early years, and some central aspects of its early impact on those fields. (shrink)

This paper arose from an attempt to determine how the very late medieval1 supposition theorists treated anaphoric pronouns, pronouns whose significance is derivative from their antecedents. Modern researches into pronouns were stimulated in part by the problem of "donkey sentences" discussed by Geach 1962 in a section explaining what is wrong with medieval supposition theory. So there is some interest in seeing exactly what the medieval account comes to, especially if it turns out, as I suspect, to work as well (...) as contemporary ones. Besides, finding a good analysis of pronouns has proved to be very difficult, and so we might possibly find some insight in a historically different kind of approach. I discuss a version of supposition theory that aims at producing analyses of sentences containing quantified terms,2 as articulated around 1400 by Paul of Venice, and as further developed by certain logicians such as de Soto and Celaya in the 1400's and early 1500's.3 Much of what I will say also applies indirectly to earlier versions of supposition theory (before 1400). (shrink)

The aim of this article is to offer a method for determining the ontological commitments of a formalized theory. The second section shows that determining the consequence relation of a language model-theoretically entails that the ontology of a theory is tied very closely to the variables that feature in that theory. The third section develops an alternative way of determining the ontological commitments of a theory given a proof-theoretic account of the consequence relation for the language that theory is in. (...) It is shown that the proof-theoretic account of ontological commitment does not entail that the ontological commitments of a theory depend on the variables of that theory. The last section of the article discusses how this account of ontological commitment can be used in other philosophical projects such as Wright’s (Frege’s conception of numbers as objects, Aberdeen University Press, Aberdeen, 1983) abstractionism. The article concludes with a discussion of the upshots of adopting the proof-theoretic account of ontological commitment for ontology generally. (shrink)

Geach's account of the Aristotelian logic of categorical sentences supplemented the views shared by Frege, Russell, Quine and others. I argue that this particular predicate logic approach and Geach's points apply to only one variety of natural language categorical sentences. For example, it takes the universal categorical as a universal conditional “If anything is a man, then it is mortal”. A different natural language form can and should be invoked: “Every man is a mortal.” Employing special restricted quantifiers in a (...) version of predicate logic, we justify a full square of opposition and the rules of quality and quantity that Geach rejected. (shrink)

The extended-mind thesis says that mental states can extend beyond one’s skin. Clark and Chalmers infer from this that the subjects of such states also extend beyond their skin: the extended-self thesis. The paper asks what exactly the extended-self thesis says, whether it really does follow from the extended-mind thesis, and what it would mean if it were true. It concludes that the extended-self thesis is unattractive, and does not follow from the extended mind unless thinking beings are literally bundles (...) of mental states. (shrink)

Alex Oliver; XI*—A Few More Remarks on Logical Form, Proceedings of the Aristotelian Society, Volume 99, Issue 1, 1 June 1999, Pages 247–272, https://doi.org/10.

Al-Farahr’s commentarv and short treatise on Aristotle’s De interpretatione. Introduction and translation from Arabic by F. Zimmerman. Oxford: Published for the British Academy by Oxford University Press, 1987. clii + 287 pp. of English. £22.50 Johann Andreas Segner, Specimen logicae universaliter demonstrate. Appendices: Two dissertations De syllogismo. Edited by Mirella Capozzi. Bologna: Editrice CLUEB, 1990. clxxii + 281 pp. 85 000 Lire M. Borga, P. Fregugua And D. Palladino, I contribua fondazionali della scuola di Peano. Milano: Franco Angeli, 1985, 257 (...) pp. No price stated F. Cavaliere. La logica formale in Unione Sovietica. Gli anni del dibattito 1946-1965. Firenze: La Nuova Italia Editrice, 1990. ix + 140pp. Lire 42000 William S. Hatcher, Logic and logos. Essays on science, religion and philosophy. Oxford: George Ronald, 1990. x + 147 pp. £4.50/$9.50 E. J. Lowe, Kinds of being: a study of individuation, identity and the logic of sortal terms. Oxford and New York: Basil Blackwell, 1989. £25.00/$550.00 Reinhardt Grossmann, The fourth way. A theory of knowledge. Bloomington and Indianapolis: Indiana University Press, 1990. 312 pp.$35.00 J. Etchemendy. The concept of logical consequence. Cambridge, Mass, and London, England: Harvard University Press, 1990. vi 4- 174 pp. £19.95 Bernard Bolzano, Las paradojas del infinito. Translated from the German by L. Felipe Segura. Introduction by J. Sebestik. Mexico City: Faculty of Sciences, University of Mexico, 1991. 163 pp. No price stated W. Stantfy Jfvons, Pure logic and other minor works. Photoreprinted Bristol: Thoemmes, 1991. xxiii + 299 pp. No price stated Felix Kaufmann, L’infinito in matematica. Translated from the German, with an introduction, by L. Albertazzi. Gardolo di Trento: Luigi Reverdito Editore, 1990. 297 pp. L. 32.000 Massimo Libardi, Teorie de lie parti e delVintero. Mereologie estensionali. Trento: Centro Studi per la Filosofia Mitteleuropea, Quaderni 4-6, 302 pp. 22,000 lire M. S. Burcjin and V. I. Kuznetsoff, Aksio-logichcskiye aspekîi nauchnikh teorii. Kiev; Naukova Dymka, 1991. 184 pp. 3 roubles Hans Burkhardt and Barry Smith, Handbook of metaphysics and ontology. 2 vols. Munich: Philosophia, 1991. 1005 pp. 650 DM. (shrink)

In his interesting article, Michael Burke (1996) offers a novel solution to the puzzle of Tibbles, the cat, a solution he says, which is based on Aristotelian essentialism. In what follows I argue that, despite its ingenuity, Burke’s solution can be seen to be too implausible to be accepted once we extend it to a variant of the puzzle Burke himself suggests. The conclusion must be that one of the other solutions to the puzzle must be correct. Or, perhaps, that (...) there is no correct solution and that we should simply (to use a Wittgensteinian turn of phrase) ‘say what we like as long as we are clear about the facts.’. (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.

Two of the main contenders in the debate about personal persistence over time are the neo-Lockean psychological continuity view and animalism as defended by Olson and Snowdon. Both are wrong. The position I shall argue for, which I call, following Olson, the hybrid view, takes psychological continuity as a sufficient but, pace the neo-Lockeans, not necessary condition for personal persistence. It sides with the animalist in allowing that mere biological continuity is also sufficient. So I am, in a sense, a (...) psychological continuity theorist. But I am also in a sense, a biological theorist. (shrink)

A first-order formulation of Leśniewski's ontology is formulated and shown to be interpretable within a free first-order logic of identity extended to include nominal quantification over proper and common-name concepts. The latter theory is then shown to be interpretable in monadic second-order predicate logic, which shows that the first-order part of Leśniewski's ontology is decidable.

In his influential paper 'Speaker's Reference and Semantic Reference', Kripke defends Russell's theory of descriptions against the charge that the existence of referential and attributive uses of descriptions reflects a semantic ambiguity. He presents a purely defensive argument to show that Russell's theory is not refuted by the referential usage and a number of methodological considerations which apparently tell in favour of Russell's unitary theory over an ambiguity theory. In this paper, I put forward a case for the ambiguity theory (...) that thwarts Kripke's defensive strategy and argue that it is not undermined by any of his methodological points. (shrink)