There are many computational problems which are generally “easy” to solve but have certain rare examples which are much more difficult to solve. One approach to studying these problems is to ignore the difficult edge cases. Asymptotic computability is one of the formal tools that uses this approach to study these problems. Asymptotically computable sets can be thought of as almost computable sets, however every set is computationally equivalent to an almost computable set. Intrinsic density was introduced as (...) a way to get around this unsettling fact, and which will be our main focus.Of particular interest for the first half of this dissertation are the intrinsically small sets, the sets of intrinsic density $0$. While the bulk of the existing work concerning intrinsic density was focused on these sets, there were still many questions left unanswered. The first half of this dissertation answers some of these questions. We proved some useful closure properties for the intrinsically small sets and applied them to prove separations for the intrinsic variants of asymptotic computability. We also completely separated hyperimmunity and intrinsic smallness in the Turing degrees and resolved some open questions regarding the relativization of intrinsic density.For the second half of this dissertation, we turned our attention to the study of intermediate intrinsic density. We developed a calculus using noncomputable coding operations to construct examples of sets with intermediate intrinsic density. For almost all $r\in $, this construction yielded the first known example of a set with intrinsic density r which cannot compute a set random with respect to the r-Bernoulli measure. Motivated by the fact that intrinsic density coincides with the notion of injection stochasticity, we applied these techniques to study the structure of the more well-known notion of MWC-stochasticity.prepared by Justin Miller.E-mail: [email protected]: https://curate.nd.edu/show/6t053f4938w. (shrink)

Recent work in computability theory has focused on various notions of asymptotic computability, which capture the idea of a set being “almost computable.” One potentially upsetting result is that all four notions of asymptotic computability admit “almost computable” sets in every Turing degree via coding tricks, contradicting the notion that “almost computable” sets should be computationally close to the computable sets. In response, Astor introduced the notion of intrinsic density: a set has defined intrinsic density if (...) its image under any computable permutation has the same asymptotic density. Furthermore, introduced various notions of intrinsic computation in which the standard coding tricks cannot be used to embed intrinsically computable sets in every Turing degree. Our goal is to study the sets which are intrinsically small, i.e. those that have intrinsic density zero. We begin by studying which computable functions preserve intrinsic smallness. We also show that intrinsic smallness and hyperimmunity are computationally independent notions of smallness, i.e. any hyperimmune degree contains a Turing-equivalent hyperimmune set which is “as large as possible” and therefore not intrinsically small. Our discussion concludes by relativizing the notion of intrinsic smallness and discussing intrinsic computability as it relates to our study of intrinsic smallness. (shrink)

An equation proposed by Levy, Perdew and Sahni (Phys. Rev. A 30:2745, 1984) is an orbital-free formulation of density functional theory. However, this equation describes a bosonic system. Here, we analyze on a very fundamental level, how this equation could be extended to yield a formulation for a general fermionic distribution of charge and spin. This analysis starts at the level of single electrons and with the question, how spin actually comes into a charge distribution in a non-relativistic model. (...) To this end we present a space-time model of extended electrons, which is formulated in terms of geometric algebra. Wave properties of the electron are referred to mass density oscillations. We provide a comprehensive and non-statistical interpretation of wavefunctions, referring them to mass density components and internal field components. It is shown that these wavefunctions comply with the Schrödinger equation, for the free electron as well as for the electron in electrostatic and vector potentials. Spin-properties of the electron are referred to intrinsic field components and it is established that a measurement of spin in an external field yields exactly two possible results. However, it is also established that the spin of free electrons is isotropic, and that spin-dynamics of single electrons can be described by a modified Landau-Lifshitz equation. The model agrees with the results of standard theory concerning the hydrogen atom. Finally, we analyze many-electron systems and derive a set of coupled equations suitable to characterize the system without any reference to single electron states. The model is expected to have the greatest impact in condensed matter theory, where it allows to describe an N-electron system by a many-electron wavefunction Ψ of four, instead of 3N variables. The many-body aspect of a system is in this case encoded in a bivector potential. (shrink)

What is the proper metaphysics of quantum mechanics? In this dissertation, I approach the question from three different but related angles. First, I suggest that the quantum state can be understood intrinsically as relations holding among regions in ordinary space-time, from which we can recover the wave function uniquely up to an equivalence class (by representation and uniqueness theorems). The intrinsic account eliminates certain conventional elements (e.g. overall phase) in the representation of the quantum state. It also dispenses with (...) first-order quantification over mathematical objects, which goes some way towards making the quantum world safe for a nominalistic metaphysics suggested in Field (1980, 2016). Second, I argue that the fundamental space of the quantum world is the low-dimensional physical space and not the high-dimensional space isomorphic to the ``configuration space.'' My arguments are based on considerations about dynamics, empirical adequacy, and symmetries of the quantum mechanics. Third, I show that, when we consider quantum mechanics in a time-asymmetric universe (with a large entropy gradient), we obtain new theoretical and conceptual possibilities. In such a model, we can use the low-entropy boundary condition known as the Past Hypothesis (Albert, 2000) to pin down a natural initial quantum state of the universe. However, the universal quantum state is not a pure state but a mixed state, represented by a density matrix that is the normalized projection onto the Past Hypothesis subspace. This particular choice has interesting consequences for Humean supervenience, statistical mechanical probabilities, and theoretical unity. (shrink)

The aim of this paper is to offer a Henrian interpretation of the debate between Sartre and Merleau-Ponty concerning the place of the imaginary in the perceptive life. The hypothesis is that in Sartre, Merleau-Ponty and Henry, the role of the imaginary in the original affective experience which the perceptive life has of its own intrinsic vulnerability can be investigated on three levels: the articulation between the absolute dimension and the egological dimension of consciousness in Sartre, the genesis of (...) perception in the body in Merleau-Ponty, and the immanent adherence of the perceptive act to the radical suffering of its own force in Henry. From each of these three levels, the paper shows that without an imaginary in charge of bringing it back constantly to the experience of its own original vulnerability, the perceptive life is bound to lose the aff ective density of its relation to the perceived, and therefore is bound to become disincarnate. (shrink)

I describe how relativistic field theory generalizes the paradigm property of material systems, the possession of mass, to the requirement that they have a mass–energy–momentum density tensor T µ associated with them. I argue that T µ does not represent an intrinsic property of matter. For it will become evident that the definition of T µ depends on the metric field g µ in a variety of ways. Accordingly, since g µ represents the geometry of spacetime itself, the (...) properties of mass, stress, energy, and momentum should not be seen as intrinsic properties of matter, but as relational properties that material systems have only in virtue of their relation to spacetime structure. (shrink)

Quantum mechanics and probability theory share one peculiarity. Both have well established mathematical formalisms, yet both are subject to controversy about the meaning and interpretation of their basic concepts. Since probability plays a fundamental role in QM, the conceptual problems of one theory can affect the other. We first classify the interpretations of probability into three major classes: inferential probability, ensemble probability, and propensity. Class is the basis of inductive logic; deals with the frequencies of events in repeatable experiments; describes (...) a form of causality that is weaker than determinism. An important, but neglected, paper by P. Humphreys demonstrated that propensity must differ mathematically, as well as conceptually, from probability, but he did not develop a theory of propensity. Such a theory is developed in this paper. Propensity theory shares many, but not all, of the axioms of probability theory. As a consequence, propensity supports the Law of Large Numbers from probability theory, but does not support Bayes theorem. Although there are particular problems within QM to which any of the classes of probability may be applied, it is argued that the intrinsic quantum probabilities are most naturally interpreted as quantum propensities. This does not alter the familiar statistical interpretation of QM. But the interpretation of quantum states as representing knowledge is untenable. Examples show that a density matrix fails to represent knowledge. (shrink)

We consider a theory in which spacetime is a 4-dimensional manifold V4 embedded in an N-dimensional space VN. The dynamics is given by a first-order action which is a straightforward generalization of the well-known Nambu-Gotto string action. Instead of the latter action we then consider an equivalent action, a generalization of the Howe-Tucker action, which is a functional of the (extrinsic) embedding variables ηa(x) and of the (intrinsic) induced metric gυv (x) on V4. In the quantized theory we can (...) define an effective action by means of the Feynman path integral in which we functionally integrate over the embedding variables. What remains is functionally dependent solely on the induced metric. It is well known that the effective action so obtained contains the Ricci scalar R and its higher orders. But due to our special choice of a quantity, the so-called “matter” density ω(η) in VN entering the original first-order action, it turns out that the effective action contains also the source term. The latter is in general that of a p-dimensional membrane (p-brane). In particular we consider the case of bosonic point particles. Finally we discuss and clarify certain interpretational aspects of quantum mechanics from the viewpoint of our embedding model. (shrink)

According to Whitehead, nature is disclosed to mind by an ensemble of events characterized by unobservable hidden intrinsic factors (e.g., mass, gravitation) and observable extrinsic factors (e.g., motion, density). Mass is not the substratum of dynamics. It implies spatial extension and temporal duration, which are both necessary conditions of observable natural phenomena. Therefore, an instant, deprived of duration, is immeasurable. Whitehead’s claims on mass, space, and time corroborate Verlinde’s alternative conception of quantum gravitation. Within the de Sitter space-time, (...) this conception starts from the competition of the short distance degrees of freedom of the Ryn-Takanayagi tensor with long-distance thermalized excitations. This enables the creation of a baryonic mass and a decrease in de Sitter entropy. The memory effect of the original baryon creation leads to gravitation and the production of extensive thermodynamic entropy. However, the baryon production shrinks, and the dissipating space-time transforms into a space-timeless cold sink with an accompanying strong contracting memory effect. This is equivalent to the alternate motion of a giant Carnot engine, where the heat source and sink energy exchange produce the eternal periodic dynamics of the Universe. This suggests that the Universe did not start from Big Bang but oscillated eternally as a Big Bounce Universe. (shrink)

One of the most efficient predator-prey models with spatial effects is the one with ratio-dependent functional response. However, there is a need to further explore the effects of spatial motion on the dynamic behavior of population. In this work, we study a ratio-dependent predator-prey model with diffusion terms. The aim of this work is to investigate the changes in predator’s distribution in space as the prey populations change their mobility. We observe that the frequency diffusion of the prey gives rise (...) to the sparse density of the predator. Moreover, we also observe that the increasing rate of the conversion into predator biomass induces pattern transitions of the predator. Specifically speaking, Turing pattern of the predator populations goes gradually from a spotted pattern to a black-eye pattern, with the intermediate state being the mixture of spot and stripe pattern. The simulation results and analysis of this work illustrate that the diffusion rate and the real intrinsic factor influence the persistence of the predator-prey system mutually. (shrink)

From a certifier’s perspective, this paper deals with the question of how to bring together the values of producers and consumers in globalized food markets. It is argued that growth and mainstreaming of organic food production cannot be achieved solely by ethically aware consumers signalling their more sustainable purchase decision to the market. In fact, the intrinsic motivation of producers is an indispensable requisite for such a development. It is then the organic movement’s and the certifier’s task to bring (...) together the values of consumers and producers. This challenge is explored in the following by using the example of organic aquaculture. Based on one of the author’s experience in the field of aquaculture certification since the late 1990s, in about twenty countries and with most aquaculture animal species, the paper examines critical value-based aspects that are prominent from the perspective of sustainability. These are: use of problematic substances in aquaculture production, stocking density, origin of feedstuff, certification procedure, and small-scale farming versus large aquaculture companies. On this basis, the paper describes and analyses attempts to formulate respective organic certification standards. In order to bring about organic aquaculture, it is argued that consumers’ choices alone are not sufficient and that successful transformation to sustainable aquaculture also needs to take into account values and preferences of producers. (shrink)

Both theory and experiments indicate that the vacuum is not a state of empty space, but is populated by electromagnetic fluctuations at a lowest nonzero level, the Zero Point Energy (ZPE). This debouches into considerable changes of fundamental physics, as shown by a revised quantum electrodynamic theory (RQED) applied to elementary particles, and by a revised ZPE frequency spectrum applied to the expanding universe. The Standard Model based on a vacuum state of empty space is thus replaced by RQED, thereby (...) resulting in massive elementary particles from the beginning, independently of the theory by Higgs. Also the basic properties of the Higgs-like particle detected at CERN can be reproduced by RQED. It further leads to new fundamental results beyond the theories by Dirac and Higgs, such as to a deduced value of the elementary net charge, magnetic confinement of charged particle configurations, intrinsic local particle charges, photon spin with a very small but nonzero photon rest mass, and needle-like particle-wave properties which contribute to the understanding of the photoelectric effect and two-slit experiments. The real macroscopic pressure due to the revised ZPE frequency distribution further influences the dynamics of the expanding universe, by the ZPE photon pressure gradient acting as dark energy, and the ZPE photon energy density acting as dark matter. This results in a model being consistent with the observed scale, the rate of expansion, and the stability of a flat expanding observable universe. EWW141009DXN. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:George M. Wilson EDWARD SAID ON CONTRAPUNTAL READING Edward Said's rich and powerful new book, Culture and Imperialism,1 offers, as one strand of its multifaceted discussion, methodological reflections on the reading and interpretation of works of narrative fiction. More specifically, Said delineates and defends what he calls a "contrapuntal" reading (or analysis) ofthe texts in question. I am sympathetic to much ofwhat Said aims to accomplish in tiiis endeavor, (...) but I am also puzzled about some key aspects of his proposal. I will begin by presenting a brief sketch of my understanding of what a contrapuntal reading involves, and I will tiien explain some of the doubts and puzzlement I feel. Unfortunately, there is much that Said says about even diis limited topic that I will have to by-pass, but I hope to say enough to initiate some helpful discussion of the issues. I should note that aldiough the topic of "contrapuntal reading" recurs with significant emphasis throughout his book, Said's direct explication of the enterprise is scattered across several chapters, and the relevant remarks tend to be, in each instance, fairly brief. Given this state of affairs, I have tried to extract a reasonably unified account from a wide range of passages, and I hope to have done so as sympadietically and accurately as possible. Nevertheless, die fact remains that what follows is my reconstruction of the view diat Said adumbrates. Contrapuntal readings are meant to interweave, mutually qualify, and above all, superimpose die legitimate claims ofinternal or intrinsic readings of a work, on the one hand, and the claims ofvarious forms of external critique, on the odier. Such readings rest upon the fact that any literary fiction refers to or depicts a complex of materials that have been drawn from the actual world, e.g., actual people, places, institutions, and practices. These items are taken up and variously deployed Philosophy and Literature, © 1994, 18: 265-273 266Philosophy and Literature within the wider imaginative project of the work. It is crucial to this deployment tiiat the intended audience can be expected to bring to the text a set of background "attitudes" concerning die relevant real world materials, and tiiat diese beliefs, concerns, ideological presuppositions, etc., are elaborated widiin die work's embedded patterns. Thus, die text is anchored in what Said calls "a structure of reference and attitude," and diis structure constitutes die base from which a contrapuntal reading chiefly proceeds. Reading contrapuntally, interpreters move back and forth between an internal and external standpoint on the work's imaginative project, with special attention to the structure of reference and attitudes it contains. From an internal standpoint, interpretation aims at explanation of the work's narrational, rhetorical, and linguistic strategies, an explanation that respects the strategies and die density of the textual elements tiiey implicate. It is important that the internal standpoint articulate die work's vision as compellingly as possible, not only because diis has an obvious interest of its own, but because the persuasiveness ofcommentary from an external standpoint depends upon giving full credit to the sophistication of the text. (We will return to diis point shortly.) An external standpoint examines the problematic seductiveness of die work's capacity to guide its audience's responses and seeks to define die limited degrees of freedom widiin whatever complexity it establishes. By reminding us of information about the structure of reference that die work ignores, distorts, or minimizes and by reminding us that the structure of invoked attitudes has plausible alternatives that the work has effectively excluded, die external standpoint situates the text critically within a wider field of imaginative possibilities. As Said formulates the point, we read from an external perspective "... with an effort to draw out, extend, give emphasis and voice to what is silent or marginally present or ideologically represented" in die work" (CUfI, p. 66). In elaborating the account above, I have spoken of "intrinsic readings " of narrative fictions, and it will help to fill in my sketch if I specify the fairly standard conception I have in mind. Said does not address diis as a separate topic, but I believe that die following remarks are fully compatible with what he seems... (shrink)

The role of fixed charges present at the surface of biological membranes is usually described by the Gouy-Chapman-Grahame theory of the electric double-layer where the Grahame equation is applied independently on each side of the membrane and where the capacitive charges are disregarded. In this article, we generalize the Gouy-Chapman-Grahame theory by taking into account both intrinsic charges and capacitive charges, in the density value of the membrane surface charges. In the first part, we show that capacitive charges (...) couple electrostatic potentials present on both sides of the membrane. The intensity of this coupling depends both on the value of the membrane specific capacitance and the transmembrane electric potential difference. In the second part, we suggest some physiological implications of membrane electric double-layers. (shrink)

Realism about quantum theory naturally leads to realism about the quantum state of the universe. It leaves open whether it is a pure state represented by a wave function, or an impure (mixed) one represented by a density matrix. I characterize and elaborate on Density Matrix Realism, the thesis that the universal quantum state is objective but can be impure. To clarify the thesis, I compare it with Wave Function Realism, explain the conditions under which they are empirically (...) equivalent, consider two generalizations of Density Matrix Realism, and answer some frequently asked questions. I end by highlighting an implication for scientific realism. (shrink)

If the density matrix is treated as an objective description of individual systems, it may become possible to attribute the same objective significance to statistical mechanical properties, such as entropy or temperature, as to properties such as mass or energy. It is shown that the de Broglie--Bohm interpretation of quantum theory can be consistently applied to density matrices as a description of individual systems. The resultant trajectories are examined for the case of the delayed choice interferometer, for which (...) Bell [Int. J. Quantum chem. 155--159, (1980)] appears to suggest that such an interpretation is not possible. Bell’s argument is shown to be based upon a different understanding of the density matrix to that proposed here. (shrink)

Nelson Goodman’s theory of symbol systems expounded in his Languages of Art has been frequently criticized on many counts (cf. list of secondary literature in the entry “Goodman’s Aesthetics” of Stanford Encyclopedia of Philosophy and Sect. 3 below). Yet it exerts a strong influence and is treated as one of the major twentieth-century theories on the subject. While many of Goodman’s controversial theses are criticized, the technical notions he used to formulate them seem to have been treated as neutral tools. (...) One such technical notion is that of the density of symbol systems. This serves to distinguish linguistic symbols from pictorial representations (after Goodman entirely rejected resemblance in that role) and is a crucial part of Goodman’s explanation of what constitutes aesthetic experience (and so indirectly what is art). Thus its significance for Goodman’s theory is fundamental. The aim of this paper is a detailed, logical analysis of this notion. It turns out that Goodman’s definition is highly problematic and cannot be applied to symbol systems in the way Goodman envisaged. To conclude, Goodman’s theory is problematic not just because of its controversial theses but also because of logical problems with the technical notions used at its very core. Hence the controversial claims are not simply contestable, but inaccurately expressed. (shrink)

The partial ordering of Medvedev reducibility restricted to the family of Π0 1 classes is shown to be dense. For two disjoint computably enumerable sets, the class of separating sets is an important example of a Π0 1 class, which we call a ``c.e. separating class''. We show that there are no non-trivial meets for c.e. separating classes, but that the density theorem holds in the sublattice generated by the c.e. separating classes.

In this paper we prove that the preordering $\lesssim $ of provable implication over any recursively enumerable theory $T$ containing a modicum of arithmetic is uniformly dense. This means that we can find a recursive extensional density function $F$ for $\lesssim $. A recursive function $F$ is a density function if it computes, for $A$ and $B$ with $A\lnsim B$, an element $C$ such that $A\lnsim C\lnsim B$. The function is extensional if it preserves $T$-provable equivalence. Secondly, we (...) prove a general result that implies that, for extensions of elementary arithmetic, the ordering $\lesssim $ restricted to $\Sigma_{n}$-sentences is uniformly dense. In the last section we provide historical notes and background material. (shrink)

The following strong form of density of definable types is introduced for theoriesTadmitting a fibered dimension functiond: given a modelMofTand a definable setX⊆Mn, there is a definable typepinX, definable over a code forXand of the samed-dimension asX. Both o-minimal theories and the theory of closed ordered differential fields are shown to have this property. As an application, we derive a new proof of elimination of imaginaries for CODF.

Concerning Post's problem for Kleene degrees and its relativization, Hrbacek showed in [1] and [2] that if V = L, then Kleene degrees of coanalytic sets are dense, and then for all K ⊆ωω, there are N1 sets which are Kleene semirecursive in K and not Kleene recursive in each other and K. But the density of Kleene semirecursive in K Kleene degrees is not obtained from these theorems. In this note, we extend these theorems by showing that if (...) V = L, then for all K ⊆ ωω, Kleene semirecursive in K Kleene degrees are dense above K. (shrink)

Several intrinsic/extrinsic distinctions amongst properties, current in the literature, are discussed and contrasted. The proponents of such distinctions tend to present them as competing, but it is suggested here that at least three of the relevant distinctions (including here that between non-relational and relational properties) arise out of separate perfectly legitimate intuitive considerations: though of course different proposed explications of the informal distinctions involved in any one case may well conflict. Special attention is paid to the question of whether (...) a single notion of property is capable of supporting the various distinctions. (shrink)

We clarify different definitions of the density matrix by proposing the use of different names, the full density matrix for a single-closed quantum system, the compressed density matrix for the averaged single molecule state from an ensemble of molecules, and the reduced density matrix for a part of an entangled quantum system, respectively. We show that ensembles with the same compressed density matrix can be physically distinguished by observing fluctuations of various observables. This is in (...) contrast to a general belief that ensembles with the same compressed density matrix are identical. Explicit expression for the fluctuation of an observable in a specified ensemble is given. We have discussed the nature of nuclear magnetic resonance quantum computing. We show that the conclusion that there is no quantum entanglement in the current nuclear magnetic resonance quantum computing experiment is based on the unjustified belief that ensembles having the same compressed density matrix are identical physically. Related issues in quantum communication are also discussed. (shrink)

Uniqueness appears to enhance intrinsic value. A unique stamp sells for millions of dollars; Stradivarius violins are all the more precious because they are unlike any others. This observation has not gone overlooked in the value theory literature: uniqueness plays a starring role recalibrating the dominant Moorean understanding of the nature of intrinsic value. But the thesis that uniqueness enhances intrinsic value is in tension with another deeply plausible and widely held thesis, namely the thesis that there (...) is a pro tanto reason to promote the good. It is argued that there is a second, distinct type of uniqueness that plays a more interesting and important axiological role: uniqueness imparts irreplaceable value. This gives occasion to develop the surprisingly undertheorized notion of irreplaceable value. (shrink)

According to the dominant philosophical tradition, intrinsic value must depend solely upon intrinsic properties. By appealing to various examples, however, I argue that we should at least leave open the possibility that in some cases intrinsic value may be based in part on relational properties. Indeed, I argue that we should even be open to the possibility that an object''s intrinsic value may sometimes depend (in part) on its instrumental value. If this is right, of course, (...) then the traditional contrast between intrinsic value and instrumental value is mistaken. (shrink)

Erik Wielenberg [2014] and Mark Murphy [2017], [2018] have defended a series of arguments for the conclusion that creatures are not good intrinsically. In response, I take two steps. First, I introduce a conception of intrinsic value that makes created intrinsic value unproblematic. Second, I respond to their arguments in turn. The first argument is from the sovereignty-aseity intuition and an analysis of intrinsicality that makes derivative good extrinsic. I challenge the analysis. The second comes from a conception (...) of perfection where God exhausts all possibilities for goodness. I challenge this conception. The third comes from the contingency of creation and the internal logic of intrinsic value. I challenge the assumption that connects the two. I then present an argument from reference magnetism that the only conception of God, God's perfections, and religious language that makes it plausible that the sentence "God is intrinsically good and creatures are not" is true involves a strongly univocalist position. A view that is either unstatable or places strong demands on our conception of God, God's perfections and religious language thereby loses plausibility. (shrink)

Most people who believe in temporal parts believe that the referents of our ordinary referring terms, like Bill Clinton, or that table, are fusions of temporal parts from past, present and future times. Call these fusions worms, and the theory that the referents of ordinary referring terms (ordinary objects) the worm theory. Buying the metaphysical theory of temporal parts does not immediately imply that we must buy the worm theory. Theodore Sider (1996, 2000), for example, has suggested that these ordinary (...) referring terms just pick out a single, instantaneous, temporal part. Sider’s theory, called the stage theory, solves some pressing philosophical problems, including the problem of temporary intrinsics. But the stage theory has several difficulties of its own, especially what I will call the problem of long-term intrinsics. I argue for a rival theory, the growing individuals theory. On this theory, the referents of our ordinary referring terms have past and present temporal parts, but not future temporal parts. This theory best accounts for our intuitions about which intrinsic properties ordinary objects have. (shrink)

In "How to Define Intrinsic Properties" I offered a relational account of the intrinsic/extrinsic distinction. The basic idea is that F is an intrinsic property of an item x just in case x’s having F consists entirely in x’s having certain internal properties, where an internal property is one whose instantiation does not consist in one’s relation to any distinct items (items other than oneself and one’s proper parts). I still think that this relational analysis is largely (...) correct, and here I provide additional support for it and defend it against some objections that have been raised. In the process I aim to make the account somewhat more precise, especially by contrasting it with a grounding approach to defining the intrinsic/extrinsic distinction. (shrink)

We have some of our properties purely in virtue of the way we are. (Our mass is an example.) We have other properties in virtue of the way we interact with the world. (Our weight is an example.) The former are the intrinsic properties, the latter are the extrinsic properties. This seems to be an intuitive enough distinction to grasp, and hence the intuitive distinction has made its way into many discussions in philosophy, including discussions in ethics, philosophy of (...) mind, metaphysics, epistemology and philosophy of physics. Unfortunately, when we look more closely at the intuitive distinction, we find reason to suspect that it conflates a few related distinctions, and that each of these distinctions is somewhat resistant to analysis. (shrink)

We classify the asymptotic densities of the sets according to their level in the Ershov hierarchy. In particular, it is shown that for, a real is the density of an n‐c.e. set if and only if it is a difference of left‐ reals. Further, we show that the densities of the ω‐c.e. sets coincide with the densities of the sets, and there are ω‐c.e. sets whose density is not the density of an n‐c.e. set for any.

It is well known that density matrices can be used in quantum mechanics to represent the information available to an observer about either a system with a random wave function (“statistical mixture”) or a system that is entangled with another system (“reduced density matrix”). We point out another role, previously unnoticed in the literature, that a density matrix can play: it can be the “conditional density matrix,” conditional on the configuration of the environment. A precise definition (...) can be given in the context of Bohmian mechanics, whereas orthodox quantum mechanics is too vague to allow a sharp definition, except perhaps in special cases. In contrast to statistical and reduced density matrices, forming the conditional density matrix involves no averaging. In Bohmian mechanics with spin, the conditional density matrix replaces the notion of conditional wave function, as the object with the same dynamical significance as the wave function of a Bohmian system. (shrink)

We study connections between classical asymptotic density, computability and computable enumerability. In an earlier paper, the second two authors proved that there is a computably enumerable set A of density 1 with no computable subset of density 1. In the current paper, we extend this result in three different ways: The degrees of such sets A are precisely the nonlow c.e. degrees. There is a c.e. set A of density 1 with no computable subset of nonzero (...) density. There is a c.e. set A of density 1 such that every subset of A of density 1 is of high degree. We also study the extent to which c.e. sets A can be approximated by their computable subsets B in the sense that A\B has small density. There is a very close connection between the computational complexity of a set and the arithmetical complexity of its density and we characterize the lower densities, upper densities and densities of both computable and computably enumerable sets. We also study the notion of "computable at density r" where r is a real in the unit interval. Finally, we study connections between density and classical smallness notions such as immunity, hyperimmunity, and cohesiveness. (shrink)

This paper proposes a formalization of the class of sentences quantified by most, which is also interpreted as proportion of or majority of depending on the domain of discourse. We consider sentences of the form “Most A are B”, where A and B are plural nouns and the interpretations of A and B are infinite subsets of \. There are two widely used semantics for Most A are B: \ > C \) and \ > \dfrac{C}{2} \), where C denotes (...) the cardinality of a given finite set X. Although is more descriptive than, it also produces a considerable amount of insensitivity for certain sets. Since the quantifier most has a solid cardinal behaviour under the interpretation majority and has a slightly more statistical behaviour under the interpretation proportional of, we consider an alternative approach in deciding quantity-related statements regarding infinite sets. For this we introduce a new semantics using natural density for sentences in which interpretations of their nouns are infinite subsets of \, along with a list of the axiomatization of the concept of natural density. In other words, we take the standard definition of the semantics of most but define it as applying to finite approximations of infinite sets computed to the limit. (shrink)

This paper provides an analysis of the intrinsic/extrinsic distinction, as applied both to properties and to relations. In contrast to other accounts, the approach taken here locates the source of a property’s intrinsicality or extrinsicality in the manner in which that property is ‘logically constituted’, and thus – plausibly – in its nature or essence, rather than in e.g. its modal profile. Another respect in which the present proposal differs from many extant analyses lies in the fact that it (...) does not seek to analyse the ‘global’ distinction between intrinsic and extrinsic properties on the basis of the ‘local’ distinction between having a property intrinsically and having it extrinsically. Instead, the latter distinction is explicated on the basis of the former. (shrink)

In noun phrase coordinate constructions, there is a strong tendency for the syntactic structure of the second conjunct to match that of the first; the second conjunct in such constructions is therefore low in syntactic information. The theory of uniform information density predicts that low-information syntactic constructions will be counterbalanced by high information in other aspects of that part of the sentence, and high-information constructions will be counterbalanced by other low-information components. Three predictions follow: lexical probabilities will be lower (...) in second conjuncts than first conjuncts; lexical probabilities will be lower in matching second conjuncts than nonmatching ones; and syntactic repetition should be especially common for low-frequency NP expansions. Corpus analysis provides support for all three of these predictions. (shrink)

This paper presents some finite combinatorics of set systems with applications to model theory, particularly the study of dependent theories. There are two main results. First, we give a way of producing lower bounds on $\mathrm {VC}_{\mathrm {ind}}$-density and use it to compute the exact $\mathrm {VC}_{\mathrm {ind}}$-density of polynomial inequalities and a variety of geometric set families. The main technical tool used is the notion of a maximum set system, which we juxtapose to indiscernibles. In the second (...) part of the paper we give a maximum set system analogue to Shelah’s characterization of stability using indiscernible sequences. (shrink)

We prove several theorems about the cardinal $\mathfrak{g}$ associated with groupwise density. With respect to a natural ordering of families of nond-ecreasing maps fromω toω, all families of size $< \mathfrak{g}$ are below all unbounded families. With respect to a natural ordering of filters onω, all filters generated by $< \mathfrak{g}$ sets are below all non-feeble filters. If $\mathfrak{u}< \mathfrak{g}$ then $\mathfrak{b}< \mathfrak{u}$ and $\mathfrak{g} = \mathfrak{d} = \mathfrak{c}$ . (The definitions of these cardinals are recalled in the introduction.) (...) Finally, some consequences deduced from $\mathfrak{u}< \mathfrak{g}$ by Laflamme are shown to be equivalent to $\mathfrak{u}< \mathfrak{g}$. (shrink)

The main result of this paper is an improvement of the upper bound on the cardinal invariant $cov^*(L_0)$ that was discovered in [11]. Here $L_0$ is the ideal of subsets of the set of natural numbers that have asymptotic density zero. This improved upper bound is also dualized to get a better lower bound on the cardinal $non^*(L_0)$. En route some variations on the splitting number are introduced and several relationships between these variants are proved.

Changing land-use patterns and amenity-driven migration have brought agriculture back into people’s lives, but there is a disconnection between the realities of production agriculture and romantic images attached to farming. To the extent that “rurality” is attached to farming, people may desire to live in rural places, but they may be unprepared for the realities of living near a working farm. Greater numbers of communities are facing “either/or” outcomes regarding the conversion of “open space” land to residential or commercial uses (...) versus landscape preservation. This study explored the perceptions and preferences of a community regarding the conversion of a hypothetical parcel of open space to a working dairy or to a residential subdivision. Results suggest that the opportunity costs of foregoing open space for residential development are high, with implications for valuing the conservation of traditions that are tied to the land versus conversion of land solely for development purposes. (shrink)

It is now standard to interpret symmetry-related models of physical theories as representing the same state of affairs. Recently, a debate has sprung up around the question when this interpretational move is warranted. In particular, Møller-Nielsen :1253–1264, 2017) has argued that one is only allowed to interpret symmetry-related models as physically equivalent when one has a characterisation of their common content. I disambiguate two versions of this claim. On the first, a perspicuous interpretation is required: an account of the models’ (...) common ontology. On the second, stricter, version of this claim, a perspicuous formalism is required in addition: one whose mathematical structures ‘intrinsically’ represent the physical world, in the sense of Field. Using Dewar’s :485–521, 2019) distinction between internal and external sophistication as a case study, I argue that the second requirement is decisive. This clarifies the conditions under which it is warranted to interpret symmetry-related models as physically equivalent. (shrink)

This essay addresses the relationship between Kant's theory of moral motivation and theories of normativity. Constructivist or "ideal agent" theories of normativity claim that what makes a principle normative is that rational agents endorse or possess a motive of a certain kind to comply with it, or that they endorse or possess such a motive to comply with it insofar as they are rational. Korsgaard has argued that Kant's "motivational analysis" of the concept of obligation in Grundlegung I provides an (...) argument for such a constructivist theory of normativity. In this examination of Korsgaard's argument, I defend two important modifications of the concept of "intrinsic normativity" and suggests that once these modifications are made, the motivational analysis argument fails to establish the constructivist claim that the normative authority of the supreme principle of morality is constituted by or depends solely upon agents' motivational states. While Kant's motivational analysis helps to reveal the nature of the alleged internal relation between the supreme principle of morality and the nature of the rational will, it does not demand the adoption of a constructivist theory of normativity. (shrink)

In Science Without Numbers (1980), Hartry Field defends a theory of quantity that, he claims, is able to provide both i) an intrinsic explanation of the structure of space, spacetime, and other quantitative properties, and ii) an intrinsic explanation of why certain numerical representations of quantities (distances, lengths, mass, temperature, etc.) are appropriate or acceptable while others are not. But several philosophers have argued otherwise. In this paper I focus on arguments from Ellis and Milne to the effect (...) that one cannot provide an account of quantity in ''purely intrinsic'' terms. I show, first, that these arguments are confused. Second, I show that Field's treatment of quantity can provide an intrinsic explanation of the structure of quantitative properties; what it cannot do is provide an intrinsic explanation of why certain numerical representations are more appropriate than others. Third, I show that one could provide an intrinsic explanation of this sort if one modified Field's account in certain ways. (shrink)

An important constraint on the nature of intrinsic value---the “Supervenience Principle” (SP)---holds that some object, event, or state of affairs ϕ is intrinsically valuable only if the value of ϕ supervenes entirely on ϕ 's intrinsic properties. In this paper, I argue that SP should be rejected. SP is inordinately restrictive. In particular, I argue that no SP-respecting conception of intrinsic value can accept the importance of psychological resonance, or the positive endorsement of persons, in explaining value.

In this essay we develop and argue for the adoption of a more comprehensive model of research ethics than is included within current conceptions of responsible conduct of research (RCR). We argue that our model, which we label the ethical dimensions of scientific research (EDSR), is a more comprehensive approach to encouraging ethically responsible scientific research compared to the currently typically adopted approach in RCR training. This essay focuses on developing a pedagogical approach that enables scientists to better understand and (...) appreciate one important component of this model, what we call intrinsic ethics . Intrinsic ethical issues arise when values and ethical assumptions are embedded within scientific findings and analytical methods. Through a close examination of a case study and its application in teaching, namely, evaluation of climate change integrated assessment models, this paper develops a method and case for including intrinsic ethics within research ethics training to provide scientists with a comprehensive understanding and appreciation of the critical role of values and ethical choices in the production of research outcomes. (shrink)

The principal aim of this paper is to defend a certain view about temporary properties from an important objection to that view. More specifically, I will be defending the view that ostensible temporary intrinsic properties are really relations between the things that have those properties and times. The objection is, roughly speaking, that by construing ostensible temporary intrinsics as relations to times, persisting things are impoverished, being clothed only by their essential (and perhaps also their permanent) intrinsic properties. (...) The worry is that the relations to times view moves us towards thinking of persisting particulars as being quite bare. I do not suggest that this is the only difficulty for the relations to times view (in fact, I uncover a potential problem for the view in Section 3), but it is an important one. If the objection is successfully addressed, then a significant obstacle to the relations to times view is overcome. (shrink)

Intrinsic value has traditionally been thought to lie at the heart of ethics. Philosophers use a number of terms to refer to such value. The intrinsic value of something is said to be the value that that thing has “in itself,” or “for its own sake,” or “as such,” or “in its own right.” Extrinsic value is value that is not intrinsic.