The paper presents an extension of the metaphysics of self-subsisting structures set out in a companion paper to the realm of non-relativistic quantum physics. The discussion is centered around a Pure Shape Dynamics model representing a relational implementation of a de Broglie-Bohm N-body system. An interpretation of this model in terms of self-subsisting structures is proposed and assessed against the background of the debate on the metaphysics of quantum physics, with a particular emphasis on the nature of the wave function. (...) The analysis shows that elaborating an appropriate Leibnizian/Machian metaphysics of the quantum world requires a substantial revision of the notion of world-building relation. (shrink)

The goal of this essay is twofold. First, it provides a quick look at the foundations of modern relational mechanics by tracing its development from Julian Barbour and Bruno Bertotti's original ideas until present-day's pure shape dynamics. Secondly, it discusses the most appropriate metaphysics for pure shape dynamics, showing that relationalism is more of a nuanced thesis rather than an elusive one. The chapter ends with a brief assessment of the prospects of pure shape dynamics in light of quantum physics.

Pure shape dynamics (PSD) is a novel implementation of the relational framework originally proposed by Julian Barbour and Bruno Bertotti. PSD represents a Leibnizian/Machian approach to physics in that it completely describes the dynamical evolution of a physical system without resorting to any structure external to the system itself. The chapter discusses how PSD effectively describes a de Broglie-Bohm N-body system and the conceptual benefits of such a relational description. The analysis will highlight the new directions in the quest for (...) an understanding of the nature of the wave function that are opened up by a modern relationalist elaboration on de Broglie's and Bohm's original insights. (shrink)

An important part of the influential Humean doctrine in philosophy is the supervenience principle (sometimes referred to as the principle of separability). This principle asserts that the complete state of the world supervenes on the intrinsic properties of its most fundamental components and their spatiotemporal relations (the so-called Humean mosaic). There are well-known arguments in the literature purporting to show that in quantum mechanics the Humean supervenience principle is violated, due to the existence of entangled states. Recently, however, arguments have (...) been presented to the effect that the supervenience principle can be defended in Bohmian mechanics. The key element of this strategy lies in the observation that according to Bohmian mechanics the fundamental facts about particles are facts about their spatial locations, and moreover, for any proper subsystem of the world its state may non-trivially depend on the spatial configuration of the rest of the universe. Thus quantum-mechanical states of subsystems do not represent their intrinsic properties but rather characterize their relations with the environment. In this paper we point out the worry that this Bohmian strategy --known as Bohumianism-- saves the letter but not the spirit of the Humean doctrine of supervenience, since it prima facie violates another seemingly important Humean principle, which we call Strong Supervenience and whose denial implies the existence of necessary connections among distinct individuals. We argue that the best defense for Bohumians is to question the fundamental existence of complex physical systems and their states by treating any reference to them as a convenient description of the underlying collection of Bohmian particles. We consider several pros and cons of this strategy. (shrink)

There seems to be an inconsistency at the heart of Aristotle’s Metaphysics: a differentia is said both to presuppose its genus (in vii 12) and to be logically independent from it (in x 7). I argue that the relation of analogy resolves this inconsistency, restores the coherence of the concepts of differentia and species, and gives x 7 its rightful place in the development of the Metaphysics.

An ontology of Leibnizian relationalism, consisting in distance relations among sparse matter points and their change only, is well recognized as a serious option in the context of classical mechanics. In this paper, we investigate how this ontology fares when it comes to general relativistic physics. Using a Humean strategy, we regard the gravitational field as a means to represent the overall change in the distance relations among point particles in a way that achieves the best combination of being simple (...) and being informative. (shrink)

The paper discusses from a metaphysical standpoint the nature of the dependence relation underpinning the talk of mutual action between material and spatiotemporal structures in general relativity. It is shown that the standard analyses of dependence in terms of causation or grounding are ill-suited for the general relativistic context. Instead, a non-standard analytical framework in terms of structural equation modeling is exploited, which leads to the conclusion that the kind of dependence encoded in the Einstein field equations is a novel (...) one. (shrink)

This paper elaborates on relationalism about space and time as motivated by a minimalist ontology of the physical world: there are only matter points that are individuated by the distance relations among them, with these relations changing. We assess two strategies to combine this ontology with physics, using classical mechanics as example: the Humean strategy adopts the standard, non-relationalist physical theories as they stand and interprets their formal apparatus as the means of bookkeeping of the change of the distance relations (...) instead of committing us to additional elements of the ontology. The alternative theory strategy seeks to combine the relationalist ontology with a relationalist physical theory that reproduces the predictions of the standard theory in the domain where these are empirically tested. We show that, as things stand, this strategy cannot be accomplished without compromising a minimalist relationalist ontology. (shrink)

We present a new metaphysical framework for physics that is conceptually clear, ontologically parsimonious, and empirically adequate. This framework relies on the notion of self-subsisting structure, that is, a set of fundamental physical elements whose individuation and behavior are described in purely relational terms, without any need for a background spacetime. Although the specification of the fundamental elements of the ontology depends on the particular physical domain considered---and is thus susceptible to scientific progress---, the empirically successful structural features of the (...) framework are preserved through theory change. The kinematics and dynamics of these self-subsisting structures are technically implemented using the theoretical framework of Pure Shape Dynamics, which provides a completely relational physical description of a system in terms of the intrinsic geometry of a suitably defined space called shape space. (shrink)

The paper shows how the Bohmian approach to quantum physics can be applied to develop a clear and coherent ontology of non-perturbative quantum gravity. We suggest retaining discrete objects as the primitive ontology also when it comes to a quantum theory of space-time and therefore focus on loop quantum gravity. We conceive atoms of space, represented in terms of nodes linked by edges in a graph, as the primitive ontology of the theory and show how a non-local law in which (...) a universal and stationary wave-function figures can provide an order of configurations of such atoms of space such that the classical space-time of general relativity is approximated. Although there is as yet no fully worked out physical theory of quantum gravity, we regard the Bohmian approach as setting up a standard that proposals for a serious ontology in this field should meet and as opening up a route for fruitful physical and mathematical investigations. (shrink)

Intuitively, collective nouns are pseudo-singular: a collection of things (a pair of people, a flock of birds, etc.) just is the things that make ‘it’ up. But certain facts about natural language seem to count against this view. In short, distributive predicates and numerals interact with collective nouns in ways that they seemingly shouldn’t if those nouns are pseudo-singular. We call this set of issues ‘the distribution problem’. To solve it, we propose a modification to cover-based semantics. On this semantics, (...) the interpretation of distributive predicates and numerals depends on a cover, where the choice of cover is strongly semantically constrained by the noun with which they interact. (shrink)

The paper discusses the possible implications of the relational framework of Pure Shape Dynamics for the metaphysics of time. The starting point of the analysis is an interpretation of shapes in ontic structural realist terms, which gives rise to the notion of self-subsisting structure. The relational version of a Newtonian-particle toy model is introduced and discussed as a concrete example.

Is suffering really bad? The late Derek Parfit argued that we all have reasons to want to avoid future agony and that suffering is in itself bad both for the one who suffers and impersonally. Nietzsche denied that suffering was intrinsically bad and that its value could even be impersonal. This paper has two aims. It argues against what I call ‘Realism about the Value of Suffering’ by drawing from a broadly Nietzschean debunking of our evaluative attitudes, showing that a (...) recently influential response to the debunking challenge (the appeal to phenomenal introspection) fails. It also argues that a Nietzschean approach is well suited to support the challenge and is bolstered by the empirical literature. As strangers to ourselves, we cannot know whether suffering is really intrinsically bad for us. (shrink)

The paper investigates the kind of dependence relation that best portrays Machian frame-dragging in general relativity. The question is tricky because frame-dragging relates local inertial frames to distant distributions of matter in a time-independent way, thus establishing some sort of non-local link between the two. For this reason, a plain causal interpretation of frame-dragging faces huge challenges. The paper will shed light on the issue by using a generalized structural equation model analysis in terms of manipulationist counterfactuals recently applied in (...) the context of metaphysical enquiry by Schaffer (2016) and Wilson (2017). The verdict of the analysis will be that frame-dragging is best understood in terms of a novel type of dependence relation that is half-way between causation and grounding. (shrink)

It is usual to identify initial conditions of classical dynamical systems with mathematical real numbers. However, almost all real numbers contain an infinite amount of information. I argue that a finite volume of space can’t contain more than a finite amount of information, hence that the mathematical real numbers are not physically relevant. Moreover, a better terminology for the so-called real numbers is “random numbers”, as their series of bits are truly random. I propose an alternative classical mechanics, which is (...) empirically equivalent to classical mechanics, but uses only finite-information numbers. This alternative classical mechanics is non-deterministic, despite the use of deterministic equations, in a way similar to quantum theory. Interestingly, both alternative classical mechanics and quantum theories can be supplemented by additional variables in such a way that the supplemented theory is deterministic. Most physicists straightforwardly supplement classical theory with real numbers to which they attribute physical existence, while most physicists reject Bohmian mechanics as supplemented quantum theory, arguing that Bohmian positions have no physical reality. (shrink)

L’aspirazione a conoscere è radicata nella natura umana. Capire che cos’è la conoscenza significa acquisire consapevolezza della propria identità.

Revista IT & C este o publicație trimestrială din domeniile tehnologiei informației și comunicații, și domenii conexe de studiu și practică. -/- Cuprins: -/- EDITORIAL / EDITORIAL -/- Tools Used in AI Development – The Turing Test Instrumente utilizate în dezvoltarea IA – Testul Turing -/- TEHNOLOGIA INFORMAȚIEI / INFORMATION TECHNOLOGY -/- Trends in the Evolution of Artificial Intelligence – Intelligent Agents Tendințe în evoluția inteligenței artificiale – Agenți inteligenți -/- TELECOMUNICAȚII / TELECOMMUNICATIONS -/- Security in 5G Telecommunications Networks with (...) 5G Core Securitatea în rețelele de telecomunicații 5G cu 5G Core -/- PROGRAMARE / PROGRAMMING -/- Alignment, Explainability and Confinement as Goals of Artificial Intelligence Alinierea, explicabilitatea și confinarea ca obiective ale inteligenței artificiale -/- SECURITATE CIBERNETICĂ / CYBER SECURITY -/- Threats of Artificial Intelligence for Cybersecurity Amenințări ale inteligenței artificiale pentru securitatea cibernetică -/- ISSN 2821-8469 ISSN-L 2821-8469, DOI: 10.58679/IT23696. (shrink)

This article provides a philosophical response to the need for truth-telling about colonial history, focussing on the Australian context. The response consists in inviting philosophers and the public to engage in social-justice practices specified by a model called Distributed Truth-Telling (DTT), which integrates the historiography of injustices affecting Indigenous peoples with insights from social philosophy and cultural evolution theory. By contrast to official and large-scale truth commissions, distributed truth-telling is a set of non-elitist practices that weave three components: first, multisite, (...) multiformat, and multiscale inquiries into injustices; second, remedial imaginings and reasoning about moral repair and reconciliated futures; and finally, emotions suitable for motivating agents to cooperatively plan and implement moral revolutions. Distributed truth-telling can entrench virtuous feedback loops that contribute to moral revolutions. However, vicious feedback loops associated with collective denial and biases can impair distributed truth- telling and thwart moral revolutions. (shrink)

If panpsychism is true, it suggests that consciousness pervades not only our brains and bodies but also the entire universe, prompting a reevaluation of our existential attitudes. Hence, panpsychism potentially fulfills psychological needs typically addressed by religious beliefs, such as a sense of belonging and purpose but also transcendence. The discussion is organized into two main areas: the implications of panpsychism for basic human existential needs, such as feelings of kinship, ommunication, and loneliness; and for greater existential questions relating to (...) mystical experiences including transcendent unity and alleviation of the fear of death. In conclusion panpsychism may provide a deeper meaning in life for some people but its broader impact depends on individual dispositions and the cultural context in which it is embedded. (shrink)

We aim to do two things in this article. On the positive end, our goal is to explain how some seemingly incompatible aspects of belief live together, by presenting distinct mechanistic explanations of each of them: in particular we want to show how belief can be discerning, credulous, rational, and irrational. After clarifying our positive view, we take aim at some competitor views in the second half of the paper, particularly offering critiques of epistemic vigilance and social marketplace accounts of (...) belief. We conclude by inviting proponents to provide an architecture for belief that can be tested against existing models. (shrink)

World food production is facing exorbitant challenges like climate change, use of resources, population growth, and dietary changes. These, in turn, raise major ethical and political questions, such as how to uphold the right to adequate nutrition, or the right to enact a gastronomic culture and to preserve the conditions to do so. Proposals for utopic solutions vary from vertical farming and lab meat to diets filled with the most fanciful insects and seaweeds. Common to all proposals is a polarized (...) understanding of food and diets, famously captured by Warren Belasco in the contraposition between technological fixes and anthropological fixes. According to the first, technology will deliver clean, just, pleasurable, affordable food; future generations will not need to adjust much of their dietary cultures. According to the second, future generations should dramatically change their dietary habits (what they eat and how they eat it) to achieve a sustainable diet. The two fixes found remarkably distinct perspectives over dietary politics and the ethics of food production and consumption. In this paper we argue that such polarized thinking rests on a misrepresentation of the ontological status of food, which in turn affects the underlying ethical and political issues. Food is a socially constructed object that draws in specific ways on habits, norms, traditions, geographical, and climatic conditions. Although this thesis seems somewhat obvious, its consequences on the ethical and political perspectives on the future of food have not been derived properly. After introducing the issue at stake (¤1), we point out the polarities that characterize food utopias (¤2) and their ontological faults (¤3). We hence suggest that a socio-ontological analysis of food can better deliver the principles for a foundation of food utopias (¤4). (shrink)

The paper investigates the type of realism that best suits the framework of decoherence taken at face value without postulating a plurality of worlds, or additional hidden variables, or non-unitary dynamical mechanisms. It is argued that this reading of decoherence leads to an extremely radical type of perspectival realism, especially when cosmological decoherence is considered.

The dynamics of general relativity is encoded in a set of ten differential equations, the so-called Einstein field equations. It is usually believed that Einstein's equations represent a physical law describing the coupling of spacetime with material fields. However, just six of these equations actually describe the coupling mechanism: the remaining four represent a set of differential relations known as Bianchi identities. The paper discusses the physical role that the Bianchi identities play in general relativity, and investigates whether these identities (...) --qua part of a physical law-- highlight some kind of a posteriori necessity in a Kripkean sense. The inquiry shows that general relativistic physics has an interesting bearing on the debate about the metaphysics of the laws of nature. (shrink)

In this article we argue that the social value of health research should be conceptualized as a function of both the expected benefits of the research and the priority that the beneficiaries deserve. People deserve greater priority the worse off they are. This conception of social value can be applied for at least two important purposes: in health research priority setting when research funders, policy-makers, or researchers decide between alternative research projects; and in evaluating the ethics of proposed research proposals (...) when research ethics committees assess whether the social value of the research is sufficient to justify the risks and burdens to research participants and others. In assessing how far a proposed research project will advance the interests of people who are more disadvantaged, research priority setters and RECs should examine the diseases that the research targets and the type of research. Just as certain diseases impose a greater burden on people who are more disadvantaged, so certain types of intervention and forms of research are more likely to benefit people who are more disadvantaged. We outline which populations are likely to be representative of the global worst off and identify what types of health research, and which disease categories, are priorities for these populations. (shrink)

The aim of this paper is to show that science, understood as pure research, ought not to be affected by non-epistemic values and thus to defend the traditional ideal of value-free science. First, we will trace the distinction between science and technology, arguing that science should be identified with pure research and that any non-epistemic concern should be di­rected toward technology and technological research. Second, we will examine different kinds of values and the roles they can play in scientific research (...) to argue that science understood as pure research is mostly and in any case ought to be value-free. Third, we will consider and dismiss some widespread arguments that aim to defend, especially at a normative level, the inevitable value-ladenness of science. Finally, we will briefly return to the connections among science, technology, and values. (shrink)

How do plurals and mass nouns refer? What kind of logic should be used in order to account for the truth-conditions of the sentences they appear in? For linguists, first-order predicate logic is adequate, provided it is supplemented by a notion of mereological sum for plurals and for mass nouns. On the contrary, according to some philosophers, new logics must be used, plural logic for plurals and mass logic for mass nouns. We survey these debates in this entry.

In a number of papers, Kit Fine introduced a theory of embodiment which distinguishes between rigid and variable embodiments, and has been successfully applied to clarify the ontological nature of entities whose parts may or may not vary in time. In particular, he has applied this theory to describe a process such as the erosion of a cliff, which would be a variable embodiment whose manifestations are the different states of erosion of the cliff. We find this theory very powerful, (...) and especially appropriate to capture the intuition that the same process may go on at different times. However, its formal principles have been subject to some criticisms, mainly concerning the mereological structure of a variable embodiment. Moreover, since the notion of variable embodiment is very general, simply saying that processes are variable embodiments is not enough to understand their ontological nature. To address these concerns, in this paper we proceed in two phases: first, we propose a revised version of Fine’s original theory adapted to the case of processes, which adopts a classical mereology instead of Fine’s hylomorphic mereology, and a temporalized constitution relation in place of Fine’s function of variable embodiment; second, we go deeper into the ontological nature of processes by revisiting the notions of homogeneity, intentionality, and telicity discussed in the literature, and propose an account based on ontological principles and not on semantic properties of predicates. This allows us to organize processes into a novel taxonomy based exclusively on their unity and individuation principles. (shrink)

This article explores the phenomenology of time and eschatology in the thought of Jean-Yves Lacoste, including his recent book on the philosophy of history. Lacoste’s idea of “the hidden present” is examined within the context of his broader theological and philosophical framework, with a particular focus on the way it addresses the intersection of temporality and eternity. Human temporality is characterized by finitude and death, which are interpreted both philosophically—under the influence of Heidegger’s philosophy—and theologically. Using Husserlian and Heideggerian concepts, (...) Lacoste proposes a theologically inspired conceptual network: phenomenological reduction versus theological reduction, world versus creation, death versus resurrection, care (Sorge) versus eschatological restlessness, and time versus eschaton. All of these describe the liturgical experience of man before God and the possibility of an eternity which, from the point of view of the world and of our experience in the world, can only take on the ever-provisional figure of anticipation. The present article argues for the existence of a theological paradox of eschatology in the writings of the French phenomenologist: even if eschatology is only anticipated, the liturgical man, situated before God (coram Deo), experiences it in an incomplete and apophatic manner. (shrink)

The development of a biological notion of “population” over the first century of the theory of evolution has been commented upon by a number of historians and philosophers of biology. Somewhat less commonly discussed, however, is the parallel development of the statistical concept of a population over precisely the same period, in some cases driven by the same historical actors (such as Francis Galton and R. A. Fisher). We explore here these parallel developments, first from the perspective of a reconstruction (...) of the historical development of each concept, then with the aid of a digital analysis of a corpus of literature drawn from the journals Biometrika and Journal of Genetics, between 1900 and 1960. These twin analyses show both points of interesting overlap between these two historical trends as well as points of important divergence. The biological and statistical notions of “population” seem to be relatively clearly distinguishable over these six decades, in spite of the fact that a number of authors contributed clearly to both traditions. The complex interplay of continuity and discontinuity across these two notions of “population” makes them a particularly interesting case study of scientific conceptual change. (shrink)

A constitutive theory of representation must address two challenges. The content determination challenge requires specifying why a particular state has a given content. The job description challenge requires spelling out the explanatory role that representational notions play in that theory. Recently, Nicholas Shea has advanced *varitel semantics* as a hybrid approach to representation to answer those challenges, supplementing teleosemantics with non-historical features –namely, exploitable relations and robustness. In this paper, I critically assess the hybrid theory’s answers to both challenges, arguing (...) that their hybrid nature undermines their merits. In each case, I will show that it is hard to establish how the alleged complementariness of the hybrid account components works. I will conclude that internal problems beset Shea’s theory of representation. (shrink)

A survey of the similarities and differences between BFO and DOLCE, and of the mutual interactions between Nicola Guarino and Barry Smith.

It’s natural to think of acts of solidarity as being public acts that aim at good outcomes, particularly at social change. I argue that not all acts of solidarity fit this mold - acts of what I call ‘private solidarity’ are not public and do not aim at producing social change. After describing paradigmatic cases of private solidarity, I defend an account of why such acts are themselves morally virtuous and what role they can have in moral development.

The empirical study of belief is emerging at a rapid clip, uniting work from all corners of cognitive science. Reliance on belief in understanding and predicting behavior is widespread. Examples can be found, inter alia, in the placebo, attribution theory, theory of mind, and comparative psychological literatures. Research on belief also provides evidence for robust generalizations, including about how we fix, store, and change our beliefs. Evidence supports the existence of a Spinozan system of belief fixation: one that is automatic (...) and independent of belief rejection. Independent research supports the existence of a system of fragmented belief storage: one that relies on large numbers of causally isolated, context-sensitive stores of belief in memory. Finally, empirical and observational data support at least two systems of belief change. One system adheres, mostly, to epistemological norms of updating; the other, the psychological immune system, functions to guard our most centrally held beliefs from potential inconsistency with newly formed beliefs. Refining our under- standing of these systems can shed light on pressing real-world issues, such as how fake news, propaganda, and brainwashing exploit our psychology of belief, and how best to construct our modern informational world. (shrink)

Dominant views about the nature of health and disease in bioethics and the philosophy of medicine have presumed the existence of a fixed, stable, individual organism as the bearer of health and disease states, and as such, the appropriate target of medical therapy and ethical concern. However, recent developments in microbial biology, neuroscience, the philosophy of cognitive science, and social and personality psychology (Ickes...

—Commentary on Mikhalevich and Powell on invertebrate minds.— Whether or not arthropods are sentient, they can have moral standing. Appeals to sentience are not necessary and retard progress in human treatment of other species, including invertebrates. Other increasingly well-documented aspects of invertebrate minds are pertinent to their welfare. Even if arthropods are not sentient, they can be agents whose goals—and therefore interests—can be frustrated. This kind of agency is sufficient for moral status and requires that we consider their welfare.

Thomas Kuhn a criticat falsificabilitatea pentru că a caracterizat "întreaga întreprindere științifică în termeni care se aplică doar părților revoluționare ocazionale". Potrivit lui Kuhn, modul în care știința funcționează în astfel de ocazii nu poate fi folosit pentru a caracteriza întreaga întreprindere științifică. În opinia lui Kuhn, un criteriu de delimitare trebuie să se refere la funcționarea științei normale. Kuhn obiectează împotriva întregii teorii a lui Popper și exclude orice posibilitate de reconstrucție rațională a dezvoltării științei. În opinia lui Kuhn, (...) nu poate exista logică, ci doar psihologia descoperirii. DOI: 10.13140/RG.2.2.16061.92641. (shrink)

The picture of moral development defended by followers of Aristotle takes moral cultivation to be like playing a harp; one gets to be good by actually spending time playing a real instrument. On this view, we cultivate a virtue by doing the actions associated with that virtue. I argue that this picture is inadequate and must be supplemented by imaginative techniques. One can, and sometimes must, cultivate virtue without actually performing the associated actions. Drawing on strands in Buddhist philosophy, I (...) explain several methods of moral development that rely on imagination and visualization rather than overt action. These techniques are essential in cases where cultivating virtue the way one practices the harp is impossible. In particular, I focus on single-event virtues, first-time virtuous acts, and morally dangerous situations. (shrink)

De acuerdo con una caracterización filosófica estándar, el comportamiento humano se hace inteligible a partir de estados mentales, atendiendo especialmente a dos relaciones explicativas: la racionalidad y la causalidad. En el presente artículo evaluaremos cuán adecuada es dicha caracterización respecto a las explicaciones que se dan en las psicoterapias contextuales. Nuestro análisis establece varias respuestas por la negativa. Por un lado, el objetivo de estas terapias no es la comprensión ni la evaluación normativa, por lo que la racionalidad no juega (...) allí un rol explicativo. A su vez, el rol de la causalidad es secundario en la evaluación diagnóstica, dado que en esa etapa del proceso terapéutico es la función de los comportamientos la que busca elucidarse. Finalmente, sostenemos que la intervención terapéutica de estas psicoterapias se centra en explicaciones causales, aunque no desde el modelo de sentido común que la caracterización filosófica supone. Sugerimos, por la positiva, que las explicaciones del comportamiento en psicoterapias contextuales son híbridas: al evaluar apelan a explicaciones funcionales y al intervenir a explicaciones causales. (shrink)

This paper challenges a widespread, if tacit, assumption of animal ethics, namely, that the only properties of entities that matter to their moral status are intrinsic, cross‐specific properties—typically psychological capacities. According to moral individualism (Rachels 1990; McMahan 2002; 2005), the moral status of an individual, and how to treat him or her, should only be a function of his or her individual properties. I focus on the fundamental assumption of moral individualism, which I call intrinsicalism. On the challenged view, pigs, (...) puppies and babies, insofar as they are intrinsically similar in morally relevant respects are equally deserving of having their interests satisfied (Norcross 2004). Moreover, relationships—merely agent-relative—are assumed to be irrelevant to moral status. I argue that, while some intrinsic properties are indeed fundamentally relevant, the principled exclusion of extrinsic properties (in virtue of extrinsicness) is unwarranted. From uncontroversial assumptions about supervenience, final value, and moral status, I argue for the relevance of extrinsic properties to moral status based on vulnerability and “reasonable partiality”, as illustrated by pet-keeping. (shrink)

Do scientific theories limit human knowledge? In other words, are there physical variables hidden by essence forever? We argue for negative answers and illustrate our point on chaotic classical dynamical systems. We emphasize parallels with quantum theory and conclude that the common real numbers are, de facto, the hidden variables of classical physics. Consequently, real numbers should not be considered as ``physically real" and classical mechanics, like quantum physics, is indeterministic.

What can be more fascinating than experimental metaphysics, to quote one of Abner Shimony’s enlightening expressions? Bell inequalities are at the heart of the study of nonlocality. I present a list of open questions, organised in three categories: fundamental; linked to experiments; and exploring nonlocality as a resource. New families of inequalities for binary outcomes are presented.

Animals who live in cities must coexist with us. They are, as a result, entitled to the conditions of their flourishing. This article argues that, as the boundaries of cities and urban areas expand, the boundaries of our conception of captivity should expand too. Urbanization can undermine animals’ freedoms, hence their ability to live good lives. I draw the implications of an account of “pervasive captivity” against the background of the Capabilities Approach. I construe captivity, including that of urban animals, (...) as affecting a range of animal capabilities, understood as freedoms, and I address some tensions within Nussbaum’s treatment of human-animal conflicts. Using the Capabilities Approach as a guide, I will attempt to motivate a convergence between habitat preservation in urbanized environments, urban design guided by justice, and the individual freedoms of animals. (shrink)

This paper is concerned with the construction of theories of software systems yielding adequate predictions of their target systems’ computations. It is first argued that mathematical theories of programs are not able to provide predictions that are consistent with observed executions. Empirical theories of software systems are here introduced semantically, in terms of a hierarchy of computational models that are supplied by formal methods and testing techniques in computer science. Both deductive top-down and inductive bottom-up approaches in the discovery of (...) semantic software theories are refused to argue in favour of the abductive process of hypothesising and refining models at each level in the hierarchy, until they become satisfactorily predictive. Empirical theories of computational systems are required to be modular, as modular are most software verification and testing activities. We argue that logic relations must be thereby defined among models representing different modules in a semantic theory of a modular software system. We exclude that scientific structuralism is able to define module relations needed in software modular theories. The algebraic Theory of Institutions is finally introduced to specify the logic structure of modular semantic theories of computational systems. (shrink)

The claim that the observation of a violation of a Bell inequality leads to an alleged alternative between nonlocality and non-realism is annoying because of the vagueness of the second term.

Suporterii lui Popper au susținut că cele mai multe critici se bazează pe o interpretare neînțeleasă a ideilor sale. Ei afirmă că Popper nu ar trebui interpretat în sensul că falsificabilitatea este o condiție suficientă pentru delimitarea științei. Unele pasaje par să sugereze că el o consideră doar o condiție necesară. Alte pasaje ar sugera că, pentru ca o teorie să fie științifică, Popper impune (pe lângă falsificabilitate) și alte teste, și că rezultatele negative ale testelor sunt acceptate. DOI: 10.13140/RG.2.2.22639.79521.

This paper demonstrates the central role of the Socratic elenchus in the Sophist. In the first part, I defend the position that the Stranger describes the Socratic elenchus in the sixth division of the Sophist. In the second part, I show that the Socratic elenchus is actually used when the Stranger scrutinizes the accounts of being put forward by his predecessors. In the final part, I explain the function of the Socratic elenchus in the argument of the dialogue. By contrast (...) with standard scholarly interpretations, this way of reading the text provides all the puzzles about being (241c4–251a4) with a definite function in the dialogue. It also reveals that Plato’s methodology includes a plurality of method and is more continuous than what is often believed. (shrink)