An appropriate characterization of property types is an important topic for measurement science. On the basis of a set-theoretic model of evaluation and measurement processes, the paper introduces the operative concept of property evaluation type, and discusses how property types are related to, and in fact can be derived from, property evaluation types, by finally analyzing the consequences of these distinctions for the concepts of ‘property’ used in the International Vocabulary of Metrology – Basic (...) and General Concepts and Associated Terms (VIM3). (shrink)

The extent to which we generalize a novel property from a sample of familiar instances to novel instances depends on the sample composition. Previous property induction experiments have only used samples consisting of novel types (unique entities). Because real‐world evidence samples often contain redundant tokens (repetitions of the same entity), we studied the effects on property induction of adding types and tokens to an observed sample. In Experiments 1–3, we presented participants with a sample of birds or (...) flowers known to have a novel property and probed whether this property generalized to novel items varying in similarity to the initial sample. Increasing the number of novel types (e.g., new birds with the target property) in a sample produced tightening, promoting property generalization to highly similar stimuli but decreasing generalization to less similar stimuli. On the other hand, increasing the number of tokens (e.g., repeated presentations of the same bird with the target property) had little effect on generalization. Experiment 4 showed that repeated tokens are encoded and can benefit recognition, but appear to be given little weight when inferring property generalization. We modified an existing Bayesian model of induction (Navarro, Dry, & Lee, 2012) to account for both the information added by new types and the discounting of information conveyed by tokens. (shrink)

In a lengthy review article, C. Anthony Anderson criticizes the approach to property theory developed in Quality and Concept (1982). That approach is first-order, type-free, and broadly Russellian. Anderson favors Alonzo Church’s higher-order, type-theoretic, broadly Fregean approach. His worries concern the way in which the theory of intensional entities is developed. It is shown that the worries can be handled within the approach developed in the book but they remain serious obstacles for the Church approach. The discussion (...) focuses on: (1) the fine-grained/coarse-grained distinction, (2) proper names and definite descriptions, (3) the paradox of analysis and Mates’ puzzle, and (4) the logical, semantical, and intentional paradoxes. (shrink)

In this essay I shall argue that the crucial assumptions of Kripke's argument, i.e. the collapse of the appearance/reality distinction in the case of phenomenal states and the idea of a qualitatively identical epistemic situation, imply an objective principle of identity for mental-state types. This principle, I shall argue, rather than being at odds with physicalism, is actually compatible with both the type-identity theory of the mind and Kripke's semantics and metaphysics. Finally, I shall sketch a version of the (...) type-identity theory. (shrink)

An appropriate characterization of property types is an important topic for measurement science. This paper proposes to derive them from evaluation types, and analyzes the consequences of this position for the VIM3.

The type-free property-theoretic system EC, based on the mediation view of predication, is presented. According to the mediation view, the copula or exemplification is a necessary component of every proposition. It is explained how the system EC relates to Bradley's Regress regarding predication. Finally, the system EC is applied to the Meinong-Russell debate on non-existent objects and it is shown how EC allows us to preserve some important intuitions of both Meinong and Russell.

We show that in a stable first-order theory, the failure of higher dimensional type amalgamation can always be witnessed by algebraic structures that we call n-ary polygroupoids. This generalizes a result of Hrushovski in [16] that failures of 4-amalgamation are witnessed by definable groupoids. The n-ary polygroupoids are definable in a mild expansion of the language.

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

The type-free property-theoretic system EC, based on the mediation view of predication, is presented. According to the mediation view, the copula or exemplification is a necessary component of every proposition. It is explained how the system EC relates to Bradley's Regress regarding predication. Finally, the system EC is applied to the Meinong-Russell debate on non-existent objects and it is shown how EC allows us to preserve some important intuitions of both Meinong and Russell.

This paper presents a type-free property-theoretic system in the spirit of a framework proposed by Menzel and then supplements it with a theory of truth and exemplification. The notions of a truth-relevantly complex (simple) sentence and of a truth-relevant subsentence are introduced and then used in order to motivate the proposed theory. Finally, it is shown how the theory avoids Russell's paradox and similar problems. Some potential applications to the foundations of mathematics and to natural language semantics are (...) sketched in the introduction. (shrink)

Even the most Parmenidean-minded of people recognize that quotidian objects somehow undergo change. This claim, nonetheless, is as clearly intuitive as it is apparently incompatible with one of our most widely believed logical principles, namely, Leibniz's Law. This paper focuses briefly on the metaphysical issue underlying this alleged incompatibility in order to provide elements for exploring its semantical counterpart: the analysis of the logical form of sentences attributing complementary temporal properties to current objects. Four analyses are presented, and the ability (...) of each to account for the linguistic data is explained. The semantical issue is preceded by some introductory remarks on the role of temporal references in the evaluation of declarative sentences. (shrink)

The general aim of this paper is to propose a reductionist strategy to higher-level property types. Starting from a common ground in the philosophy of science, I shall elaborate on possible realizer differences of higher-level property types. Because of the realizer types' causal heterogeneity, an introduction of functional sub-types of higher-level properties will be suggested. Each higher-level functional sub-type corresponds to one realizer type. This means that there is the theoretical possibility to reach some kind of (...) type-identity and this opens up the way for theory reduction in a more complete manner. This kind of type-identity will go beyond the common ground of the identity of tokens and their reductive explanation. In the second part of the paper, this reductionist strategy will be applied to a specific debate in the philosophy of biology — the reductionist approach to classical genetics from a molecular point of view. (shrink)

Due to the advance computer technology, the use of probability distributions has been raised up to solve the real life problems. These applications are found in reliability engineering, computer sciences, economics, psychology, survival analysis, and some others. This study offers a new probability model called Marshall–Olkin Extended Gumbel Type-II which can model various shapes of the failure rate function. The proposed distribution is capable to model increasing, decreasing, reverse J-shaped, and upside down bathtub shapes of the failure rate function. (...) Various statistical properties of the proposed distribution are derived such as alternate expressions for the density and distribution function, special cases of MOEGT-II distribution, quantile function, Lorenz curve, and Bonferroni curve. Estimation of the unknown parameters is carried out by the method of maximum likelihood. A simulation study is conducted using three different iterative methods with different samples of sizes n. The usefulness and potentiality of the MOEGT-II distribution have been shown using three real life data sets. The MOEGT-II distribution has been demonstrated as better fit than Exponentiated Gumbel Type-II, Marshall–Olkin Gumbel Type-II, Gumbel Type-II, Marshall–Olkin–Frechet, Frechet, Burr III, Log Logistic, Beta Inverse Weibull, and Kumaraswamy Inverse Weibull distributions. (shrink)

Higher-order logic, with its type-theoretic apparatus known as the simple theory of types (STT), has increasingly come to be employed in theorizing about properties, relations, and states of affairs—or ‘intensional entities’ for short. This paper argues against this employment of STT and offers an alternative: ordinal type theory (OTT). Very roughly, STT and OTT can be regarded as complementary simplifications of the ‘ramified theory of types’ outlined in the Introduction to Principia Mathematica (on a realist reading). While STT, (...) understood as a theory of intensional entities, retains the Fregean division of properties and relations into a multiplicity of categories according to their adicities and ‘input types’ and discards the division of intensional entities into different ‘orders’, OTT takes the opposite approach: it retains the hierarchy of orders (though with some modifications) and discards the categorisation of properties and relations according to their adicities and input types. In contrast to STT, this latter approach avoids intensional counterparts of the Epimenides and related paradoxes. Fundamental intensional entities lie at the base of the proposed hierarchy and are also given a prominent part to play in the individuation of non-fundamental intensional entities. (shrink)

Computational models of meaning trained on naturally occurring text successfully model human performance on tasks involving simple similarity measures, but they characterize meaning in terms of undifferentiated bags of words or topical dimensions. This has led some to question their psychological plausibility (Murphy, 2002;Schunn, 1999). We present here a fully automatic method for extracting a structured and comprehensive set of concept descriptions directly from an English part‐of‐speech‐tagged corpus. Concepts are characterized by weighted properties, enriched with concept–property types that approximate (...) classical relations such as hypernymy and function. Our model outperforms comparable algorithms in cognitive tasks pertaining not only to concept‐internal structures (discovering properties of concepts, grouping properties by property type) but also to inter‐concept relations (clustering into superordinates), suggesting the empirical validity of the property‐based approach. (shrink)

In set theory without the axiom of choice math formula, three-space type results for the Hahn-Banach property are provided. We deduce that for every Hausdorff compact scattered space K, the Banach space C of real continuous functions on K satisfies the continuous Hahn-Banach property in math formula. We also prove in math formula Rudin's theorem: “Radon measures on Hausdorff compact scattered spaces are discrete”.

Computational models of meaning trained on naturally occurring text successfully model human performance on tasks involving simple similarity measures, but they characterize meaning in terms of undifferentiated bags of words or topical dimensions. This has led some to question their psychological plausibility (Murphy, 2002;Schunn, 1999). We present here a fully automatic method for extracting a structured and comprehensive set of concept descriptions directly from an English part‐of‐speech‐tagged corpus. Concepts are characterized by weighted properties, enriched with concept–property types that approximate (...) classical relations such as hypernymy and function. Our model outperforms comparable algorithms in cognitive tasks pertaining not only to concept‐internal structures (discovering properties of concepts, grouping properties by property type) but also to inter‐concept relations (clustering into superordinates), suggesting the empirical validity of the property‐based approach. (shrink)

Given a regular infinite cardinal κ and a cardinal λ > κ, we study fine ideals H on Pκ that satisfy the square brackets partition relation equation image, where μ is a cardinal ≥2.

The political theory of the property-owning democracy can be seen as a way of overcoming the ideological conflict between individualism and collectivism. Rawls offers the contemporary reference-point for this theory. Rawls contrasted the ideal-type of the property-owning democracy with the ideal-type of a capitalist welfare state. However, the terms of that contrast are not well drawn and raise a number of questions, in particular regarding Rawls’s a priori specification of the welfare state. An inductively derived specification (...) of ideal-typical welfare states suggests that horizontal redistribution, in line with the principle of social savings, is more important than vertical redistribution. Rawls’s preference for a social dividend or negative income tax scheme can be contrasted with the use of social insurance, but the latter has a claim to instantiate Rawlsian ideals better than a social dividend. There is a potential problem with the pre-emption of private savings in the welfare state, but this turns out not to be troublesome empirically or conceptually. The irony of the discussion is that those who have interpreted Rawlsian theory as justifying the welfare state have the better of the argument, despite Rawls’s own views. (shrink)

This chapter contains sections titled: Redistributing Wealth, I: Taxing Large Estates and Incomes Redistributing Wealth, II: The Structure of Universal Assets Individual Assets versus Common Wealth Property‐Owning Democracy as an Incomplete Ideal Appendix: Accumulation of Capital Assets Over a 35‐Year Period References.

Any comprehensive discussion of property must draw on a range of disciplines - philosophy, politics, economics, and legal theory - and must address a number of fundamental questions: What is the nature of ownership, and should there be limits on the rights that attend it? Should property be held privately or in common, or should some combination of these two types of ownership prevail? To what extent does the legitimacy of a system of property depend on considerations (...) of economic efficiency or distributive justice? The essays in this volume examine these questions, as well as other important issues, from a variety of perspectives. Some explore the theory of original acquisition; others deal with the concept of self-ownership; still others look at legal or constitutional issues. (shrink)

According to David Chalmers, the virtual entities found in Virtual Reality (VR) and Augmented Reality (AR) environments instantiate virtual properties of a specific kind. It has recently been objected that such a view (i) can’t extend to all types of properties; (ii) leads to a proliferation of property-types; (iii) implausibly ascribes massive errors to VR and AR users; and (iv) faces an analogue of Jackson’s “many-property problem”. My first objective here is to show that advocates of virtual properties (...) can deal with each of these objections. The other goal of this paper is to examine the consequences of Chalmers’ theory in the particular case of AR. If we countenance virtual properties, AR highlights that non-virtual objects can possess both non-virtual and virtual properties. With AR, it also appears that a same non-virtual object can have different and even incompatible properties across augmented environments. Lastly, considering properties in light of AR highlights the risk of an “augmented solipsism”, and calls forth interesting questions about the persistence conditions of non-virtual objects in AR environments. (shrink)

Talk of different types of cells is commonplace in the biological sciences. We know a great deal, for example, about human muscle cells by studying the same type of cells in mice. Information about cell type is apparently largely projectible across species boundaries. But what defines cell type? Do cells come pre-packaged into different natural kinds? Philosophical attention to these questions has been extremely limited [see e.g., Wilson (Species: New Interdisciplinary Essays, pp 187–207, 1999; Genes and the (...) Agents of Life, 2005; Wilson et al. Philos Top 35(1/2):189–215, 2007)]. On the face of it, the problems we face in individuating cellular kinds resemble those biologists and philosophers of biology encountered in thinking about species: there are apparently many different (and interconnected) bases on which we might legitimately classify cells. We could, for example, focus on their developmental history (a sort of analogue to a species’ evolutionary history); or we might divide on the basis of certain structural features, functional role, location within larger systems, and so on. In this paper, I sketch an approach to cellular kinds inspired by Boyd’s Homeostatic Property Cluster Theory, applying some lessons from this application back to general questions about the nature of natural kinds. (shrink)

Guy Rohrbaugh and Allan Hazlett have provided two arguments against the thesis that musical works are types. In short, they assume that, according to our modal talk and intuitions, musical works are modally flexible entities; since types are modally inflexible entities, musical works are not types. I argue that Rohrbaugh’s and Hazlett’s arguments fail and that the type/token theorist can preserve the truth of our modal claims and intuitions even if types are modally inflexible entities. First, I consider two (...) alternatives for the type/token theorist proposed in recent literature about the topic: the created types’ solution and the created abstract objects’ solution. I argue that none of them is attractive for the type/token theorist because they do not preserve the theoretical advantages of type/token theories to explain musical works’ repeatable nature. Then, I focus on the arguments’ common premise that musical works are modally flexible entities. A deeper analysis of musical practice will show that this premise is not true: our modal claims do not imply that musical works could have had different intrinsic but, instead, extrinsic properties. Finally, I show how the nested types theory may offer a satisfactory explanation of this fact and how it captures the truth of our modal talk about musical works. (shrink)

The distinction between a type and its tokens is a useful metaphysical distinction. In §1 it is explained what it is, and what it is not. Its importance and wide applicability in linguistics, philosophy, science and everyday life are briefly surveyed in §2. Whether types are universals is discussed in §3. §4 discusses some other suggestions for what types are, both generally and specifically. Is a type the sets of its tokens? What exactly is a word, a symphony, (...) a species? §5 asks what a token is. §6 considers the relation between types and their tokens. Do the type and all its tokens share the same properties? Must all the tokens be alike in some or all respects? §7 explains some problems for the view that types exist, and some problems for the view that they don't. §8 elucidates a distinction often confused with the type-token distinction, that between a type (or token) and an occurrence of it. It also discusses some problems that occurrences might be thought to give rise to, and one way to resolve them. (shrink)

Theories of singular causation have a genuine problem with properties. In virtue of what property do events (or facts) cause other events? One possible answer to this question, Davidson’s, is that causal relations hold between particulars and properties play no role in the way a particular causes another. According to another, recently fashionable answer, in contrast, events cause other events in virtue of having a trope (as opposed to a property-type). Both views face serious objections. My aim (...) in this paper is to combine these two very different solutions to the problem of the properties of singular causation and to argue that this combined view can avoid objections against both of them. (shrink)

Blindsight is a kind of residual vision found in people with lesions to V1. Subjects with blindsight typically report no visual awareness, but they are nonetheless able to make above-chance guesses about the shape, location, color and movement of visual stimuli presented to them in their blind field. A different kind of blindsight, sometimes called type 2 blindsight, is a kind of residual vision found in patients with V1 lesions in the presence of some residual awareness. Type 2 (...) blindsight differs from ordinary visual experience in lacking the particularity, transparency and fine-grainedness often taken to be essential to visual experience, at least in veridical cases. I argue that the case of type 2 blindsight provides a counterexample to the view that these characteristics are essential to veridical visual experience and that this gives us reason to resist the view that visual experience is essentially a perceptual relation to external objects. In the second part of the paper I argue that the case of type 2 blindsight yields important insights into the effects of attentional modulation on perceptual content and that cases of attentional modulation of appearance are not at odds with the view that the phenomenology of visual experience flows from its content. (shrink)

Recent discussions of mental causation have focused on three principles: (1) Mental properties are (sometimes) causally relevant to physical effects; (2) mental properties are not physical properties; (3) every physical event has in its causal history only physical events and physical properties. Since these principles seem to be inconsistent, solutions have focused on rejecting one or more of them. But I argue that, in spite of appearances, (1)–(3) are not inconsistent. The reason is that 'properties' is used in different senses (...) in the principles. In (1) and (3), 'properties' should be read as 'tropes' (properties here are particulars), while in (2) 'properties' should read as 'types' (properties here are universals or classes). Although mental types are distinct from physical types, every mental trope is a physical trope. This allows mental properties to be causally relevant to physical effects without violating the closed character of the physical world. (shrink)

Revised and reprinted in Handbook of Philosophical Logic, volume 10, Dov Gabbay and Frans Guenthner (eds.), Dordrecht: Kluwer, (2003). -- Two sorts of property theory are distinguished, those dealing with intensional contexts property abstracts (infinitive and gerundive phrases) and proposition abstracts (‘that’-clauses) and those dealing with predication (or instantiation) relations. The first is deemed to be epistemologically more primary, for “the argument from intensional logic” is perhaps the best argument for the existence of properties. This argument is presented (...) in the course of discussing generality, quantifying-in, learnability, referential semantics, nominalism, conceptualism, realism, type-freedom, the first-order/higher-order controversy, names, indexicals, descriptions, Mates’ puzzle, and the paradox of analysis. Two first-order intensional logics are then formulated. Finally, fixed-point type-free theories of predication are discussed, especially their relation to the question whether properties may be identified with propositional functions. (shrink)

Revised and reprinted; originally in Dov Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic, Volume IV. Kluwer 133-251. -- Two sorts of property theory are distinguished, those dealing with intensional contexts property abstracts (infinitive and gerundive phrases) and proposition abstracts (‘that’-clauses) and those dealing with predication (or instantiation) relations. The first is deemed to be epistemologically more primary, for “the argument from intensional logic” is perhaps the best argument for the existence of properties. This argument is presented (...) in the course of discussing generality, quantifying-in, learnability, referential semantics, nominalism, conceptualism, realism, type-freedom, the first-order/higher-order controversy, names, indexicals, descriptions, Mates’ puzzle, and the paradox of analysis. Two first-order intensional logics are then formulated. Finally, fixed-point type-free theories of predication are discussed, especially their relation to the question whether properties may be identified with propositional functions. (shrink)

The property theory of musical works says that each musical work is a property that is instantiated by its occurrences, that is, the work's performances and playings. The property theory provides ontological explanations very similar to those given by its popular cousin, the type/token theory of musical works, but it is both simpler and stronger. However, type/token theorists often dismiss the property theory. In this essay, I formulate a version of the property theory (...) that identifies each type (thus, each musical work) with a unique property. I then scrutinize the arguments offered for thinking that types, including musical works, are distinct from properties. I respond that no such argument is forceful and conclude that the property theory of musical works is superior to the type/token theory. (shrink)

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)