In this paper, I examine a puzzle that emerges from what J. P. Moreland has called the traditional realist view of quality instances. Briefly put, the puzzle is to figure out how quality instances fit into the overall structure of a concrete particular, given that the traditional realist view of quality instances prima facie seems incompatible with what might be called the traditional realist view of concrete particulars. After having discussed the traditional realist views involved and the puzzle that emerges (...) from their juxtaposition, I propose an alternative realist view of quality instances which resolves the puzzle. In short, the puzzle is solved by treating the distinction between a concrete particular and its quality instances as a distinction of reason, and by adopting the view that the individuating element of a concrete particular must also serve as its unifying element – a view which Moreland, one of traditional realism’s most stalwart contemporary defenders, rejects. (shrink)

The consensus is that novels can be fully appreciated only through an experiential engagement with their well-formed instances. But what are the entities that serve as such instances? According to the orthodox view, these entities are primarily inscriptions—concrete texts written or printed on something or displayed on the screen of some electronic device. In this paper, I argue that this view is misguided, since well-formed instances of a novel must manifest certain sonic properties, but such properties cannot be manifested by (...) inscriptions. As an alternative, I put forward the view that the entities that serve as well-formed instances of novels are readings and sums of readings and graphic elements. (shrink)

The distinction between singular and multiple artworks is usually drawn modally in terms of the notion of an ‘instance’ of a work. Singular works, it is claimed, can only have a single instance, whereas multiple works allow of more than one instance. But this is enlightening only if we have a clear idea of what is meant by an ‘instance’. I argue that there are two different notions of a work's ‘instances’ in play in the literature (...) – what I term its ‘provenential instances’ (‘P-instances’) and its ‘purely epistemic instances’ (E-instances). I further argue that these notions are conflated in the literature critical of Gregory Currie's ‘instance multiplicity hypothesis’ (IMH) – the claim that all artworks are multiple in nature. I defend a modified version of the IMH as a claim about a work's E-instances against a range of criticisms. (shrink)

This article argues how one problem of computing lies in realizing a significant instance given a class or type. Analysis of a case study on digital narrative suggests two general processes for instantiating significant instances: interaction and optimization. The article then explains how the problem of universals needs to be deconstructed when trying to understand what type of entities significant instances are and what the process for obtaining them is.

I present an argument for the view that laws ground their instances. I then outline two important consequences that follow if we accept the conclusion of this argument. First, the claim that laws ground their instances threatens to undermine a prominent recent attempt to make sense of the explanatory power of Humean laws by distinguishing between metaphysical and scientific explanation. And second, the claim that laws ground their instances gives rise to a novel argument against the view that grounding relations (...) are metaphysically necessary. (shrink)

The Relevance Criterion of confirmation gained prominence as the underlying principle of the class-size approach (CSA) to Hempel's paradoxes of confirmation. The CSA, however, yields counter-intuitive results for (c) instances, and this failing cast serious doubt on the acceptability of the Relevance Criterion. In this paper an attempt is made to rescue the Relevance Criterion from this embarrassment. This is done by incorporating that criterion into a new resolution of the paradoxes, a resolution based on a theory of selective confirmation (...) and a distinction between mere confirmation in principle and evaluative confirmation (E-confirmation). (shrink)

This article sketches a commonplace yet neglected epistemic puzzle raised by the diversity of our film-viewing practices. Because our appreciative practices allow for variability in the " instances " of cinematic works we engage, many of our experiential encounters with those works are flawed or impoverished in a number of ways. The article outlines a number of ways in which instances of cinema can vary – including, for example, in terms of color, score, and aspect ratio. This variability of instances (...) of cinema and, hence, the variability in our experiences of a cinematic work raise potential problems around normative questions of interpretation and evaluation. (shrink)

Attention has been drawn, particularly since Kant, to propositions which can not have negative instances. They used to be called a priori, axioms, first principles. Today, they are usually called postulates—C. I. Lewis uses both the old and new terminology—because there is a growing recognition of the fact that at least some of them are not “necessary” in the traditional sense. Kant placed a limitation on the apriorism of the continental rationalists. Current epistemologists and logicians have outstripped Kant in the (...) direction signalled by him. Both he and they, however, concur in the opinion that apriori propositions are subject to negation of a sort. The Kantian dinge-an-sich, though they can not contradict these propositions by being negative instances of them, do nevertheless stand to them in the relation of insubordination, thereby exerting on them a “negative action” of a sort. And, according to current views, there are instances which, though they fall outside the range of significance of a proposition or system and hence can not contradict it, do nevertheless tend to bring about a revision of it by a negative action of some sort. The purpose of this brief essay is to coin a convenient name for such instances and to describe certain properties of their peculiar negative action. (shrink)

Francis Bacon’s method of induction is often understood as a form of eliminative induction. The idea, on this interpretation, is to list the possible formal causes of a phenomenon and, by reference to a copious and reliable natural history, to falsify all of them but one. Whatever remains must be the formal cause. Bacon’s crucial instances are often seen as the crowning example of this method. In this article, I argue that this interpretation of crucial instances is mistaken, and it (...) has caused us to lose sight of why Bacon assigns crucial instances a special role in his quest for epistemic certainty about formal causes. If crucial instances are interpreted eliminatively, then they are subject to the two problems related to underdetermination raised by Duhem: (1) that it is impossible to be certain one has specified all of the possible alternatives and (2) that an experiment falsifies a whole theory, not just a single hypothesis in isolation. I show that Bacon anticipates and aims to dodge both of these problems by conceiving of crucial instances as working, in the ideal case, through direct affirmations that are supported by links to more foundational knowledge. (shrink)

In the 1960s and 70s, first Lacan and then Althusser invoked the category of instance, in a way which would mark what is today called the «structuralist moment» of French philosophy, profoundly influencing the discourse of those who were the disciples of both. The complex system of references to action, demand, insistence, effectivity, decision, hierarchy, which found themselves combined in the notion, proves difficult to translate into other languages, and in particular into English (which has today become the paramount (...) language of critical theory). In order to achieve a syncretism of three heritages (Marx, Freud, Saussure), the French theorists drew on the polysemic extension of the word «instance», which while it does exist in English, operates differently. Hence the interest in examining the divergent choices made by the English and American translators, reading them as symptoms of certain tensions and of a logical instability which affect, from within, the «structuralist» paradigm à la française. (shrink)

Page's definition of localism is inspired by the instance-based paradigm. However, the locality of representations is not necessary for a model to be instance-based and, on the other hand, explicit featural representations are generally considered local. The important distinction is between instance-based and noninstance-based paradigms and not between distributed and local representations as Page claims.

We present an improved method for clustering in the presence of very limited supervisory information, given as pairwise instance constraints. By allowing instance-level constraints to have spacelevel inductive implications, we are able to successfully incorporate constraints for a wide range of data set types. Our method greatly improves on the previously studied constrained -means algorithm, generally requiring less than half as many constraints to achieve a given accuracy on a range of real-world data, while also being more robust (...) when over-constrained. We additionally discuss an active learning algorithm which increases the value of constraints even further. (shrink)

Decision trees learning is one of the most practical classification methods in machine learning, which is used for approximating discrete-valued target functions. However, they may overfit the training data, which limits their ability to generalize to unseen instances. In this study, we investigated the use of instance reduction techniques to smooth the decision boundaries before training the decision trees. Noise filters such as ENN, RENN, and ALLKNN remove noisy instances while DROP3 and DROP5 may remove genuine instances. Extensive empirical (...) experiments were conducted on 13 benchmark datasets from UCI machine learning repository with and without intentionally introduced noise. Empirical results show that eliminating border instances improves the classification accuracy of decision trees and reduces the tree size, which reduces the training and classification times. In datasets without intentionally added noise, applying noise filters without the use of the built-in Reduced Error Pruning gave the best classification accuracy. ENN, RENN, and ALLKNN outperformed decision trees learning without pruning in 9, 9, and 8 out of 13 datasets, respectively. The datasets reduced using ENN and RENN without built-in pruning were more effective when noise was intentionally introduced in different ratios. (shrink)

. Network data analysis helps in capturing node usage behavior. Existing algorithms use reduced feature set to manage high runtime complexity. Ignoring features may increase classification errors. This paper presents a model, allowing classification of network traffic, while considering all the relevant features. Learning phase partitions training sample on values of the respective features. This creates equivalence classes related to m features. During classification, each feature value of the test instance results in picking one set from equivalence class generated (...) during learning. Algorithm captures new behavior in semi-supervised incremental learning mode. For problems having m features and n training samples the model has incremental learning complexity of and average classification complexity is of the order. (shrink)

It is a widespread assumption that permanent philosophical dissensus indicates that none of the parties has philosophical knowledge. However, this assumption is based on the view that the philosophers’ community would recognize instances of individual philosophical knowledge if someone had such epistemic achievement. The problem is that it is challenging to justify this view because the idea that the community of philosophers is epistemically deprived is neither self-contradictory nor falsified by the available evidence. So it seems that one should be (...) agnostic about the abilities of the community of philosophers. In our paper, we propose a non-evidential way of defending the trust in the philosophers’ community. We argue that one can hold—without (almost) any evidence—the belief that the community would recognize instances of philosophical knowledge because one is epistemically entitled to believe in the minimal reliability of the community of philosophers. (shrink)

An ontology's theory of ontic predication has implications for the concomitant predicate logic. Remarkable in its analytic power for both ontology and logic is the here developed Particularized Predicate Logic (PPL), the logic inherent in the realist version of the doctrine of unit or individuated predicates. PPL, as axiomatized and proven consistent below, is a three-sorted impredicative intensional logic with identity, having variables ranging over individuals x, intensions R, and instances of intensions $R_{i}$ . The power of PPL is illustrated (...) by its clarification of the self-referential nature of impredicative definitions and its distinguishing between legitimate and illegitimate forms. With a wellmotivated refinement on the axiom of comprehension, PPL is, in effect, a higher-order logic without a forced stratification of predicates into types or the use of other ad hoc restrictions. The Russell-Priest characterization of the classic self-referential paradoxes is used to show how PPL diagnosis and solves these antimonies. A direct application of PPL is made to Grelling's Paradox. Also shown is how PPL can distinguish between identity and indiscernibility. (shrink)

Can conjunctive propositions be identical without their conjuncts being identical? Can universally quantified propositions be identical without their instances being identical? On a common conception of propositions, on which they inherit the logical structure of the sentences which express them, the answer is negative both times. Here, it will be shown that such a negative answer to both questions is inconsistent, assuming a standard type-theoretic formalization of theorizing about propositions. The result is not specific to conjunction and universal quantification, but (...) applies to any binary operator and propositional quantifier. It is also shown that the result essentially arises out of giving a negative answer to both questions, as each negative answer is consistent by itself. (shrink)

Offered is a limited prospectus on how a refined ontology of attribution can properly distinguish identity from indiscernibility, and relatedly ground a proposed consistent type-free intensional predicate logic. The ontology recognizes individuated ‘instance’ attributes Fi having among themselves shared common intensions F. This instance-intension ontology has embedded in it a Particularized Predicate Logic, PPL, with the unique formal device of ‘extended-binding’. The latter consists of a two-tiered nesting of instance quantifiers and the variables they bind being both (...) bound by, and allowed instantiations under, subsuming intension quantifiers. The logic restricted to monadic predicates, M-PPL, is outlined sufficient to demonstrate its expressive and inferential power to differentiate identity from more general indiscernibility, and to diagnose and prevent contradictions of self-attributions involve in some self-referential paradoxes. Intended is to ground a program fulfilling the desideratum of a consistent intensional predicate logic with unrestricted quantification, while adding warrant for the background instance-intension ontology. (shrink)

Paul Horwich (1990) once suggested restricting the T-Schema to the maximally consistent set of its instances. But Vann McGee (1992) proved that there are multiple incompatible such sets, none of which, given minimal assumptions, is recursively axiomatizable. The analogous view for set theory---that Naïve Comprehension should be restricted according to consistency maxims---has recently been defended by Laurence Goldstein (2006; 2013). It can be traced back to W.V.O. Quine(1951), who held that Naïve Comprehension embodies the only really intuitive conception of set (...) and should be restricted as little as possible. The view might even have been held by Ernst Zermelo (1908), who,according to Penelope Maddy (1988), subscribed to a ‘one step back from disaster’ rule of thumb: if a natural principle leads to contra-diction, the principle should be weakened just enough to block the contradiction. We prove a generalization of McGee’s Theorem, anduse it to show that the situation for set theory is the same as that for truth: there are multiple incompatible sets of instances of Naïve Comprehension, none of which, given minimal assumptions, is recursively axiomatizable. This shows that the view adumbrated by Goldstein, Quine and perhaps Zermelo is untenable. (shrink)

Whitehead’s cosmology centers on the self-creation of actual occasions that perish as they come to be, but somehow do combine to constitute societies that are persistent agents and/or patients. “Instance Ontology” developed by D.W. Mertz concerns unification of relata into facts of relatedness by specific intensions. These two conceptual systems are similar in that they both avoid the substance-property distinction: they differ in their understanding of how basic units combine to constitute complex unities. “Process Structural Realism” (PSR) draws from (...) both of these approaches in developing an account of how combinations of processes may produce ontologically significant coherences. When a group of processes achieves such closure that a set of states recurs continually, the effects of that coherence differ from what would occur in the absence of that closure. Such altered effectiveness is an attribute of the system as a whole, and would have consequences. This indicates that the network of processes, as a unit, has ontological significance. The closed network of processes, together with the conditions that prevail, constitute the form of definiteness of the coherence. That form continues to obtain as long as the coherence persists. Constituents contribute to, rather than share, that characteristic. Aspects of some recent research in systems biology, microeconomics, and social psychology illustrate the application of PSR. (shrink)

This paper is about the question of whether or not virtual rape should be considered a crime under current law. A virtual rape is the rape of an avatar in a virtual world. In the future, possibilities for virtual rape of a person him- or herself will arise in virtual reality environments involving a haptic device or robotics. As the title indicates, I will study both these present and future instances of virtual rape in light of three categories of legal (...) philosophical theories on rape in order to answer the aforementioned question. I will argue that a virtual rape in a future virtual reality environment involving a haptic device or robotics should in principle count as the crime of rape; for it corresponds to rape as it is viewed under the liberal theories that currently dominate the law. A surprising finding will be that a virtual rape in a virtual world re-actualizes the conservative view of rape that used to dominate the law in the Middle Ages and resembles rape as it is viewed under the feminist theories that criticize current law. Virtual rape in a virtual world cannot count as rape under current law; however, and at the end of this paper, I will suggest qualifying it as sexual harassment instead. (shrink)

According to C. S. Peirce, resemblance or similarity is the basis for the relationship of iconic signs to their dynamical objects. But what is the basis of resemblance or similarity itself and how is the phenomenon of iconicity generated? How does it function in cultural practices and processes by which various forms of signs are generated (say, for example, the cartographical procedures by which maps are drawn, more generally, the diagrammatic ones by which networks of relationships are iconically represented)? To (...) what extent are they themselves performances (maps are always both the result of mappings andthe impetus for re-mappings)? With examples from texts by Virginia Woolf, W. G. Sebald and Reif Larsen, I will argue that literary texts provide us with uniqueresources for exploring, among other matters, the performative dimension of iconicity in the complex interaction among icon, index and metaphor as aprerequisite for semiosis, the generation of signs. (shrink)

Suppose λ > κ is measurable. We show that if κ is either indestructibly supercompact or indestructibly strong, then A = {δ κ is measurable, κ’s supercompactness is indestructible under κ-directed closed, (κ +, ∞)-distributive forcing, and every measurable cardinal δ κ is measurable, κ’s strongness is indestructible under κ is measurable, κ is indestructibly supercompact, and every measurable cardinal δ < κ which is not a limit of measurable cardinals is δ + strongly compact.

Semantic paradoxes like the liar are notorious challenges to truth theories. A paradox can be phrased with minimal resources and minimal assumptions. It is not surprising, then, that the liar is also a challenge to minimalism about truth. Horwich (1990) deals swiftly with the paradox, after discriminating between other strategies for avoiding it without compromising minimalism. He dismisses the denial of classical logic, the denial that the concept of truth can coherently be applied to propositions, and the denial that the (...) liar sentence expresses a proposition, but he endorses the denial that the liar is an acceptable instance of the equivalence schema (E). This paper has two main parts. It first shows that Horwich’s preferred denial is also problematic. As Simmons (1999), Beall and Armour-Garb (2003), and Asay (2015) argued, the solution is ad hoc, faces a possible loss of expressibility, and is ultimately unstable. Finally, the paper explores a different combination of possibilities for minimalism: treating the truth-predicate as context-dependent, rejecting the notion that the liar expresses a proposition, and reinterpreting negation in some contexts as metalinguistic denial. The paper argues that these are preferable options, but signposts possible dangers ahead. (shrink)

The expression ‘an instance of an artwork’ is often used in philosophical discourse about art. Yet there is no clear account of what exactly this expression means. My goal in this essay is to provide such an account. I begin by expounding and defending a particular definition of the concept of ‘an instance of an artwork’. Next, I elaborate this definition – by providing definitions of the main derivatives of the concept of ‘an instance of an artwork’, (...) namely the concepts of ‘a well-formed instance of an artwork’ and ‘a non-wellformed instance of an artwork’. Finally, I examine the relation of the foregoing definitions to the existence and identity conditions of artworks and make some additional remarks concerning these definitions. (shrink)

Starting from cardinals κ κ is measurable, we construct a model for the theory “ZF + n < ω[DCn] + ω + 1 is a measurable cardinal”. This is the maximum amount of dependent choice consistent with the measurability of ω + 1, and by a theorem of Shelah using p.c.f. theory, is the best result of this sort possible.

According to the aspect theory of instantiation, a particular A instantiates a universal B if and only if an aspect of A is cross-count identical with an aspect of B. This involves the assumption that both particulars and universals have aspects, and that aspects can mediate between different ways of counting things. I will ask what is new about this account of instantiation and, more importantly, whether it is an improvement on its older relatives. It will turn out that the (...) part of it that is new is the notion of cross-count identity among aspects. As I will show, this notion is both dubious and unnecessary. I will end by presenting a simplified aspect theory of instantiation that does not involve cross-count identity. (shrink)

Structure or system is a ubiquitous and indispensable feature of all our experience and theory, and requires an ontological analysis. The essays collected in this volume provide an account of structure founded upon the proper analysis of polyadic relations as the irreducible and defining elements of structure. Following from an analysis of ontic predication there is given a number of principles delineating realist instance ontology, together with a critique of both nominalistic trope theory and modern revivals of Aristotle's (...) class='Hi'>instance ontology of the Categories. It is shown how the resulting theory of facts can, via "horizontal" and "vertical" composition, account for all the hierarchical structuring of our experience and theory, and, importantly, how this can rest upon an atomic ontic level composed of only dependent ontic predicates. The latter is a desideratum for the proposed "Structural Realism" ontology for micro-physics where at its lowest level the physical is said to be totally relational/structural. Nullified is the classic and insidious assumption that dependent entities presuppose a class of independent substrata or "substances," and with this any pressure to admit "bare particulars" and intensionless relations or "ties." The logic inherent in realist instance ontology--termed "PPL"--is formalized in detail and given a consistency proof. Demonstrated is the logic's power to distinguish legitimate from illegitimate impredicative definitions, and in this how it provides a general solution to the classic self-referential paradoxes. PPL corresponds to Gdel's programmatic "Theory of Concepts." The last essay, not previously published, provides a detailed differentiation of identity from indiscernibility, preliminary to which is given an explanation of in what sense a predicate logic presupposes an ontology of predication. The principles needed for the differentiation have the significant implication (e.g., for the foundations of mathematics) of implying an infinity of logical entities, viz., instances of the identity relation. Donald Mertz is currently the director of the Center for Academic Development at the University of Missouri - St. Louis. He has taught both university philosophy and mathematics, and has published a number of articles in analytic philosophy. He is the author of Moderate Realism and Its Logic, and is an associate editor of The Modern Schoolman. (shrink)

Plato’sPhilebusfamously combines a deliberation on the virtuous life as a balancing act between prudence and pleasure with a theory of the composition of mixtures from limit and limitedness. The latter aspect of the dialogue is used by the Neoplatonic philosopher Proclus as a basis for his own metaphysical analysis of the ultimate first principle, the One, and the manner in which it produces all things which exist. Multiple scholarly analyses have been provided of Proclus’ use of the Phileban theory of (...) limit and the unlimited for his description of the first principle’s creation process. However, this paper shows that Proclus reads thePhilebusnot merely for its discussion of limit and unlimited, but also for its description of the good life. After all, the Neoplatonic One is also the Good from Plato’sRepublic. InPhil. 20d1–11, Socrates suggest that the good is perfect, sufficient, and desirable. Proclus’Commentary on the RepublicandPlatonic Theologyreveal that these three aspects of the good provide Proclus with a framework to describe the Neoplatonic first principlequaGood. In Proclus’ view, the three Phileban concepts constitute the base elements of the good which reappear in all of its manifestations, and thus link the good in us to the transcendent and unqualified Good: the desirable element represents the good’s singularity and its position as the centre around which all beings circle; the sufficient element represents the non-reciprocal bestowal of existence and generative power by any form of the good upon its participants; lastly, the perfect element reverts all creatures to the good in which they participate, even when not all genera of beings in the Neoplatonic universe are equally capable of such participation. Furthermore, Proclus uses the description of the good life as not merely intellectual from thePhilebusto fortify his arguments in disagreements with other Neoplatonic commentators regarding the transcendence of the Good over the intelligible principles, and conversely employs the Neoplatonic definition of the first principle to affirm the ethics of the Platonic dialogue. Thus, although Proclus’ primary goal in reading thePhilebusis to obtain knowledge of the ultimate first principle, Socrates’ analysis of the virtuous life in the dialogue is just as important for his purposes as the theory of mixtures. (shrink)

Two types of explanations for the decisions made by classifiers have been studied extensively in the AI literature. The first type explains why a decision was made and is known as a sufficient reason for the decision. The second type explains how a decision can be changed and is known as a necessary reason for the decision. Earlier results showed that these two types of explanations correspond to two particular syntactic forms of the complete reason, which is a condition on (...) the classifier’s input (i.e., instance) that is both sufficient and necessary for the decision. More recently, we showed that when non-binary features are present, a relaxation of the complete reason, called the general reason, contains more information about the decision and the underlying classifier and can be used to formulate explanations that generalize sufficient and necessary reasons. We provide a reconstruction and summary of these earlier results that is founded on viewing the complete and general reasons as “instance abstractions.” We also study the general-reason abstraction further, showing how it can provide information about decisions and classifiers beyond what was identified earlier. Our treatment will give rise to two pillars for modern work on explainability in AI: sufficient and necessary logical conditions which played a central role in certain formulations in philosophy, and minimized syntactic forms (of a condition) which have been developed mainly in computer science. (shrink)

In this volume, John Bacon argues that it is difficult to deny the existence of particularized properties and relations, which in modern philosophy are sometimes called `tropes'. In so doing, he advances a powerful and sophisticated metaphysical theory according to which both ordinary particulars and properties and relations are bundles of tropes.

This essay discusses Socrates’ use of hypothetical choices as an early version of what was to become in the twentieth century the discipline of decision theory as expressed by one of its prominent proponents, F. P. Ramsey. Socrates’ use of hypothetical choices and thought experiments in the dialogues is a way of reassuring himself of an interlocutor’s philosophical potential. For example, to assess just how far Alcibiades is willing to go to attain his goal of being a great Athenian leader, (...) we employ Ramsey’s concept of Mathematical Expectation. Mathematical Expectation operates on the assumption that it is not enough to measure probability; we must also measure our belief to apportion our belief to the probability. In other words, it illustrates how strongly or to what degree a person holds a particular belief. If a person’s belief in X lacks enough doubts to cancel the belief out, the probability of his acting on this belief is higher than if his belief in X was plagued by a greater number of doubts. (shrink)

This thesis explores the prospects of a distinction between subjective and objective properties in terms of how they are instantiated. While there are many ways in which the subjective can be separated from the objective, the one that interests me here is the difference between properties instantiated subjectively and properties instantiated objectively. The idea is that in some cases what makes it so that object o has the property p is what a thinking subject thinks of it or how she (...) reacts to it, while in other cases what makes it so that o has p has nothing to do with what the subject thinks or does. In the first kind of case, the instantiation of the property is mind-dependent, or subjective, and in the second kind of case the instantiation is mind-independent, or objective. I examine ways to draw a distinction between subjective and objective properties in this sense and defend the possibility of such a distinction against conceivable threats. I then go on to arguing that instead of sorting properties into two groups, subjective and objective, it is more fruitful to think of them as on a continuum ranging from entirely subjective to entirely objective. While there may be cases of properties that are entirely objective, i.e. instantiated only objectively, finding entirely subjective properties if more difficult. Candidates for subjective properties do not seem to be exclusively subjective; i.e. they are instantiated objectively to some extent. I use color as a paradigm case to argue for my account of properties whose instantiation is partly objective and partly subjective. I then go on to arguing that all sensory properties should be treated as color in this respect. (shrink)