A spatial logic is a formal language interpreted over any class of structures featuring geometrical entities and relations, broadly construed. In the past decade, spatial logics have attracted much attention in response to developments in such diverse fields as Artificial Intelligence, Database Theory, Physics, and Philosophy. The aim of this handbook is to create, for the first time, a systematic account of the field of spatial logic. The book comprises a general introduction, followed by fourteen chapters by invited authors. Each (...) chapter provides a self-contained overview of its topic, describing the principal results obtained to date, explaining the methods used to obtain them, and listing the most important open problems. Jointly, these contributions constitute a comprehensive survey of this rapidly expanding subject. (shrink)

We investigate the major mathematical theories of space from a modal standpoint: topology, affine geometry, metric geometry, and vector algebra. This allows us to see new fine-structure in spatial patterns which suggests analogies across these mathematical theories in terms of modal, temporal, and conditional logics. Throughout the modal walk through space, expressive power is analyzed in terms of language design, bisimulations, and correspondence phenomena. The result is both unification across the areas visited, and the uncovering of interesting new questions.

Since the early days of physics, space has called for means to represent, experiment, and reason about it. Apart from physicists, the concept of space has intrigued also philosophers, mathematicians and, more recently, computer scientists. This longstanding interest has left us with a plethora of mathematical tools developed to represent and work with space. Here we take a special look at this evolution by considering the perspective of Logic. From the initial axiomatic efforts of Euclid, we revisit the major milestones (...) in the logical representation of space and investigate current trends. In doing so, we do not only consider classical logic, but we indulge ourselves with modal logics. These present themselves naturally by providing simple axiomatizations of different geometries, topologies, space-time causality, and vector spaces. (shrink)

Following the COVID-19 pandemic, many countries worldwide have put lockdowns in place to prevent the virus from spreading. Evidence shows that lockdown measures can affect mental health; it is, therefore, important to identify the psychological characteristics making individuals more vulnerable. The present study aimed, first, to identify, through a cluster analysis, the psychological attributes that characterize individuals with similar psychological responses to the COVID-19 home confinement; second, to investigate whether different psychological characteristics, such as personality traits, alexithymia, and resilience, specifically (...) influence anxiety, stress, and depression, depending on the scope of the confinement. We analyzed data from 393 participants who completed an online survey on their experiences during two different phases of the Italian lockdown, characterized by more or less strict measures of confinement. Two clusters were identified which included participants reporting a better and worse emotional response to the lockdown, respectively. Individuals in the −ER group showed lower emotional stability, resilience, and higher alexithymia. Moreover, even if lifting part of the restrictions decreased psychological distress among all participants, a reduction in perceived stress was observed only among individuals with high resilience. Finally, personality traits, alexithymia, and resilience differently affected depression, anxiety, and stress. Our results suggest that different psychological interventions should be planned depending on the context: mental health professionals should focus on enhancing the individuals’ coping strategies to alleviate stress in emergencies, while long-term intervention aiming at alleviating anxiety and depressive symptoms should focus on alexithymic tendencies and personality constructs. (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)

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 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)

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)

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)

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)

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)

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)

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)

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.

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)

AndersEthiksozialistische als ‚christliche‘, ‚jüdische‘ und ‚muslimische Ethik‘ steht die Wendung ‚sozialistische Ethik‘ nicht für einen festen Kanon moralischer WerteWertemoralische.

This paper explores the use of video news releases (VNRs) without source disclosure from legal and ethical perspectives. In light of current regulatory debates regarding VNRs, the paper first examines whether journalists' use of corporate VNRs without source disclosure violates FCC regulations. It then questions the ethics of using such VNRs by examining the current code of ethics for both the public relations practitioners creating VNRs and the news organizations airing them. The paper uses the ethical construct of transparency to (...) further examine the ethics of VNR production and exhibition without source disclosure. It finds that regardless of whether the use of VNRs without source disclosure violates current sponsorship rules, the use of such VNRs not only violates codes of ethics but also transparency, which includes values such as accountability, credibility, trust, respect, truth and honesty, reason, freedom, dignity, and duty. (shrink)

The current volume provides an interpretation of American pragmatism according to which pragmatism is not opposed to metaphysics but instead represents a vital, non-dismissive, non-deflationary attempt to respond to classical questions of philosophy concerning the nature of reality, truth, goodness, beauty, ideality, etc. American pragmatism has been often interpreted as a form of crass utilitarianism applied to all areas of philosophy – a precipitation of the “industrialist” spirit of the United States. This book demonstrates how such an interpretation is misguided. (...) The chapters focus on different topics in the philosophies of Peirce and Dewey – what is “meaning,” what is the human self, what is truth, what is consciousness, what “semiotics” can add to realism – that articulate the unitary view that the “real” is always inhabited by and open to the “ideal.”. (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)

El tema de las relaciones entre ciencia y religión es central en la obra de Ruse. No se trata de una mera curiosidad o de una cuestión tratada tangencialmente, sino que está en el corazón de sus preocupaciones intelectuales e incluso vitales (sección 1). Hay que señalar, además, que la actividad de Ruse coincide con una cierta encrucijada histórica, en la cual se enfrentan dos posiciones extremas y mutuamente hostiles, el creacionismo, por una parte, y el nuevo ateísmo, por otra (...) (sección 2). Para entender las propuestas respetuosas, matizadas y constructivas que hace Ruse, hay que situarlas en un marco teórico complejo, donde sean posibles actitudes menos burdas que el simple enfrentamiento (sección 3). Quizá la fórmula que mejor recoge las ideas de Ruse en este dominio sea la de “existencialismo darwinista”, como él mismo propone (sección 4). Por último, presentaré un resumen conclusivo de lo hallado (sección 5). (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)

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.