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

I discuss a strategy for grounding ethical naturalism propounded by Frank Jackson and more recently by Allan Gibbard: that the undisputed supervenience of the moral upon the natural (or descriptive) entails that moral properties are natural (or descriptive) properties. I show that this strategy falls foul of certain indubitable constraints governing natural kinds; and I then rebut some objections. The upshot is that no viable strategy for supporting ethical naturalism is to be found along these lines. This result (...) has additional consequences, both for Jackson's attempt to accommodate ethical discourse into the natural world, and for Gibbard's purported 'meta-ethical synthesis'. (shrink)

We contribute to the study of generalizations of the Perfect Set Property and the Baire Property to subsets of spaces of higher cardinalities, like the power set ${\mathcal {P}}({\lambda })$ of a singular cardinal $\lambda $ of countable cofinality or products $\prod _{i<\omega }\lambda _i$ for a strictly increasing sequence $\langle {\lambda _i}~\vert ~{i<\omega }\rangle $ of cardinals. We consider the question under which large cardinal hypothesis classes of definable subsets of these spaces possess such regularity properties, focusing (...) on rank-into-rank axioms and classes of sets definable by $\Sigma _1$ -formulas with parameters from various collections of sets. We prove that $\omega $ -many measurable cardinals, while sufficient to prove the perfect set property of all $\Sigma _1$ -definable sets with parameters in $V_\lambda \cup \{V_\lambda \}$, are not enough to prove it if there is a cofinal sequence in $\lambda $ in the parameters. For this conclusion, the existence of an I2-embedding is enough, but there are parameters in $V_{\lambda +1}$ for which I2 is still not enough. The situation is similar for the Baire property: under I2 all sets that are $\Sigma _1$ -definable using elements of $V_\lambda $ and a cofinal sequence as parameters have the Baire property, but I2 is not enough for some parameter in $V_{\lambda +1}$. Finally, the existence of an I0-embedding implies that all sets that are $\Sigma ^1_n$ -definable with parameters in $V_{\lambda +1}$ have the Baire property. (shrink)

We consider whether given a simple, finite description of a group in the form of an algorithm, it is possible to algorithmically determine if the corresponding group has some specified property or not. When there is such an algorithm, we say the property is recursively recognizable within some class of descriptions. When there is not, we ask how difficult it is to detect the property in an algorithmic sense. We consider descriptions of two sorts: first, recursive presentations (...) in terms of generators and relators, and second, algorithms for computing the group operation. For both classes of descriptions, we show that a large class of natural algebraic properties, Markov properties, are not recursively recognizable, indeed they are \-hard to detect in recursively presented groups and \-hard to detect in computable groups. These theorems suffice to give a sharp complexity measure for the detection problem of a number of typical group properties, for example, being abelian, torsion-free, orderable. Some properties, like being cyclic, nilpotent, or solvable, are much harder to detect, and we give sharp characterizations of the corresponding detection problems from a number of them. We give special attention to orderability properties, as this was a main motivation at the beginning of this project. (shrink)

The paper discusses some properties of system descriptions in action language – a recent extension of action language by defined fluents. We give a sufficient condition guaranteeing that states of an system description are fully determined by statics and inertial fluents. In system descriptions satisfying this condition, defined fluents simply facilitate the description of dynamic domains; they are not essential and can be eliminated. We use our sufficient condition to identify a common core of action languages and. This is an (...) expansion of the work of, who identified a common core of languages and. The results presented in this paper are based on the close relationship between action languages and the theory of logic programs under the answer set semantics. (shrink)

(1994). Bearers of properties in the quantum mechanical description of nature. International Studies in the Philosophy of Science: Vol. 8, No. 3, pp. 179-194.

The role of contingent contexts in formulating relations between properties of systems at different descriptive levels is addressed. Based on the distinction between necessary and sufficient conditions for interlevel relations, a comprehensive classification of such relations is proposed, providing a transparent conceptual framework for discussing particular versions of reduction, emergence, and supervenience. One of these versions, contextual emergence, is demonstrated using two physical examples: molecular structure and chirality, and thermal equilibrium and temperature. The concept of stability is emphasized as (...) a basic guiding principle of contextual property emergence. (shrink)

Various criteria for the natural/non-natural distinction have been suggested in metaethics. Shafer-Landau first claimed that natural properties are properties that are used in scientific disciplines. But firstly, this definition is not comprehensive, and secondly it is ambiguous; according to the second criterion, two lists must be prepared; the first list includes terms that most people consider to be natural. The terms that are not included in the first list, are transferred to the list of non-natural terms. I argue, however, that (...) this criterion also does not help in distinguishing natural properties from non-natural ones. If we wish to maintain Shafer-Landau’s view, we can find a criterion for natural properties using normative ethics. For example, by accepting Kant’s principle of humanity as a non-natural reality, those descriptive properties that follow from this principle can be the foundational properties for moral properties. But by presenting a serious criticism on Shafer-Landau’s metaethics and accepting views that are invulnerable to this critique, a criterion for the distinction of natural/non-natural in meta-ethics can be found. One of these views is Fitzpatrick’s view, according to which many of the aspects of the world that are empirically investigable are also inherently value-laden. Therefore, the world of human experience is a dual-aspect world. One of these aspects is natural and the other is non-natural. (shrink)

Scientists and philosophers frequently speak about levels of description, levels of explanation, and ontological levels. In this paper, I propose a unified framework for modelling levels. I give a general definition of a system of levels and show that it can accommodate descriptive, explanatory, and ontological notions of levels. I further illustrate the usefulness of this framework by applying it to some salient philosophical questions: (1) Is there a linear hierarchy of levels, with a fundamental level at the bottom? (...) And what does the answer to this question imply for physicalism, the thesis that everything supervenes on the physical? (2) Are there emergent properties? (3) Are higher-level descriptions reducible to lower-level ones? (4) Can the relationship between normative and non-normative domains be viewed as one involving levels? Although I use the terminology of “levels”, the proposed framework can also represent “scales”, “domains”, or “subject matters”, where these are not linearly but only partially ordered by relations of supervenience or inclusion. (shrink)

We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of the combination of prototypical concepts. The proposed logic relies on the logic of typicality ALC + TR, whose semantics is based on the notion of rational closure, as well as on the distributed semantics of probabilistic Description Logics, and is equipped with a cognitive heuristic used by humans for concept composition. We first extend the logic of typicality ALC + TR by typicality inclusions of the (...) form p :: T(C) v D, whose intuitive meaning is that “we believe with degree p about the fact that typical Cs are Ds”. As in the distributed semantics, we define different scenarios containing only some typicality inclusions, each one having a suitable probability. We then exploit such scenarios in order to ascribe typical properties to a concept C obtained as the combination of two prototypical concepts. We also show that reasoning in the proposed Description Logic is EXPTIME-complete as for the underlying standard Description Logic ALC. (shrink)

This chapter introduces the descriptive analogue of self-location. It argues that if a language contains predicates that apply to the properties it exemplifies, and it contains reflexive expressions that identify those properties, we have the makings of self-describing sentences that do for its descriptive vocabulary what self-locating acts do for spatial vocabulary.

This thesis is divided into three parts, the first and second ones focused on combinatorics and classification problems on discrete and geometrical objects in the context of descriptive set theory, and the third one on generalized descriptive set theory at singular cardinals of countable cofinality.Descriptive Set Theory (briefly: DST) is the study of definable subsets of Polish spaces, i.e., separable completely metrizable spaces. One of the major branches of DST is Borel reducibility, successfully used in the last (...) 30 years to solve and compare many classification problems. One of our goals is the classification of knots, very familiar and tangible objects in everyday life, which also play an important role in modern mathematics. The study of knots and their properties is known as knot theory. Our plan is to gain insight into knots using discrete objects, such as linear and circular orders. This approach was already exploited in [6]. The first part of this work is therefore devoted to countable linear orders and the study of the quasi-order of convex embeddability and its induced equivalence relation. We obtain both combinatorial and descriptive set-theoretic results. We also expand our research to the case of circular orders.Another objective of this first part is to extend the notion of convex embeddability on countable linear orders. We provide a family of quasi-orders of which embeddability is a particular case as well. We study these quasi-orders from a combinatorial point of view and analyse their complexity with respect to Borel reducibility. Furthermore, we extend the analysis of these quasi-orders to the set of uncountable linear orders.The second part of the project deals with classification problems on knots and $3$ -manifolds. The goal here is to apply the results obtained in the first part to the study of proper arcs and knots, establishing lower bounds for the complexity of some natural relations between these geometrical objects. We also obtain some combinatorial results which are particularly interesting when we restrict to the set of wild proper arcs and wild knots, classes which haven’t received much attention so far. These parts are included in the two preprints [4, 5] in collaboration with my supervisor Alberto Marcone, Luca Motto Ros (University of Torino), and Vadim Weinstein (University of Oulu).The second part of this work also includes the classification of non-compact $3$ -manifolds up to homeomorphism (the case of compact $3$ -manifolds has already been solved: indeed, there are only countably many $3$ -manifolds up to homeomorphism; see [7]), and that of Cantor sets of $\mathbb {R}^3$ up to conjugation (answering to Question 5.5 of [3]). Here we resort to algebraic tools. Stone duality gives a neat way to go back-and-forth between totally disconnected Polish spaces and countable Boolean algebras (see [1]). The main ingredient is the Stone space of all ultrafilters on a Boolean algebra. In this work we introduce a weaker concept which we call “blurry filter”. Using blurry filters instead of ultrafilters enables one to extend the class of spaces under consideration beyond totally disconnected. As an application of this method, we show that both homeomorphism on non-compact $3$ -manifolds and conjugation of Cantor sets in $\mathbb {R}^3$ are completely classifiable by countable structures. These results are part of an upcoming paper in collaboration with Vadim Weinstein.The last part of this thesis concerns the natural generalization of descriptive set theory that occurs when countable is replaced by uncountable, called Generalized Descriptive Set Theory (briefly: GDST). In particular, we focus on the case of GDST for a singular cardinal $\kappa $ of countable cofinality. The goal here is to study the generalizations of the Perfect Set Property and the Baire Property to subsets of spaces of higher cardinalities, like the power set $\mathcal {P}(\kappa )$. We consider the question under which large cardinal hypotheses classes of definable subsets of these spaces possess such regularity properties, focusing on rank-into-rank axioms, like I2, and classes of sets definable by $\Sigma _1$ -formulas with parameters from various collections of sets. The obtained results are included in [2], a joint work with my co-supervisor Vincenzo Dimonte and Philipp Lücke (University of Hamburg).Abstract prepared by Martina IannellaE-mail: [email protected]: https://air.uniud.it/handle/11390/1262824. (shrink)

Available from UMI in association with The British Library. ;A form of metaphysical inquiry is in this thesis both illustrated in detail and defended against the charge of issuing in statements which lack cognitive content. 'Categorial description' concerns the fundamental features of our conceptual scheme: the categories described are those of substance, accident, cause, space and time. ;Following Aristotle's distinction between primary and secondary substances, these two notions are addressed as equivalent to those individual or particular things and their kinds. (...) A particular thing is characterised as not being capable of occuring in the predicate position in a proposition; and as having criteria or principles of individuation and reidentification. Accidents or properties can appear in the predicate position and do not have criteria of identity. ;Secondary substances, or natural kinds, being a species of property, also fail to have criteria for individuation and reidentification. It follows that the recently revived Aristotelian essentialism, as exhibited in particular in the work of Kripke, fails to correctly characterise the category of natural kinds: in that theory, natural kinds have essential properties which enable individuation and reidentification across possible worlds. ;Efficient causation is described, against the background of the Locke-Hume dispute, as involving the concept of necessary connection between cause and effect. Rejecting the theory of Harre and Madden on causal powers, an approach by Mackie is defended whereby this connection is a reflection of our counterfactual thinking. The possible worlds essentialist approach of Lewis to counterfactuals is rejected too, as inadequate. ;Space and time, spatial and temporal relations, and places and moments in time are approached in terms of the other categories of particular and property. The obscurity of fit between these categories is identified as responsible for many philosophical puzzles concerning space and time: for example, McTaggart's 'proof' of the unreality of time; and the recent debate on the possibility of multiple times and multiple spaces. ;In the final chapter, the logical commitments of categorial description concerning conceptual relativism and the nature of reality in itself are explored. It is argued that, since categories are in large part responsible for the kinds of acts there are, a description of our categories is a description of reality itself. Since our categories do not involve the machinery of possible worlds offered by contemporary essentialist theories, those theories fail to describe reality. (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)

In view of the complexity of cyberbullying, this paper aims to address the linguistic and legal aspects of cyberbullying from an interdisciplinary perspective. Based on authentic data collected from real cases, we will expound on features, defining properties and legal remedies of cyberbullying in the countries that contribute to this special issue, such as Nigeria, France, Poland and China. Firstly, we will present an overview of cyberbullying and its definition, along with cyberbullying’s attributes. Next, we will cover the various forms (...) of cyberbullying, such as hate speech, harassment and trolling. Each of these forms of cyberbullying result in numerous outcomes, many of which are serious and, in the worst case, can result in a victim’s death. A discussion of such consequences and the legal remedies for cyberbullying will be provided. On a final note, the contributors seek to enrich the forthcoming studies on cyberbullying by offering suggestions towards descriptive adequacy of cyberbullying. (shrink)

Descriptive set theory and computability theory are closely-related fields of logic; both are oriented around a notion of descriptive complexity. However, the two fields typically consider objects of very different sizes; computability theory is principally concerned with subsets of the naturals, while descriptive set theory is interested primarily in subsets of the reals. In this paper, we apply a generalization of computability theory, admissible recursion theory, to consider the relative complexity of notions that are of interest in (...) descriptive set theory. In particular, we examine the perfect set property, determinacy, the Baire property, and Lebesgue measurability. We demonstrate that there is a separation of descriptive complexity between the perfect set property and determinacy for analytic sets of reals; we also show that the Baire property and Lebesgue measurability are both equivalent in complexity to the property of simply being a Borel set, for $\boldsymbol {\Sigma ^{1}_{2}}$ sets of reals. (shrink)

Psychometric properties of Attentional Control Scale: The preliminary study on a Polish sample The presented study was focused primarily on a psychometric analysis of the Attentional Control Scale, but they also enhanced the understanding of the role of effortful attentional skills in determining the individual well-being, general adaptation or emotional disorders. The analyses included basic item and scale descriptions as well as convergent and discriminant validity. 218 Polish undergraduate students completed the battery of the self-report techniques and two paper —pencil (...) attentional tests. Data revealed a unidimensional of a 20-item ACS. It can be used validly to assess long-term individual differences in attentional skills related to the voluntary executive functions. The analysis of content, internal and construct validity as well as reliability provided evidence of the scale's significant convergent and discriminant validity when correlated with attentional tests and other personality techniques. We found strong, systematic relations between the attentional control and selected measures of temperament, arousal, emotionality, and motivation. The results allow assuming that good attentional control, may protect individuals from the emotional disorders by regulating perceptual, conceptual, and response processing. (shrink)

Definite descriptions (e.g. 'The king of France in 1997', 'The teacher of Aristotle') do not stand for particulars. Or so I will assume. The semantic alternative has seemed to be that descriptions only have meaning within sentences: i.e., that their semantic contribution is given syncategorimatically. This doesn't seem right, however, because descriptions can be used and understood outside the context of any sentence. Nor is this use simply a matter of "ellipsis." Since descriptions do not denote particulars, but seem to (...) have a meaning in isolation, I propose that they be assigned generalized quantifiers as denotations — i.e. a kind of function, from sets/properties to propositions. I then defend the pragmatic plausibility of this proposal, using Relevance Theory. Specifically, I argue that, even taken as standing for generalized quantifiers, descriptions could still be used and understood in interpersonal communication. (shrink)

This paper presents rules of inference for a binary quantifier I for the formalisation of sentences containing definite descriptions within intuitionist positive free logic. I binds one variable and forms a formula from two formulas. Ix[F, G] means ‘The F is G’. The system is shown to have desirable proof-theoretic properties: it is proved that deductions in it can be brought into normal form. The discussion is rounded up by comparisons between the approach to the formalisation of definite descriptions recommended (...) here and the more usual approach that uses a term-forming operator ι, where ιxF means ‘the F’. (shrink)

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 a recent paper Horsten embarked on a journey along the limits of the domain of the unknowable. Rather than knowability simpliciter, he considered a priori knowability, and by the latter he meant absolute provability, i.e. provability that is not relativized to a formal system. He presented an argument for the conclusion that it is not absolutely provable that there is a natural number of which it is true but absolutely unprovable that it has a certain property. The argument (...) depends on a description principle. I will argue that the latter principle implies the knowability of all arithmetical truths. Therefore, Horsten's argument is either sound but its conclusion is trivial, or his argument is unsound. (shrink)

Frank Jackson has argued that, given plausible claims about supervenience, descriptive predicates and property identity, there are no irreducibly normative properties. Philosophers who think that there are such properties have made several objections to this argument. In this paper, I argue that all of these objections fail. I conclude that Jackson's argument shows that there are no irreducibly normative properties.

Legal scholars and philosophers have long been engaged in what has been called 'the pursuit of the holy grail of property' - the secret of the internal structure of property in law. Attempts to capture the idea of property have encountered two fundamental problems. First, it has been notoriously difficult to advance beyond the observation that property involves 'ownership' of 'things', with the incidents of ownership and the list of things owned an essentially descriptive task. (...) Second, it is difficult to explain the wildly inconsistent power that property rights - even when identified - seem to enjoy.In this book, Professor Underkuffler advances our understanding of what property is, as an idea, and the power that claimed property rights should have against competing public interests. There is, she argues, a deeper analytical structure of the idea of property that we can uncover, and - as a result of that discovery - deeper reasons that we can find for property's variable power. It is not a random or unprincipled event that property generally protects in cases involving land titles or patent claims, and fails to protect in cases involving environmental regulation or redistributive taxation. She argues that these results are driven - indeed, predetermined - by the nature of property, as an idea, and the conflicts of that idea with competing public interests. The implications of this book are far-reaching. It explains and justifies - on new grounds - why some property claims are traditionally powerful in law, and others not. It suggests how property rights in controversial or emerging areas should be treated, such as those involving the body as property, personal information as property, cultural property, and state redistributive claims. Finally, it establishes why the protection of property is, in fact, necessarily different from freedom of speech, freedom of religion, due process of law, and other rights - necessitating its different treatment, and lesser protection, as a constitutional right. (shrink)

Sometimes when we describe our own sensory experiences we seem to attribute to experience itself the same sorts of familiar properties – such as shape or colour – as we attribute to everyday physical objects. But how literally should we understand such descriptions? Can there really be phenomenal elements or aspects to an experience which are, for example, quite literally square? This paper examines how these questions connect to a wide range of different commitments and theories about the metaphysics of (...) mind. In particular, I consider whether there may be phenomenological reasons to accept or reject the idea that there are elements or aspects of conscious experience itself which instantiate familiar spatial properties. I also explore how some general theses about the nature of empirical properties can motivate different answers to these questions. (shrink)

Michael Devitt claims that the predicative material that constitutes complex referential expressions makes a semantic contribution to the proposition expressed. He thus deviates from direct referentialism, according to which every referential expression -either simple or complex- contributes just with an object to the proposition expressed, leaving the predicative material out of the semantic content. However, when dealing with misdescriptions, Devitt has suggested a pragmatic way out: the audience can understand what the speaker is referring to even if the object does (...) not fall under the corresponding description. From my perspective, this proposal questions the semantic validity of the predicative material, together with Devitt's original claim. In this paper, I propose a way to solve the problem posed by misdescriptions that appeals to the idea of epistemically relativized properties, according to which the properties ascribed to the object -by means of the predicative material- correspond to the way the speaker thinks of it and not to the way the object really is. Michael Devitt sostiene que el material predicativo que constituye las expresiones referenciales complejas hace un aporte semántico a la proposición expresada, alejándose así del referencialismo directo, para el cual toda expresión referencial -sea ésta simple o compleja- contribuye sólo con un objeto singular a la proposición expresada. Sin embargo, al enfrentarse al problema de las descripciones fallidas, Devitt ofrece una salida pragmática: el oyente comprende a qué se refiere el hablante aun cuando el objeto referido no caiga bajo la descripción utilizada. Esto pone en cuestión la validez semántica del material predicativo, desestimando la postura original de Devitt. En el trabajo propongo una solución a este problema, apelando a la idea de propiedades epistémicamente relativizadas, de acuerdo con la cual lo que se predica del objeto por medio del material predicativo corresponde a las creencias del hablante, y no a lo que el objeto realmente es. (shrink)

The separation, uniformization, and other properties of the Borel and projective hierarchies over hyperfinite sets are investigated and compared to the corresponding properties in classical descriptive set theory. The techniques used in this investigation also provide some results about countably determined sets and functions, as well as an improvement of an earlier theorem of Kunen and Miller.

The state-of-art research in the field of life’s organization confronts the need to investigate a number of interacting components, their properties and conditions of sustainable behaviour within a natural system. In biology, ecology and life sciences, the performance of such stable system is usually related to homeostasis, a property of the system to actively regulate its state within a certain allowable limits. In our previous work, we proposed a deterministic model for systems’ homeostasis. The model was based on dynamical (...) system’s theory and pairwise relationships of competition, amensalism and antagonism taken from theoretical biology and ecology. However, the present paper proposes a different dimension to our previous results based on the same model. In this paper, we introduce the influence of inter-component relationships in a system, wherein the impact is characterized by direction (neutral, positive, or negative) as well as its (absolute) value, or strength. This makes the model stochastic which, in our opinion, is more consistent with real-world elements affected by various random factors. The case study includes two examples from areas of hydrobiology and medicine. The models acquired for these cases enabled us to propose a convincing explanation for corresponding phenomena identified by different types of natural systems. (shrink)

This chapter gives a broad description of the nature of properties and explains the foundations of metaphysics. It provides general statements about properties and how they describe parts of a metaphysical environment. These properties are used to develop the theory of causal powers. The chapter also attempts to address the ‘rights’ and ‘wrongs’ of nominalism and realism, including selective realism and its properties. The chapter also introduces conceptual distinctions such as derivative-basic, first-order-higher-order, simple-complex, essential-necessary-accidental, extrinsic-intrinsic, and transferable-non-transferrable. Secondary definitions are (...) also given. (shrink)

We provide a mathematical description of quantum measurements with a finite exactness. The exactness of a quantum measurement is used as a new metric on the space of quantum states. This metric differs very much from the standard Euclidean metric. This is the so-called ultrametric. We show that a finite exactness of a quantum measurement cannot he described by real numbers. Therefore, we must change the basic number field. There exist nonequivalent ultrametric Hilbert space representations already in the finite-dimensional case (...) (compare with ideas of L. de Broglie). Different preparation procedures could generate nonequivalent representations. The Heisenberg uncertainty principle is a consequence of properties of a preparation procedure. The uncertainty principle “time-energy” is a consequence of the Schrödinger dynamics. (shrink)

The objectives of this paper are twofold. The first is to present a differentiation between two kinds of deferred uses of indexicals: those in which indexical utterances express singular propositions (I term them deferred reference proper) and those where they express general propositions (called descriptive uses of indexicals). The second objective is the analysis of the descriptive uses of indexicals. In contrast to Nunberg, who treats descriptive uses as a special case of deferred reference in which a (...) property contributes to the proposition expressed, I argue that examples in which a general proposition is indeed expressed by an indexical cannot be treated by assuming that the property is a deferred referent of the pronoun. I propose an analysis of descriptive uses of indexicals by means of a pragmatic mechanism of ‘descriptive anaphora’, which attempts to explain the special kind of contribution of the property retrieved from the context to the proposition that is characteristic of the descriptive interpretation. (shrink)

This paper proposes a semantic description of the linear step-like temporal multi-agent logic with the universal modality \(\mathcal{LTK}.sl_U\) based on the idea of non-reflexive non-transitive nature of time. We proved a finite model property and projective unification for this logic.

There seems a potential tension between Hume's naturalistic project and his normative ambitions. Hume adopts what I call a methodological naturalism: that is, the methodology of providing explanations for various phenomena based on natural properties and causes. This methodology takes the form of introducing ‘the experimental method of reasoning into moral subjects’, as stated in the subtitle of the Treatise; this ‘experimental method’ seems a paradigmatically descriptive one, and it remains unclear how Hume derives genuinely normative prescriptions from this (...) methodology. In resolving this problem, I will argue that Hume's naturalistic methodology – that is, his ‘experimental philosophy’, or what has come to be known as his experimental method – consists of the systematization of phenomena pertaining to human nature. In applying his experimental method to normative subjects, Hume systematizes our normative judgements, deriving general principles of normative justification; he then reflexivel... (shrink)

Context: Constructivist approaches to cognition have mostly been descriptive, and now face the challenge of specifying the mechanisms that may support the acquisition of knowledge. Departing from cognitivism, however, requires the development of a new functional framework that will support causal, powerful and goal-directed behavior in the context of the interaction between the organism and the environment. Problem: The properties affecting the computational power of this interaction are, however, unclear, and may include partial information from the environment, exploration, distributed (...) processing and aggregation of information, emergence of knowledge and directedness towards relevant information. Method: We posit that one path towards such a framework may be grounded in these properties, supported by dynamical systems. To assess this hypothesis, we describe computational models inspired from swarm intelligence, which we use as a metaphor to explore the practical implications of the properties highlighted. Results: Our results demonstrate that these properties may serve as the basis for complex operations, yielding the elaboration of knowledge and goal-directed behavior. Implications: This work highlights aspects of interaction that we believe ought to be taken into account when characterizing the possible mechanisms underlying cognition. The scope of the models we describe cannot go beyond that of a metaphor, however, and future work, theoretical and experimental, is required for further insight into the functional role of interaction with the environment for the elaboration of complex behavior. Constructivist content: Inspiration for this work stems from the constructivist impetus to account for knowledge acquisition based on interaction. (shrink)

In this paper, I criticize Bedau's definition of `diachronically emergent properties', which says that a property is a DEP if it can only be predicted by a simulation and is nominally emergent. I argue at length that this definition is not complete because it fails to eliminate trivial cases. I discuss the features that an additional criterion should meet in order to complete the definition and I develop a notion, salience, which together with the simulation requirement can be used (...) to characterize DEPs. In the second part of the paper, I sketch this notion. Basically, a property is salient when one can find an indicator, namely a descriptive function, that is such that its fitting description shifts from one elementary mathematical object to another when the property appears. Finally, I discuss restrictions that must be brought to what can count as DFs and EMOs if the definition of salience is to work and be non trivial. I conclude that salience can complete the definition of DEPs. (shrink)

This manuscript explores the orthogonality constraints on configurations and orbitals subject to the property that states are mutually orthogonal. The orthogonality constraints lead to properties that affect the description of chemical systems. When states are described as linear combinations of configurations, the coefficient matrix diagonalises S−1H. Therefore, single-configuration states are only possible in one-electron systems: non-orthogonal configurations yield single-configuration states only if S−1H is diagonal, but this would violate the orthonormalisation constraint. Further, the coefficient matrix is not constrained to (...) be square. Similarly, the orbitals used to construct configurations may also be orthogonal or non-orthogonal; orbitals are only required to be mutually orthogonal at the one-electron limit. Orthogonal orbitals are generally preferred due to their mathematical and conceptual simplicity, leading to fictitious unoccupied orbitals. Since the Fock operator is orthogonality agnostic, non-orthogonal orbitals can be generated by solving the Fock equation independently for each electron; the virtual orbitals produced by this conception are true excitation orbitals as they are eigensolutions of the Fock operator. Additionally, we show that the number of molecular orbitals generated is not restricted to the number of atomic orbitals employed in the computation. This manuscript explores the mathematical relationships that need to be satisfied under the various orthogonality regimes. We also present mathematical relationships that provide results that are independent of the orthogonality approximation within a particular computational method. (shrink)

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

Natural deduction systems with indefinite and definite descriptions (ε-terms and ι-terms) are presented, and interpreted in Martin-Löf's intensional type theory. The interpretations are formalizations of ideas which are implicit in the literature of constructive mathematics: if we have proved that an element with a certain property exists, we speak of 'the element such that the property holds' and refer by that phrase to the element constructed in the existence proof. In particular, we deviate from the practice of interpreting (...) descriptions by contextual definitions. (shrink)

This paper demonstrates that the progressive interpretation in Ga is an effect of the interaction between the imperfective aspect and a definite description of events. Crucially, the data from Ga point to the consequences of the view that definite descriptions of events encode the familiarity of the discourse referent and its uniqueness in bearing the property in question. Namely, they yield direct evidentiality and the necessary ongoingness of the event at the topic time. Thus, the paper identifies previously unattested (...) variation in the semantics of the progressive in a cross-linguistic perspective and shows that not only lexical but also grammatical aspect exhibits striking parallelisms with the nominal domain. (shrink)

This book surveys the leading modern theories of property - Lockean, libertarian, utilitarian/law-and-economics, personhood, Kantian and human flourishing - and then applies those theories to concrete contexts in which property issues have been especially controversial. These include redistribution, the right to exclude, regulatory takings, eminent domain and intellectual property. The book highlights the Aristotelian human flourishing theory of property, providing the most comprehensive and accessible introduction to that theory to date. The book's goal is neither to (...) cover every conceivable theory nor to discuss every possible facet of the theories covered. Instead, it aims to make the major property theories comprehensible to beginners, without sacrificing accuracy or sophistication. The book will be of particular interest to students seeking an accessible introduction to contemporary theories of property, but even specialists will benefit from the book's lucid descriptions of contemporary debates. (shrink)

“Aesthetic valuism” maintains that aesthetic properties harbor an ineliminable evaluative component, and that to correctly and sincerely apply an aesthetic predicate to a thing just is to give an appraisal of its aesthetic goodness or badness. Anti-valuism denies this, and holds that even in the identification and ascription of evaluatively-loaded aesthetic properties, such as beautiful or graceful, we may identify a non-evaluative, purely descriptive, and patently aesthetic form of judgment or discrimination. In this essay, I formulate a new definition (...) of aesthetic properties that is consistent with anti-valuism, in order to see how well it serves us, in comparison with a valuist definition that appears in the published philosophical literature. If my definition is at least as intuitively plausible as the valuist’s, it should be preferred. This is because the most complicated concept my definition asks you to understand is perceptual resemblance . Value is harder to understand, and we don’t make it very easy on ourselves if we use one mystery to define another . I end by reflecting on how my definition fits into wider aesthetic concerns. (shrink)

Hegel’s Philosophy of Law deals in theLaw section of the categories: person, property and contract. Research critically reconstructs this theory from a Marxist perspective. In the concept of person, first of all, the singular will is reduced to a solipsist will unrelated to intersubjectivity. Then, the concept of Hegelian property bases the private appropriation of property as the externalization of the singular will. This legal property guarantees the maintenance and reproduction of private property, that is, (...) it will guarantee the private accumulation of capital, Marx will say. Anyway, the theory of the contract would link the autonomy of the contracting wills, however, it is a mere appearance, because, in fact, the owners’ wills are under the domination of the capitalist market, as it is explained in Marx’s Capital. The theoretical deficit of Hegel’s Philosophy of Law in general is that the legal concepts of person and property correspond to the abstract will. Hegel describes the juridical description of the legal system of the modern state as the development of free will that legitimizes the asymmetry of civil society in its socioeconomic inequalities. (shrink)

In identifying intrinsic molecular chance and extrinsic adaptive pressures as the only causally relevant factors in the process of evolution, the theoretical perspective of the Modern Synthesis had a major impact on the perceived tenability of an ontology of dispositional properties. However, since the late 1970s, an increasing number of evolutionary biologists have challenged the descriptive and explanatory adequacy of this “chance alone, extrinsic only” understanding of evolutionary change. Because morphological studies of homology, convergence, and teratology have revealed a (...) space of possible forms and phylogenetic trajectories that is considerably more restricted than expected, evo-devo has focused on the causal contribution of intrinsic developmental processes to the course of evolution. Evo-devo’s investigation into the developmental structure of the modality of morphology – including both the possibility and impossibility of organismal form – has led to the utilisation of a number of dispositional concepts that emphasise the tendency of the evolutionary process to change along certain routes. In this sense, and in contrast to the perspective of the Modern Synthesis, evo-devo can be described as a “science of dispositions.” This chapter discusses the recent philosophical literature on dispositional properties in evo-devo, exploring debates about both the metaphysical and epistemological aspects of the central dispositional concepts utilised in contemporary evo-devo and addressing the epistemological question of how dispositional properties challenge existing explanatory models in evolutionary biology. (shrink)

Aesthetic properties are often thought to have either no evaluative component or an evaluative component that can be isolated from their descriptive component. The present article argues that this popular view is without adequate support. First, doubt is cast on the idea that some paradigmatic aesthetic properties are purely descriptive. Second, the idea that the evaluative component of an aesthetic property can always be neatly separated from its descriptive component is called into question. Meanwhile, a speculative (...) hypothesis is launched regarding the structure of being garish and being cacophonous. Finally, an explanation is given of how the issue of the structure of aesthetic properties bears on their reality and (presumed) response-dependence. (shrink)

This paper presents an experimental study on definite descriptions. According to the classical views, a definite description, i.e., a phrase of the form “the F”, has – roughly speaking - purely descriptive semantics, that is, it designates the object which uniquely (opt. uniquely in a context) satisfies the description. However, as several philosophers including Keith Donnellan have argued, there are uses of definite descriptions on which these expressions do not seem to designate objects which satisfy the descriptions. Namely, a (...) description may refer in some circumstances to an object which does not have the property from the description. This argument is called “the Argument from misdescription” and it is raised against the classical views on the semantics of definite descriptions. In our paper, we present an experimental study on misdescription and explored reactions of ordinary users of language to various statements involving misdescriptions. The results of our research indicate that the intuition of ordinary speakers is consistent with the prediction expressed in the Argument from misdescription. We argue that the most common pragmatic explanation of misdescription, appealing to Gricean distinction between saying and meaning, is unconvincing. We vote for an alternative semantic account of definite descriptions, on which a description “the F” designates an object being F, which is at the same time the most salient individual according to a contextually established ranking of salience. (shrink)