This article reviews the practices and differing sets of attitudes North Americans have taken with respect to fairness in international trade and proposes a set of common considerations for ongoing debates about these matters. After reviewing the asymmetrical relations between Canada, the United States, and Mexico and the impact of multilateral trade agreements on bilateral trade between these countries, the article looks at four typical normative views with respect to trade held by North Americans. These views variously emphasize concerns for (...) protectionism, liberal fair play, distributive justice, and dissent in the name of the environment or the working classes. Acknowledging that the debates over what is fair are not likely to be easily resolved, we call for open political processes that allow these debates to proceed, and we identify five common points of reference that might usefully inform these debates. These comprise (1) respect for flexibility, (2) the importance of institutions, (3) greater attention to the commutative justice principles for fair exchanges and corresponding guarantees so that all countries possess basic power to bargain on their own behalf, (4) the need to find fitting balance between local, national, regional, and international trade, and (5) more concern for the ways false pricing and abusive transfer pricing distort international trading relations. (shrink)

£ The existence of a model for a logic program is generally established by lattice-theoretic arguments. We present three examples to show that metric methods can often be used instead, generally in a direct, straightforward way. One example is a game program, which is not stratified or locally stratified, but which has a unique supported model whose existence is easily established using metric methods. The second example is a program without a unique supported model, but having a part that is (...) ‘well-behaved.’ The third example is a program in which one part depends on another, illustrating how modularity might be treated metrically. Finally we use ideas from this third example to prove a general result from [3]. The intention in presenting these examples and the theorem is to stimulate interest in.. (shrink)

We study Polish spaces for which a set of possible distances $A \subseteq R^+$ is fixed in advance. We determine, depending on the properties of A, the complexity of the collection of all Polish metric spaces with distances in A, obtaining also example of sets in some Wadge classes where not many natural examples are known. Moreover we describe the properties that A must have in order that all Polish spaces with distances in that set belong to a given class, (...) such as zero-dimensional, locally compact, etc. These results lead us to give a fairly complete description of the complexity, with respect to Borel reducibility and again depending on the properties of A, of the relations of isometry and isometric embeddability between these Polish spaces. (shrink)

We discuss the possible breakdown of Lorentz invariance—at distances greater than the Planck length—from both the theoretical and the phenomenological point of view. The theoretical tool to deal with such a problem is provided by a “deformation” of the Minkowski metric, with parameters dependent on the energy of the physical system considered. Such a deformed metric realizes, for any interaction, the “solidarity principle” between interactions and spacetime geometry (usually assumed for gravitation), according to which the peculiar features of every interaction (...) determine—locally—its own spacetinie structure. The generalized theory of relativity, based on the locally deformed Minkowski spacetime, is called “deformed special relativity” (DSR). In the first part of the paper, we give the foundations and the basic laws of DSR. In the second part, we analyze some experimental data, which admit an interpretation in terms of the DSR formalism and are, therefore, candidates for displaying a breakdown of the Lorentz symmetry. They are (i) the superluminal propagation of evanescent electromagnetic waves in waveguides, (ii) the meanlife of the KS 0, (iii) the Bose-Einstein correlation in pion production and (iv) the comparison of clock rates in the gravitational field of Earth. Such analysis provides us with the explicit forms of the related deformed metrics as functions of the energy, thus putting in evidence, in all four cases (and therefore for all four fundamental interactions), departures from the usual Minkowski metric. This preliminary evidence for a broken Lorentz invariance may be regarded as the signature of possible nonlocal effects involved in the processes examined. Moreover, the corresponding deformed metrics obtained by our analysis provide an effective dynamical description of the interactions (at least in the energy range considered). (shrink)

Drawing on a qualitative, multi-case study of three kinds of geographically tethered gig work—ride-hailing, delivery, and domestic services platforms—in the United States, I examine how workers anticipate the influences of metrics, live with metrics, and cope with algorithmic precarity. Data for this project include in-depth interviews with 50 gig workers about their efforts to interpret and manage metrics as part of their everyday work practices. The analysis reveals that participants were anxious about metrics primarily because of the disciplinary outcomes, that (...) are, the threat of job loss and the valued job features. It also directs attention to how workers felt and experienced customer-sourced ratings and system-generated behavioral metrics variously across platforms. Information asymmetries and the perceived lack of control also intensified a sense of powerlessness among participants. While participants articulated strategies that aimed at managing the uncertainty of customer-sourced ratings—and more precisely, the work-related uncertainty created by “difficult customers”—throughout service interactions, their feelings of anxiety could not be resolved. Furthermore, the (in)visibility of metrics, the settings of platform-mediated worker–customer interactions, and workers’ platform dependence contributed to the varying disciplinary power of metrics. The study contributes to understanding how metrics as affective measures mediate the trilateral relationship between platforms, workers, and customers in the gig economy. (shrink)

This study deals with the problem of radar waveform design based on the weighted mutual information and the difference of two mutual information metrics in signal-dependent interference. Since the target and clutter information are included in the received signal at the beginning of the design, DMI-based waveform is designed according to the following criterion: maximizing the MI between the received signal and target impulse response while minimizing the MI between the received signal and the clutter impulse response. This criterion is (...) equivalent to maximizing the difference between the first MI and the second MI. Then maximizing the difference of two types of MI is used as the objective function, and the optimization model with the transmitted waveform energy constraint is established. In order to solve it, we resort to maximum marginal allocation method to find the DMI-based waveform. Since DMI-based waveform does not allocate energy to the frequency band where the clutter power spectral density is greater than the target PSD, we propose to weight the MI-based waveform and DMI-based waveform to synthesize the final optimal waveform. It could provide different trade-offs between two types of MI. Simulation results show the proposed algorithm is valid. (shrink)

We present a formal derivation of the Mino–Sasaki–Tanaka–Quinn–Wald (MSTQW) equation describing the self-force on a (semi-) classical relativistic point mass moving under the influence of quantized linear metric perturbations on a curved background space–time. The curvature of the space–time implies that the dynamics of the particle and the field is history-dependent and as such requires a non-equilibrium formalism to ensure the consistent evolution of both particle and field, viz., the worldline influence functional and the closed- time-path (CTP) coarse-grained effective action. (...) In the spirit of effective field theory, we regularize the formally divergent self-force by smearing the local part of the retarded Green’s function and employing a quasi-local expansion. We derive the MSTQW–Langevin equations describing the perturbations of the particle’s worldline about its semi-classical trajectory resulting from interactions with the quantum fluctuations of the linear metric perturbations. Finally, we demonstrate that the quantum fluctuations of the field could, in principle, leave imprints on gravitational waveforms expected to be observed by gravitational interferometers, thereby encoding information about tree-level perturbative quantum gravity. (shrink)

Serious games have become an important tool to train individuals in a range of different skills. Importantly, serious games or gamified scenarios allow for simulating realistic time-critical situations to train and also assess individual performance. In this context, determining the user’s cognitive load during training seems crucial for predicting performance and potential adaptation of the training environment to improve training effectiveness. Therefore, it is important to identify in-game metrics sensitive to users’ cognitive load. According to Barrouillets’ time-based resource-sharing model, particularly (...) relevant for measuring cognitive load in time-critical situations, cognitive load does not depend solely on the complexity of actions but also on temporal aspects of a given task. In this study, we applied this idea to the context of a serious game by proposing in-game metrics for workload prediction that reflect a relation between the time during which participants’ attention is captured and the total time available for the task at hand. We used an emergency simulation serious game requiring management of time-critical situations. Forty-seven participants completed the emergency simulation and rated their workload using the NASA-TLX questionnaire. Results indicated that the proposed in-game metrics yielded significant associations both with subjective workload measures as well as with gaming performance. Moreover, we observed that a prediction model based solely on data from the first minutes of the gameplay predicted overall gaming performance with a classification accuracy significantly above chance level and not significantly different from a model based on subjective workload ratings. These results imply that in-game metrics may qualify for a real-time adaptation of a game-based learning environment. (shrink)

Research is done (mostly at universities) and funded (publicly and privately) in order to advance scientific and scholarly knowledge as well as to produce public benefits (technological and biomedical applications as well as educational and cultural ones). Research and researchers are accordingly funded not only to conduct their research, but to make their findings public, by publishing them. Their employment, salaries, careers and research funding depend on publishing their findings. This is what is often called "publish or perish.".

Different summarized shape indices, like mean shape index (MSI) and area weighted mean shape index (AWMSI) can change over multiple size scales. This variation is important to describe scale heterogeneity of landscapes, but the exact mathematical form of the dependence is rarely known. In this paper, the use of fractal geometry (by the perimeter and area Hausdorff dimensions) made us able to describe the scale dependence of these indices. Moreover, we showed how fractal dimensions can be deducted from existing MSI (...) and AWMSI data. In this way, the equality of a multiscale tabulated MSI and AWMSI dataset and two scale-invariant fractal dimensions has been demonstrated. (shrink)

The Principle of Dependent Choice is shown to be equivalent to: the Baire Category Theorem for Čech-complete spaces (or for complete metric spaces); the existence theorem for generic sets of forcing conditions; and a proof-theoretic principle that abstracts the "Henkin method" of proving deductive completeness of logical systems. The Rasiowa-Sikorski Lemma is shown to be equivalent to the conjunction of the Ultrafilter Theorem and the Baire Category Theorem for compact Hausdorff spaces.

This study investigates processing of interrogative filler-gap dependencies in which the filler integration site or gap is not directly subcategorized by the verb. This is the case when the wh-filler is a structural adjunct such as how or when rather than subject or object. Two self-paced reading experiments in English and Slovenian provide converging cross-linguistic evidence that wh-adjuncts elicit a kind of memory storage cost similar to that previously shown in the literature for wh-arguments. Experiment 1 investigates the storage costs (...) elicited by the adjunct when in Slovenian, and Experiment 2 the storage costs elicited by how quickly and why in English. The results support the class of theories of storage costs based on the metric in terms of incomplete phrase structure rules or incomplete syntactic head predictions. We also demonstrate that the endpoint of the storage cost for a wh-adjunct filler provides valuable processing evidence for its base structural position, the identification of which remains a murky issue in current grammatical research. (shrink)

This study investigates the characteristics of the generalized gravitation equation in a complex spacetime manifold. The newly applied complex spacetime coordinates were designed to integrate peculiar velocity and the receding velocity of the particle into a single coordinate system. On this basis, the Schwarzschild metric solution was extended to a complexified version, and a generalized geodesic equation was derived in the complex spacetime manifold. It was found from the derived gravitation equation that the gravitation interaction depends on the space deceleration (...) parameter \ and can act as a repulsive force in the giant space scale that satisfies \. These results require a rapid expansion of space in the early universe and suggest that the gravitational interactions of matter are fundamentally linked to the space expansion characteristics. (shrink)

A naive introduction of a dependency of the mass of a black hole on the Schwarzschild time coordinate results in singular behavior of curvature invariants at the horizon, violating expectations from complementarity. If instead a temporal dependence is introduced in terms of a coordinate akin to the river time representation, the Ricci scalar is nowhere singular away from the origin. It is found that for a shrinking mass scale due to evaporation, the null radial geodesics that generate the horizon (...) are slightly displaced from the coordinate singularity. In addition, a changing horizon scale significantly alters the form of the coordinate singularity in diagonal (orthogonal) metric coordinates representing the space-time. A Penrose diagram describing the growth and evaporation of an example black hole is constructed to examine the evolution of the coordinate singularity. (shrink)

Limited distribution phenomena related to negation and negative polarity are usually thought of in terms of affectivity where affective is understood as negative or downward entailing. In this paper I propose an analysis of affective contexts as nonveridical and treat negative polarity as a manifestation of the more general phenomenon of sensitivity to (non)veridicality (which is, I argue, what affective dependencies boil down to). Empirical support for this analysis will be provided by a detailed examination of affective dependencies in Greek, (...) but the distribution of any will also be shown to follow from (non)veridicality. (shrink)

This unique volume explores what ethics has to offer the practicing physician, nurse, and allied health care worker. The authors introduce the basic vocabulary of ethics and present and discuss the most commonly used ethical theories, using case studies to illustrate how ethics work within the context of health care. Newcomers to the field will learn what ethics is all about and how it relates to the pragmatic concerns of the health care professional. Those who already have a working knowledge (...) of the field will find a new approach to ethical theory--personalism--which the authors believe can make the practical use of ethics more effective and reliable. (shrink)

Poincare’s arguments for his thesis of the conventionality of metric depend on a relationalist program for dynamics, not on any general philosophical interpretation of science. I will sketch Poincare’s development of the relationalist program and show that his arguments for the conventionality of metric do not depend on any global strategies such as a general empiricism or Duhemian underdetermination arguments. Poincare’s theory of space, while empirically false, is more philosophically sophisticated than his critics have claimed.

In this paper, I focus upon two aspects of Adolf Grünbaum's discussion of space and time. First, I consider Grünbaum's rejection of intrinsic metrics in favor of extrinsic metrics, both in the case of space, and also in the case of time. Here I argue for the following three claims: (1) The idea of an extrinsic metric is open to very strong objections, both in the case of space, and in the case of time; (2) By contrast, there is no (...) serious objection to the idea of an intrinsic metric, either in the case of space, or in the case of time; (3) There are good reasons for postulating an intrinsic metric, both in the case of space, and in the case of time. Secondly, I also consider Grünbaum's account of the nature of time, and here I argue for the following theses: (1) The argument that Grünbaum offers against accounts of the nature of time that postulate mind-independent tensed facts does not show that such accounts are unsound; (2) Grünbaum's claim that all tensed facts are mind-dependent is open to a serious objection; (3) Grünbaum's proposal that conceptualized awareness is an essential constituent of mind-dependent tensed facts is also very problematic. (shrink)

An analysis of the classical-quantum correspondence shows that it needs to identify a preferred class of coordinate systems, which defines a torsionless connection. One such class is that of the locally-geodesic systems, corresponding to the Levi-Civita connection. Another class, thus another connection, emerges if a preferred reference frame is available. From the classical Hamiltonian that rules geodesic motion, the correspondence yields two distinct Klein-Gordon equations and two distinct Dirac-type equations in a general metric, depending on the connection used. Each of (...) these two equations is generally-covariant, transforms the wave function as a four-vector, and differs from the Fock-Weyl gravitational Dirac equation (DFW equation). One obeys the equivalence principle in an often-accepted sense, whereas the DFW equation obeys that principle only in an extended sense. (shrink)

This paper deals with a number of technical achievements that are instrumental for a dis-solution of the so-called "Hole Argument" in general relativity. Such achievements include: 1) the analysis of the "Hole" phenomenology in strict connection with the Hamiltonian treatment of the initial value problem. The work is carried through in metric gravity for the class of Christoudoulou-Klainermann space-times, in which the temporal evolution is ruled by the "weak" ADM energy; 2) a re-interpretation of "active" diffeomorphisms as "passive and metric-dependent" (...) dynamical symmetries of Einstein's equations, a re-interpretation which enables to disclose their (up to now unknown) connection to gauge transformations on-shell; understanding such connection also enlightens the real content of the Hole Argument or, better, dis-solves it together with its alleged "indeterminism"; 3) the utilization of the Bergmann-Komar "intrinsic pseudo-coordinates", defined as suitable functionals of the Weyl curvature scalars, as tools for a peculiar gauge-fixing to the super-hamiltonian and super-momentum constraints; 4) the consequent construction of a "physical atlas" of 4-coordinate systems for the 4-dimensional "mathematical" manifold, in terms of the highly non-local degrees of freedom of the gravitational field (its four independent "Dirac observables"). Such construction embodies the "physical individuation" of the points of space-time as "point-events", independently of the presence of matter, and associates a "non-commutative structure" to each gauge fixing or four-dimensional coordinate system; 5) a clarification of the multiple definition given by Peter Bergmann of the concept of "(Bergmann) observable" in general relativity. This clarification leads to the proposal of a "main conjecture" asserting the existence of i) special Dirac's observables which are also Bergmann's observables, ii) gauge variables that are coordinate independent (namely they behave like the tetradic scalar fields of the Newman-Penrose formalism). A by-product of this achievements is the falsification of a recently advanced argument asserting the absence of (any kind of) "change" in the observable quantities of general relativity. 6) a clarification of the physical role of Dirac and gauge variables as their being related to "tidal-like" and "inertial-like" effects, respectively. This clarification is mainly due to the fact that, unlike the standard formulations of the equivalence principle, the Hamiltonian formalism allows to define notion of "force" in general relativity in a natural way; 7) a proposal showing how the physical individuation of point-events could in principle be implemented as an experimental setup and protocol leading to a "standard of space-time" more or less like atomic clocks define standards of time. We conclude that, besides being operationally essential for building measuring apparatuses for the gravitational field, the role of matter in the non-vacuum gravitational case is also that of "participating directly" in the individuation process, being involved in the determination of the Dirac observables. This circumstance leads naturally to a peculiar new kind of "structuralist" view of the general-relativistic concept of space-time, a view that embodies some elements of both the traditional "absolutist" and "relational" conceptions. In the end, space-time point-events maintain a "peculiar sort of objectivity". Some hints following from our approach for the quantum gravity programme are also given. (shrink)

How are the various classically equivalent definitions of compactness for metric spaces constructively interrelated? This question is addressed with Bishop-style constructive mathematics as the basic system – that is, the underlying logic is the intuitionistic one enriched with the principle of dependent choices. Besides surveying today's knowledge, the consequences and equivalents of several sequential notions of compactness are investigated. For instance, we establish the perhaps unexpected constructive implication that every sequentially compact separable metric space is totally bounded. As a by-product, (...) the fan theorem for detachable bars of the complete binary fan proves to be necessary for the unit interval possessing the Heine-Borel property for coverings by countably many possibly empty open balls. (shrink)

A key factor for the acceptance of robots as regular partners in human-centered environments is the appropriateness and predictability of their behaviors, which depend partially on the robot behavior’s conformity to social norms. Previous experimental studies have shown that robots that follow social norms and the corresponding interactions are perceived more positively by humans than robots or interactions that do not adhere to social norms. However, the conducted studies only focused on the effects of social norm compliance in specific scenarios. (...) Therefore, this paper aims to guide further research studies by compiling how researchers in relevant research fields think the perception of robots and the corresponding interactions are influenced independently of a specific scenario if a robot’s behavior conforms to social norms. Additionally, this study investigates what characteristics and metrics constitute a good general benchmark to objectively evaluate the behavior of social robots regarding its conformity to social norms according to researchers in relevant research communities. Finally, the paper summarizes how the obtained results can guide future research toward socially aware robot behavior. (shrink)

Children's vulnerability gives rise to duties of justice towards children and determines when authority over them is legitimately exercised. I argue for two claims. First, children's general vulnerability to objectionable dependency on their caregivers entails that they have a right not to be subject to monopolies of care, and therefore determines the structure of legitimate authority over them. Second, children's vulnerability to the loss of some special goods of childhood determines the content of legitimate authority over them. My interest (...) is in the so-far little-discussed goods of engaging in world discovery, artistic creation, philosophical pursuits and experimentation with one's self. I call these ‘special goods of childhood’ because individuals, in general, only have full access to them during childhood and they make a distinctive and weighty contribution to wellbeing. Therefore, they are part of the metric of justice towards children. The overall conclusion is that we ought to make good institutional care part of every child's upbringing. (shrink)

The cognitive processing of spatial relations in Euclidean diagrams is central to the diagram-based geometric practice of Euclid's Elements. In this study, we investigate this processing through two dichotomies among spatial relations—metric vs topological and exact vs co-exact—introduced by Manders in his seminal epistemological analysis of Euclid's geometric practice. To this end, we carried out a two-part experiment where participants were asked to judge spatial relations in Euclidean diagrams in a visual half field task design. In the first part, we (...) tested whether the processing of metric vs topological relations yielded the same hemispheric specialization as the processing of coordinate vs categorical relations. In the second part, we investigated the specific performance patterns for the processing of five pairs of exact/co-exact relations, where stimuli for the co-exact relations were divided into three categories depending on their distance from the exact case. Regarding the processing of metric vs topological relations, hemispheric differences were found for only a few of the stimuli used, which may indicate that other processing mechanisms might be at play. Regarding the processing of exact vs co-exact relations, results show that the level of agreement among participants in judging co-exact relations decreases with the distance from the exact case, and this for the five pairs of exact/co-exact relations tested. The philosophical implications of these empirical findings for the epistemological analysis of Euclid's diagram-based geometric practice are spelled out and discussed. (shrink)

Under the axiom of choice, every first countable space is a Fréchet-Urysohn space. Although, in its absence even ℝ may fail to be a sequential space.Our goal in this paper is to discuss under which set-theoretic conditions some topological classes, such as the first countable spaces, the metric spaces, or the subspaces of ℝ, are classes of Fréchet-Urysohn or sequential spaces.In this context, it is seen that there are metric spaces which are not sequential spaces. This fact raises the question (...) of knowing if the completion of a metric space exists and it is unique. The answer depends on the definition of completion.Among other results it is shown that: every first countable space is a sequential space if and only if the axiom of countable choice holds, the sequential closure is idempotent in ℝ if and only if the axiom of countable choice holds for families of subsets of ℝ, and every metric space has a unique equation image-completion. (shrink)

Taxation policy is driven by many factors, including public opinion, but little research has examined the strength and stability of the public’s taxation preferences. This paper demonstrates one way in which preferences for progressiveness depend on the framing of the question asked. Participants indicated how they would share a fixed tax burden between two individuals who earned different amounts of money, either by adjusting the amount of tax paid by the two individuals, or by adjusting the amount of post-tax income (...) retained. The units in which tax was described — amount of money or percentage tax rate — were manipulated orthogonally. There was a strong metric effect: Participants favored progressiveness more when tax was described as a percentage rather than amount. However, there was also a clear interaction: for amounts, participants favored progressiveness significantly more when considering post-tax money retained rather than tax paid; for percentages, no such effect was found. (shrink)

A substantial amount of recent work in natural language generation has focused on the generation of ‘‘one‐shot’’ referring expressions whose only aim is to identify a target referent. Dale and Reiter's Incremental Algorithm (IA) is often thought to be the best algorithm for maximizing the similarity to referring expressions produced by people. We test this hypothesis by eliciting referring expressions from human subjects and computing the similarity between the expressions elicited and the ones generated by algorithms. It turns out that (...) the success of the IA depends substantially on the ‘‘preference order’’ (PO) employed by the IA, particularly in complex domains. While some POs cause the IA to produce referring expressions that are very similar to expressions produced by human subjects, others cause the IA to perform worse than its main competitors; moreover, it turns out to be difficult to predict the success of a PO on the basis of existing psycholinguistic findings or frequencies in corpora. We also examine the computational complexity of the algorithms in question and argue that there are no compelling reasons for preferring the IA over some of its main competitors on these grounds. We conclude that future research on the generation of referring expressions should explore alternatives to the IA, focusing on algorithms, inspired by the Greedy Algorithm, which do not work with a fixed PO. (shrink)

Uncertainty measures must not depend on the choice of origin of the measurement scale; it is therefore argued that quantum-mechanical uncertainty relations, too, should remain invariant under changes of origin. These points have often been neglected in dealing with angle observables. Known measures of location and uncertainty for angles are surveyed. The angle variance angv {ø} is defined and discussed. It is particularly suited to the needs of quantum theory, because of its affinity to the Hilbert space metric, and its (...) use of the basic sine and cosine operators. Corresponding uncertainty relations involving azimuthal or phase angles are indicated, and their relevance to study and definition of coherent states is briefly reviewed. (shrink)

Weyl's tile argument purports to show that there are no natural distance functions in atomistic space that approximate Euclidean geometry. I advance a response to this argument that relies on a new account of distance in atomistic space, called "the mixed account," according to which local distances are primitive and other distances are derived from them. Under this account, atomistic space can approximate Euclidean space (and continuous space in general) very well. To motivate this account as a genuine solution to (...) Weyl's tile argument, I argue that this account is no less natural than the standard account of distance in continuous space. I also argue that the mixed account has distinctive advantages over Forrest's (1995) account in response to Weyl's tile argument, which can be considered as a restricted version of the mixed account. (shrink)

In her BBC Reith Lectures on Trust, Onora O’Neill offers a short, but biting, criticism of transparency. People think that trust and transparency go together but in reality, says O'Neill, they are deeply opposed. Transparency forces people to conceal their actual reasons for action and invent different ones for public consumption. Transparency forces deception. I work out the details of her argument and worsen her conclusion. I focus on public transparency – that is, transparency to the public over expert domains. (...) I offer two versions of the criticism. First, the epistemic intrusion argument: The drive to transparency forces experts to explain their reasoning to non-experts. But expert reasons are, by their nature, often inaccessible to non-experts. So the demand for transparency can pressure experts to act only in those ways for which they can offer public justification. Second, the intimate reasons argument: In many cases of practical deliberation, the relevant reasons are intimate to a community and not easily explicable to those who lack a particular shared background. The demand for transparency, then, pressures community members to abandon the special understanding and sensitivity that arises from their particular experiences. Transparency, it turns out, is a form of surveillance. By forcing reasoning into the explicit and public sphere, transparency roots out corruption — but it also inhibits the full application of expert skill, sensitivity, and subtle shared understandings. The difficulty here arises from the basic fact that human knowledge vastly outstrips any individual’s capacities. We all depend on experts, which makes us vulnerable to their biases and corruption. But if we try to wholly secure our trust — if we leash groups of experts to pursuing only the goals and taking only the actions that can be justified to the non-expert public — then we will undermine their expertise. We need both trust and transparency, but they are in essential tension. This is a deep practical dilemma; it admits of no neat resolution, but only painful compromise. (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)

The question of the existence of gravitational stress-energy in general relativity has exercised investigators in the field since the inception of the theory. Folklore has it that no adequate definition of a localized gravitational stress-energetic quantity can be given. Most arguments to that effect invoke one version or another of the Principle of Equivalence. I argue that not only are such arguments of necessity vague and hand-waving but, worse, are beside the point and do not address the heart of the (...) issue. Based on a novel analysis of what it may mean for one tensor to depend in the proper way on another, which, en passant, provides a precise characterization of the idea of a "geometric object", I prove that, under certain natural conditions, there can be no tensor whose interpretation could be that it represents gravitational stress-energy in general relativity. It follows that gravitational energy, such as it is in general relativity, is necessarily non-local. Along the way, I prove a result of some interest in own right about the structure of the associated jet bundles of the bundle of Lorentz metrics over spacetime. I conclude by showing that my results also imply that, under a few natural conditions, the Einstein field equation is the unique equation relating gravitational phenomena to spatiotemporal structure, and discuss how this relates to the non-localizability of gravitational stress-energy. (shrink)

David Lewis ([1986b]) gives an attractive and familiar account of counterfactual dependence in the standard context. This account has recently been subject to a counterexample from Adam Elga ([2000]). In this article, I formulate a Lewisian response to Elga’s counterexample. The strategy is to add an extra criterion to Lewis’s similarity metric, which determines the comparative similarity of worlds. This extra criterion instructs us to take special science laws into consideration as well as fundamental laws. I argue that the Second (...) Law of Thermodynamics should be seen as a special science law, and give a brief account of what Lewisian special science laws should look like. If successful, this proposal blocks Elga’s counterexample. (shrink)

Counterpossibles are counterfactuals with necessarily false antecedents. The problem of counterpossibles is easiest to state within the "nearest possible world" framework for counterfactuals: on this approach, a counterfactual is true (roughly) when the consequent is true in the "nearest" possible world where the antecedent is true. Since counterpossibles have necessarily false antecedents, there is no possible world where the antecedent is true. On the approach favored by Lewis, Stalnaker, Williamson, and others, counterpossibles are all trivially true. I introduce several arguments (...) against the trivial approach. First, it is counter-intuitive to think that all counterpossibles are true. Second, if all counterpossibles were true, then we could not make sense of their use in logical, philosophical, or mathematical arguments. Making sense of the role of sentences like these requires that they not have vacuous truth conditions. The account of counterpossibles I ultimately favor is an extension of the "nearest possible world" semantics discussed above. The Lewis/Stalnaker account is supplemented with the addition of impossible worlds, and the nearness metric is extended to range over these impossible worlds as well as possible worlds. Thus, a counterfactual is true when its consequent is true in the nearest world where the antecedent is true; if the counterfactual's antecedent is impossible, then the nearest world in question will be an impossible world. Once the framework of impossible worlds and similarity is in place, we can put it to use in the analysis of other philosophical phenomena. I examine one proposal that makes use of a theory of counterpossibles to develop an analysis of the notion of metaphysical dependence. (shrink)

Does y obtain under the counterfactual supposition that x? The answer to this question is famously thought to depend on whether y obtains in the most similar world in which x obtains. What this notion of ‘similarity’ consists in is controversial, but in recent years, graphical causal models have proved incredibly useful in getting a handle on considerations of similarity between worlds. One limitation of the resulting conception of similarity is that it says nothing about what would obtain were the (...) causal structure to be different from what it actually is, or from what we believe it to be. In this paper, we explore the possibility of using graphical causal models to resolve counterfactual queries about causal structure by introducing a notion of similarity between causal graphs. Since there are multiple principled senses in which a graph G* can be more similar to a graph G than a graph G**, we introduce multiple similarity metrics, as well as multiple ways to prioritize the various metrics when settling counterfactual queries about causal structure. (shrink)

Muddles can be instructive. The clarifying confusion to be examined in this paper is Isaiah Berlin's intelligent vacillation on the issue of whether or not the extent of a person's freedom depends on his desires. Is the amount of freedom an agent possesses determined solely by his objective circumstances or is it also partly a function of his subjective tastes and preferences? In clarifying this question I shall suggest that Berlin has trouble answering it because he almost perceives that interpersonal (...) cardinal measurement of freedom, if possible at all, is possible only on a subjective basis. Yet as Berlin eloquently reminds us measuring freedom according to a subjective metric generates paradox. Whether commonsense ideas of freedom are consistent and reasonable is not purely an academic issue, for we do often make political judgments to the effect that one or another policy, or a movement to one or another form of society, can be expected to reduce or enlarge human freedom. If freedom is not measurable these judgments are merely hortatory. (shrink)

Amid the wide variety of interpretations of quantum mechanics, the notion of a fully coherent ontological interpretation has seen a promising evolution over the last few decades. Despite this progress, however, the old dualistic categorical constraints of subjectivity and objectivity, correlate with the metrically restricted definition of local and global, have remained largely in place – a reflection of the broader, persistent inheritance of these comfortable strictures throughout the evolution of modern science. If one traces this inheritance back to its (...) ancient roots in Plato and Aristotle, it is clear that the coherence, scientific utility, and historical durability of the various natural philosophies that followed have been directly proportional to their commitment, tacit or explicit, to object-oriented realism. As Simondon might put it, it is a commitment to the primacy of individuated substance over the process of individuation. For Whitehead, it is the misplaced assimilation of becoming to being, of potentiality to actuality. Quantum mechanics has challenged this commitment with a combined breadth and depth of force that far exceeds any other theory in the history of science. The theory’s objectively demonstrable empirical application is manifest only by way of a fundamentally subjective, context-dependent mechanism of measurement. More compelling still, actual system states are always actualizations of locally contextualized yet globally conditioned potential system states, such that “globally objective” reality is no longer merely the object of local measurement, but also its product. Thus, any coherent, ontological interpretation of quantum theory must include a conceptual framework by which objectivity and subjectivity, actuality and potentiality, global and local, being and becoming, individuated fact and process of individuation, are no longer understood as merely epistemic, mutually exclusive category pairs descriptive of an already extant, closed reality – but rather as mutually implicative ontological categories explicative of an ontogenetic, open reality-in-process. (shrink)