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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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 property theory of musical works is the view that identifies works of music with properties as universals. The purpose of this article is to distinguish different versions of the property theory and argue that none of them can satisfy certain demands we expect from a successful theory of musical works. I conclude that although properties as universals are familiar and useful in other domains, we cannot rely on them to explain the ontological nature of (...) musical works. (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.

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)

This chapter is concerned with representing the semantics of natural language plurals and mass terms in property theory; a weak first-order theory of Truth, Propositions and Properties with fine-grained intensionality (Turner 1990, Turner 1992, Aczel 1980). The theory allows apparently coreferring items to corefer without inconsistency. This is achieved by using property modifiers which keep track of the property used to refer to a term, much like Landman’s roles (Landman 1989). We can thus predicate (...) apparently contradictory properties of “the judge” and “the cleaner,” for example, even if they turn out to be the same individual. The same device can also be used to control distribution into mereological terms: when we say “the dirty water is liquid,” we can infer that those parts that are dirty water are liquid without inferring that the dirt is liquid. The theory shows how we can formalise some aspects of natural language semantics without being forced to make certain ontological commitments. This is achieved in part by adopting an axiomatic methodology. Axioms are proposed that are just strong enough to support intuitively acceptable inferences, whilst being weak enough for some ontological choices to be avoided (such as whether or not the extensions of mass terms should be homogeneous or atomic). The axioms are deliberately incomplete, just as in basic PT, where incomplete axioms are used to avoid the logical paradoxes. The axioms presented are deliberately too weak to say much about ”non-denoting’ definite descriptors. For example, we cannot erroneously prove that they are all equal. Neither can we prove that predication of such definites results in a proposition. This means that we cannot question the truth of sentences such as “the present king of France is bald.”. (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 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)

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)

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)

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)

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)

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)

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

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)

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)

All of the attempts to date to find a set of necessary and sufficient conditions for life, in order to provide an essential definition of life, have failed. We only have at our disposal series of lists that contain diverse characteristics usually found in living beings. Some authors have drawn from this fact the conclusion that life is not a natural kind. It will be argued here that this conclusion is too hasty and that if life is understood as a (...) natural kind in the non-essentialist sense of a homeostatic property cluster, it is easy to see why the attempts to find a unique and essentialist definition of life have failed. Understanding life in this way would imply that the pretension to find such a type of definition should be abandoned. (shrink)

This book is both an introduction to and a research work on Meinongianism. “Meinongianism” is taken here, in accordance with the common philosophical jargon, as a general label for a set of theories of existence – probably the most basic notion of ontology. As an introduction, the book provides the first comprehensive survey and guide to Meinongianism and non-standard theories of existence in all their main forms. As a research work, the book exposes and develops the most up-to-date Meinongian (...) class='Hi'>theory (called modal Meinongianism), applies it to specific fields, and discusses its open problems. Part I of the book provides a historical introduction to, and critical discussion of, the dominant philosophical view of existence: the “Kantian-Fregean-Quinean” perspective. Part II is the full-fledged introduction to the Meinongian theories of existence as a real property of individuals: after starting with the so-called naïve Meinongian conception and its problems, it provides a self-contained presentation of the main neo-Meinongian proposals, and a detailed discussion of their strengths and weaknesses. Part III develops a specific neo-Meinongian theory of existence employing a model-theoretic semantic framework. It discusses its application to the ontology and semantics of fictional objects, and its open problems. The methodology of the book follows the most recent trends in analytic ontology. In particular, the meta-ontological point of view is largely privileged. (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.

In this eye-opening study at the intersection of psychoanalytic theory and political organization and thought, Elliott Schwebach explores why property can be understood to be oppressive and how political theory overlooks its unique significance as a pillar of social violence. Synthesizing insights from Pierre-Joseph Proudhon, Sigmund Freud, Ives Hendrick and Frantz Fanon, Schwebach investigates human activity as shaped by the effects of property regimes and traces broader implications for understanding the legacies of colonial domination. He then (...) shifts focus to contemporary eco-theory, challenging the Lockeanism that continues to characterize premodern Indigenous environmental engagements and presenting novel frameworks for understanding healthy ecopolitical activity based upon the trajectories of psychological drives. This unique perspective validates creative expressions of decolonial resistance and offers fruitful alternatives to customary positions in psychoanalytic and environmental political philosophy. The book will be an indispensable resource for scholars of property, Freudian psychology, political ecology, and the visionary thought of Frantz Fanon. (shrink)

This book presents a theory of habitat rights for wild animals, positioning animal property rights within the existing institution of property and discussing the practical implications of giving property rights to animals.

While it is a point of agreement in contemporary republican political theory that property ownership is closely connected to freedom as non-domination, surprisingly little work has been done to elucidate the nature of this connection or the constraints on property regimes that might be required as a result. In this paper, I provide a systematic model of the boundaries within which republican property systems must sit and explore some of the wider implications that thinking of (...) class='Hi'>property in these terms may have for republicans. The boundaries I focus on relate to the distribution of property and the application of types of property claims over particular kinds of goods. I develop this model from those elements of non-domination most directly related to the operation of a property regime: (a) economic independence, (b) limiting material inequalities, and (c) the promotion of common goods. The limits that emerge from this analysis support intuitive judgments that animate much republican discussion of property distribution. My account diverges from much orthodox republican theory, though, in challenging the primacy of private property rights in the realization of economic independence. The value of property on republican terms can be realized without private ownership of the means of production. (shrink)

This paper describes an axiomatic theory BT, which is a suitable formal theory for developing constructive mathematics, due to its expressive language with countable number of set types and its constructive properties such as the existence and disjunction properties, and consistency with the formal Church thesis. BT has a predicative comprehension axiom and usual combinatorial operations. BT has intuitionistic logic and is consistent with classical logic. BT is mutually interpretable with a so called theory of arithmetical truth (...) PATr and with a second-order arithmetic SA that contains infinitely many sorts of sets of natural numbers. We compare BT with some standard second-order arithmetics and investigate the proof-theoretical strengths of fragments of BT, PATr and SA. (shrink)

Is it possible to get by with just one ontological category? We evaluate L.A. Paul's attempt to do so: the mereological bundle theory. The upshot is that Paul's attempt to construct a one category ontology may be challenged with some of her own arguments. In the positive part of the paper we outline a two category ontology with property universals and kind universals. We will also examine Paul's arguments against a version of universal bundle theory that takes (...) spatiotemporal co-location instead of compresence or coinstantiation as the feature by which we can identify genuine bundles. We compare this novel theory, bundle theory with kinds, and Paul's mereological bundle theory and apply them to a case study concerning entangled fermions and co-located bosons. (shrink)

Intellectual property typically involves claims of ownership of types, rather than particulars. In this article I argue that this difference in ontology makes an important moral difference. In particular I argue that there cannot be an intrinsic moral right to own intellectual property. I begin by establishing a necessary condition for the justification of intrinsic moral rights claims, which I call the Rights Justification Principle. Briefly, this holds that if we want to claim that there is an intrinsic (...) moral right to φ, we must be able to show that (a) violating this right would typically result in either a wrongful harm or other significant wrong to the holder of the right, and (b) the wrongful harm or other wrong in question is independent of the existence of the intrinsic right we are trying to justify. I then argue that merely creating a new instance of a type is not the kind of action which can wrongfully harm the creator of that type. Insofar as there do seem to be wrongs involved in copying a published poem or computer program, these wrongs presuppose the existence of an intrinsic right to own intellectual property, and so cannot be used to justify it. I conclude that there cannot be an intrinsic right to own intellectual property. (shrink)

David Hume and Simone de Beauvoir agree that human beings have a great deal of control over their moral and political lives, which is well captured in Hume's assertion that "mankind is an inventive species". But Hume argues that the most important thing needed to settle our social lives and determine justice is the agreement on rules of property, while Beauvoir thinks that the rules of property will never be enough to establish the best life, but rather that (...) we should be focusing on freedom. In this article we reconstruct Hume's argument for property, then develop a Beauvoirian critique of Hume that brings out the weakness of any theory of property that does not prevent inequalities of property from interfering with freedom. And then we give the last word to a Humean response to Beauvoir that would insist that there can be no freedom but only violence without rules of property, which she ignores. Both thinkers appeal to humanity as an overriding goal, and perhaps that is the way to reconcile the two: we need both property and freedom to achieve our humanity. (shrink)

Many theories assimilate the idioms of modality to those of quantification; they hold that so-and-so is possible iff there is a "world" at which it is true that so-and-so. "Modal realism" identifies worlds with certain concrete particulars, and truth at a world with what is true of it. Rival "ersatz" theories identify worlds with certain abstract entities and identify what is true at them with what they represent. ;David Lewis argues that pre-theoretic modal intuitions are best explained by modal realism. (...) I try to make a case for ersatzism. ;First, I argue that modal realism is flawed on the grounds that it entails the impossibility of certain intuitively possible spatiotemporal structures; it fails to explain fully even those intuitions with which it is compatible; and it renders the origin of modal knowledge mysterious. ;Next, I argue that objections to ersatzism are not conclusive. ;Lewis objects that even a generic version of ersatzism requires an unnameable and maybe unintelligible primitive relation. I suggest that the problems with naming are perfectly general; they have nothing to do with metaphysical theories of modality in particular. And I suggest a solution taken from Lewis himself. I also argue that any purported unintelligibility is due to illegitimately assimilating the relation to spatiotemporal relations. ;Finally, I consider some difficulties with a version of ersatzism that aims to reduce modality to impure set-theory. One concerns the accommodation of intuitions about properties that are not, but might have been, instantiated. Another concerns accommodation of intuitions about relations of exclusion and entailment among properties. I suggest that these difficulties are due to faulty assumptions about the nature of properties rather than any fundamental flaws in this ersatz approach. So I propose an account of properties that when incorporated into ersatzism circumvents these difficulties and allows it to claim the advantages of modal realism without its drawbacks. Unlike traditional accounts, this takes the essence of a property to consist in its role in imposing a certain classificational structure on the particulars that instantiate it, rather than in any unique and irreducible "quiddity". (shrink)

In the paper a theory of relevant properties is developed. The theory permits us to distinguish between properties that are relevant to an object and the properties that are irrelevant to it. Predication is meaningful only if a property is relevant to an object. On the base of introducing a special negative type of predication as opposed to usual sentential negation, a new notion of generalization for properties is defined. Context-free, as weIl as context-depended relevance of properties (...) are considered. (shrink)

Proof-theoretic methods are developed for subsystems of Johansson’s logic obtained by extending the positive fragment of intuitionistic logic with weak negations. These methods are exploited to establish properties of the logical systems. In particular, cut-free complete sequent calculi are introduced and used to provide a proof of the fact that the systems satisfy the Craig interpolation property. Alternative versions of the calculi are later obtained by means of an appropriate loop-checking history mechanism. Termination of the new calculi is proved, (...) and used to conclude that the considered logical systems are PSPACE-complete. (shrink)

The problem area of distributive justice includes at its core questions about what ought to be owned, how it can be owned and who ought to own it. A fundamental assumption behind recent attempts to address these questions is that the power to shape the property institutions of a society lies entirely in that society's laws. This view, I argue, is mistaken. In this dissertation I provide an account of how property institutions are related to other social practices (...) in a society. A consequence of this account is that property law does not solely determine what property looks like in a society. ;The analysis begins with the observation of Enlightenment-era natural rights theorists that property is, first and foremost, a conventional social norm. I then turn to modern developments in game theory and social psychology to propose a novel account of how conventional social norms guide agents. On this account, a norm guides an agent by influencing their practical reasoning in one of two ways: either rationally, by generating a belief that behavior in those circumstances is required by that norm, or sub-rationally, by structuring the agent's practical reasoning, without the agent being aware of it, in such a way that ensures the formation of intentions to act in a manner required by the norm. This second form of norm guidance, which I call 'passive norm guidance', provides grounds for the claim that property norms can exist and function independently of recognition by the law. I go on to show how the independent existence of property norms can support a robust natural law account of property rights according to which property rights exist independent of recognition by the law. The dissertation ends by show how this account, while radical, is also consistent with the dominant Twentieth Century analytic jurisprudence accounts of property. (shrink)

Multidimensional property supplementation is a grounded theory method for analysis that conceives of concepts as multidimensional spaces of possibilities. It is applied in an iterative process comprising four steps: expansion, whereby vague codes are split and contraries postulated; abstraction of practically significant differences in terms of properties and dimensions; geometrization of properties to create conceptual subspaces that supplant subcategories and have additional, emergent qualities; and unification of the concept by validating it against data and relieving it of properties (...) that do not tie in sufficiently with other concepts. Multidimensional conceptual models encourage the researcher to elaborate properties that explain, predict, or guide action. Fully developed, they can be easily connected to others in a process and function, by virtue of their emergent qualities, as falsifiable hypotheses in their own right. For these reasons, multidimensional property supplementation is open to epistemological justification without presuming acceptance of techniques specific to grounded theory. (shrink)

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)