A detailed theoretical analysis is presented of what five utility representations – subjective expected utility (SEU), rank-dependent (cumulative or Choquet) utility (RDU), gains decomposition utility (GDU), rank weighted utility (RWU), and a configural-weight model (TAX) that we show to be equivalent to RWU – say about a series of independence properties, many of which were suggested by M. H. Birnbaum and his coauthors. The goal is to clarify what implications to draw about the descriptive aspects of the representations from (...) data concerning these properties. The upshot is a sharp rejection of SEU and RDU and no clear choice between GDU and TAX, but a list of 8 properties is given that should receive more attention to discriminate between the latter two models. (shrink)

In continuation of [JOH04, OH07], we prove that existentially closed CSA-groups have the independence property. This is done by showing that there exist words having the independence property relative to the class of torsion-free hyperbolic groups.

We provide a general theorem implying that for a (strongly) dependent theory T the theory of sufficiently well-behaved pairs of models of T is again (strongly) dependent. We apply the theorem to the case of lovely pairs of thorn-rank one theories as well as to a setting of dense pairs of first-order topological theories.

A first-order theory T has the Independence Property provided deduction of a statement of type (quantifiers) (P -> (P1 or P2 or .. or Pn)) in T implies that (quantifiers) (P -> Pi) can be deduced in T for some i, 1 <= i <= n). Variants of this property have been noticed for some time in logic programming and in linear programming. We show that a first-order theory has the Independence Property for the class (...) of basic formulas provided it can be axiomatized with Horn sentences. The existence of free models is a useful intermediate result. The independence Property is also a tool to decide that a sentence cannot be deduced. We illustrate this with the case of the classical Caratheodory theorem for Pasch-Peano geometries. (shrink)

A theory is stable up to Δ if any Δ-type over a model has a few extensions up to complete types. We prove that a theory has no the independence property iff it is stable up to some Δ, where each equation image has no the independence property.

We study the Vapnik–Chervonenkis density of definable families in certain stable first-order theories. In particular, we obtain uniform bounds on the VC density of definable families in finite $\mathrm {U}$-rank theories without the finite cover property, and we characterize those abelian groups for which there exist uniform bounds on the VC density of definable families.

A class K of structures is controlled if for all cardinals λ, the relation of L∞,λ-equivalence partitions K into a set of equivalence classes . We prove that no pseudo-elementary class with the independence property is controlled. By contrast, there is a pseudo-elementary class with the strict order property that is controlled 69–88).

No theory of a partially ordered set of finite width has the independence property, generalizing Poizat's corresponding result for linearly ordered sets. In fact, a question of Poizat concerning linearly ordered sets is answered by showing, moreover, that no theory of a partially ordered set of finite width has the multi-order property. It then follows that a distributive lattice is not finite-dimensional $\operatorname{iff}$ its theory has the independence property $\operatorname{iff}$ its theory has the multi-order (...) class='Hi'>property. (shrink)

We address the classification of the possible finitely-additive probability measures on the Boolean algebra of definable subsets of M which are invariant under the natural action of $\operatorname{Aut}(M)$ . This pursuit requires a generalization of Shelah's forking formulas [8] to "essentially measure zero" sets and an application of Myer's "rank diagram" [5] of the Boolean algebra under consideration. The classification is completed for a large class of ℵ 0 -categorical structures without the independence property including those which are (...) stable. (shrink)

I argue that the freedom which is to coexist with the freedom of choice of others in accordance with a universal law mentioned in Kant's Rechtslehre is not itself freedom of choice. Rather, it is the independence which is a condition of being able to exercise genuine free choice by not having to act in accordance with the choices of others. Kant's distinction between active and passive citizenship appears, however, to undermine this idea of independence, because the possession (...) of a certain type of property right on the part of some citizens makes it possible for them to dominate others. Kant's account of property in this way turns out to be central to the question as to whether his Rechtslehre represents an internally consistent account of how freedom can be guaranteed within a legal and political community. I go on to argue that Kant's attempt to justify a pre-political right of property cannot be viewed as a successful justification of private property, and that he should have abandoned the notion of su... (shrink)

The article examines Mary Wollstonecraft’s interpretation of revolutionary movements, particularly through her analysis of the French Revolution. Wollstonecraft examines the oppression of women as a form of slavery, but also uses it as a lens through which to denounce socio-economic injustices and propose radical change. Her critique of mercantile society and property contrasts with her rethinking of the domestic sphere as an alternative political space. The article shows how these reflections lead to a rethinking of femininity and the construction (...) of a new female subjectivity based on collective independence, proposing a relational autonomy beyond the disillusionment of revolutionary hopes. (shrink)

We develop a new notion of independence (þ-independence, read "thorn"-independence) that arises from a family of ranks suggested by Scanlon (þ-ranks). We prove that in a large class of theories (including simple theories and o-minimal theories) this notion has many of the properties needed for an adequate geometric structure. We prove that þ-independence agrees with the usual independence notions in stable, supersimple and o-minimal theories. Furthermore, we give some evidence that the equivalence between forking and (...) þ-forking in simple theories might be closely related to one of the main open conjectures in simplicity theory, the stable forking conjecture. In particular, we prove that in any simple theory where the stable forking conjecture holds. þ-independence and forking independence agree. (shrink)

I first show how one might argue for a mind-independent conception of beauty and artistic merit. I then discuss whether this makes aesthetic judgements suitable to undermine skeptical worries about the existence of mind-independent moral value and categorical reasons.

We study a class of 0-categorical simple structures such that every M in has uncomplicated forking behavior and such that definable relations in M which do not cause forking are independent in a sense that is made precise; we call structures in independent. The SU-rank of such M may be n for any natural number n>0. The most well-known unstable member of is the random graph, which has SU-rank one. The main result is that for every strongly independent structure M (...) in , if a sentence φ is true in M then φ is true in a finite substructure of M. The same conclusion holds for every structure in with SU-rank one; so in this case the word ‘strongly’ can be removed. A probability theoretic argument is involved and it requires sufficient independence between relations which do not cause forking. A stable structure M belongs to if and only if it is 0-categorical, 0-stable and every definable strictly minimal subset of is indiscernible. (shrink)

As the paper explains, it is crucial to epistemology in general and to the theory of causation in particular to investigate the properties of conditional independence as completely as possible. The paper summarizes the most important results concerning conditional independence with respect to two important representations of epistemic states, namely (strictly positive) probability measures and natural conditional (or disbelief or ranking) functions. It finally adds some new observations.

We define a formula φ in a first-order language L , to be an equation in a category of L -structures K if for any H in K , and set p = {φ;i ϵI, a i ϵ H} there is a finite set I 0 ⊂ I such that for any f : H → F in K , ▪. We say that an elementary first-order theory T which has the amalgamation property over substructures is equational if every (...) quantifier-free formula is equivalent in T to a boolean combination of equations in Mod, the category of models of T with embeddings for morphisms. Thus, we develop a theory of independence with respect to equations in general categories of structures, which is similar to the one introduced in stability but which, in our context, has an algebraic character. (shrink)

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 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)

In this paper, I will reconstruct Hume's argument for the ontological (in the sense of rigid existential) independence of simple properties in A Treatise of Human Nature , Book 1 (1739). According to my reconstruction, the main premises of the argument are the real distinctness of every perception of a simple property, Hume's Separability Principle and his Conceivability Principle. In my view, Hume grounds the real distinctness of every perception of a simple property in his atomistic theory (...) of sense perception and his Copy Principle. I will also show why Hume's argument should be seen as relevant nowadays. David Lewis and his followers in metaphysics continue Hume's line of thinking in this respect, which is opposed by power ontologists (Brian Ellis, Stephen Mumford), for example. (shrink)

Background independence begins life as an informal property that a physical theory might have, often glossed as 'doesn't posit a fixed spacetime background'. Interest in trying to offer a precise account of background independence has been sparked by the pronouncements of several theorists working on quantum gravity that background independence embodies in some sense an essential discovery of the General Theory of Relativity, and a feature we should strive to carry forward to future physical theories. This (...) paper has two goals. The first is to investigate what a world must be like in order to be truly described by a background independent theory given extant accounts of background independence. The second is to argue that there are no non-empirical reasons to be more confident in theories that satisfy extant accounts of background independence than in theories that don't. The paper concludes by drawing a general moral about a way in which focussing primarily on mathematical formulations of our physical theories can adversely affect debates in the metaphysics of physics. (shrink)

The idea that the world is human construction is fairly familiar and generally disparaged. One version of this claim is partially defendedhere. This subjectivist thesis concerns a debate about the objectivityof rightness of categorization. A problem about the discriminatoryrole of properties is both presented and motivated. The subjectivistthesis is articulated and defended against two powerful objections.Finally, this thesis is shown to be conceptually independent ofboth verificationism and empirical idealism.

Should property owners have a unique right to express their opinion just because they own property? While current law recognizes owners’ rights to express their voices in certain instances, it does not provide comprehensive and coherent answers to this question. This article provides an analytical framework for recognizing the owners’ right to voice as an independent property entitlement within the owners’ property bundle of rights and delineates its boundaries. Yet even when the owners’ voice is (...) class='Hi'>property-dependent, there is a difference between voice that facilitates the realization of another property entitlement (such as the right to exclude, use, or trade) and voice that is constitutive to ownership in and of itself. Only the latter instances justify recognition of the owners’ right to a voice as an independent property entitlement. By examining different branches of both tangible and intellectual property law, such as inheritance law, eminent domain, homeowners’ association law, zoning law, and copyright law, this article demonstrates the usefulness of the proposed analytical framework in explaining certain parts of the current law and suggests modifications of other parts. (shrink)

This paper examines definitions of independence for events and variables in the context of full conditional measures; that is, when conditional probability is a primitive notion and conditioning is allowed on null events. Several independence concepts are evaluated with respect to graphoid properties; we show that properties of weak union, contraction and intersection may fail when null events are present. We propose a concept of “full” independence, characterize the form of a full conditional measure under full (...) class='Hi'>independence, and suggest how to build a theory of Bayesian networks that accommodates null events. (shrink)

We obtain some new results on the topology of unary definable sets in expansions of densely ordered Abelian groups of burden 2. In the special case in which the structure has dp‐rank 2, we show that the existence of an infinite definable discrete set precludes the definability of a set which is dense and codense in an interval, or of a set which is topologically like the Cantor middle‐third set (Theorem 2.9). If it has burden 2 and both an infinite (...) discrete set D and a dense‐codense set X are definable, then translates of X must witness the Independence Property (Theorem 2.26). In the last section, an explicit example of an ordered Abelian group of burden 2 is given in which both an infinite discrete set and a dense‐codense set are definable. (shrink)

This chapter contains sections titled: Property‐Owning Democracy Before Socialism: The Rise of Commercial Republicanism Property‐Owning Democracy at the Socialist High Tide (i): Progressive Conservative Origins Property‐Owning Democracy at the Socialist High Tide (ii): Liberals and Labour Revisionists Property‐Owning Democracy at the Socialist High Tide (iii): James Meade Property‐Owning Democracy After Socialism? Rawlsian and Neoliberal Lineages References.

Powers are popularly assumed to be distinct from, and dependent upon, inert qualities, mainly because it is believed that qualities have their nature independently of other properties while powers have their nature in virtue of a relation to distinct manifestation property. George Molnar and Alexander Bird, on the other hand, characterize powers as intrinsic and relational. The difficulties of reconciling the characteristics of being intrinsic and at the same time essentially related are illustrated in this paper and it is (...) argued that the reasons for thinking of powers as essentially relational are based on misguided epistemological consideration. Finally, I present a way of thinking of fundamental properties as primitive natures that we can only understand in virtue of what they do but which we should not think of as being ontologically constituted by these doings. According to this view, properties are both qualities and powers. (shrink)

Generally, in liberal democratic systems, it is assumed that government should forbear from interference with existing individual property entitlements. It is assumed that existing individual property entitlements should be respected, with government reluctant to interfere. Despite the ubiquity of this assumption, the theoretical underpinning for it is not obvious. A sovereign must respond to the needs of all of the members of the greater community for which it speaks. In view of this obligation, irrevocably assigning property rights (...) to some, and not to others, is an inherently troublesome proposition. In this Article, the reasons for this state of affairs are examined. The conclusion is reached that conventional theories advanced by courts and commentators for government forbearance — such as protecting individual reliance interests, or advancing other independent policies — fail to explain the forbearance phenomenon. A more convincing reason can be found in a public fiduciary theory of government. However, recognition of this reveals that the property/sovereignty relationship is far more complex than a simple forbearance model would dictate. In fact, it mandates — in some circumstances — government nonforbearance, as well. (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)

This paper investigates the plausibility of Witmer, Butchard and Trogdon’s proposal to distinguish intrinsic properties from extrinsic ones in terms of independence from accompaniment and grounding. I argue that the proposed criterion is not adequate to determine intrinsicality, since according to it some intuitively extrinsic properties turn out to be intrinsic. I suggest and evaluate two responses: first, one could characterize a conception of independence which is specific to the individual instantiating the property; and second, one could (...) justify two assumptions about properties which entail that counterexample properties of the kinds I present do not exist, most importantly that there are no fundamental properties which are instantiated in an intrinsic fashion by some individuals and an extrinsic fashion by others. Although the latter seems prima facie plausible, I present some potential counterexamples to it from current physical theory. I conclude that the grounding- and independence-based criterion of intrinsicality can be defended from my objections, although the cost of doing so might make it more attractive to characterize intrinsicality in terms of independence, or in terms of grounding, alone. (shrink)

Intuitively, a classical field theory is background-in- dependent if the structure required to make sense of its equations is itself subject to dynamical evolution, rather than being imposed ab initio. The aim of this paper is to provide an explication of this intuitive notion. Background-independence is not a not formal property of theories: the question whether a theory is background-independent depends upon how the theory is interpreted. Under the approach proposed here, a theory is fully background-independent relative to (...) an interpretation if each physical possibility corresponds to a distinct spacetime geometry; and it falls short of full background-independence to the extent that this condition fails. (shrink)

Let L\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${L}$$\end{document} be the language of group theory with n additional new constant symbols c1,…,cn\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${c_1,\ldots,c_n}$$\end{document}. In L\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${L}$$\end{document} we consider the class K\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathbb{K}}}$$\end{document} of all finite groups G of exponent p>2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${p > 2}$$\end{document}, where G′⊆⟨c1G,…,cnG⟩⊆Z\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} (...) \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${G'\subseteq\langle c_1^G,\ldots,c_n^G\rangle \subseteq Z}$$\end{document} and c1G,…,cnG\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${c_1^G,\ldots,c_n^G}$$\end{document} are linearly independent. Using amalgamation we show the existence of Fraïssé limits D\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${D}$$\end{document} of K\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathbb{K}}}$$\end{document}. D\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${D}$$\end{document} is Felgner’s extra special p-group. The elementary theories of the D\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${D}$$\end{document} are supersimple of SU-rank 1. They have the independence property. (shrink)

Hermann von Helmholtz’s work on perceptual science had a fundamental impact on Neo-Kantian movements in the late nineteenth century, and his influence continues to be felt in psychology and analytic philosophy of perception. As is widely acknowledged, Helmholtz denied that we can perceive mind-independent properties of external objects, a view I label Ignorance. Given his commitment to Ignorance, Helmholtz might seem to be committed to a subjectivism according to which we only perceive properties of our own representations. Against this, I (...) argue that for Helmholtz, the properties we perceive are not monadic properties of either the subject or the object. Rather, Helmholtz endorsed a relationalism about the properties we perceive: the properties of objects we perceive are all relational properties. I then suggest that once we take into account oft-neglected terminological distinctions in Helmholtz’s corpus, we are better able to make sense of his commitment to relationalism. (shrink)

Primary quality theories of color claim that colors are intrinsic, objective, mind-independent properties of external objects — that colors, like size and shape, are examples of the sort of properties moderns such as Boyle and Locke called primary qualities of body.¹ Primary quality theories have long been seen as one of the main philosophical options for understanding the nature of color.

There have been many attempts to determine what makes a natural kind real, chief among them is the criterion according to which natural kinds must be mind-independent. But it is difficult to specify this criterion: many supposed natural kinds have an element of mind-dependence. I will argue that the mind-independence criterion is nevertheless a good one, if correctly understood: the mind-independence criterion concerns the unification principles for natural kinds. Unification principles determine how natural kinds unify their properties, and (...) only those natural kinds that have a mind-independent unification principle should be considered real. (shrink)

It is often said that (M) "mind is an emergent property of matter." M is ambiguous, the reason being that, for all x and y, "x is an emergent property of y" has two distinct and mutually opposed meanings, namely: (i) x is a product of y (in the sense in which a chair is the product of the activity of a furniture-maker); and (ii) y is either identical or constitutive of x, but, relative to the information available (...) at a given time t, x-statements are not analytic consequences of y-statements. If M is taken to mean that matter produces mind, then M is false, since biological activity obviously mediates mental activity and is therefore either identical with it or constitutive of it. If M is taken to mean that statements about mind are not analytic consequences of statements about matter, then M, though true with respect to the ontological relationship with between physical objects and the mental objects mediated thereby, says nothing about how statements about the physical bear on statements about the mental. This is a consequence of the fact that it is truths that are explained, not objects. (It is truths about trees, and not the tree per se, that are explained: one explains why the tree is tall, why the tree can't survive if the drought continues, etc.) So supposing that M is taken to mean that, relative to the information available at a given time, psychological truths are not derivable from non-psychological truths, then M is to the effect that, at that time, it isn't known how, or even whether, truths of the first kind bear on those of the second, in which case M is to the effect that it isn't known how to explain the mental in terms of the physical. Thus, depending on how it is disambiguated, M is either false or devoid of content. Further, as Hempel (1965) made clear, if M is taken to mean that, at a given time, statements about the mental cannot be deduced from statements about the physical, then it is ipso facto being left open whether, at some later time, relative to a more comprehensive data-set, statements about the mental are deducible from statements about the physical. A consequence of this, as Hempel stated, is that, if M is disambiguated in the second way, it is not to the effect that statements about the mental are incapable of being deduced from statements about the physical, and is instead to the effect that, at the time M is affirmed, it simply isn't known whether, or therefore how, such a deduction can be carried. And this establishes---what has already been established on independent grounds---that M is devoid of content if interpreted as a thesis concerning the way in which statements about the physical bear on---or, a fortiori, are explanatory of---statements about the mental. Thus, the statement that "mind is an emergent property of matter" is vacuous, so far as it isn't false. (shrink)

In this paper it is argued that Hintikka's game theoreticalsemantics for Independence Friendly logic does not formalize theintuitions about independent choices; it rather is aformalization of imperfect information. Furthermore it is shownthat the logic has several remarkable properties (e.g.,renaming of bound variables is not allowed). An alternativesemantics is proposed which formalizes intuitions aboutindependence.

Nonnaturalist realism is the view that normative properties are unique kind of stance-independent properties. It has been argued that such views fail to explain why two actions that are exactly alike otherwise must also have the same normative properties. Mark Schroeder and Knut Olav Skarsaune have recently suggested that nonnaturalist realists can respond to this supervenience challenge by taking the primary bearers of normative properties to be action kinds. This paper develops their response in two ways. First, it provides additional (...) motivation for the previous claim about the bearers of normative properties by drawing from the work of H. A. Prichard. Second, and more importantly, it formulates a plausible metaphysical framework based on the contemporary trope theory to explain why action kinds would have their second-order properties, including their normative properties, necessarily. (shrink)

The computational properties of a system are generally thought to be independent in some sense from its physical properties, in virtue of the fact that computation is a formally characterized concept. Several philosophers have recently challenged the idea that such “medium-independence” is an essential feature of computation by arguing that some kinds of computation lack medium-independence. This paper explores and rejects three such arguments in an attempt to defend the essential medium-independence of computation.

This chapter contains sections titled: Two Dichotomies The Existential Mind‐Independence of Moral Principles The Strong Observational Mind‐Independence of Moral Principles Appendix.

We characterize þ-independence in a variety of structures, focusing on the field of real numbers expanded by predicate defining a dense multiplicative subgroup, G, satisfying the Mann property and whose pth powers are of finite index in G. We also show such structures are super-rosy and eliminate imaginaries up to codes for small sets.

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

The notion $J$ is independent in $(M,M_0,N)$ was established by Shelah, for an AEC (abstract elementary class) which is stable in some cardinal $\lambda$ and has a non-forking relation, satisfying the good $\lambda$-frame axioms and some additional hypotheses. Shelah uses independence to define dimension. Here, we show the connection between the continuity property and dimension: if a non-forking satisfies natural conditions and the continuity property, then the dimension is well-behaved. As a corollary, we weaken the stability hypothesis (...) and two additional hypotheses, that appear in Shelah's theorem. (shrink)

This chapter defends the property dualism argument. The term “semantic premise” mentioned is used to refers to an assumption identified by Brian Loar that antiphysicalist arguments, such as the property dualism argument, tacitly assume that a statement of property identity that links conceptually independent concepts is true only if at least one concept picks out the property it refers to by connoting a contingent property of that property. It is argued that, the property (...) that does the work in explaining the possibility of a posteriori identities need not be a first-order property of the referent in question. On his view, the property dualism argument requires only a weaker semantic premise, which allows that the property in question be a higher order property. A refined version of the property dualism argument is formulated, which uses the weaker premise, and defends the argument against various objections. (shrink)