This is the only complete logic for properties, relations, and propositions (PRPS) that has been formulated to date. First, an intensional abstraction operation is adjoined to first-order quantifier logic, Then, a new algebraic semantic method is developed. The heuristic used is not that of possible worlds but rather that of PRPS taken at face value. Unlike the possible worlds approach to intensional logic, this approach yields a logic for intentional (psychological) matters, as well as modal matters. At the close of (...) the paper, the origin of incompleteness in logic is investigated. The culprit is found to be the predication relation, a relation on properties and relations that is expressed in natural language by the copula. (shrink)

Arguments are given against the thesis that properties and propositional functions are identical. The first shows that the familiar extensional treatment of propositional functions -- that, for all x, if f(x) = g(x), then f = g -- must be abandoned. Second, given the usual assumptions of propositional-function semantics, various propositional functions (e.g., constant functions) are shown not to be properties. Third, novel examples are given to show that, if properties were identified with propositional functions, crucial fine-grained intensional distinctions would (...) be lost. (shrink)

This paper provides a new approach to a family of outstanding logical and semantical puzzles, the most famous being Frege's puzzle. The three main reductionist theories of propositions (the possible-worlds theory, the propositional-function theory, the propositional-complex theory) are shown to be vulnerable to Benacerraf-style problems, difficulties involving modality, and other problems. The nonreductionist algebraic theory avoids these problems and allows us to identify the elusive nondescriptive, non-metalinguistic, necessary propositions responsible for the indicated family of puzzles. The algebraic approach is also (...) used to defend antiexistentialism against existentialist prejudices. The paper closes with a suggestion about how this theory of content might enable us to give purely semantic (as opposed to pragmatic) solutions to the puzzles based on a novel formulation of the principle of compositionality. (shrink)

Higher-order theories of properties, relations, and propositions are known to be essentially incomplete relative to their standard notions of validity. It turns out that the first-order theory of PRPs that results when first-order logic is supplemented with a generalized intensional abstraction operation is complete. The construction involves the development of an intensional algebraic semantic method that does not appeal to possible worlds, but rather takes PRPs as primitive entities. This allows for a satisfactory treatment of both the modalities and the (...) propositional attitudes, and it suggests a general strategy for developing a comprehensive treatment of intensional logic. (shrink)

In this foundational work on the theory of linguistic and mental representation, Stephen Schiffer surveys all the leading theories of meaning and content in the philosophy of language and finds them lacking. He concludes that there can be no correct, positive philosophical theory or linguistic or mental representation and, accordingly advocates the deflationary "no-theory theory of meaning and content." Along the way he takes up functionalism, the nature of propositions and their suitability as contents, the language of thought and other (...) sententialist theories of belief, intention based semantics, and related issues in ontology. Stephen Schiffer is Professor of Philosophy at the City University of New York Graduate Center. A Bradford Book. (shrink)

Some philosophers, notably Professors Quine and Geach, have stressed the analogies they see between pronouns of the vernacular and the bound variables of quantification theory. Geach, indeed, once maintained that ‘for a philosophical theory of reference, then, it is all one whether we consider bound variables or pronouns of the vernacular'. This slightly overstates Geach's positition since he recognizes that some pronouns of ordinary language do function differently from bound variables; he calls such pronouns ‘pronouns of laziness'. Geach's characterisation of (...) pronouns of laziness has varied from time to time, but the general idea should be clear from a paradigm example: A man who sometimes beats his wife has more sense than one who always gives in to her.The pronouns ‘one’ and ‘her’ go proxy for a noun or a noun phrase in the sense that the pronoun is replaceable in paraphrase by simple repetition of its antecedent. (shrink)

If we try to evaluate the sentence on line 1 we ¯nd ourselves going in an unending cycle. For this reason alone we may conclude that the sentence is not true. Moreover we are driven to this conclusion by an elementary argument: If the sentence is true then what it asserts is true, but what it asserts is that the sentence on line 1 is not true. Consequently the sentence on line 1 is not true. But when we write this (...) true conclusion on line 2 we ¯nd ourselves repeating the very same sentence. It seems that we are unable to deny the truth of the sentence on line 1 without asserting it at the same time. (shrink)

First published in 1985, D. M. Armstrong's original work on what laws of nature are has continued to be influential in the areas of metaphysics and philosophy of science. Presenting a definitive attack on the sceptical Humean view, that laws are no more than a regularity of coincidence between stances of properties, Armstrong establishes his own theory and defends it concisely and systematically against objections. Presented in a fresh twenty-first-century series livery, and including a specially commissioned preface written by Marc (...) Lange, illuminating its continuing importance and relevance to philosophical enquiry, this influential work is available for a new generation of readers. (shrink)

Revised and reprinted; originally in Dov Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic, Volume IV. Kluwer 133-251. -- Two sorts of property theory are distinguished, those dealing with intensional contexts property abstracts (infinitive and gerundive phrases) and proposition abstracts (‘that’-clauses) and those dealing with predication (or instantiation) relations. The first is deemed to be epistemologically more primary, for “the argument from intensional logic” is perhaps the best argument for the existence of properties. This argument is presented in the (...) course of discussing generality, quantifying-in, learnability, referential semantics, nominalism, conceptualism, realism, type-freedom, the first-order/higher-order controversy, names, indexicals, descriptions, Mates’ puzzle, and the paradox of analysis. Two first-order intensional logics are then formulated. Finally, fixed-point type-free theories of predication are discussed, especially their relation to the question whether properties may be identified with propositional functions. (shrink)

That laws of nature play a vital role in explanation, prediction, and inductive inference is far clearer than the nature of the laws themselves. My hope here is to shed some light on the nature of natural laws by developing and defending the view that they involve genuine relations between properties. Such a position is suggested by Plato, and more recent versions have been sketched by several writers.~ But I am not happy with any of these accounts, not so much (...) because they lack detail or engender minor difficulties, though they do, but because they share a quite fundamental defect. My goal here is to make this defect clear and, more importantly, to present a rather different version of this general conception of laws that avoids it. I begin by considering several features of natural laws and argue that these are best explained by the view that laws involve properties, that this involvement takes the form of a genuine relation between properties, and, finally, that the relation is a metaphysically necessary one. In the second section I start at the other end, and by reflecting on the nature of properties arrive at a similar account of natural laws. In the final section I develop this account in more detail, with emphasis on the nature of the relation between properties it invokes. Along the way several natural objections to the account are answered. (shrink)

It has been maintained by such philosophers as Quine and Goodman that purely ‘extensional’ language suffices for all the purposes of properly formalized scientific discourse. Those entities that were traditionally called ‘universals’ — properties, concepts, forms, etc. — are rejected by these extensionalist philosophers on the ground that ‘the principle of individuation is not clear’. It is conceded that science requires that we allow something tantamount to quantification over non-particulars (or, anyway, over things that are not material objects, not space-time (...) points, not physical fields, etc.), but, the extensionalists contend, quantification over sets serves the purposes nicely. The ‘ontology’ of modern science, at least as Quine formalizes it, comprises material objects (or, alternatively, space-time points), sets of material objects, sets of sets of material objects,... but no properties, concepts,or forms. Let us thus examine the question: Can the principle of individuation for properties ever be made clear? (shrink)

Revised and reprinted in Handbook of Philosophical Logic, volume 10, Dov Gabbay and Frans Guenthner (eds.), Dordrecht: Kluwer, (2003). -- Two sorts of property theory are distinguished, those dealing with intensional contexts property abstracts (infinitive and gerundive phrases) and proposition abstracts (‘that’-clauses) and those dealing with predication (or instantiation) relations. The first is deemed to be epistemologically more primary, for “the argument from intensional logic” is perhaps the best argument for the existence of properties. This argument is presented in the (...) course of discussing generality, quantifying-in, learnability, referential semantics, nominalism, conceptualism, realism, type-freedom, the first-order/higher-order controversy, names, indexicals, descriptions, Mates’ puzzle, and the paradox of analysis. Two first-order intensional logics are then formulated. Finally, fixed-point type-free theories of predication are discussed, especially their relation to the question whether properties may be identified with propositional functions. (shrink)

It is occasionally tempting, after climbing a mountain, to use the elevation one has gained to dash up to the top of a connected peak which does not have sufficient interest to induce one to climb so high for its sake alone. It is in this spirit that I turn to Geach's Latin Prose theory of relative clauses. The matter itself is of no very great moment, and some new ground will have to be covered in dealing with Geach's arguments. (...) Nevertheless we shall primarily be applying the theory constructed in the body of the paper, and when one is in a position to expose bad arguments relatively rapidly, it is perhaps a good idea not to leave them unchallenged, especially when they appear to be gaining currency. (shrink)

Awarded the 1988 Johnsonian Prize in Philosophy. Published with the aid of a grant from the National Endowment for the Humanities.

This group of sentences is used by Quine in a well-known attack on quantified modal logic and the possibility of meaningful modalized predication. Modalized predication would involve specifying some object, and asserting of it that necessarily or possibly it has some given property φ. If this can be done sensibly, then the modal context ‘necessarily φx’ can be quantified into, and conversely. So modalized predication and quantifying into modal contexts are bound up together. Quine thinks that neither is very sensible, (...) and says of sentence. (shrink)

Some philosophers, notably Professors Quine and Geach, have stressed the analogies they see between pronouns of the vernacular and the bound variables of quantification theory. Geach, indeed, once maintained that ‘for a philosophical theory of reference, then, it is all one whether we consider bound variables or pronouns of the vernacular'. This slightly overstates Geach's positition since he recognizes that some pronouns of ordinary language do function differently from bound variables; he calls such pronouns ‘pronouns of laziness'. Geach's characterisation of (...) pronouns of laziness has varied from time to time, but the general idea should be clear from a paradigm example: A man who sometimes beats his wife has more sense than one who always gives in to her.The pronouns ‘one’ and ‘her’ go proxy for a noun or a noun phrase in the sense that the pronoun is replaceable in paraphrase by simple repetition of its antecedent. (shrink)

This paper is concerned with the question of the truth conditions of nomological statements. My fundamental thesis is that it is possible to set out an acceptable, noncircular account of the truth conditions of laws and nomological statements if and only if relations among universals - that is, among properties and relations, construed realistically - are taken as the truth-makers for such statements. My discussion will be restricted to strictly universal, nonstatistical laws. The reason for this limitation is not that (...) I feel there is anything dubious about the concept of a statistical law, nor that I feel that basic laws cannot be statistical. The reason is methodological. The case of strictly universal, nonstatistical laws would seem to be the simplest case. If the problem of the truth conditions of laws can be solved for this simple subcase, one can then investigate whether the solution can be extended to the more complex cases. I believe that the solution I propose here does have that property, though I shall not pursue that question here.1. (shrink)

This is an extensively revised edition of Mr. Quine's introduction to abstract set theory and to various axiomatic systematizations of the subject.

This is the 1991 (2nd) edition of the 1986 book (MIT Press), considered to be the classic defense of Millianism. The nature of the information content of declarative sentences is a central topic in the philosophy of language. The natural view that a sentence like "John loves Mary" contains information in which two individuals occur as constituents is termed the naive theory, and is one that has been abandoned by most contemporary scholars. This theory was refuted originally by philosopher Gottlob (...) Frege. His argument that the naive theory did not work is termed Frege's puzzle, and his rival account of information content is termed the orthodox theory. In this detailed study, Nathan Salmon defends a version of the naive theory and presents a proposal for its extension that provides a better picture of information content than the orthodox theory gives. He argues that a great deal of what has generally been taken for granted in the philosophy of language over the past few decades is either mistaken or unsupported, and consequently, much current research is focused on the wrong set of questions. Salmon dissolves Frege's puzzle as it is usually formulated and demonstrates how it can be reconstructed and strengthened to yield a more powerful objection to the naive theory. He then defends the naive theory against the new Frege puzzle by presenting an idea that yields both a surprisingly rich and powerful extension of the naive theory and a better picture of information content than that of the original orthodox theory. Nathan Salmon is Professor of Philosophy, University of California at Santa Barbara. (shrink)

This book tackles the issues that arise in connection with intensional logic -- a formal system for representing and explaining the apparent failures of certain important principles of inference such as the substitution of identicals and existential generalization -- and intentional states --mental states such as beliefs, hopes, and desires that are directed towards the world. The theory offers a unified explanation of the various kinds of inferential failures associated with intensional logic but also unifies the study of intensional contexts (...) and intentional states by grounding the explanation of both phenomena in a single theory. When an axiomatized realm of abstract entities is added to the metaphysical structure of the world, we can use them to identify and individuate the contents of directed mental states. The special abstract entities can be viewed as the objectified contents of mental files, and they play a crucial role in the analysis of truth conditions of the sentences involved in inferential failures. (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.