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)

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)

In a lengthy review article, C. Anthony Anderson criticizes the approach to property theory developed in Quality and Concept (1982). That approach is first-order, type-free, and broadly Russellian. Anderson favors Alonzo Church’s higher-order, type-theoretic, broadly Fregean approach. His worries concern the way in which the theory of intensional entities is developed. It is shown that the worries can be handled within the approach developed in the book but they remain serious obstacles for the Church approach. The discussion (...) focuses on: (1) the fine-grained/coarse-grained distinction, (2) proper names and definite descriptions, (3) the paradox of analysis and Mates’ puzzle, and (4) the logical, semantical, and intentional paradoxes. (shrink)

The property theory of musical works says that each musical work is a property that is instantiated by its occurrences, that is, the work's performances and playings. The property theory provides ontological explanations very similar to those given by its popular cousin, the type/token theory of musical works, but it is both simpler and stronger. However, type/token theorists often dismiss the property theory. In this essay, I formulate a version of the (...) class='Hi'>property theory that identifies each type (thus, each musical work) with a unique property. I then scrutinize the arguments offered for thinking that types, including musical works, are distinct from properties. I respond that no such argument is forceful and conclude that the property theory of musical works is superior to the type/token theory. (shrink)

A theory of property needs to give an account of the whole life-cycle of a property right: how it is initiated, transferred, and terminated. Economics has focused on the transfers in the market and has almost completely neglected the question of the initiation and termination of property in normal production and consumption (not in some original state or in the transition from common to private property). The institutional mechanism for the normal initiation and termination of (...) property is an invisible-hand function of the market, the market mechanism of appropriation. Does this mechanism satisfy an appropriate normative principle? The standard normative juridical principle is to assign or impute legal responsibility according to de facto responsibility. It is given a historical tag of being "Lockean" but the basis is contemporary jurisprudence, not historical exegesis. Then the fundamental theorem of the property mechanism is proven which shows that if "Hume's conditions" (no transfers without consent and all contracts fulfilled) are satisfied, then the market automatically satisfies the Lockean responsibility principle, i.e., "Hume implies Locke." As a major application, the results in their contrapositive form, "Not Locke implies Not Hume," are applied to a market economy based on the employment contract. It is shown the production based on the employment contract violates the Lockean principle (all who work in an employment enterprise are de facto responsible for the positive and negative results) and thus Hume's conditions must also be violated in the marketplace (de facto responsible human action cannot be transferred from one person to another—as is readily recognized when and employer and employee together commit a crime). (shrink)

Russell’s type theory has been the standard property theory for years, relying on rigid type distinctions at the grammatical level to circumvent the paradoxes of predication. In recent years it has been convincingly argued by Bealer, Cochiarella, Turner and others that many linguistic and ontological data are best accounted for by using a type-free property theory. In the spirit of exploring alternatives and “to have as many opportunities as possible for theory comparison”, this paper (...) presents another type-free property theory, to be called P*, intended for applications in Montague-style natural language semantics and formal ontology. The theory is philosophically grounded on Gupta’s and Belnap’s revision theory of definitions and its basic idea is viewing predication (exemplification) as a ‘circular concept’ that can be captured by circular definitions. The paper has the following fourteen sections: (1) Introduction; (2) Formal type-free property theory; (3) Applying RTD [revision theory of definitions] to exemplification; (4) The system P*; (5) Some features of P*; (6) A comparison with Turner’s system; (7) Entailment and P*; (8) P* and natural language semantics; (9) Noun phrases; (10) The need for type-freedom in semantics; (11) Arithmetic in P*; (12) Arithmetic in PN*; (13) Complexity of P*; (14) Conclusion, and acknowledgments. (shrink)

This book surveys the leading modern theories of property - Lockean, libertarian, utilitarian/law-and-economics, personhood, Kantian and human flourishing - and then applies those theories to concrete contexts in which property issues have been especially controversial. These include redistribution, the right to exclude, regulatory takings, eminent domain and intellectual property. The book highlights the Aristotelian human flourishing theory of property, providing the most comprehensive and accessible introduction to that theory to date. The book's goal is (...) neither to cover every conceivable theory nor to discuss every possible facet of the theories covered. Instead, it aims to make the major property theories comprehensible to beginners, without sacrificing accuracy or sophistication. The book will be of particular interest to students seeking an accessible introduction to contemporary theories of property, but even specialists will benefit from the book's lucid descriptions of contemporary debates. (shrink)

This book explains China's intellectual property perspective in the context of European theories, through a critical examination of intellectual property theory and practice focused on China's compliance with the Agreement on Trade-Related Aspects of Intellectual Property Rights (TRIPS). The author's critical review of contemporary intellectual property philosophy suggests that justifying intellectual property protection through Locke or Hegel's property theories internalizes a theoretical paradox. "Professor Wenwei Guan's treatment of intellectual property law and practice (...) in the PRC offers new perspectives that enrich an already active field of study. This book will be a useful contribution to academic and policy discourses examining conceptual and operational dimensions of China's intellectual property protection system and the broader process of China's international engagement." - Dr. Pitman B. Potter, Professor of Law, University of British Columbia, Canada "Dr. Guan reminds us of the daunting challenge of the public-private divide in forming and reforming TRIPS regime; how this regime has failed to address development needs and public concerns in developing countries like China; and how TRIPS's 'birth defect' can be overcome and its evolution can be put back on the right track." - Dr. Yahong Li, Associate Professor at Faculty of Law, Hong Kong University. (shrink)

The paper reviews the empirical evidence for highly significant variation across perceivers in hue perception and argues that color physicalism cannot accommodate this variability. Two views that can accommodate the individual differences in hue perception are considered: the self-locating property theory, according to which colors are self-locating properties, and color relationalism, according to which colors are relations to perceivers and viewing conditions. It is subsequently argued that on a plausible rendition of the two views, the self-locating theory (...) has a slight advantage over color relationalism in being truer to the phenomenology of our color experiences. (shrink)

Property, or property rights, remains one of the most central elements in moral, legal, and political thought. It figures centrally in the work of figures as various as Grotius, Locke, Hume, Smith, Hegel and Kant. This collection of essays brings fresh perspective on property theory, from both legal and political theoretical perspectives, and is essential reading for anyone interested in the nature of property. Edited by two of the world's leading theorists of property, James (...) Penner and Michael Otsuka, this volume brings together essays which consider, amongst other topics, property and public law, the importance of legal forms in property theory, whether use or exclusion are most essential to our understanding of property, distributive justice, Lockean and Grotian theories, the common ownership of the Earth, and Confucian ideas of property. (shrink)

The paper reviews the empirical evidence for highly significant variation across perceivers in hue perception and argues that color physicalism cannot accommodate this variability. Two views that can accommodate the individual differences in hue perception are considered: the self-locating property theory, according to which colors are self-locating properties, and color relationalism, according to which colors are relations to perceivers and viewing conditions. It is subsequently argued that on a plausible rendition of the two views, the self-locating theory (...) has a slight advantage over color relationalism in being truer to the phenomenology of our color experiences. (shrink)

The property theory of content takes the content of each cognitive attitude (each belief, desire, and so on) to be a property to which the subject of the attitude is related in the appropriate psychological way. This view is motivated by standard cases of de se belief and other attitudes. In this paper, I consider a couple of related objections to the property theory of content. Both objections have to do with the possible non-existence of (...) the subject. More specifically, the objections are based on attitudes, the contents of which entail the non-existence of their subjects, and also on attitudes that commit their subjects to preferences regarding situations in which the subjects do not exist. I show that the property theory can answer these objections adequately, and I argue that my answer to the objections is more plausible than other possible responses. (shrink)

ABSTRACT Two rival approaches to property rights dominate contemporary political philosophy: Lockean natural rights and egalitarian theories of distributive justice. This article defends a third approach, which can be traced to the work of David Hume. Unlike Lockean rights, Humean property rights are not grounded in pre-institutional moral entitlements. In contrast to the egalitarian approach, which begins with highly abstract principles of distributive justice, Humean theory starts with simple property conventions and shows how more complex institutions (...) can be justified against a background of settled property rights. Property rights allow people to coordinate their use of scarce resources. For property rules to serve this function effectively, certain questions must be considered settled. Treating existing property entitlements as having prima facie validity facilitates cooperation between people who disagree about distributive justice. Lockean and egalitarian theories endorse moral claims that threaten to unsettle property conventions and undermine social cooperation. (shrink)

The role of property theory as a framework for analysis and regulation of body parts has become a debate of topical importance because of the emergence of biomedical technologies that utilise body parts, and also because the application of the concept of property, even with respect to historically and traditionally accepted forms of property, raises serious challenges to the property analyst. However, there is another reason for the topicality of property in relation to body (...) parts: a proprietary approach confers on a claimant the advantage of continuing control that is tellingly lacking in non-property frameworks underpinned, for instance, by consent, negligence, privacy and unjust enrichment rules. In some circumstances, such as an unauthorised blood test performed on a blood sample obtained with consent, the continuing control provided by property law might be the only chance a claimant has to obtain a remedy. Economy of space, however, requires that only a prolegomenon on body parts and property theory is given below. Thus, the analysis begins by providing in outline a framework for comprehensive analysis of body parts within the realm of property theory; thereafter, the author engages with the normative question of whether body parts or rights exercisable over body parts could be admitted into the category of property. (shrink)

This paper presents a type-free property-theoretic system in the spirit of a framework proposed by Menzel and then supplements it with a theory of truth and exemplification. The notions of a truth-relevantly complex (simple) sentence and of a truth-relevant subsentence are introduced and then used in order to motivate the proposed theory. Finally, it is shown how the theory avoids Russell's paradox and similar problems. Some potential applications to the foundations of mathematics and to natural language (...) semantics are sketched in the introduction. (shrink)

The type-free property-theoretic system EC, based on the mediation view of predication, is presented. According to the mediation view, the copula or exemplification is a necessary component of every proposition. It is explained how the system EC relates to Bradley's Regress regarding predication. Finally, the system EC is applied to the Meinong-Russell debate on non-existent objects and it is shown how EC allows us to preserve some important intuitions of both Meinong and Russell.

This book offers a defense of the Property Theory of Content, according to which properties rather than propositions are the contents of our beliefs, desires, and other cognitive attitudes. New arguments for the theory are offered, objections are answered, and applications to problems in the philosophy of mind are discussed.

The type-free property-theoretic system EC, based on the mediation view of predication, is presented. According to the mediation view, the copula or exemplification is a necessary component of every proposition. It is explained how the system EC relates to Bradley's Regress regarding predication. Finally, the system EC is applied to the Meinong-Russell debate on non-existent objects and it is shown how EC allows us to preserve some important intuitions of both Meinong and Russell.

Mental content and the problem of De Se belief -- Cognitive attitudes and content -- The doctrine of propositions -- The problem of De Se belief -- The property theory of content -- In favor of the property theory -- Perry's messy shopper and the argument from explanation -- Lewis's case of the two Gods -- Arguments from internalism and physicalism -- An inference to the best explanation -- Alternatives to the property theory -- (...) The triadic view of belief -- How the property theory and the triadic view are rivals -- Dyadic propositionalism reconsidered -- Arguments against the property theory -- Self-ascription and self-awareness -- Nonexistence and impossible contents -- Stalnaker's argument -- Propositionalist arguments from inference -- The property theory and De Re belief -- Lewis's account of De Re belief -- McKay's objection to Lewis -- Mistaken identity and the case of the shy secret admirer -- Some other worries and concluding remarks -- The property theory, rationality, and Kripke's puzzle about belief -- Kripke's puzzle about belief -- The puzzle argument -- A solution to the puzzle -- Puzzles with empty names and kind terms -- The property theory, twin earth, and belief about kinds -- Twin earth and two kinds of internalism -- The twin earth argument -- An internalist response (stage one) -- An internalist response (stage two) -- Self-ascription and belief about kinds. (shrink)

ABSTRACT In our response Field's ‘Properties, Propositions and Conditionals’, we explore the methodology of Field's program. We begin by contrasting it with a proof-theoretic approach and then commenting on some of the particular choices made in the development of Field's theory. Then, we look at issues of property identity in connection with different notions of equivalence. We close with some comments relating our discussion to Field's response to Restall’s [2010] ‘What Are We to Accept, and What Are We (...) to Reject, While Saving Truth from Paradox?’. (shrink)

This paper extends the theory of situated inference from Mares to treat two weak relevant logics, B and DJ. These logics are interesting because they can be used as bases for consistent naïve theories, such as naïve set theory. The concepts of a situation and of information that are employed by the theory of situated inference are used to justify various aspects of these logics and to give an interpretation of the notion of set that is represented (...) in the naïve set theories that are based on them. (shrink)

We propose a theory for modeling concepts that uses the state-context-property theory (SCOP), a generalization of the quantum formalism, whose basic notions are states, contexts and properties. This theory enables us to incorporate context into the mathematical structure used to describe a concept, and thereby model how context influences the typicality of a single exemplar and the applicability of a single property of a concept. We introduce the notion `state of a concept' to account for (...) this contextual influence, and show that the structure of the set of contexts and of the set of properties of a concept is a complete orthocomplemented lattice. The structural study in this article is a preparation for a numerical mathematical theory of concepts in the Hilbert space of quantum mechanics that allows the description of the combination of concepts. (shrink)

Research Articles Adam Mossoff, Social Philosophy and Policy, FirstView Article.

Our prominent definitions of cognition are too vague and lack empirical grounding. They have not kept up with recent developments, and cannot bear the weight placed on them across many different debates. I here articulate and defend a more adequate theory. On this theory, behaviors under the control of cognition tend to display a cluster of characteristic properties, a cluster which tends to be absent from behaviors produced by non-cognitive processes. This cluster is reverse-engineered from the empirical tests (...) that comparative psychologists use to determine whether a behavior was generated by a cognitive or a non-cognitive process. Cognition should be understood as the natural kind of psychological process that non-accidentally exhibits the properties assessed by these tests (as well as others we have not yet discovered). Finally, I review two plausible neural accounts of cognition's underlying mechanisms?one based in localization of function to particular brain regions and another based in the more recent distributed networks approach to neuroscience?which would explain why these properties non-accidentally cluster. While this notion of cognition may be useful for a number of debates, I here focus on its application to a recent crisis over the distinction between cognition and association in comparative psychology. (shrink)

For over a century, intellectual property regimes have been justified using Western philosophical theories rooted in the idea that IP must reward talent and maximize global stocks of knowledge and cultural products. Reframing IP in a context of legal pluralism, Ezieddin Elmahjub brings an Islamic and comparative narrative to the appropriate design and scope of IP rights, and in doing so criticizes the dominance of Western influence on a global regime that impacts the ability of people to access medicine, (...) to read, to imagine, and to reshape popular culture. The Islamic vision of IP, which is based on a broad theory of social justice, maintains that IP cannot simply be seen as a reward for effort or tool to maximize economic efficiency but as one legal right within a complicated distributive scheme affecting fundamental human rights, equal opportunities, and human capabilities. (shrink)

David Lewis advised essentialists to judge his counterpart theory a false friend. He also argued that counterpart theory needs natural properties. This essay argues that natural properties are all essentialists need to find a true friend in counterpart theory. Section one explains why Lewis takes counterpart theory to be anti-essentialist and why he thinks it needs natural properties. Section two establishes the connection between the natural properties counterpart theory needs and the essentialist consequences Lewis disavows. (...) Section three answers two objections: the first attempts to block the consequences of adding natural properties to counterpart theory; the second grants the consequences, but denies that they amount to essentialism. –Correspondence to: [email protected]. (shrink)

Our prominent definitions of cognition are too vague and lack empirical grounding. They have not kept up with recent developments, and cannot bear the weight placed on them across many different debates. I here articulate and defend a more adequate theory. On this theory, behaviors under the control of cognition tend to display a cluster of characteristic properties, a cluster which tends to be absent from behaviors produced by non-cognitive processes. This cluster is reverse-engineered from the empirical tests (...) that comparative psychologists use to determine whether a behavior was generated by a cognitive or a non-cognitive process. Cognition should be understood as the natural kind of psychological process that non-accidentally exhibits the properties assessed by these tests (as well as others we have not yet discovered). Finally, I review two plausible neural accounts of cognition's underlying mechanisms—one based in localization of function to particular brain regions and another based in the more recent distributed networks approach to neuroscience—which would explain why these properties non-accidentally cluster. While this notion of cognition may be useful for a number of debates, I here focus on its application to a recent crisis over the distinction between cognition and association in comparative psychology. (shrink)

Teoria własności intelektualnej Kennetha E. Himmy ma na celu uzasadnienie prawa naturalnego do intelektualnej "zawartości" dzieł sztuki i wynalazków. Uważa się przy tym dość powszechnie, że ową zawartość stanowią obiekty abstrakcyjne. Himma proponuje modyfikację znanego argumentu Johna Locke'a z uwzględnieniem koncepcji wartości. Utrzymuje, że nawet jeśli obiekty abstrakcyjne istnieją przed ich rzekomym "stworzeniem", to ich "konsumpcja" nie jest możliwa, dopóki wynalazca lub artysta nie wykona określonej pracy. Praca ta ma jego zdaniem być niezbędna dla zapewnienia dostępu do tychże obiektów. Himma (...) interpretuje ten akt jako "tworzenie wartości" które uzasadnia przyznanie wynalazcom i artystom praw własności intelektualnej. W niniejszej pracy założenia na których opiera się teoria Himmy poddane są krytycznej analizie. Argumentuje się, że ludzka praca nie może zwiększyć dostępności obiektów abstracyjnych oraz że pojęcie wartości nie ma do nich zastosowania. Spostrzeżenie to podważa zasadność proponowanej teorii. Ponadto rozważana jest zasadność postulowanych przez Himmę praw. Argumentuje się, że prawa te są niemożliwe do wyegzekwowania w odniesieniu do obiektów abstrakcyjnych i nie implikują praw do kontroli nad obiektami materialnymi. (shrink)

We initiate a systematic study of the class of theories without the tree property of the second kind — NTP2. Most importantly, we show: the burden is “sub-multiplicative” in arbitrary theories ; NTP2 is equivalent to the generalized Kimʼs lemma and to the boundedness of ist-weight; the dp-rank of a type in an arbitrary theory is witnessed by mutually indiscernible sequences of realizations of the type, after adding some parameters — so the dp-rank of a 1-type in any (...) theory is always witnessed by sequences of singletons; in NTP2 theories, simple types are co-simple, characterized by the co-independence theorem, and forking between the realizations of a simple type and arbitrary elements satisfies full symmetry; a Henselian valued field of characteristic is NTP2 if and only if the residue field is NTP2 , so in particular any ultraproduct of p-adics is NTP2; adding a generic predicate to a geometric NTP2 theory preserves NTP2. (shrink)

This book gives an account of a full spectrum of property rights and their relationship to individual liberty. It shows that a purely deontological approach to justice can deal with the most complex questions regarding the property system. Moreover, the author considers the economic, ecological, and technological complexities of our real-world property systems. The result is a more conceptually sound account of natural rights and the property system they demand. If we think that liberty should be (...) at the centre of justice, what does that mean for the property system? Economists and lawyers widely agree that a property system must be composed of many different types of property: the kind of private ownership one has over one's person and immediate possessions, as well as the kinds of common ownership we each have in our local streets, as well as many more. However, theories of property and justice have not given anything approaching an adequate account of the relationship between liberty and any other form of property other than private ownership. It is often thought that a basic commitment to liberty cannot really tell us how to arrange the major complexities of the property system, which diverge from simple private ownership. Property and Justice demonstrates how philosophical rigour coupled with interdisciplinary engagement enables us to think clearly about how to deal with real-world problems. It will be of interest to political philosophers, political theorists, and legal theorists working on property rights and justice. (shrink)

Djordjević [Dj 1] proved that under natural technical assumptions, if a complete L n -theory is stable and has amalgamation over sets, then it has arbitrarily large finite models. We extend his study and prove the existence of arbitrarily large finite models for classes of models of L n -theories (maybe omitting types) under weaker amalgamation properties. In particular our analysis covers the case of vector spaces.

The homeostatic property cluster theory is widely influential for its ability to account for many natural-kind terms in the life sciences. However, the notion of homeostatic mechanism has never been fully explicated. In 2009, Carl Craver interpreted the notion in the sense articulated in discussions on mechanistic explanation and pointed out that the HPC account equipped with such notion invites interest-relativity. In this paper, we analyze two recent refinements on HPC: one that avoids any reference to the causes (...) of the clustering of properties and one that replaces homeostatic mechanisms with causal networks represented by causal graphs. We argue that the former is too slender to account for some inductive inference in science and the latter, thicker account invites interest-relativity, as the original HPC does. This suggests that human interest will be an un-eliminative part of a satisfactory account of natural kindness. We conclude by discussing the implication of interest-relativity to the naturalness, reality, or objectivity of kinds and indicating an overlooked aspect of natural kinds that requires further studies. (shrink)

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)

Book synopsis: What is the relationship between philosophy, social theory and empirical research? In what ways can we claim to 'know' the social world? What properties does the social world possess and what are their implications? This ground-breaking and multi-disciplinary book brings together a distinguished team of leading thinkers to discuss issues surrounding and informing questions such as: what is the 'social', in what ways can we 'know' it, and how can our findings be validated? These issues are discussed (...) in an accessible way, including the relationship of philosophical and research issues to each other, the nature of social reality, properties that may be ascribed to the social, research accounts and rhetorical 'persuasion', and the relations between 'gender and knowing'. The overall concern of the book is to clarify how and in what ways we can claim to know the social world and what implications and consequences this may have for social scientific practice. For too long philosophers, social theorists and methodologists have talked past each other, often unaware of the mutually beneficial insights that each offers the other. This book is intended to contribute to a more constructive encounter and dialogue in order to advance understanding of the problems and possibilities surrounding the quest to know the social world. With this overall aim in mind, it will be essential reading for advanced undergraduates and postgraduate students in the social sciences, as well as philosophers, social theorists, methodologists and social researchers in general. (shrink)

I critically examine some deflationary theories of properties, according to which properties are ‘shadows of predicates’ and quantification over them serves a mere quasi-logical function. I start by considering Hofweber’s internalist theory, and pose a problem for his account of inexpressible properties. I then introduce a theory of properties that closely resembles Horwich’s minimalist theory of truth. This theory overcomes the problem of inexpressible properties, but its formulation presupposes the existence of various kinds of abstract objects. (...) I discuss some ways to reduce these existence assumptions, but ultimately suggest that deflationists can hardly avoid quantification over abstract objects of one sort or another. I conclude that property deflationism is perhaps not as deflationary as some philosophers want it to be, but that it’s still apt to call the position ‘deflationary’. (shrink)

In this short, clear and engaging book, Neil Feit defends the unorthodox view that the contents of beliefs and other cognitive attitudes are properties, and not, as is usually held, propositions. The core of his argument has to do with de se beliefs, beliefs about the self. Based on examples and arguments due to Perry , Lewis and Chisholm , along with considerations about internalism and physicalism, Feit offers a battery of arguments for the conclusion that the contents of de (...) se beliefs cannot be propositions and therefore must be properties. For reasons of uniformity and simplicity Feit then extends this conclusion to all beliefs. So, according to Feit, the content of the de se belief that I am a philosopher is the property of being a philosopher, and my having this belief consists in my self-ascribing this property. For de dicto beliefs, believing that p is self-ascribing the property of being such that p, and for de re beliefs, believing that x is F is self-ascribing the property of bearing some relation of acquaintance R to something that is F. For example, to have the de dicto belief that …. (shrink)

We introduce the oak property of first order theories, which is a syntactical condition that we show to be sufficient for a theory not to have universal models in cardinality λ when certain cardinal arithmetic assumptions about λ implying the failure of GCH hold. We give two examples of theories that have the oak property and show that none of these examples satisfy SOP4, not even SOP3. This is related to the question of the connection of the (...) property SOP4 to non-universality, as was raised by the earlier work of Shelah. One of our examples is the theory for which non-universality results similar to the ones we obtain are already known; hence we may view our results as an abstraction of the known results from a concrete theory to a class of theories. We show that no theory with the oak property is simple. (shrink)

Although John Locke’s theory of appropriation is undoubtedly influential, no one seems to agree about exactly what he was trying to say. It is unlikely that someone will write the interpretation that effectively ends the controversy. Instead of trying to find the one definitive interpretation of Locke’s property theory, this article attempts to identify the range of reasonable interpretations and extensions of Lockean property theory that exist in the contemporary literature with an emphasis on his (...) argument for unilateral appropriation. It goes through Locke’s argument point-by-point discussing the controversy over what he said and over what he perhaps should have said to make the most valuable and coherent argument. The result is an outline of Lockean theories of property: a menu of options by which one might use appropriation to justify property rights. Supporters only need to pick the version they find most plausible, but opponents should be aware of the entire menu. Anyone claiming to refute appropriation-based property rights must address not only one but all potentially valid versions of it. (shrink)

According to the standard story, there are two defensible theories of property rights: historical and institutional theories. The former says that you own something when you’ve received it via an unbroken chain of just transfers from its original appropriation. The latter says that you own something when you’ve been assigned it by just institutions. This standard story says that the historical theory throws up a barrier to redistributive economic policies while the institutional theory does not. In this (...) paper, I argue that the standard story is wrong in almost every detail. For a start, neither of these theories are defensible. Both generate absurd consequences when combined with our non-ideal circumstances. In actuality, no unbroken chains of just transfers stretch from original appropriation to what we now possess. And our actual institutions are very seriously unjust. So both theories imply that we actually own almost nothing. I revise these theories so that they avoid this absurd consequence. Yet, when we do this, their distributive implications flip. The institutional theory throws up serious barriers to redistribution while the historical theory tears them down. In our non-ideal circumstances, the distributive implications of these theories are the opposite of what is standardly presumed. (shrink)

David Lewis may be regarded as an antiessentialist. The reason is that he is said to believe that individuals do not have essential properties independent of the ways they are represented. According to him, indeed, the properties that are determined to be essential to individuals are a matter of which similarity relations among individuals are salient, and salience, in turn, is a contextual matter also determined to some extent by the ways individuals are represented. Todd Buras argues that the acknowledgment (...) of natural properties in counterpart theoretic ontology affects Lewis’s theory with regard to essentialism. Buras’s reasoning is appealing. He claims that, since natural properties determine the existence of similarity relations among individuals that are salient independent of context, Lewis can no longer be claimed to be an antiessentialist. The aim of this paper is to argue, against Buras, that if counterpart theory was antiessentialist before natural properties were taken into account, then it remains so afterwards. (shrink)

The paper aims to develop a resemblance theory of properties that technically improves on past versions. The theory is based on a comparative resemblance predicate. In combination with other resources, it solves the various technical problems besetting resemblance nominalism. The paper’s second main aim is to indicate that previously proposed resemblance theories that solve the technical problems, including the comparative theory, are nominalistically unacceptable and have controversial philosophical commitments.