In, Marker and Steinhorn characterized models of an o‐minimal theory such that all types over M realized in N are definable. In this article we characterize pairs of algebraically closed valued fields satisfying the same property. In o‐minimal theories, a pair of models for which all 1‐types over M realized in N are definable has already the desired property. Although it is true that if M is an algebraically closed valued field such that all 1‐types over M are definable then (...) all types over M are definable, we build a counterexample for the relative statement, i.e., we show for any that there is a pair of algebraically closed valued fields such that all n‐types over M realized in N are definable but there is an ‐type over M realized in N which is not definable. (shrink)

Journal of Mathematical Logic, Volume 22, Issue 02, August 2022. We show that every definable nested family of closed and bounded subsets of a P-minimal field K has nonempty intersection. As an application we answer a question of Darnière and Halupczok showing that P-minimal fields satisfy the “extreme value property”: for every closed and bounded subset [math] and every interpretable continuous function [math] (where [math] denotes the value group), f(U) admits a maximal value. Two further corollaries are obtained as a (...) consequence of their work. The first one shows that every interpretable subset of [math] is already interpretable in the language of rings, answering a question of Cluckers and Halupczok. This implies in particular that every P-minimal field is polynomially bounded. The second one characterizes those P-minimal fields satisfying a classical cell preparation theorem as those having definable Skolem functions, generalizing a result of Mourgues. (shrink)

In Entities and Indices, M. J. Cresswell argued that a first-order modal language can reach the expressive power of natural-language modal discourse only if we give to the formal language a semantics with indices containing infinite possible worlds and we add to it an infinite collection of operators $${{\varvec{actually}}}_n$$ actually n and $$ Ref _n$$ R e f n which store and retrieve worlds. In the fourth chapter of the book, Cresswell gave a proof that the resulting intensional language, which (...) he called $${\mathscr {L}}^*$$ L ∗, is as expressive as an extensional variant of it, called $${\mathscr {L}}$$ L, which has full quantification over worlds. In both linguistics and philosophy, Cresswell’s book has been viewed as offering a compelling argument for preferring extensional systems in the study of natural language. In this paper, after providing a model-theoretic definition of the relation being as expressive as that can be applied to Cresswell’s languages $${\mathscr {L}}$$ L and $${\mathscr {L}}^*$$ L ∗, we show that the intensional language $${\mathscr {L}}^*$$ L ∗ is not as expressive as the extensional language $${\mathscr {L}}$$ L. This result, we claim, undermines Cresswell’s argument to the effect that English modal discourse has the power of explicit quantification over worlds. Additionally, we show that $${\mathscr {L}}^*$$ L ∗ does become as expressive as $${\mathscr {L}}$$ L when we add Cresswell’s operator of universal modality $$\square $$ □ to $${\mathscr {L}}^*$$ L ∗, which provides an extra amount of expressive power. Recently, I. Yanovich has advocated a view that is similar to ours in important respects. At the end of the paper we offer a short discussion of his formalism. (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.

Exponential-constructible functions are an extension of the class of constructible functions. This extension was formulated by Cluckers and Loeser in the context of semi-algebraic and sub-analytic structures, when they studied stability under integration. In this paper, we will present a natural refinement of their definition that allows for stability results to hold within the wider class of [Formula: see text]-minimal structures. One of the main technical improvements is that we remove the requirement of definable Skolem functions from the proofs. As (...) a result, we obtain stability in particular for all intermediate structures between the semi-algebraic and the sub-analytic languages. (shrink)

Uno de los principales aportes de Michael Dummett a la filosofía contemporánea fue la idea de que ciertas disputas tradicionales de la metafísica podían ser replanteadas a través de una caracterización semántica del realismo y el antirrealismo. Apoyándose en esta caracterización, Dummett propuso una aproximación ascendente a esas disputas. Dicha aproximación buscaba resolver los desacuerdos metafísicos entre realistas y antirrealistas mediante la formulación de teorías semánticas para ciertos conjuntos de enunciados. En este artículo argumentamos que la caracterización de Dummett no (...) captura las disputas metafísicas tradicionales y que, como consecuencia de ello, dicha caracterización no constituye un buen sustento para la aproximación ascendente. (shrink)

Desde la publicación de Naming and Necessity, muchos filósofos han asumido que el descriptivismo con respecto a la referencia de los nombres propios fue refutado de manera concluyente por las críticas de Kripke. El objetivo principal de este artículo es realizar una defensa de la postura descriptivista frente a dichas críticas. En primer lugar, se exponen dos alternativas para solucionar el problema de los nombres propios: la teoría descriptivista de Searle y la teoría causal de Kripke. En segundo lugar, se (...) articula una nueva propuesta, basada en la teoría de Searle, en la cual se introducen algunos elementos que permiten dar respuesta a las objeciones de Kripke en contra del descriptivismo. (shrink)

This text proposes an interpretation of the work of Franklin Leopoldo e Silva based on the reading of some of his numerous published articles and books, without neglecting the classes and guidance received from the stage of Scientific Initiation to Postdoctoral studies. Precisely, by highlighting the importance of three thinkers widely studied by Professor Franklin – Berkeley, Bergson and William James –, we suggest that at the heart of this philosophical experience there would be a constant: empiricism. Whether in the (...) classical or radical version, the line we draw in this multiplicity reveals an openness to concrete empiricism. (shrink)

Michel Janssen and Harvey Brown have driven a prominent recent debate concerning the direction of an alleged arrow of explanation between Minkowski spacetime and Lorentz invariance of dynamical laws in special relativity. In this article, I critically assess this controversy with the aim of clarifying the explanatory foundations of the theory. First, I show that two assumptions shared by the parties—that the dispute is independent of issues concerning spacetime ontology, and that there is an urgent need for a constructive interpretation (...) of special relativity—are problematic and negatively affect the debate. Second, I argue that the whole discussion relies on a misleading conception of the link between Minkowski spacetime structure and Lorentz invari-ance, a misconception that in turn sheds more shadows than light on our understand-ing of the explanatory nature and power of Einstein’s theory. I state that the arrow connecting Lorentz invariance and Minkowski spacetime is not explanatory and uni-directional, but analytic and bidirectional, and that this analytic arrow grounds the chronogeometric explanations of physical phenomena that special relativity offers. (shrink)

Analizando el caso colombiano se procura dilucidar las características de la guerra irregular y las razones de su duración a lo largo de más de cinco décadas, mediante una breve recapitulación. En seguida se examinan algunos de los trabajos más representativos de los investigadores sociales colombianos al respecto, así como sus referentes teóricos más universales y el tipo de interpretación que se ha ido construyendo. El acento está puesto en la singularidad de una guerra irregular, de baja intensidad pero de (...) larga duración, y en sus efectos sobre la población civil en las zonas en donde la guerrilla ha logrado un grado de implantación y de manera correlativa el ejército desarrolla labores de contrainsurgencia. El ensayo termina con el análisis de distintas modalidades de resistencia civil hacia la guerra, el modo y secuencia en que se han ido manifestando y algunos ejercicios predictivos acerca de los desarrollos previsibles de la resistencia civil. (shrink)

CONTENIDO: Aspectos de la interrogación ética - Las "artes de la existencia", prácticas de sí" o "tecnologías del yo"--Dimensiones políticas del cuidado de sí - Las formas de verdad, el poder y la subjetivación - Bio-poder y técnicas de vida. Sujeción y auto-subjetivación - Libertad de poder y libertad formal - Implicaciones políticas del cuidado de sí. Propuesta de interpretación.

When we speak about different interpretations of quantum mechanics it is suggested that there is one single quantum theory that can be interpreted in different ways. However, after an explicit characterization of what it is to interpret quantum mechanics, the right diagnosis is that we have a case of predictively equivalent rival theories. I extract some lessons regarding the resulting underdetermination of theory choice. Issues about theoretical identity, theoretical and methodological pluralism, and the prospects for a realist stance towards quantum (...) theory can be properly addressed once we recognize that interpretations of quantum mechanics are rival theories. (shrink)

According to a popular narrative, in 1932 von Neumann introduced a theorem that intended to be a proof of the impossibility of hidden variables in quantum mechanics. However, the narrative goes, Bell later spotted a flaw that allegedly shows its irrelevance. Bell’s widely accepted criticism has been challenged by Bub and Dieks: they claim that the proof shows that viable hidden variables theories cannot be theories in Hilbert space. Bub’s and Dieks’ reassessment has been in turn challenged by Mermin and (...) Schack. Hereby I critically assess their reply, with the aim of bringing further clarification concerning the meaning, scope and relevance of von Neumann’s theorem. I show that despite Mermin and Schack’s response, Bub’s and Dieks’ reassessment is quite correct, and that this reading gets strongly reinforced when we carefully consider the connection between von Neumann’s proof and Gleason’s theorem. (shrink)

To what degree can language be acquired from linguistic input alone? This question has vexed scholars for millennia and is still a major focus of debate in the cognitive science of language. The complexity of human language has hampered progress because studies of language–especially those involving computational modeling–have only been able to deal with small fragments of our linguistic skills. We suggest that the most recent generation of Large Language Models (LLMs) might finally provide the computational tools to determine empirically (...) how much of the human language ability can be acquired from linguistic experience. LLMs are sophisticated deep learning architectures trained on vast amounts of natural language data, enabling them to perform an impressive range of linguistic tasks. We argue that, despite their clear semantic and pragmatic limitations, LLMs have already demonstrated that human-like grammatical language can be acquired without the need for a built-in grammar. Thus, while there is still much to learn about how humans acquire and use language, LLMs provide full-fledged computational models for cognitive scientists to empirically evaluate just how far statistical learning might take us in explaining the full complexity of human language. (shrink)

We say that a sentence A is a permissive consequence of a set X of premises whenever, if all the premises of X hold up to some standard, then A holds to some weaker standard. In this paper, we focus on a three-valued version of this notion, which we call strict-to-tolerant consequence, and discuss its fruitfulness toward a unified treatment of the paradoxes of vagueness and self-referential truth. For vagueness, st-consequence supports the principle of tolerance; for truth, it supports the (...) requisite of transparency. Permissive consequence is non-transitive, however, but this feature is argued to be an essential component to the understanding of paradoxical reasoning in cases involving vagueness or self-reference. (shrink)

In 1991 Larry Laudan and Jarret Leplin proposed a solution for the problem of empirical equivalence and the empirical underdetermination that is often thought to result from it. In this paper we argue that, even though Laudan and Leplin’s reasoning is essentially correct, their solution should be accurately assessed in order to appreciate its nature and scope. Indeed, Laudan and Leplin’s analysis does not succeed in completely removing the problem or, as they put it, in refuting the thesis of underdetermination (...) as a consequence of empirical equivalence. Instead, what they show is merely that science possesses tools that may eventually lead out of an underdetermination impasse. We apply their argument to a real case of two empirically equivalent theories: Lorentz’s ether theory and Einstein’s special relativity. This example illustrates the validity of Laudan and Leplin’s reasoning, but also shows the importance of the reassessment we argue for. (shrink)

It is a widespread belief that the Kochen-Specker theorem imposes a contextuality constraint on the ontology of beables in quantum hidden variables theories. On the other hand, after Bell’s influential critique, the importance of von Neumann’s wrongly called ‘impossibility proof’ has been severely questioned. However, Max Jammer, Jeffrey Bub and Dennis Dieks have proposed insightful reassessments of von Neumann’s theorem: what it really shows is that hidden variables theories cannot represent their beables by means of Hermitian operators in Hilbert space. (...) Hereby I show that i) the very same constraint can be derived from Gleason’s theorem, and that ii) if we consider the import of von Neumann’s and Gleason’s theorems, the relevance of the Kochen-Specker theorem for hidden variables theories gets substantially weakened: it does not force them to be contextual in any interesting sense of the term. (shrink)

Topics in Cognitive Science, Volume 14, Issue 3, Page 634-645, July 2022.

In this paper I argue that the case of Einstein׳s special relativity vs. Hendrik Lorentz׳s ether theory can be decided in terms of empirical evidence, in spite of the predictive equivalence between the theories. In the historical and philosophical literature this case has been typically addressed focusing on non-empirical features. I claim that non-empirical features are not enough to provide a fully objective and uniquely determined choice in instances of empirical equivalence. However, I argue that if we consider arguments proposed (...) by Richard Boyd, and by Larry Laudan and Jarret Leplin, a choice based on non-entailed empirical evidence favoring Einstein׳s theory can be made. (shrink)

Human dignity: social movements invoke it, several national constitutions enshrine it, and it features prominently in international human rights documents. But what is it, why is it important, and what is its relationship to human rights and social justice? Pablo Gilabert offers a systematic defence of the view that human dignity is the moral heart of justice. In Human Dignity and Human Rights (OUP 2019), he advanced an account of human dignity for the context of human rights discourse, which (...) covers the most urgent, basic claims of dignity. This book extends the dignitarian approach to more ambitious claims of maximal dignity of the kind encoded in democratic socialist conceptions of social justice. In particular, this book focuses on the just organization of working practices. It recasts in a dignitarian format the critique of capitalist society as involving exploitation, alienation, and domination of workers, and revamps a neglected but inspiring socialist principle. In its dignitarian interpretation, the Abilities/Needs Principle (‘From each according to their ability, to each according to their needs!’) yields reasonable and feasible requirements on social cooperation geared to empowering each human being to lead a flourishing life. While Human Dignity and Human Rights offered the first systematic philosophical account of human dignity in human rights discourse, Human Dignity and Social Justice presents the first systematic application of the dignitarian framework to the core ideals of democratic socialism. (shrink)

In this paper we investigate a semantics for first-order logic originally proposed by R. van Rooij to account for the idea that vague predicates are tolerant, that is, for the principle that if x is P, then y should be P whenever y is similar enough to x. The semantics, which makes use of indifference relations to model similarity, rests on the interaction of three notions of truth: the classical notion, and two dual notions simultaneously defined in terms of it, (...) which we call tolerant truth and strict truth. We characterize the space of consequence relations definable in terms of those and discuss the kind of solution this gives to the sorites paradox. We discuss some applications of the framework to the pragmatics and psycholinguistics of vague predicates, in particular regarding judgments about borderline cases. (shrink)

One way in which we might approach the challenge posed by the Sorites Paradox is considering that Sorites-susceptible predicates have several candidate extensions, or several ways in which these expressions can be made precise. For example, a candidate extension for the predicate ‘is a baby’ is the set of humans of less than two years, but also the set of those less than two years and one second, and of those less than two years and two seconds. In this chapter (...) we present and discuss two theories for vague predicates based on this idea: supervaluationism and subvaluationism. The chapter is structured in three parts. The first presents the super- and subvaluationist theories: their similarities and differences in the semantics, the resulting logics with their most characteristic features. The second reviews the super- and subvaluationist solutions to the Sorites Paradox and provides discussion on several controversies surrounding these theories. The third part introduces proof procedures for s’valuationist logics. (shrink)

It is common in political theory and practice to challenge normatively ambitious proposals by saying that their fulfillment is not feasible. But there has been insufficient conceptual exploration of what feasibility is, and very little substantive inquiry into why and how it matters for thinking about social justice. This paper provides one of the first systematic treatments of these issues, and proposes a dynamic approach to the relation between justice and feasibility that illuminates the importance of political imagination and dynamic (...) duties to expand agents’ power to fulfill ambitious principles of justice. (shrink)

This paper presents and defends a way to add a transparent truth predicate to classical logic, such that and A are everywhere intersubstitutable, where all T-biconditionals hold, and where truth can be made compositional. A key feature of our framework, called STTT (for Strict-Tolerant Transparent Truth), is that it supports a non-transitive relation of consequence. At the same time, it can be seen that the only failures of transitivity STTT allows for arise in paradoxical cases.

Do we have positive duties to help others in need or are our moral duties only negative, focused on not harming them? Are any of the former positive duties, duties of justice that respond to enforceable rights? Is their scope global? Should we aim for global equality besides the eradication of severe global poverty? Is a humanist approach to egalitarian distribution based on rights that all human beings as such have defensible, or must egalitarian distribution be seen in an associativist (...) way, as tracking existing frameworks such as statehood and economic interdependence? Are the eradication of global poverty and the achievement of global equality practically feasible or are they hopelessly utopian wishes? -/- This book argues that there are basic positive duties of justice to help eradicate severe global poverty; that global egalitarian principles are also reasonable even if they cannot be fully realized in the short term; and that there are dynamic duties to enhance the feasibility of the transition from global poverty to global equality in the face of nonideal circumstances such as the absence of robust international institutions and the lack of a strong ethos of cosmopolitan solidarity. The very notion of feasibility is crucial for normative reasoning, but has received little explicit philosophical discussion. This book offers a systematic exploration of that concept as well as of its application to global justice. It also arbitrates the current debate between humanist and associativist accounts of the scope of distributive justice. Drawing on moral contractualism (the view that we ought to follow the principles that no one could reasonably reject), this book provides a novel defense of humanism, challenges several versions of associativism (which remains the most popular view among political philosophers), and seeks to integrate the insights underlying both views. (shrink)

The purpose of this paper is to analyze the virtue of temperance as a moral competence in professional performance. The analysis relies on three different streams of literature: virtue ethics, positive psychology and competency-based management. The paper analyzes how temperance is defined in each of these perspectives. The paper proposes an integrative definition of temperance as “moral competence” and summarizes behaviors in business environments in which temperance plays a role.

In this paper, I develop a quasi-transcendental argument to justify Kant’s infamous claim “man is evil by nature.” The cornerstone of my reconstruction lies in drawing a systematic distinction between the seemingly identical concepts of “evil disposition” (böseGesinnung) and “propensity to evil” (Hang zumBösen). The former, I argue, Kant reserves to describe the fundamental moral outlook of a single individual; the latter, the moral orientation of the whole species. Moreover, the appellative “evil” ranges over two different types of moral failure: (...) while an “evil disposition” is a failure to realize the good (i.e., to adopt the motive of duty as limiting condition for all one’s desires), an “evil propensity” is a failure to realize the highest good (i.e., to engage in the collective project of transforming the legal order into an ethical community). This correlation between units of moral analysis and types of obligation suggests a way to offer a deduction of the universal propensity on behalf of Kant. It consists in tracing the source of radical evil to the same subjective necessity that gives rise to the doctrine of the highest good. For, at the basis of Kant’s two doctrines lies the same natural dialectic between happiness and morality. While the highest good brings about the critically acceptable resolution of this dialectic, the propensity to evil perpetuates and aggravates it. Instead of connecting happiness and morality in an objective relation, the human will subordinatesmorality to the pursuit of happiness according to the subjective order of association. If this reading is correct, it would explain why prior attempts at a transcendental deduction have failed: interpreters have looked for the key to the deduction in the body of Kant’s text, where it is not to be found, for it is tucked, instead, in the Preface to the first edition. (shrink)

This paper is concerned with the claim that supervaluationist consequence is not classical for a language including an operator for definiteness. Although there is some sense in which this claim is uncontroversial, there is a sense in which the claim must be qualified. In particular I defend Keefe's position according to which supervaluationism is classical except when the inference from phi to Dphi is involved. The paper provides a precise content to this claim showing that we might provide complete (and (...) sound) systems of deduction for supervaluationist consequence in which proofs are completely classical with the exception of a single last step (involving the above mentioned inference). (shrink)

A considerable number of books and papers have analyzed normative concepts using new techniques developed by logicians; however, few have bridged the gap between the English legal culture and the Continental tradition in legal philosophy. This book addresses this issue by offering an introductory study on the many possibilities that logical analysis offers the study of legal systems. The volume is divided into two sections: the first covers the basic aspects of classical and deontic logic and its connections, advancing an (...) explanation of the most important topics of the discipline by comparing different systems of deontic logic and exploring some of the most important paradoxes in its domain. The second section deals with the role of logic in the analysis of legal systems by discussing in what sense deontic logic and the logic of norm-propositions are useful tools for a proper understanding of the systematic structure of law. (shrink)

Les gouvernements de gauche néolibéraux ont mélangé promesses d’émancipation et réalité de la financiarisation, ce qui a révolté les gens et poussé l’opinion publique à droite. L’article met en scène un jeune philosophe italien très médiatisé passé du marxisme à la revendication de l’autorité. Le confusionnisme actuel se satisfait des performances des comiques issus des minorités qui parviennent à ridiculiser les hommes de droite que la rhétorique de gauche n’atteint plus.

Substructural approaches to paradoxes have attracted much attention from the philosophical community in the last decade. In this paper we focus on two substructural logics, named ST and TS, along with two structural cousins, LP and K3. It is well known that LP and K3 are duals in the sense that an inference is valid in one logic just in case the contrapositive is valid in the other logic. As a consequence of this duality, theories based on either logic are (...) tightly connected since many of the arguments for and objections against one theory reappear in the other theory in dual form. The target of the paper is making explicit in exactly what way, if any, ST and TS are dual to one another. The connection will allow us to gain a more fine-grained understanding of these logics and of the theories based on them. In particular, we will obtain new insights on two questions concerning ST which are being intensively discussed in the current literature: whether ST preserves classical logic and whether it is LP in sheep’s clothing. Explaining in what way ST and TS are duals requires comparing these logics at a metainferential level. We provide to this end a uniform proof theory to decide on valid metainferences for each of the four logics. This proof procedure allows us to show in a very simple way how different properties of inferences (unsatisfiability, supersatisfiability and antivalidity) that behave in very different ways for each logic can be captured in terms of the validity of a metainference. (shrink)

An Essay on Kant’s Theory of Evil shows the centrality of the doctrine of radical evil within Kant's critical philosophy. Combining textual accuracy with systematic ethical theory, it fills the gaps Kant left open in his own doctrine, and provides a non-mystifying account of human immorality, which shows the pertinence of the Kantian view to our moral concerns.

Social scientific and humanistic research on synthetic biology has focused quite narrowly on questions of epistemology and ELSI. I suggest that to understand this discipline in its full scope, researchers must turn to the objects of the field—synthetic biological artifacts—and study them as the objects in the making of a science yet to be made. I consider one fundamentally important question: how should we understand the material products of synthetic biology? Practitioners in the field, employing a consistent technological optic in (...) the study and construction of biological systems, routinely employ the mantra ‘biology is technology’. I explore this categorization. By employing an established definition of technological artifects drawn from the philosophy of technology, I explore the appropriateness of attributing to synthetic biological artifacts the four criteria of materiality, intentional design, functionality, and normativity. I then explore a variety of accounts of natural kinds. I demonstrate that synthetic biological artifacts fit each kind imperfectly, and display a concomitant ontological ‘messiness’. I argue that this classificatory ambivalence is a product of the field’s own nascence, and posit that further work on kinds might help synthetic biology evaluate its existing commitments and practices. (shrink)

“But surely if it's not irrational, it can’t be OCD!” my friend exclaimed, when I told them about the paper Carolina Flores and Brent Kious provided their excellent comments for. In all fairness, my friend is not working in philosophy, or psychiatry, or in psychology. Still, I take their sentiment to be expressive of a widely held view: if you have a certain mental illness, then you must be irrational. Conversely, rationality guarantees mental health; the sane life is the rational (...) life. -/- In my paper, I attempted to complicate this picture. My main line of thought was that if the sane life is the rational life, we do not have a good conception of rationality yet. For, our best theories of rationality fail to capture what is going wrong in some cases of obsessive-compulsive disorder (OCD). Addressing the criticisms raised by my commentators will allow me to clear up some misunderstandings and sketch avenues for further work. (shrink)

Human dignity: social movements invoke it, several national constitutions enshrine it, and it features prominently in international human rights documents. But what is human dignity, why is it important, and what is its relationship to human rights? -/- This book offers a sophisticated and comprehensive defence of the view that human dignity is the moral heart of human rights. First, it clarifies the network of concepts associated with dignity. Paramount within this network is a core notion of human dignity as (...) an inherent, non-instrumental, egalitarian, and high-priority normative status of human persons. People have this status in virtue of their valuable human capacities rather than as a result of their national origin and other conventional features. Second, it shows how human dignity gives rise to an inspiring ideal of solidaristic empowerment, which calls us to support people's pursuit of a flourishing life by affirming both negative duties not to block or destroy, and positive duties to protect and facilitate, the development and exercise of the valuable capacities at the basis of their dignity. The most urgent of these duties are correlative to human rights. Third, this book illustrates how the proposed dignitarian approach allows us to articulate the content, justification, and feasible implementation of specific human rights, including contested ones, such as the rights to democratic political participation and to decent labour conditions. Finally, this book's dignitarian approach helps illuminate the arc of humanist justice, identifying both the difference and the continuity between the basic requirements of human rights and more expansive requirements of social justice such as those defended by liberal egalitarians and democratic socialists. -/- Human dignity is indeed the moral heart of human rights. Understanding it enables us to defend human rights as the urgent ethical and political project that puts humanity first. (shrink)

A salient feature of de Broglie-Bohm quantum theory is that particles have determinate positions at all times and in all physical contexts. Hence, the trajectory of a particle is a well-defined concept. One then may expect that the closely related notion of inertial trajectory is also unproblematically defined. I show that this expectation is not met. I provide a framework that deploys six different ways in which dBB theory can be interpreted, and I state that only in the canonical interpretation (...) the concept of inertial trajectory is the customary one. However, in this interpretation the description of the dynamical interaction between the pilot-wave and the particles, which is crucial to distinguish inertial from non-inertial trajectories, is affected by serious difficulties, so other readings of the theory intend to avoid them. I show that in the alternative interpretations the concept at issue gets either drastically altered, or plainly undefined. I also spell out further conceptual difficulties that are associated to the redefinitions of inertial trajectories, or to the absence of the concept. (shrink)

In this paper I analyze three artificial examples of empirical equivalence: van Fraassen’s alternative formulations of Newton’s theory, the Poincaré-Reichenbach argument for the conventionality of geometry; and predictively equivalent ‘systems of the world’. These examples have received attention in the philosophy of science literature because they are supposed to illustrate the connection between predictive equivalence and underdetermination of theory choice. I conclude that this view is wrong. These examples of empirical equivalence are harmless with respect to the problem of underdetermination.