In 1968, Orevkov presented proofs of conservativity of classical over intuitionistic and minimal predicate logic with equality for seven classes of sequents, what are known as Glivenko classes. The proofs of these results, important in the literature on the constructive content of classical theories, have remained somehow cryptic. In this paper, direct proofs for more general extensions are given for each class by exploiting the structural properties of G3 sequent calculi; for five of the seven classes the results are (...) strengthened to height-preserving statements, and it is further shown that the constructive and minimal proofs are identical in structure to the classical proof from which they are obtained. (shrink)

The aim of this paper is to give a description of the free algebras in some varieties of Glivenko MTL-algebras having the Boolean retraction property. This description is given (generalizing the results of [9]) in terms of weak Boolean products over Cantor spaces. We prove that in some cases the stalks can be obtained in a constructive way from free kernel DL-algebras, which are the maximal radical of directly indecomposable Glivenko MTL-algebras satisfying the equation in the title. (...) We include examples to show how we can apply the results to describe free algebras in some well known varieties of involutive MTL-algebras and of pseudocomplemented MTL-algebras. (shrink)

This paper is devoted to the investigation of term-definable connexive implications in substructural logics with exchange and, on the semantical perspective, in sub-varieties of commutative residuated lattices (FL ${}_{\scriptsize\mbox{e}}$ -algebras). In particular, we inquire into sufficient and necessary conditions under which generalizations of the connexive implication-like operation defined in [6] for Heyting algebras still satisfy connexive theses. It will turn out that, in most cases, connexive principles are equivalent to the equational Glivenko property with respect to Boolean algebras. (...) Furthermore, we provide some philosophical upshots like, e.g., a discussion on the relevance of the above operation in relationship with G. Polya’s logic of plausible inference, and some characterization results on weak and strong connexivity. (shrink)

A residuated lattice is said to be integrally closed if it satisfies the quasiequations \ and \, or equivalently, the equations \ and \. Every integral, cancellative, or divisible residuated lattice is integrally closed, and, conversely, every bounded integrally closed residuated lattice is integral. It is proved that the mapping \\backslash {\mathrm {e}}\) on any integrally closed residuated lattice is a homomorphism onto a lattice-ordered group. A Glivenko-style property is then established for varieties of integrally closed residuated lattices (...) with respect to varieties of lattice-ordered groups, showing in particular that integrally closed residuated lattices form the largest variety of residuated lattices admitting this property with respect to lattice-ordered groups. The Glivenko property is used to obtain a sequent calculus admitting cut-elimination for the variety of integrally closed residuated lattices and to establish the decidability, indeed PSPACE-completenes, of its equational theory. Finally, these results are related to previous work on BCI-algebras, semi-integral residuated pomonoids, and Casari’s comparative logic. (shrink)

States have been introduced on commutative and non-commutative algebras of fuzzy logics as functions defined on these algebras with values in [0,1]. Starting from the observation that in the definition of Bosbach states there intervenes the standard MV-algebra structure of [0,1], in this paper we introduce Bosbach states defined on residuated lattices with values in residuated lattices. We are led to two types of generalized Bosbach states, with distinct behaviours. Properties of generalized states are useful for the development of an (...) algebraic theory of probabilistic models for non-commutative fuzzy logics. (shrink)

In this work, an intuitionistic propositional logic with a Galois connection is introduced. In addition to the intuitionistic logic axioms and inference rule of modus ponens, the logic contains only two rules of inference mimicking the performance of Galois connections. Both Kripke-style and algebraic semantics are presented for IntGC, and IntGC is proved to be complete with respect to both of these semantics. We show that IntGC has the finite model property and is decidable, but Glivenko's Theorem does (...) not hold. Duality between algebraic and Kripke semantics is presented, and a representation theorem for Heyting algebras with Galois connections is proved. In addition, an application to rough L-valued sets is presented. (shrink)

In this paper we continue the study of the variety \ of monadic Gödel algebras. These algebras are the equivalent algebraic semantics of the S5-modal expansion of Gödel logic, which is equivalent to the one-variable monadic fragment of first-order Gödel logic. We show three families of locally finite subvarieties of \ and give their equational bases. We also introduce a topological duality for monadic Gödel algebras and, as an application of this representation theorem, we characterize congruences and give characterizations of (...) the locally finite subvarieties mentioned above by means of their dual spaces. Finally, we study some further properties of the subvariety generated by monadic Gödel chains: we present a characteristic chain for this variety, we prove that a Glivenko-type theorem holds for these algebras and we characterize free algebras over n generators. (shrink)

G3-style sequent calculi are introduced for a family of logics with strong negation: Gurevich logic, Nelson logic, intuitionistic propositional logic, Avron logic, De-Omori logic, and classical propositional logic. Structural properties including cut elimination are established for these calculi. In addition, a Glivenko theorem for embedding classical propositional logic into Gurevich logic is shown.

Can the right to private property be claimed as one of the `rights of mankind'? This is the central question of this comprehensive and critical examination of the subject of private property. Jeremy Waldron contrasts two types of arguments about rights: those based on historical entitlement, and those based on the importance of property to freedom. He provides a detailed discussion of the theories of property found in Locke's Second Treatise and Hegel's Philosophy of Right to (...) illustrate this contrast. The book contains original analyses of the concept of ownership, the ideas of rights, and the relation between property and equality. The author's overriding determination throughout is to follow through the arguments and values used to justify private ownership. He finds that the traditional arguments about property yield some surprisingly radical conclusions. (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)

John Locke's theory of property is perhaps the most distinctive and the most influential aspect of his political theory. In this book James Tully uses an hermeneutical and analytical approach to offer a revolutionary revision of early modern theories of property, focusing particularly on that of Locke. Setting his analysis within the intellectual context of the seventeenth century, Professor Tully overturns the standard interpretations of Locke's theory, showing that it is not a justification of private property. Instead (...) he shows it to be a theory of individual use rights within a framework of inclusive claim rights. He links Locke's conception of rights not merely to his ethical theory, but to the central arguments of his epistemology, and illuminates the way in which Locke's theory is tied to his metaphysical views of God and man, his theory of revolution and his account of a legitimate polity. (shrink)

This paper explores the complex relationship between intellectual property (IP) and the transdisciplinary collaborative design (co-design) of new digital technologies for agriculture (AgTech). More specifically, it explores how prioritizing the capturing of IP as a central researcher responsibility can cause disruptions to research relationships and project outcomes. We argue that boundary-making processes associated with IP create a particular context through which responsibility can, and must, be located and cultivated by researchers working within transdisciplinary collaborations. We draw from interview data (...) and situated IP practices from a transdisciplinary co-design project in Aotearoa New Zealand to illustrate how IP is a fluid boundary-requiring-and-producing object that impels researchers into its management, and produces tensions that need to be noticed and skillfully navigated within research relations. We propose located response-ability as a conceptual tool and practice to reposition IP within the relations that make up a transdisciplinary co-design project, as opposed to prioritizing IP by default without recognizing its possible impacts on collaborative relations and other project aims and accountabilities. This can support researchers practicing responsible innovation in making everyday decisions on how to protect potential IP without disrupting the collaborative relations that make the creation of potential IP possible, and the existence of protected IP relevant and beneficial to project collaborators and wider societal actors. This may help to ensure that societal benefits can be generated, and positive science–society relationships prioritized and preserved, in the design of new AgTech. (shrink)

John Rawls says: “The main problem of distributive justice is the choice of a social system.” Property-owning democracy is the social system that Rawls thought best realized the requirements of his principles of justice. This article discusses Rawls’s conception of property-owning democracy and how it is related to his difference principle. I explain why Rawls thought that welfare-state capitalism could not fulfill his principles: it is mainly because of the connection he perceived between capitalism and utilitarianism.

I present and defend a novel version of the homeostatic property cluster account of natural kinds. The core of the proposal is a development of the notion of co-occurrence, central to the HPC account, along information-theoretic lines. The resulting theory retains all the appealing features of the original formulation, while increasing its explanatory power, and formal perspicuity. I showcase the theory by applying it to the problem of reconciling the thesis that biological species are natural kinds with the fact (...) that many such species are polymorphic. (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)

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)

During the last forty years, the Aboriginal peoples of the Americas, of the British Commonwealth, and of other countries colonized by Europeans over the last five hundred years have demanded that their forms of property and government be recognized in international law and in the constitutional law of their countries. This broad movement of 250 million Aboriginal people has involved court cases, parliamentary politics, constitutional amendments, the United Nations, the International Court of Justice, the development of an international law (...) of Aboriginal peoples, and countless nonviolent and violent actions in defense of Aboriginal systems of property and cultures. The Aboriginal peoples of New Zealand, Canada, and the United States have been at the forefront of the movement, and it is in these countries that the greatest legal recognition has been achieved. (shrink)

An argument against treating our bodies as commodities No one wants to be treated like an object, regarded as an item of property, or put up for sale. Yet many people frame personal autonomy in terms of self-ownership, representing themselves as property owners with the right to do as they wish with their bodies. Others do not use the language of property, but are similarly insistent on the rights of free individuals to decide for themselves whether to (...) engage in commercial transactions for sex, reproduction, or organ sales. Drawing on analyses of rape, surrogacy, and markets in human organs, Our Bodies, Whose Property? challenges notions of freedom based on ownership of our bodies and argues against the normalization of markets in bodily services and parts. Anne Phillips explores the risks associated with metaphors of property and the reasons why the commodification of the body remains problematic. What, she asks, is wrong with thinking of oneself as the owner of one's body? What is wrong with making our bodies available for rent or sale? What, if anything, is the difference between markets in sex, reproduction, or human body parts, and the other markets we commonly applaud? Phillips contends that body markets occupy the outer edges of a continuum that is, in some way, a feature of all labor markets. But she also emphasizes that we all have bodies, and considers the implications of this otherwise banal fact for equality. Bodies remind us of shared vulnerability, alerting us to the common experience of living as embodied beings in the same world. Examining the complex issue of body exceptionalism, Our Bodies, Whose Property? demonstrates that treating the body as property makes human equality harder to comprehend. (shrink)

Advocates of “Mendelism” early on stressed the usefulness of Mendelian principles for breeders. Ever since, that usefulness—and the favourable opinion of Mendelism it supposedly engendered among breeders—has featured in explanations of the rapid rise of Mendelian genetics. An important counter-tradition of commentary, however, has emphasized the ways in which early Mendelian theory in fact fell short of breeders’ needs. Attention to intellectual property, narrowly and broadly construed, makes possible an approach that takes both the tradition and the counter-tradition seriously, (...) by enabling a more complete description of the theory-reality shortfall and a better understanding of how changing practices, on and off the Mendelians’ experimental farms, functioned to render that shortfall unproblematic. In the case of plant breeding in Britain, a perennial source of lost profits and disputes over ownership was the appearance of individual plants departing from their varietal types—so-called “rogues.” Mendelian plant varieties acquired a reputation for being rogue-free, and so for demonstrating the correctness of Mendelian principles , at a time when Mendelians were gradually taking control of the means for distributing their varieties. Mendelian breeders protected their products physically from rogue-inducing contamination in such a way that when rogues did appear, the default explanation—that contamination had somehow occurred—ensured that there was no threat to Mendelian principles. (shrink)

According to the experience property framework qualia are properties of experiences the subject undergoing the experience is aware of. A phenomenological argument against this framework is developed and a few mistakes invited by the framework are described. An alternative to the framework, the framework of experiential properties is presented and defended as preferable. It is argued that the choice between these two frameworks makes a substantial difference for theoretical purposes.

W.V.O. Quine has famously objected that (1) properties are philosophically suspect because (2) there is no entity without identity and (3) the synonymy criterion for property identity won't do because there's no such concept as synonymy. (2) and (3) may or may not be right but do not prove (1). I reply that Leiniz's Law handles property identity, as it does for everything else, then respond to a variety of objections and confusions.

In this article I argue that, despite the views of such theorists as Locke, Hart and Raz, most of a person's property rights cannot be individualistically justified. Instead most property rights, if justified at all, must be justified on non-individualistic (e.g. consequentialist) grounds. This, I suggest, implies that most property rights cannot be morally fundamental ‘human rights’.

Liberal egalitarian political philosophers have often argued that private property is a legal convention dependent on the state and that complaints about taxation from entitlement theorists are therefore based on a conceptual mistake. But our capacity to grasp and use property concepts seems too embedded in human nature for this to be correct. This essay argues that many standard arguments that property is constitutively a legal convention fail, but that the opposition between conventionalists and natural rights theorists (...) is outmoded. In doing this, the essay draws on recent literature in evolutionary biology and psychology. Even though modern property in a complex society involves legal conventions, those conventions should be sensitive to our natural dispositions concerning ownership. (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)

This article challenges the long-standing boundary that separates human beings from non-human entities, whether animate or inanimate. In doing so, it engages with the jurisprudential strands that debate the transformative power of law in moving towards a fuller recognition of human relations with non-human entities. To this end, the article first examines the legal theoretical strategies that scholars have so far developed to overcome the dichotomous vision that pits humans against non-humans. It then argues for a new model of understanding (...) property, called cont(r)actualisation, which seeks to reconfigure existing strategies. It makes the case that the legal categories of person and object should be brought together under the overarching heading of ‘legal entity’. Rather than being built around humans as persons/subjects and non-human entities as objects/objects, law should be built around the contingent points of contact between particular entities in a particular web of relations. In this way, the article advances a view that does justice to how these entities contribute to what human beings are and do. (shrink)

The dominant approach to environmental policy endorsed by conservative and libertarian policy thinkers, so-called “free market environmentalism”, is grounded in the recognition and protection of property rights in environmental resources. Despite this normative commitment to property rights, most self-described FME advocates adopt a utilitarian, welfare-maximization approach to climate change policy, arguing that the costs of mitigation measures could outweigh the costs of climate change itself. Yet even if anthropogenic climate change is decidedly less than catastrophic, human-induced climate change (...) is likely to contribute to environmental changes that violate traditional conceptions of property rights. Viewed globally, the actions of some countries—primarily industrialized nations—are likely to increase environmental harms suffered by other countries—less developed nations that have not made any significant contribution to climate change. It may well be that aggregate human welfare would be maximized in a warmer, wealthier world, or that the gains from climate change will offset environmental losses. Yet such claims, even if demonstrated, would not address the normative concern that the consequences of anthropogenic global warming would infringe upon the rights of people in less-developed nations. As a consequence, this paper calls for a rethinking of FME approaches to climate change policy. (shrink)

Written by a contemporary of Marx and one of the most influential subversive critics of modern European society, this work (1840) has become a classic of political thought through its critique of private property as the essential institution of Western culture as well as the root of its problems.

The many-property problem has traditionally been taken to show that the adverbial theory of perception is untenable. This paper first shows that several widely accepted views concerning the nature of perception---including both representational and non-representational views---likewise face the many-property problem. It then presents a solution to the many-property problem for these views, but goes on to show how this solution can be adapted to provide a novel, fully compositional solution to the many-property problem for adverbialism. Thus, (...) with respect to the many-property problem, adverbialism and several widely accepted views in the philosophy of perception are on a par, and the problem is solved. (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)

Recent proposals in political philosophy concerning nonhuman animals as property-holders – by John Hadley and Steve Cooke – have focused on the interests that nonhuman animals have in access to and use of their territories. The possibility that such rights might be grounded on the basis of a Lockean (that is, labour-mixing) account of property has been rejected. In this paper, I explore four criticisms of Lockean property rights for nonhuman animals – concerning self-ownership, initiative, exertion and (...) the sufficiency of protection offered – concluding that Lockean property rights could be extended to nonhuman animals. I then suggest that Lockean property rights actually offer advantages over interest-based accounts: they more clearly ground property, they are potentially broader, and they are considerably stronger. (shrink)

In “Abortion and Ownership” John Martin Fischer argues that in Judith Jarvis Thomson’s violinist case you have a moral obligation not to unplug yourself from the violinist. Fischer comes to this conclusion by comparing the case with Joel Feinberg’s cabin case, in which he contends a stranger is justified in using your cabin to stay alive. I argue that the relevant difference between these cases is that while the stranger’s right to life trumps your right to property in the (...) cabin case, the violinist’s right to life does not trump your right to liberty in the violinist case. (shrink)