We consider algebras on binary relations with two main operators: relational composition and dynamic negation. Relational composition has its standard interpretation, while dynamic negation is an operator familiar to students of Dynamic Predicate Logic (DPL) (Groenendijk and Stokhof, 1991): given a relation R its dynamic negation R is a test that contains precisely those pairs (s,s) for which s is not in the domain of R. These two operators comprise precisely the propositional part of DPL.This paper contains a finite equational (...) axiomatization for these dynamic relation algebras. The completenessresult uses techniques from modal logic. We also lookat the variety generated by the class of dynamic relation algebras and note that there exist nonrepresentable algebras in this variety, ones which cannot be construedas spaces of relations. These results are also proved for an extension to a signature containing atomic tests and union. (shrink)

Negative definability ([18]) is an alternative way of defining classes of Kripke frames via a modal language, one that enables us, for instance, to define the class of irreflexive frames. Besides a list of closure conditions for negatively definable classes, the paper contains two main theorems. First, a characterization is given of negatively definable classes of (rooted) finite transitive Kripke frames and of such classes defined using both traditional (positive) and negative definitions. Second, we characterize the negatively definable classes of (...) rooted general frames. (shrink)

We consider the variety of Dynamic Relation Algebras V(DRA). We show that the monoid of an algebra in this variety determines dynamic negation uniquely.

What is mathematics about? And if it is about some sort of mathematical reality, how can we have access to it? This is the problem raised by Plato, which still today is the subject of lively philosophical disputes. This book traces the history of the problem, from its origins to its contemporary treatment. It discusses the answers given by Aristotle, Proclus and Kant, through Frege's and Russell's versions of logicism, Hilbert's formalism, Gödel's platonism, up to the the current debate on (...) Benacerraf's dilemma and the indispensability argument. Through the considerations of themes in the philosophy of language, ontology, and the philosophy of science, the book aims at offering an historically-informed introduction to the philosophy of mathematics, approached through the lenses of its most fundamental problem. (shrink)

The classification of medical interventions as either invasive or non-invasive is commonly regarded to be morally important. On the most commonly endorsed account of invasiveness, a medical intervention is invasive if and only if it involves either breaking the skin (‘incision’) or inserting an object into the body (‘insertion’). Building on recent discussions of the concept of invasiveness, we show that this standard account fails to capture three aspects of existing usage of the concept of invasiveness in relation to medical (...) interventions—namely, (1) usage implying that invasiveness comes in degrees, (2) that the invasiveness of an intervention can depend on the characteristics of the salient alternative interventions, and (3) that medical interventions can be invasive in non-physical ways. We then offer the beginnings of a revised account that, we argue, is able to capture a wider range of existing usage. Central to our account is a distinction between two properties: basic invasiveness and threshold invasiveness. We end by assessing what the standard account gets right, and what more needs to be done to complete our schematic account. (shrink)

AI-based technologies are increasingly pervasive in a number of contexts. Our affective and emotional life makes no exception. In this article, we analyze one way in which AI-based technologies can affect them. In particular, our investigation will focus on affective artificial agents, namely AI-powered software or robotic agents designed to interact with us in affectively salient ways. We build upon the existing literature on affective artifacts with the aim of providing an original analysis of affective artificial agents and their distinctive (...) features. We argue that, unlike comparatively low-tech affective artifacts, affective artificial agents display a specific form of agency, which prevents them from being perceived by their users as extensions of their selves. In addition to this, we claim that their functioning crucially depends on the simulation of human-like emotion-driven behavior and requires a distinctive form of transparency—we call it emotional transparency—that might give rise to ethical and normative tensions. (shrink)

I discuss Clark’s predictive processing/extended mind hybrid, diagnosing a problem: Clark’s hybrid suggests that, when we use them, we pay attention to mind-extending external resources. This clashes with a commonly accepted necessary condition of cognitive extension; namely, that mind-extending resources must be phenomenally transparent when used. I then propose a solution to this problem claiming that the phenomenal transparency condition should be rejected. To do so, I put forth a parity argument to the effect that phenomenal transparency cannot be a (...) necessary condition on cognitive extension: roughly, since internal cognitive resources can fail to be transparent when used, by parity, external resources can fail to be phenomenally transparent too. Further, I argue that phenomenal transparency is not even a reliable indicator of cognitive extension; hence its absence should not be considered a problem for Clark’s extended mind-predictive processing hybrid. Lastly, I consider and allay a number of worries my proposal might raise, and conclude the paper. (shrink)

In the last decades it has become clear that medicine must find some way to combine its scientific and humanistic sides. In other words, an adequate notion of medicine requires an integrative position that mediates between the analytic-reductionist and the normative-holistic tendencies we find therein. This is especially important as these different styles of reasoning separate “illness” (something perceived and managed by the whole individual in concert with their environment) and “disease” (a “mechanical failure” of a biological element within the (...) body). While the demand for an integrative view has typically been motivated by ethical concerns, we claim that it is also motivated, perhaps even more fundamentally, by epistemological and methodological reasons. Evidence-based bio-medicine employs experimental and statistical techniques which eliminate important differences in the ways that conscious humans evaluate, live with, and react to disease and illness. However, it is precisely these experiences that underpin the concepts and norms of bio-medicine. Humanistic disciplines, on the other hand, have the resources to investigate these experiences in an intersubjectively testable way. Medicine, therefore, cannot afford to ignore its nature as a human science; it must be concerned not only with disease and illness, but also with the ways in which patients as persons respond to malady. Insofar as attitudes and expectations influence the criteria of illness and disease, they must be studied as part of the genuine subject matter of medicine as a human science. In general, we urge that this is a necessary step to overcome today's trend to split evidence-based and clinical medicine. (shrink)

We prove that the opposite of the category of coalgebras for the Vietoris endofunctor on the category of compact Hausdorff spaces is monadic over $\mathsf {Set}$. We deliver an analogous result for the upper, lower, and convex Vietoris endofunctors acting on the category of stably compact spaces. We provide axiomatizations of the associated (infinitary) varieties. This can be seen as a version of Jónsson–Tarski duality for modal algebras beyond the zero-dimensional setting.

The paper presents and discusses the Hubble tension with respect to recent results in cosmology. I shall argue that the measurements from the James Webb Space Telescope and TRGB stars calibrations allow us to infer that the estimates of H0 with late universe methods are robust. Building on from robustness analysis, I conclude that the resolution of the tension cannot be expected to come from new systematics, but rather from new physics.

We investigated motor resonance in children using a priming paradigm. Participants were asked to judge the weight of an object shortly primed by a hand in an action-related posture or a non action-related one . The hand prime could belong to a child or to an adult. We found faster response times when the object was preceded by a grasp hand posture . More crucially, participants were faster when the prime was a child’s hand, suggesting that it could belong to (...) their body schema, particularly when the child’s hand was followed by a light object . A control experiment helped us to clarify the role of the hand prime. To our knowledge this is the first behavioral evidence of motor simulation and motor resonance in children. Implications of the results for the development of the sense of body ownership and for conceptual development are discussed. (shrink)

Munch-Jurisic’s book thoroughly describes several cases of severe distresses reported and expressed by perpetrators of tremendous acts such as mass murders. Arguing against a simplistic reading according to which these signs of distress are straightforward manifestations of some innate moral nature, and against the optimistic reading according to which they will lead to prosocial behaviors, Munch-Jursic offers compelling reasons to adopt a more complex theory of emotion. In this commentary, I aim to stress the implications of her book for the (...) debate on moral enhancement and for emotion theory in general. However, while I concur with Munch-Jurisic that emotion theory must make room for complexity and indeterminacy, I challenge her claim that motivational theories of emotion are ill-equipped to face the challenges she poses. (shrink)

(2013). Distributed intentionality: A model of intentional behavior in humans. Philosophical Psychology: Vol. 26, No. 2, pp. 267-290. doi: 10.1080/09515089.2011.641743.

Many approaches to quantum gravity -the theory that should account for quantum and gravitational phenomena under the same theoretical umbrella- seem to point at some form of spacetime emergence, i.e., the fact that spacetime is not a fundamental entity of our physical world. This tenet has sparked many philosophical discussions: from the so-called empirical incoherence problem to different accounts of emergence and mechanisms thereof. In this contribution, I focus on the partial order relation of causal set theory and argue that (...) causation can be characterized as an a-temporal constraint over the kinematic space defined by the theory. The relation constrains the growth of a new element/event with respect to the other elements/events of a given set. Therefrom, the flow of time emerges from the collection of the possible growths of the given set, where each possibility is characterized by a classical probability assigned by the dynamics of the theory. (shrink)

Der profilierte Marx-Forscher Marco Iorio liefert eine kundige Einführung für jeden, der unvoreingenommen wissen will, was Karl Marx denn nun wirklich zu sagen hat. In dieser kritischen und konstruktiven Gesamtinterpretation kommen alle wichtigen Themen zur Sprache: von Geschichtsphilosophie und Gesellschaftstheorie über ökonomischer und politischer Theorie bis hin zu revolutionstheoretischen und moralphilosophischen Problemstellungen. Die berücksichtigte Sekundärliteratur deckt sämtliche aktuell relevanten Strömungen ab, darunter analytischer Marxismus, Postkolonialismus, Poststrukturalismus, Post- bzw. Neomarxismus. Damit eignet sich die Einführung auch hervorragend als Kursbuch für Lehrveranstaltungen (...) und als studienbegleitende Lektüre. (shrink)

The modern world was in part born as a reaction against Aristotelianism. However, the image of Aristotle to which modern philosophers reacted was partial, to say the least. Paradoxical though it may seem, today, more than twenty-three centuries on, we may now be in the most advantageous position for understanding the Stagirite's philosophy and applying it to contemporary problems. The present book contributes to the forming of an idea of Post-modern reason inspired by a constellation of Aristotelian concepts, such as (...) prudence (phronesis), practical truth (aletheia praktike), science in act (episteme en energeiai), metaphor (metaphora), similarity (homoiosis) and the imitation-creation pair (mimesis-poiesis). They all form an interconnected network and together they make up an idea of reason that may prove suitable for the present. These concepts offer the most promising basis for undertaking a series of urgent reconciliations: of facts and values, of means and ends, of theoretical and practical reason, of intelligence and emotion. Aristotle's notions could help solve many dualisms of modern times. He offers a third way between identity and difference in ontology and politics, between algorithm and anarchism in methodology, between naïve realism and plain relativism in epistemology, between equivocity and univocity in language, between Enlightenment and Romanticism in culture... On the way, this shift facilitates the relationships between science, arts and ethics - the three parts of the sphere of culture which Modernity had separated - as well as the integration of the sphere of culture itself with the world of life. (shrink)

Sartre maintains that “all consciousness is consciousness of something.” Idiosyncratically, he also understands this “intentionality principle” to entail that what consciousness is “of” is necessarily distinct from it (or “outside of” it, or “transcendent to” it). Nonetheless, he also maintains that all consciousness is necessarily conscious of—or rather, “(of)”—itself in a non‐intentional (in his terms: “non‐positional/non‐thetic”) manner. Given that this non‐positional/thetic self‐consciousness is not intentional, it is evidently immune to the “difference” principle, but this is less clear with respect to (...) self‐reflection (which Sartre simply calls “reflection”). It seems impossible for reflection to be “intentional” because intentionality entails difference—yet it also seems problematic to consider reflection “non‐intentional” because it then becomes difficult to distinguish reflection from non‐positional/thetic self‐consciousness as such (which is inherently “unreflective”). This can be called Sartre's “dilemma of reflection.” While Sartre seems to alternate between portraying reflection as intentional and as non‐intentional (it generally appears like the former), this paper argues that it should be conceived as both according to different respects. By piecing together various passages of Sartre's texts and drawing out their implications, Sartre can be shown to have the resources for an answer to his own dilemma. (shrink)

Nel suo pionieristico lavoro Conditions in Königsberg and the Making of Kant's Philosophy, Giorgio Tonelli lamentava l'assenza di un'indagine approfondita sul contesto intellettuale di Königsberg e sull'eventuale influenza che esso esercitò su alcuni aspetti del pensiero di Kant. Questo libro vuole colmare questa lacuna prestando particolare attenzione alla tradizione aristotelica, alla Schulphilosophie, e alla corrente dell'eclettismo, che dominarono l'ambiente regiomontano sino all'avvento della filosofia critica kantiana. Il lavoro mostra come dai fallimenti dei progetti logici e metafisici precritici, legati alle influenze (...) ricevute dall'ambiente di Königsberg, Kant abbia tratto le idee e gli spunti per la stesura della Kritik der reinen Vernunft. (shrink)

This chapter focuses on one of the common fallacies in Western philosophy, 'legalistic mistake'. The use of “legal‐like” terms abounds outside the legal domain. But sometimes the users of these terms commit the fallacy Joel Feinberg called the legalistic mistake. On widening the use of such legal‐like terms, we must be cautious, for we might find ourselves guilty of making inferential mistakes or even proffering pure nonsense. The error, according to Feinberg, is committed by “one who, in stating a moral (...) question using a legal‐like term, uncritically imports the precision of that term in its strict legal sense, while excluding appeal to the kinds of criteria which alone can decide its use”. In “On Being 'Morally Speaking a Murderer’” Feinberg introduced the idea that, sometimes, using legal notions outside legal contexts may lead to a peculiar kind of fallacy he called the legalistic mistake. (shrink)

Dr. Marco Forgione (University of Milan), COSMOS team member, interviewed Prof. Peter Galison (Harvard University) in occasion of the event “Photographs from Outer Space”.

This book fills a major gap in the ever-increasing secondary literature on Hannah Arendt's political thought by providing a dedicated and coherent treatment of the many, various and interesting things which Arendt had to say about law. Often obscured by more pressing or more controversial aspects of her work, Arendt nonetheless had interesting insights into Greek and Roman concepts of law, human rights, constitutional design, legislation, sovereignty, international tribunals, judicial review and much more. This book retrieves these aspects of her (...) legal philosophy for the attention of both Arendt scholars and lawyers alike. The book brings together lawyers as well as Arendt scholars drawn from a range of disciplines (philosophy, political science, international relations), who have engaged in an internal debate the dynamism of which is captured in print. Following the editors' introduction, the book is split into four Parts: Part I explores the concept of law in Arendt's thought; Part II explores legal aspects of Arendt's constitutional thought: first locating Arendt in the wider tradition of republican constitutionalism, before turning attention to the role of courts and the role of parliament in her constitutional design. In Part III Arendt's thought on international law is explored from a variety of perspectives, covering international institutions and international criminal law, as well as the theoretical foundations of international law. Part IV debates the foundations, content and meaning of Arendt's famous and influential claim that the 'right to have rights' is the one true human right. (shrink)

Emoticons and facial emojis are ubiquitous in contemporary digital communication, where it has been proposed that they make up for the lack of social information from real faces. In this paper, I construe them as cultural artifacts that exploit the neurocognitive mechanisms for face perception. Building on a step-by-step comparison of psychological evidence on the perception of faces vis-à-vis the perception of emoticons/emojis, I assess to what extent they do effectively vicariate real faces with respect to the following four domains: (...) (1) the expression of emotions, (2) the cultural norms for expressing emotions, (3) conveying non-affective social information, and (4) attention prioritization. (shrink)

In the substitutional framework, validity is truth under all substitutions of the nonlogical vocabulary. I develop a theory where □ is interpreted as substitutional validity. I show how to prove soundness and completeness for common modal calculi using this definition.

In this contribution, I explore the possibility of characterizing the emergence of time in causal set theory (CST) in terms of the growing block universe (GBU) metaphysics. I show that although GBU seems to be the most intuitive time metaphysics for CST, it leaves us with a number of interpretation problems, independently of which dynamics we choose to favor for the theory —here I shall consider the Classical Sequential Growth and the Covariant model. Discrete general covariance of the CSG dynamics (...) does not allow us to individuate a single history of the universe (defined by a causal history of different causal sets), thereby making the claim that ‘the past exists’ at best problematic. In addition, because the evolution of the universe in CSG dynamics leads to an outward branching causal tree, it becomes impossible to determine a proper ‘line of becoming’, thereby blurring the presentists’ claim that only the present exists. Similarly, the covariant approach runs into the same, if not even more severe problems, since each configuration of the universe would amount to a set of possible causal sets, thereby making the individuation of a single configuration of the universe —and thus the physical interpretation of the theory— implausible. (shrink)

We propose a new principle of 'non-interference' applied to social welfare orderings. The principle, together with two other standard requirements, implies a strong egalitarian conclusion: the ordering must lexicographically maximize the welfare of the worst off.