The logic TM is the result of adding the mingle axiom, M to Ticket Entailment logic, T. In the present study, it is proved that TM has the variable-sharing property . Ternary relational semantics for TM is provided. Finally, an interesting extension of TM with the vsp is briefly discussed.

Proponents of the subset account of property realization commonly make the assumption that the summing of properties entails the summing of their forward-looking causal features. This paper seeks to establish that this assumption is false. Moreover, it aims to demonstrate that without this assumption the fact that the subset account captures an entailment relation—which it must if it is to be of any use to non-reductive physicalism—becomes questionable.

Visual perception is widely taken to present properties such as redness, roundness, and so on. This in turn might be thought to give rise to accuracy conditions for experience, and so content, regardless of which metaphysical view of perception one endorses. An influential version of this argument—Susanna Siegel’s ’Argument from Appearing’—aims to establish the existence of content as common ground between representational and relational views of perception. This goes against proponents of ‘austere’ relationalism who deny that content plays a substantive (...) role in philosophical explanations of conscious perceptual experience. Though Siegel’s argument purports to be neutral with respect to the metaphysics of perception, it relies upon an equivocation between the presentation of property-types and property-instances. Consequently, the argument begs the question against the austere relational view, and so fails to establish the desired conclusion. So while relationalists can and should allow that experiences have accuracy conditions, it does not follow from this that they have contents of any philosophically interesting or significant kind. (shrink)

Brian McLaughlin has objected to Sydney Shoemaker’s subset account of realization, posing what I call the problem of property entailment. Recently, Shoemaker has revised his subset account in response to McLaughlin’s objection. In this paper I argue that Shoemaker’s revised view fails to solve the problem of property entailment, and in fact makes the problem worse. I then put forward my own solution to the problem.

The appropriateness of S5 as a logic of knowledge has been attacked at some length in the philosophical literature. Here one particular attack based on the interplay between knowledge and belief is considered: Suppose that knowledge satisfies S5, belief satisfies KD45, and both the entailment property (knowledge implies belief) and positive certainty (if the agent believes something, she believes she knows it) hold. Then it can be shown that belief reduces to knowledge: it is impossible to have false (...) beliefs. While the entailment property has typically been viewed as perhaps the least controversial of these assumptions, an argument is presented that it can plausibly be viewed as the culprit. More precisely, it is shown that this attack fails if we weaken the entailment property so that it applies only to objective (nonmodal) formulas, rather than to arbitrary formulas. Since the standard arguments in favor of the entailment property are typically given only for objective formulas, this observation suggests that care must be taken in applying intuitions that seem reasonable in the case of objective formulas to arbitrary formulas. (shrink)

The article presents the metaethical discussion of moral properties with emphasis on the connection between metaphysical views on properties and theories on moral properties. Theories on moral properties vary along three dimensions: realism vs. anti-realism, naturalism vs. non-naturalism, and reductionism vs. non-reductionism. It is argued that realism should be understood in terms of Specific Mind-Independence which entails that moral properties are not arbitrarily dependent on the mental states of individuals agents. It is further noticed that theories on moral properties should (...) account for the practicality of morality. The article then considers different versions of naturalism and non-naturalism in reductionist and non-reductionist forms. It is discussed how these theories account for the practicality of morality and what metaphysical challenges they face. Moreover, it is suggested that Specific Mind-Independence offers plausible classifications of metaethical theories as ‘realist’ or ‘anti-realist’. (shrink)

Biological evolution is a complex blend of ever changing structural stability, variability and emergence of new phe- notypes, niches, ecosystems. We wish to argue that the evo- lution of life marks the end of a physics world view of law entailed dynamics. Our considerations depend upon dis- cussing the variability of the very ”contexts of life”: the in- teractions between organisms, biological niches and ecosys- tems. These are ever changing, intrinsically indeterminate and even unprestatable: we do not know ahead of (...) time the ”niches” which constitute the boundary conditions on selec- tion. More generally, by the mathematical unprestatability of the ”phase space”, no laws of mo- tion can be formulated for evolution. We call this radical emergence, from life to life. The purpose of this paper is the integration of variation and diversity in a sound concep- tual frame and situate unpredictability at a novel theoretical level, that of the very phase space. Our argument will be carried on in close comparisons with physics and the mathematical constructions of phase spaces in that discipline. The role of symmetries as invariant preserving transformations will allow us to under- stand the nature of physical phase spaces and to stress the differences required for a sound biological theoretizing. In this frame, we discuss the novel notion of ”enablement”. Life lives in a web of enablement and radical emergence. This will restrict causal analyses to differential cases. Mutations or other causal differ- ences will allow us to stress that ”non conservation princi- ples” are at the core of evolution, in contrast to physical dynamics, largely based on conservation principles as sym- metries. Critical transitions, the main locus of symmetry changes in physics, will be discussed, and lead to ”extended criticality” as a conceptual frame for a better understanding of the living state of matter. (shrink)

Is there a principled difference between entailments in natural language that are valid solely in virtue of their form or structure and those that are not? This paper advances an affirmative answer to this question, one that takes as its starting point Gareth Evans’s suggestion that semantic theory aims to carve reality at the joints by uncovering the semantic natural kinds of the language. I sketch an Evans-inspired account of semantic kinds and show how it supports a principled account of (...) structural entailment. I illustrate the account by application to a case study involving the entailment properties of adverbs; this involves developing a novel proposal about the semantics for adverbs like ‘quickly’ and ‘slowly’. In the course of the discussion I explore some implications of the account for the place of model-theoretic tools in natural language semantics. (shrink)

Ross Cameron proposes to reconcile presentism and truth-maker theory by invoking temporal distributional properties, instantiated by present entities, as the truth-makers for truths about the past. This chapter argues that Cameron's proposal fails because objects can change which temporal distributional properties they instantiate and this entails that the truth-values of truths about the past can change in an objectionable way.

The necessitarian solution to the problem of induction involves two claims: first, that necessary connections are justified by an inference to the best explanation; second, that the best theory of necessary connections entails the timeless uniformity of nature. In this paper, I defend the second claim. My arguments are based on considerations from the metaphysics of laws, properties, and fundamentality.

Priest argued in Fusion and Confusion (Priest in Topoi 34(1):55–61, 2015a) for a new concept of logical consequence over the relevant logic B, one where premises my be “confused” together. This paper develops Priest’s idea. Whereas Priest uses a substructural proof calculus, this paper provides a Hilbert proof calculus for it. Using this it is shown that Priest’s consequence relation is weaker than the standard Hilbert consequence relation for B, but strictly stronger than Anderson and Belnap’s original relevant notion of (...) consequence. Unlike the latter, however, Priest’s consequence relation does not satisfy a variant of the variable sharing property. This paper shows that how it can be modified so as to do so. Priest’s consequence relation turns out to be surprisingly weak in some respects. The prospects of strengthening it is raised and discussed in a broader philosophical context. (shrink)

I argue that an affirmative answer to the question whether entailments could figure as contents of CI is warranted. In particular, the two features of CI that could rule out entailments from the class of contents that could be conversationally implicated are cancellability and non-conventionality. Entailments are non-cancellable, but this is a reason to conclude that they cannot be CIs only if cancellability is a universal property of CIs; alternatively, one might accept CIs that are entailed by what is (...) said and, on this basis, reject the claim that all CIs are cancellable. I see no compelling reason to go one way or another. So, this criterion does not lead to a principled answer to our question. Turning to non-conventionality, this is a defining feature of CIs, according to Grice. I explore the reasons given in the literature for taking non-conventionality to be a defining feature of CI, and argued that none of them are compelling: lexicalization of dead metaphors does not lead to overgeneration of CIs, and calculability is sufficient to distinguish conventional from conversational implicatures. I propose a definition of CI in terms of calculability alone, which does not rule out entailments. So, the answer to our initial question is, eventually, a tentative ‘yes’. A notable consequence of this definition is that the argument against the cancellability test based on cases of CIs the content of which is entailed by what is said seems a good one after all. This means that CIs are not necessarily cancellable. However, that does not mean that the test is a bad one, inasmuch as non-entailed CIs are still expected to be cancellable. (shrink)

Brettschneider argues that the granting of property rights to all entails a right of exclusion by acquirer/owners against all others, that this exclusionary right entails a loss on their part, and that to make up for this, property owners owe any nonowners welfare rights. Against this, I argue that exclusion is not in fact a cost. Everyone is to have liberty rights, which are negative: what people are excluded from is the liberty to attack and despoil others. Everyone, (...) whether an owner of external property or not, benefits from this and thus rationally exchanges that liberty in exchange for a like abandonment of it by others. The proper social contract trade is thus liberty for liberty—not liberty for owners and positive welfare rights for nonowners (though the latter in fact benefit greatly from the property rights of owners). (shrink)

The traditional ‘no property’ approach of the law to human biomaterials has long been punctured by exceptions. Developments in the jurisprudence of property in human tissue in English law and beyond demonstrate that a variety of tissues are capable of being subject to proprietary considerations. Further, among commentators, there are few who would deny, given biotechnological advances, that such materials can be considered thus. Yet, where commentators do admit human biomaterials into the realm of property, it is (...) often done with an emphasis on some sort of separation from the person who is the source of those materials. One line of argument suggests that there is a difference between persons and things, which constitutes a morally justifiable distinction when it comes to property. This article examines whether the idea of separability can do the work of demarcating those objects that ought to be considered property from those that ought not to be. It argues that, despite the entailment of a separability criterion inherent in both the statutory and common law positions, and the support given to this by some commentators, it is philosophically problematic as the basis for delineating property in human tissue and other biomaterials. (shrink)

According to recent arguments for panpsychism, all physical properties are dispositional, dispositions require categorical grounds, and the only categorical properties we know are phenomenal properties. Therefore, phenomenal properties can be posited as the categorical grounds of all physical properties—in order to solve the mind–body problem and/or in order avoid noumenalism about the grounds of the physical world. One challenge to this case comes from dispositionalism, which agrees that all physical properties are dispositional, but denies that dispositions require categorical grounds. In (...) this paper, I propose that this challenge can be met by the claim that the only dispositional properties we know are phenomenal properties, in particular, phenomenal properties associated with agency, intention and/or motivation. Versions of this claim have been common in the history of philosophy, and have also been supported by a number of contemporary dispositionalists. I will defend a new and updated version of it. Combined with other premises from the original case for panpsychism—which are not affected by the challenge from dispositionalism—it forms an argument that dispositionalism entails panpsychism. (shrink)

The moral justification of intellectual property is often called into question when placed in the context of pharmaceutical patents and global health concerns. The theoretical accounts of both John Rawls and Robert Nozick provide an excellent ethical framework from which such questions can be clarified. While Nozick upholds an individuals right to intellectual property, based upon its conformation with Lockean notions of property and Nozicks ideas of just acquisition and transfer, Rawls emphasizes the importance of basic liberties, (...) such as an individuals right to health, superceding such secondary rights as intellectual property rights. From a policy perspective, patent protection for pharmaceutical products necessarily entails the balancing of corporate intellectual property interests and public interests in healthcare. The moral dilemma that occurs when these two interests clash is not easily resolved. Aside from corporate and public interests, the state maintains an interest in creating and preserving policies that regulate the moral dilemma itself. This paper analyzes the economic and ethical factors surrounding the production and distribution of the anti-HIV medication, AZT. Potential policy implications and recommendations are also discussed. (shrink)

One strategy for blocking Chalmers's overall case against physicalism has been to deny his claim that showing that phenomenal properties are in some sense physical requires an a priori entailment of the phenomenal truths from the physical ones. Here I avoid this well-trodden ground and argue instead that an a priori entailment of the phenomenal truths from the physical ones does not require an analysis in the Jackson/Chalmers sense. This is to sever the dualist's link between conceptual analysis (...) and a priori entailment by showing that the lack of the former does not imply the absence of the latter. Moreover, given the role of the argument from conceptual analysis in Chalmers's overall case for dualism, undermining that argument effectively undermines that case as a whole in a way that, I'll argue, undermining the conceivability arguments as stand-alone arguments does not. (shrink)

This paper presents a neighborhood semantics for logics of entailment. It begins with a minimal system Min that expresses the most fundamental assumptions about the entailment relation, and continues by examining various extensions that reflect further assumptions that might be made about entailment. This leads first to the logic B that is the basic relevant logic, and then to more powerful systems. All of these logics are proved to be sound and strongly complete. With B the neighborhood (...) semantics meets the Routley-Meyer relational semantics for relevant logic; these connections are examined. The minimal and basic entailment logics are shown to have the finite model property, and hence to be decidable. (shrink)

The redefinition of rights of equality and liberty by radical and deliberative democrats during the last decades of the 20th century resulted in the denial that a consideration of property is integral to political philosophy. Theorizing property as intrinsically political demands a return to Marx but on terms he may not have recognized. I outline a politics of property in this paper contending that there can be no universal justification for any regime of property. Property (...) is by definition the institution of a wrong. The articulation of something as property establishes a border, determining what can be owned, how far ownership extends, where it is limited, as well as terms of use and terms of abuse. It establishes a set of property relations, and defines a vocabulary of the proper. Here sovereign state power is enlisted to enforce relations of property beneficial to some, but not all. A challenge to any political regime must of necessity put in to question both the forms of proper behaviour, and the regime of property. These are intrinsically related to each other. I conclude by arguing that democracy is always improper. Property, in all of its forms entails enclosure. Enclosure requires the drawing and the maintenance of boundaries of exclusion and inclusion. The sovereign determination of the proper, as well as of the exception to the proper defines trespass. Trespass is a form of democratic enactment when, and if, it destabilises enclosure. (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 (...) class='Hi'>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)

In The Birthright Lottery, Ayelet Shachar subjects the institution of birthright citizenship to close scrutiny by applying to citizenship the historical and philosophical critique of hereditary ownership built up over four centuries of liberal and democratic theory, and proposing compelling alternatives drawn from the theory of private law to the usual modes of conveyance of membership. Nonetheless, there are some difficulties with this critique. First, the analogy between entailed property and birthright citizenship is not as illustrative as Shachar intends (...) it to be; second, the mechanism of the birthright privilege levy is insufficient for addressing structural impediments to growth; and third, the principle of ius nexi, while an important corrective to currently dominant principles of nationality, will likely have effects both unnecessary and insufficient to correct the injustices that Shachar identifies. In the end, the most significant improvements in the lives of the neediest persons on the planet are more likely advanced through conventional arguments for the lowering of barriers to the circulation of goods, labor, and capital. This shift in attention from opening borders to extending citizenship risks being a distraction from more effective means of addressing the injustices associated with global inequality.Dans son livre The Birthright Lottery, Ayelet Shachar soumet l’institution de la citoyenneté par droit de naissance à un examen rigoureux, en appliquant à la citoyenneté la critique philosophique et historique de la propriété héritée construite pendant quatre siècles de théorie démocratique libérale, et en proposant aux modes habituels d’attribution de la citoyenneté une alternative séduisante tirée de la théorie du droit privé. Néanmoins, cette critique comporte certaines difficultés. Premièrement, l’analogie entre la transmission de la propriété par l’institution de la taille et la citoyenneté par droit de naissance n’est pas aussi éclairante que le soutient Shachar ; deuxièmement, le mécanisme de la taxe sur le privilège du droit de naissance est insuffisant pour s’attaquer aux obstacles structurels à la croissance ; et troisièmement, le principe du jus nexi, bien qu’on puisse le considérer comme un important correctif du principe de nationalité actuellement dominant, aura vraisemblablement des effets à la fois non nécessaires et insuffisants pour corriger les injustices que Shachar identifie. En fin de compte, les améliorations les plus significatives dans la vie des personnes les plus démunies de la planète sont vraisemblablement mieux défendues à l’aide des arguments conventionnels en faveur d’une baisse des barrières à la circulation des biens, du travail et du capital. Ce déplacement de l’attention de l’ouverture des frontières à l’extension de la citoyenneté risque de nous distraire des moyens plus efficaces de nous attaquer aux injustices associées à l’inégalité globale. (shrink)

My paper reconstructs Fichte's property theory and political economy in Foundations of Natural Right and The Closed Commercial State. Fichte's theory of property requires the rejection of the classical liberal theory of property rights. Fichte's alternative theory of property, in conjunction with his republican account of the state's role in guaranteeing individual rights, further requires the rejection of a market economy in favor of a planned economy. For Fichte's view entails the normative necessity of a political (...) economy in which the production and transfer of goods and services, across large sectors of the economy, are mandated by the state in advance in accordance with an economic plan. As a result, Fichte reconceives his contractualism as necessarily including the negotiation of a state‐enforced plan for eco- nomic activity. Thus, Fichte's new theory of property in Foundations of Natural Right has extremely wide‐ranging implications for the rest of his political and economic thought. The negotiation of fair terms of political associa- tion characteristic of classical contractualist thought becomes in Fichte's hands the negotiation of an economic plan that defines each individual's socioeconomic rights. I conclude with some brief remarks on the sense in which Fichte's theory serves as a cautionary tale for later socialists. (shrink)

Trenton Merricks argues that on any reasonable account, warrant must entailtruth. I demonstrate three theses about the properties ofwarrant: (1) Warrant is not unique;there are many properties that satisfy the definition of warrant. (2) Warrant need not entail truth; there are some warrant properties that entailtruthand others that do not. (3) Warrant need not be closed under entailment, even if knowledge is. If knowledge satisfies closure, then some warrant properties satisfy closure while others do not;if knowledge violates closure, then (...) allwarrant properties violate closure. (shrink)

Stephen Mumford, in his book on dispositions, argues that we can distinguish between dispositional and categorical properties in terms of entailing his 'conditional conditionals', which involve the concept of ideal conditions. I aim at defending Mumford's criterion for distinguishing between dispositional and categorical properties. To be specific, no categorical ascriptions entail Mumford's 'conditional conditionals'.

We consider a family of logical systems for representing entailment relations of various kinds. This family has its root in the logic of first-degree entailment formulated as a binary consequence system, i.e. a proof system dealing with the expressions of the form \, where both \ and \ are single formulas. We generalize this approach by constructing consequence systems that allow manipulating with sets of formulas, either to the right or left of the turnstile. In this way, it (...) is possible to capture proof-theoretically not only the entailment relation of the standard four-valued Belnap’s logic, but also its dual version, as well as some of their interesting extensions. The proof systems we propose are, in a sense, of a hybrid Hilbert–Gentzen nature. We examine some important properties of these systems and establish their completeness with respect to the corresponding entailment relations. (shrink)

Much has been said about intuitionistic and classical logical systems since Gentzen’s seminal work. Recently, Prawitz and others have been discussing how to put together Gentzen’s systems for classical and intuitionistic logic in a single unified system. We call Prawitz’ proposal the Ecumenical System, following the terminology introduced by Pereira and Rodriguez. In this work we present an Ecumenical sequent calculus, as opposed to the original natural deduction version, and state some proof theoretical properties of the system. We reason that (...) sequent calculi are more amenable to extensive investigation using the tools of proof theory, such as cut-elimination and rule invertibility, hence allowing a full analysis of the notion of Ecumenical entailment. We then present some extensions of the Ecumenical sequent system and show that interesting systems arise when restricting such calculi to specific fragments. This approach of a unified system enabling both classical and intuitionistic features sheds some light not only on the logics themselves, but also on their semantical interpretations as well as on the proof theoretical properties that can arise from combining logical systems. (shrink)

Structural properties are properties something has in virtue of its mereological structure in that they are properties whose instantiation by a particular involves the parts of the particular being propertied and related in the appropriate way. Most of the literature on structural properties has focused on problems that arise from the pairing of two assumptions: (1) structural properties are universals and (2) structural properties are, in some sense, composed of the properties they involve. Chief among these difficulties is David Lewis’ (...) claim that the conjunction of (1) and (2) require non-unique composition and hence entail the denial of the extensionality of parthood: butane, as well as methane, is composed of the universals carbon, hydrogen and bonded, yet they are distinct properties. This is the extensionality problem. In this paper I discuss a different problem for the conjunction of (1) and (2) and propose a single solution to both problems. First, in section two, I introduce the idea of multiple decomposition and suggest that at least some structural properties are multiply decomposable. In section three, I introduce the “problem of multiple decompositions.” This problem arises when it seems possible for a structural property to be composed of some xs and some ys even when the xs ≠ ys. Finally, in section four I show how both problems admit of a single solution by focusing on the parthood relation that holds between structural properties and their constituents. While the solution I propose is theoretically costly, I argue that this cost should be paid to retain both (1) and (2). (shrink)

Jerrold Levinson maintains that he is a realist about aesthetic properties. This paper considers his positive arguments for such a view. An argument from Roger Scruton, that aesthetic realism would entail the absurd claim that many aesthetic predicates were ambiguous, is also considered and it is argued that Levinson is in no worse position with respect to this argument than anyone else. However, Levinson cannot account for the phenomenon of aesthetic autonomy: namely, that we cannot be put in a position (...) to make an aesthetic judgement by testimony alone. Finally, Levinson's views on the ontology of aesthetic properties are considered and found wanting. /// [Jerrold Levinson] Being an aesthetic realist is hard work. Derek Matravers has raised a number of concerns for the brand of aesthetic realism that I have defended in the past, and that I continue to defend, albeit with modification. Much turns on the nature of aesthetic properties, and on the reasons for acknowledging their existence. I here try to provide further illumination on both scores, suggesting in particular that many aesthetic properties can be viewed as manifest higher-order ways of appearing. Toward the end of my discussion the question of whether or not aesthetic properties are response-dependent is addressed, and I offer the tentative conclusion that some are, and some are not. (shrink)

Some philosophers think that normative properties are identical to descriptive properties. In this paper, I argue that this entails that it is possible to say which descriptive properties normative properties are identical to. I argue that Frank Jackson's argument to show that this is possible fails, and that the objections to this argument show that it is impossible to say which descriptive properties normative properties are identical to. I conclude that normative properties are not identical to descriptive properties. I then (...) show that if we combine this conclusion with the conclusion of a different argument that Jackson has given to show that there are no irreducibly normative properties, it follows that there are no normative properties at all. (shrink)

Let ‘warrant’ denote whatever precisely it is that makes the difference between knowledge and mere true belief. A current debate in epistemology asks whether warrant entails truth, i.e., whether (Infallibilism) S’s belief that p is warranted only if p is true. The arguments for infallibilism have come under considerable and, as of yet, unanswered objections. In this paper, I will defend infallibilism. In Part I, I advance a new argument for infallibilism; the basic outline is as follows. Suppose fallibilism is (...) true. An implication of fallibilism is that the property that makes the difference between knowledge and mere belief (which I dub ‘warrant*’) is the conjunctive property being warranted and true . I show that this implication of fallibilism conflicts with an uncontroversial thesis we have learned from reflection on Gettier cases: that nonaccidental truth is a constituent of warrant*. It follows that infallibilism is true. In the second part of the paper, I present and criticize a new argument against infallibilism. The argument states that there are plausible cases where, intuitively, the only thing that is keeping a belief from counting as knowledge is the falsity of that belief. Furthermore, it is plausible that such a belief is warranted and false. So, the argument goes, infallibilism is false. I show that this argument fails. (shrink)

[Derek Matravers] Jerrold Levinson maintains that he is a realist about aesthetic properties. This paper considers his positive arguments for such a view. An argument from Roger Scruton, that aesthetic realism would entail the absurd claim that many aesthetic predicates were ambiguous, is also considered and it is argued that Levinson is in no worse position with respect to this argument than anyone else. However, Levinson cannot account for the phenomenon of aesthetic autonomy: namely, that we cannot be put in (...) a position to make an aesthetic judgement by testimony alone. Finally, Levinson's views on the ontology of aesthetic properties are considered and found wanting. /// [Jerrold Levinson] Being an aesthetic realist is hard work. Derek Matravers has raised a number of concerns for the brand of aesthetic realism that I have defended in the past, and that I continue to defend, albeit with modification. Much turns on the nature of aesthetic properties, and on the reasons for acknowledging their existence. I here try to provide further illumination on both scores, suggesting in particular that many aesthetic properties can be viewed as manifest higher-order ways of appearing. Toward the end of my discussion the question of whether or not aesthetic properties are response-dependent is addressed, and I offer the tentative conclusion that some are, and some are not. (shrink)

Whether responsibility for actions and omissions requires the ability to do otherwise is an important issue in contemporary philosophy. However, a closely related but distinct issue, namely whether doxastic responsibility requires the ability to believe otherwise, has been largely neglected. This paper fills this remarkable lacuna by providing a defence of the thesis that doxastic responsibility entails the ability to believe otherwise. On the one hand, it is argued that the fact that unavoidability is normally an excuse counts in favour (...) of this thesis. On the other hand, three objections against this thesis are discussed and criticized. First, one might think that what suffices for doxastic responsibility is control over or influence on certain desirable or undesirable properties of beliefs. It is argued that this objection misrepresents the issue under consideration. Second, it may be objected that the thesis is contradicted by our intuitions in doxastic analogues of Frankfurt-style scenarios. It is argued that distinguishing between belief-universals and belief-particulars helps to see why this argument fails. Third and finally, one might draw an analogy with the asymmetry thesis in ethics by arguing that even if blameworthy belief requires the ability to believe otherwise, praiseworthy belief does not. It is argued that the main arguments in favour of this presumed asymmetry are wanting, partly because they fail to distinguish between two different kinds of praiseworthiness. Finally, the author sketches three implications of the thesis that doxastic responsibility entails the ability to believe otherwise: counterfactual construals of responsible belief might be tenable, the deontological conception of epistemic justification needs revision on an important point, and there might be an important asymmetry between beliefs on the one hand and actions and many non-doxastic consequences on the other. (shrink)

I call anti-resemblism the thesis that independently of any contextual specification there is no determinate fact of the matter about the comparative overall similarity of things. Anti-resemblism plays crucial roles in the philosophy of David Lewis. For instance, Lewis has argued that his counterpart theory is anti-essentialist on the grounds that counterpart relations are relations of comparative overall similarity and that anti-resemblism is true. After Lewis committed himself to a form of realism about natural properties he maintained that anti-resemblism is (...) true about the relations of overall similarity that enter his counterpart theory and his analysis of counterfactuals. However, in this article I argue that Lewis’s account of degrees of naturalness for properties combined with his modal realism entails that anti-resemblism is false. The Lewisian must amend Lewis’s system if she aims to benefit from the alleged virtues of anti-resemblism. I consider two ways of amending it, neither of which is a free lunch. (shrink)

Quine's arguments against the attribution of essential properties de re to individuals have been the motivation for attempts at reinstating essentialism as a respectable metaphysical thesis and at defending the coherence of modal logic in general.I shall argue here along somewhat different lines, that the particular version of essentialism Quine objects to is in fact untenable but that this conclusion is far from entailing a commitment to some version of conventionalism, and in particular that it does not entail the view (...) that the only kind of necessity that is coherent is de dicto necessity.In what follows, I shall assume, without arguing for it, that de re essentialism and subjunctive conditionals are intimately related, and in particular, that any version of de re essentialism which conflicts with our basic intuitions about subjunctive conditionals is untenable. (shrink)

During the last two centuries, property understood as an exclusive and unlimited dominion became common sense. Before, the idea of property as a fiduciary relationship, which is still present in contemporary social constitutionalism, was closely linked to the view that the exercise of freedom entails the capacity to shape those property rights that channel socioeconomic life. Today, new ways to operationalise such an approach must be found. This article explores the scope of ‘direct strategies’ and ‘indirect strategies’ (...) in the recovery of the idea and the practice of collective fiduciary control over the economic realm. (shrink)

Since Kit Fine presented his counter-examples to the standard versions of the modal view, many have been convinced that the standard versions of the modal view are not adequate. However, the scope of Fine's argument has not been fully appreciated. In this paper, I aim to carry Fine’s argument to its logical conclusion and argue that once we embrace the intuition underlying his counter-examples, we have to hold that properties obtained, totally or partially, by application of logical operations are not (...) essential to non-logical entities. I also demonstrate that most of the post-Finean versions of the modal view, which were developed to accommodate Fine’s counter-examples, entail that such properties are essential to the entities, and so fail to capture the notion of essence at issue in Fine's counter-examples. Additionally, I explore the consequence of my argument for Fine’s proposed logic of essence. The logic turns out to be inadequate in its present shape as it represents such properties to be essential to the entities. I conclude by developing a modification to the logic to overcome the shortcoming. (shrink)

Perhaps the actual world does not contain moral properties. But might moral properties be impossible because no world, possible or actual, contains them? Two metaethical theories can be argued to entail just that conclusion; viz., emotivism and error theory. This paper works towards the strongest formulation of the emotivist argument for the impossibility of moral properties, but ultimately rejects it. It then uses the reason why the emotivist argument fails to argue that error-theoretic arguments for the impossibility of moral properties (...) face the same conclusion. Finally the paper argues that these arguments for the possibility of moral properties might have consequences for our thinking about their actuality, regardless of whether we accept emotivism or error theory. (shrink)

This article considers the interplay between intellectual property rights and classic property rights raised by Hoffman v. Monsanto (2005) and advances the idea that intellectual property law can serve as an autonomous source of liability for intellectual property owners. The article develops the conceptual advantages of demarcating physical and intellectual properties and allocating rights and responsibilities based on the respective property sphere. It introduces a theoretical Hohfeldian framework, in which the grant of a positive limited-term (...) monopoly right entails a corresponding duty, to establish intellectual property law as a source of internal limits on intellectual property rights. The article is a prolegomena to a detailed matrix of those rights and duties within intellectual property law. This matrix could support patentee duties that go beyond public disclosure of the invention and could establish patent law as an alternative legal framework to tort law to address harms caused by inventions. (shrink)

Donald Davidson claims that, by studying the most general aspects of natural language, we will also be studying the most general aspects of reality.In particular, this means that, through the application of a systematic truththeory to natural language, we will be able to reveal its basic structure, its true logical form. Once this logical form has been spelled out, we will be able to determine the finite stock of important constituents of which sentences are built, and also the specific roles (...) these “atoms” play in the relevant structure. Since the structure of language can be said to “mirror” the structure of reality, this also means that we can now say something about the basic constituents of the world. We will be able to tell which kinds of entities exist and which do not. If, by spelling out the logical form, we find that there is a sentence (or several sentences) committing us to the existence of a certain (kind of) object (i.e. a sentence where an object (of this kind)serves as the value of a quantified variable) and, if we know the sentence to be true, then we have good reason to suppose that there is an object (of that kind) rather than not. This will hold given that there is no other way of spelling out the logical form of the sentence in question that is compatible with the nonexistence of that (kind of) object. So what exists is what, according to the (complete) theory, functions as values of the quantified variables, once thelogical form, the basic structure, of all the sentences of the language has been spelled out. Davidson has claimed that what all this quantificational structure will demand from ontology is the existence of objects and particular events. This should be taken somewhat at faith. In order to reach valid conclusions concerning the logical form of natural language, Davidson would have to examine allof its true sentences, and state allof their truth conditions, which he has not done. For practical reasons he has only been able to look at small segments of language, to consider how they normally function, to attempt to exhibit their logical structure by looking at entailment-relations, etc., and it is from this that he has drawn his ontological conclusions. In this paper, I concentrate on some of the likely consequences of the adoption of this method of reaching ontological conclusions. In particular, I will try to show that Davidson’s own way of arguing for the existence of events can be applied to cases where he seemingly would have to commit himself to the existence of properties too. To demonstrate this, I begin by considering whether the fact that Davidson spells out the logical form of natural language in first-order logic raises a serious objection to my claim or not. I then proceed by making a case for properties using an argument based on what Davidson has to say about the existence of events. What I will try to show is that, if Davidson is to be true to his general method of reaching conclusions regarding existence, which he claims to be, then he must go where this method leads him. This means that he has to keep his mind open as to the kinds of entities he should or should not allow. Finally, assuming that I have shown properties to be one of the different kinds of entities that a Davidsonian would have to allow, I conclude the paper by indicating what the consequence(s) of this may be. (shrink)

Jerrold Levinson maintains that he is a realist about aesthetic properties. This paper considers his positive arguments for such a view. An argument from Roger Scruton, that aesthetic realism would entail the absurd claim that many aesthetic predicates were ambiguous, is also considered and it is argued that Levinson is in no worse position with respect to this argument than anyone else. However, Levinson cannot account for the phenomenon of aesthetic autonomy: namely, that we cannot be put in a position (...) to make an aesthetic judgement by testimony alone. Finally, Levinson's views on the ontology of aesthetic properties are considered and found wanting. (shrink)

Nominalists are confronted with a grave difficulty: if abstract objects do not exist, what explains the success of theories that invoke them? In this paper, I make headway on this problem. I develop a formal language in which certain platonistic claims about properties and certain nominalistic claims can be expressed, develop a formal language in which only certain nominalistic claims can be expressed, describe a function mapping sentences of the first language to sentences of the second language, and prove some (...) facts about that function and facts about some sound logics for those languages. In doing so, I prove that, given some plausible metaphysical assumptions, a large class of sentences about properties of concrete objects are “safe” on nominalistic grounds. Whenever some true sentences about concrete objects and some sentences belonging to this class that are true according to platonists collectively entail a conclusion about concrete objects, some nominalistically acceptable sentences are true and entail the same conclusion. Because the proof can itself be formulated without abstract objects, it provides a nominalistic explanation of the success of theories that invoke properties of concrete objects. (shrink)

The case of highland Yemen up to around the middle of the twentieth century involves a history different from most Muslim societies in that, from 1919, the Yemeni state was independent. The problem I address concerns the utility of thinking about the highland property regime in this era in relation to the categories of "private" and "public." What sort of antecedents existed, at the level of property relations, for later commercial transformations that would culminate in such things as (...) Pizza Hut franchises? In Yemen, the polity of the period was a type of Islamic state, one based on the shari`a in ideology and in application and headed by a classical form of jurist-leader, a figure known as an imam. Prior to the twentieth century, this Yemeni form of a shari`a-based Islamic polity had a thousand year history in the highlands. Shari`a courts had exclusive competence as state tribunals, and judges, trained on old-style law books, heard the full gamut of litigation. By contrast, colonial changes in other Muslim societies typically entailed a sharp alteration and restriction of the sphere of the shari`a, often limiting application to the domain of "family law" alone. At the same time, the highlands had yet to commence the other great and, elsewhere, ongoing modern transformation of the shari`a, codification and legislation, which would not begin in Yemen until after the Revolution of 1962.Highland society at mid-century was agrarian, based primarily on settled plow cultivation, and the associated property regime was almost exclusively "private." In Yemen, the "private" property regime centered conceptually on milk, a category of individual ownership of immoveable property, and on the concept of mal, a commercial commodity. As a form of private, landed property, milk involved rights that could be acquired, alienated and inherited, and the associated agricultural production was based on lease contracts between landlords and sharecroppers. Pious endowments were the basis for one of the great Muslim "public" institutions, which supported mosques, schools, water systems, etc. Another fundamental "public" institution was an extension of the "private" commercial notion of mal into the state institution of the 'House of Mal,' or Treasury. Other key "public" institutions were the imamate itself, a form of Islamic state, and the shari`a court. This shari`a system can be thought of in terms of three levels of legal texts. At the highest level, shari`a doctrine, the jurisprudence of the period, constituted an ideology of the property regime. The doctrine provided models for both the range of substantive undertakings and for court processes, but the relationship of these models to the property relations and to litigation on the ground is a key question. At the lowest level, the routine documents of ongoing, uncontested practice proliferated. These included ordinary sale documents, leases, marriage contracts, endowment instruments, wills and estate inheritance instruments. Between high doctrine and low instruments were the records of shari`a court judgments, records in which the conflicts and contradictions of the property system were expressed, argued and ruled upon. In certain problem areas of the law, the ruling imams's personal doctrinal "choices" were designed to guide court judges in their rulings. (shrink)

After a short historical survey of philosophical views on property, the article contains an analysis of the argument which justifies property by referring to the universal respect due to anyone’s right to use any thing for any purpose. Usage of things for the realization of set ends (or goals) is among the conditions of action/ agency. The capacity of freedom as a specific causal power in real world is dependent on the possibility of using things as means. However, (...) without a real prospect to finish the process of realization of set goals, this causal power would not be real. Property is a scheme within which this prospect becomes a real possibility. Property is thus a condition of effective successful purposeful agency. In property the normative position of all others, besides the owner, has been changed, as they do not have the right to use things possessed for their ends, although they have a right to use any non-possessed thing as a means for whichever end they might set. As a right, property entails, first, the obligation to respect the fact of any established possession, and, second, an obligation to accept and recognize the established possession as ownership, which does not depend on the fact of factual physical control of the property. Ownership is therefore a guarantee of future possession. For this to be established there is a need for an explicit recognition from all others; however this recognition is normatively necessary for everybody, as no-one has a right to withdraw the recognition of a legitimate right to property. This comes from the ontological and axiological difference between persons and things: persons have a right to use and possess unpossessed things as means for realization of ends they set. (shrink)

Brettschneider argues that the granting of property rights to all entails a right of exclusion by acquirer/owners against all others, that this exclusionary right entails a loss on their part, and that to make up for this, property owners owe any nonowners welfare rights. Against this, I argue that exclusion is not in fact a cost. Everyone is to have liberty rights, which are negative: what people are excluded from is the liberty to attack and despoil others. Everyone, (...) whether an owner of external property or not, benefits from this and thus rationally exchanges that liberty in exchange for a like abandonment of it by others. The proper social contract trade is thus liberty for liberty—not liberty for owners and positive welfare rights for nonowners. (shrink)

This paper starts with the presentation of an Aristotelian theory of negative properties. Against this backdrop, it then asks whether there could be objects that have solely negative properties, i.e., completely negative objects. This possibility is entertained by Wittgenstein in his Tractatus Logico-Philosophicus. The notion of a completely negative object is compared to the concepts of a nonexistent object, a nonconcrete object, and a nonactual object. Ultimately, it is argued that there can be no completely negative objects, because all negative (...) properties entail some positive properties. (shrink)

Jeffrey Brower argues that Aquinas’s hylomorphic account of change entails a distinction between “property” possession and “property” characterization. Given that and Brower’s assumption that Aquinas’s fundamental hylomorphic compounds are material substances and accidental unities, it follows that material substances are not characterized by the accidents they possess. In order to avoid that counterintuitive consequence, Brower stipulates a form of derivative property characterization and a numerical sameness without identity relation, which together enable him to affirm that material substances (...) are derivatively characterized by the accidents they possess. I argue that, by affirming a plausible alternative to Brower’s account of Aquinas’s fundamental hylomorphic compounds, we can maintain that accidents characterize material substances in the primary sense without having to affirm the real existence of accidental unities or Brower’s objectionable numerical sameness without identity relation. (shrink)

Jeffrey Brower argues that Aquinas’s hylomorphic account of change entails a distinction between “property” possession and “property” characterization. Given that and Brower’s assumption that Aquinas’s fundamental hylomorphic compounds are material substances and accidental unities, it follows that material substances are not characterized by the accidents they possess. In order to avoid that counterintuitive consequence, Brower stipulates a form of derivative property characterization and a numerical sameness without identity relation, which together enable him to affirm that material substances (...) are derivatively characterized by the accidents they possess. I argue that, by affirming a plausible alternative to Brower’s account of Aquinas’s fundamental hylomorphic compounds, we can maintain that accidents characterize material substances in the primary sense without having to affirm the real existence of accidental unities or Brower’s objectionable numerical sameness without identity relation. (shrink)