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)

In this book, Buckle provides a historical perspective on the political philosophies of Locke and Hume, arguing that there are continuities in the development of seventeenth and eighteenth-century political theory which have often gone unrecognized. He begins with a detailed exposition of Grotius's and Pufendorf's modern natural law theory, focussing on their accounts of the nature of natural law, human sociability, the development of forms of property, and the question of slavery. He then shows that Locke's political (...) theory takes up and develops these basic themes of natural law. The author argues further that, rather than being a departure from this tradition, the moral sense theory of Hutcheson and Hume represents a not entirely successful attempt to underpin the natural law theory with an adequate moral psychology. (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)

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.

This book represents a major new statement on the issue of property rights. It argues for the justification of some rights of private property while showing why unequal distributions of private property are indefensible. Three features of the book are especially salient: it offers a challenging new pluralist theory of justification; the argument integrates perceptive analyses of the great classical theorists Aristotle, Locke, Hegel and Marx with a discussion of contemporary philosophers such as Nozick and Rawls; (...) and the author moves with assurance among philosophy, law and economics to present a very broad, interdisciplinary study. (shrink)

I here defend a theory consisting of four claims about ‘property’ and properties, and argue that they form a coherent whole that can solve various serious problems. The claims are (1): ‘property’ is defined by the principles (PR): ‘F-ness/Being F/etc. is a property of x iff F’ and (PA): ‘F-ness/Being F/etc. is a property’; (2) the function of ‘property’ is to increase the expressive power of English, roughly by mimicking quantification into predicate position; (3) (...) property talk should be understood at face value: apparent commitments are real and our apparently literal use of ‘property’ is really literal; (4) there are no properties. In virtue of (1)–(2), this is a deflationist theory and in virtue of (3)–(4), it is an error theory. (1) is fleshed out as a claim about understanding conditions, and it is argued at length, and by going through a number of examples, that it satisfies a crucial constraint on meaning claims: all facts about ‘property’ can be explained, together with auxiliary facts, on its basis. Once claim (1) has been expanded upon, I argue that the combination of (1)–(3) provides the means for handling several problems: they help giving a happy-face solution to what I call the paradox of abstraction , they form part of a plausible account of the correctness of committive sentences, and, most importantly, they help respond to various indispensability arguments against nominalism. (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)

Causal structuralism is the view that, for each natural, non-mathematical, non-Cambridge property, there is a causal profile that exhausts its individual essence. On this view, having a property’s causal profile is both necessary and sufficient for being that property. It is generally contrasted with the Humean or quidditistic view of properties, which states that having a property’s causal profile is neither necessary nor sufficient for being that property, and with the double-aspect view, which states that (...) causal profile is necessary but not sufficient. Shoemaker’s (1998) and Hawthorne’s (2001) arguments in favor of causal structuralism primarily focus on problematic consequences of the other two views. I argue, however, that causation does not provide an appropriate framework within which to characterize all physical properties for two main reasons. First, there are physical properties that do not have causal profiles and properties whose causal profiles do not exhaust their essences. Second, there is no unified notion of causation across the sciences. After distinguishing between the causal and the nomological, I suggest that what is needed is a structuralist view of properties that is not merely causal but that incorporates a physical property’s higher-order mathematical and nomological properties into its identity conditions. Such a view retains the naturalistic motivations for causal structuralism while avoiding the problems it faces. (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)

This dissertation argues that we have no good reason to accept any one theory of properties as correct. To show this, I present three possible bases for theory-choice in the properties debate: coherence, explanatory adequacy, and explanatory value. Then I argue that none of these bases resolve the underdetermination of our choice between theories of properties. First, I argue considerations about coherence cannot resolve the underdetermination, because no traditional theory of properties is obviously incoherent. Second, I argue (...) considerations of explanatory adequacy cannot resolve the underdetermination, because every traditional theory of properties lacks the theoretical resources to adequately explain resemblance, causal powers, and predication. However, these inadequacies are easily remedied with theoretical modifications. But this results in an overabundance of modified, but adequate, theories of properties. Third, I argue explanatory virtues cannot resolve the underdetermination, because we have no reason to think explanatory virtues make theories of properties more likely to be true. I reject the common argument that explanatory virtues are truth-conducive in theories of properties because they are truth-conducive in scientific theories. Since none of the three bases for theory choice can resolve the underdetermination, I conclude that we have no good reason to accept any one theory of properties as correct. Finally, I consider the possibility of choosing one theory over the others on pragmatic grounds. But I argue that pragmatic grounds cannot resolve the underdetermination either. Instead, I suggest we accept the view I call 'instrumental pluralism,' which allows practitioners to use whatever theory of properties they find useful. Adviser: Jennifer McKitrick. (shrink)

After Marx, dissenting economics almost always used 'the labour theory' as a theory of value. This paper develops a modern treatment of the alternative labour theory of property that is essentially the property theoretic application of the juridical principle of responsibility: impute legal responsibility in accordance with who was in fact responsible. To understand descriptively how assets and liabilities are appropriated in normal production, a 'fundamental myth' needs to be cleared away, and then the market (...) mechanism of appropriation can be understood. On the normative side, neoclassical theory represents marginal productivity theory as showing that (a metaphorical version of) the imputation principle is satisfied ('people get what they produce') in competitive enterprises. Since that shows the moral commitment of neoclassical economics to the imputation principle, the labour theory of property is presented here as the actual non-metaphorical application of the imputation principle to property appropriation. The property-theoretic analysis at the firm level shows how the neoclassical (and much heterodox) analysis in terms of 'distributive shares' wholly misframed the basic questions. Finally, the paper shows how the imputation principle (modernised labour theory of property) is systematically violated in the present wage labour system of renting persons. The paper can be seen as taking up the recent challenge posed by Donald Katzner for a dialogue between neoclassical and heterodox microeconomics. (shrink)

This symposium paper for the APA analyzes Locke's labor theory of property acquisition as a formal argument – or set of alternative arguments – and shows how several of them are indeed sound, if appropriately limited by what amounts to a social welfare proviso. That proviso is, however, strong enough to limit the acquisition of private property in a significant way. The argument here anticipates fuller and more decisive ones in later work by the same author.

Property enhances autonomy for most people, but not for all. Because it both empowers and disables, property requires constant vigilance. A Liberal Theory of Property addresses key questions: how can property be justified? What core values should property law advance, and how do those values interrelate? How is a liberal state obligated to act when shaping property law? In a liberal polity, the primary commitment to individual autonomy dominates the justification of property, (...) founding it on three pillars: carefully delineated private authority, structural pluralism, and relational justice. A genuinely liberal property law meets the legitimacy challenge confronting property by expanding people's opportunities for individual and collective self-determination while carefully restricting their options of interpersonal domination. The book shows how the three pillars of liberal property account for core features of existing property systems, provide a normative vocabulary for evaluating central doctrines, and offer directions for urgent reforms. (shrink)

Murray Rothbard, in his The Ethics of Liberty, attempts to derive property ownership from the act of homesteading. Under this system, property is claimed through the act of mixing one’s labor with it. However, the theory of homesteading as a means for property rights formation is one that favors production over consumption and denies the subjectivity of value.

Léon Walras (1834-1910), a French-born economist working in Switzerland, was one of the founders of mathematical economics (and of marginal utility theory and equilibrium analysis in particular). He here defends self-ownership and collective ownership of the rent from natural resources.

This book represents a major new statement on the issue of property rights. It argues for the justification of some rights of private property while showing why unequal distributions of private property are indefensible. Three features of the book are especially salient: it offers a challenging new pluralist theory of justification; the argument integrates perceptive analyses of the great classical theorists Aristotle, Locke, Hegel and Marx with a discussion of contemporary philosophers such as Nozick and Rawls; (...) and the author moves with assurance among philosophy, law and economics to present a very broad, interdisciplinary study. (shrink)

The essays in this book began as a contributions to a Summer Workshop arranged by the Calgary Institute for the Humanities, and haled at the University of Calgary from July 7 to 14, 1978. The Institute, which was founded by the University in 1976 for the encouragement of humanistic studies, has held such conferences each summer as a part of its programme of research.

Although Benjamin Schnieder’s theory of the “ordinary conception” of properties successfully handles paradoxical properties—particularly, the property of non-self-instantiation—it fails to account for ordinary, non-pathological cases. The theory allows the inference of ‘a has the property of being F’ only given F(a) and the prior assertibility of ‘the property of being F can exist’. While this allows us to block an inference to a contradiction, it also blocks all of the non-pathological instances of the inference from (...) ‘a is F’ to ‘a has the property of being F’. It thereby fails both as a theory of the ordinary conception and as a replacement of the ordinary notion, assuming the latter is defective. (shrink)

The Identity Theory of properties (IDT) is an increasingly popular metaphysical view that aims to be a middle way between pure powerism and pure categoricalism. This paper’s goal is to highlight three major difficulties that IDT should address in order to be a plausible account of the nature of properties. First, although IDT needs a clear definition of the notion of qualitativity which is both adequate and compatible with the tenets of the theory, all the extant proposals fail (...) to provide such a definition. Second, the suggested definitions of qualitativity are characterised by a metaphysical ‘neutrality’ that threatens to trivialise the important metaphysical debate regarding the question whether properties confer by themselves dispositions on their bearers (and so they are inherently modal and active) or need the ‘assistance’ of laws of nature to do that. Finally, none of the extant alternative understandings of the core identity-claim of IDT can adequately meet the objection that the claim in question is unintelligible. (shrink)

Many philosophers have declared that everything which exists is a particular. There is a weak interpretation of this doctrine which I believe to be a true proposition, and a strong one which I believe to be false.

I consider a grand, yet neglected proposal put forward by Shoemaker—a functionalist theory of all properties. I argue that two possible ways of developing this proposal meet with substantial objections. However, if we are prepared to endorse an ontology of tropes, one of these functionalist analyses can be developed into an original and informative theory of properties.

The Identity Theory of properties is an increasingly popular metaphysical view that aims to be a middle way between pure powerism and pure categoricalism. This paper’s goal is to highlight three major difficulties that IDT should address in order to be a plausible account of the nature of properties. First, although IDT needs a clear definition of the notion of qualitativity which is both adequate and compatible with the tenets of the theory, all the extant proposals fail to (...) provide such a definition. Second, the suggested definitions of qualitativity are characterised by a metaphysical ‘neutrality’ that threatens to trivialise the important metaphysical debate regarding the question whether properties confer by themselves dispositions on their bearers or need the ‘assistance’ of laws of nature to do that. Finally, none of the extant alternative understandings of the core identity-claim of IDT can adequately meet the objection that the claim in question is unintelligible. (shrink)

Contrary to Thomas Horne's propensity to consider arguments concerning property rights and poverty as exclusive and self?contained topics within the political discourse of liberalism, they should be seen as part of the defense of democratic and market institutions that is central to the historical development of liberalism. The problems arising from the relationship of property rights to poverty, therefore, need to be included in any assessment of the success or failure of the institutions of a democratic market society (...) to realize their objectives. (shrink)

The paper presents a novel version of universalism—the thesis according to which there are only universals, no individuals—which is cashed out in terms of an adverbial analysis of predication. According to the theory, every spatiotemporal occurrence of a universal U can be expressed by a sentence which asserts the existence of U adverbially modified by the spatiotemporal region at which it exists. After some preliminary remarks on the interpretation of natural language, a formal semantics for the theory is (...) first provided, along with an intended interpretation of its key metaphysical imports. Follow some commentaries on the spatiotemporal manifold and determinable properties. (shrink)

It is traditional to ascribe to Locke the view that every person who acquires natural property rights by labouring on resources is obligated to leave sufficient resources for everyone else. But during the last several decades, a number of authors have contributed to a compelling textual case against this reading. Nevertheless, Locke clearly indicates that there is something wrong with distributions in which some suffer while others thrive. But if he does not endorse the traditional proviso, what exactly is (...) the problem? In this paper, I offer a solution to this puzzle. I argue that according to Locke, once people use their natural rights to acquire large properties, many individuals are unable to enjoy the material and moral wellbeing, or “preservation,” that is the end of natural law. For even if such large properties pose no problem for material preservation, they foster arbitrary power that offends against moral preservation. (shrink)

What is property? Not so long ago, at least in the western legal tradition, answering this question might have been possible by adverting to a very small number of resources – perhaps as few as the...

In the history of liberal theories of property, the predominant model deduces a right to highly unequal amounts of property from a premise that the person is primarily independent and self‐determined. But modem social theory, communitarianism and critical legal theory have generated strong support for an alternative premise of social self‐determination of the person. These theories have not, however, adequately explored the logical implications of social personality for the justifiable degree of equality of income under (...) class='Hi'>property right. This study reasons a right to some significant equalization of income from a premise that the individual is socially self‐determined. The supporting argument develops a different concept of social personality than found in prevailing social and communitarian theories. With regard to property, it is particularly important to conceptualize the formation of the individual by and within the system of economic relations. The personological premises are also developed differently from Marx's analysis, which overemphasizes the production side of the economy. The present analysis examines the individual in the consumption side as well. But in contrast to the subjective‐individualist conception of the consumer in neoclassical economic theory, we will utilize a conception of socially self‐determined consumer wants and self‐seeking. This social‐personological premise proves to have strong egalitarian implications for the distribution of income under property rights. (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)

Mally succeeded in developing two theories of properties, passing from the distinction between Sein and Sosein (1904) to the theory of nuclear and extranuclear properties (1912). According to the first one, the Sein of an object depends on the Sosein of the object, whereas the Sein of the Sosein of an object does not depend on the Sein of the object. These Principles allow the distinction between possible and impossible objects (in respect to Sosein) and between real and ideal (...) objects (in respect to Sein). In his second theory, Mally distinguishes between first order properties that determine the object, and higher order properties, like difference or simplicity, ending with the distinction between impossible objects and non-satisfiable objects. (shrink)

There is a vibrant community among philosophical logicians seeking to resolve the paradoxes of classes, properties and truth by way of adopting some non-classical logic in which trivialising paradoxical arguments are not valid. There is also a long tradition in theoretical computer science|going back to Dana Scott's fixed point model construction for the untyped lambda-calculus of models allowing for fixed points. In this paper, I will bring these traditions closer together, to show how these model constructions can shed light on (...) what we could hope for in a non-trivial model of a theory for classes, properties or truth featuring fixed points. (shrink)