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)

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)

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

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)

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)

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)

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)

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.

A central feature of experimental development economics is the use of randomized controlled trials (RCTs) to evaluate the effectiveness of prospective socioeconomic interventions. The use of RCTs in development economics raises a host of ethical issues which are just beginning to be explored. In this article, I address one ethical issue in particular: the routine use of the status quo as a control when designing and conducting a development RCT. Drawing on the literature on the principle of standard care in (...) medical research ethics, as well as considerations of distributive justice in non-ideal circumstances, I argue that the practice of using the status quo as a control is ethically justifiable. However, I add an important qualification based on the natural duty of rescue to address the concern that my account is overly permissive. (shrink)

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)

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

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.

Il presente volume, il primo della collana Ricerche di Storia della Filosofia e Teologia Medioevali in onore del Professor Marco Arosio, offre agli esperti e ai cultori degli studi medievali i contributi che - secondo il giudizio della giuria e in accordo con quanto stabilito dal bando del Premio Marco Arosio - sono stati considerati meritevoli di essere pubblicati. Il libro, curato da Marco Martorana, Rafael Pascual e Veronica Regoli, presenta i saggi di otto autori, dei trentuno (...) partecipanti alle edizioni del 2011 e del 2012 del Premio: Andrea Colli, Alfredo Gatto, Andrea Lami, Corrado Maria Malavolta, Lucia Pappalardo, Davide Riserbato, Giulia Sossi, Luca Vettorello. (shrink)

We study a principle of ‘Non-Interference’ in social welfare judgements. Non-Interference captures aspects of liberal approaches (particularly a Millian approach) to social decision making. In its full generality, Non-Interference produces an impossibility result: together with Weak Pareto Optimality, it implies that a social welfare ordering must be dictatorial. However, interesting restricted versions of Non-Interference are compatible with standard social welfare orderings.

We model opportunities in society as ‘chances of success’, that is as they are commonly described by practitioners. We show that a classical liberal principle of justice together with a limited principle of social rationality imply that the social objective should be to maximise the chance that everybody in society succeeds. Technically, this means using a ‘Nash’ welfare criterion. A particular consequence is that the failure of even only one individual must be considered maximally detrimental. We also study a refinement (...) of this criterion and its extension to problems of intergenerational justice. (shrink)

The Routledge International Handbook of Neuroaesthetics is an authoritative reference work that provides the reader with a wide-ranging introduction to this exciting new scientific discipline. The book brings together leading international academics to offer a well-balanced overview of this burgeoning field while addressing two questions central to the field; how the brain computes aesthetic appreciation for sensory objects, and how is art created and experienced.

The Unconscious in Neuroscience and Psychoanalysis presents a unique and provocative approach to the assimilation of these two disciplines while offering a thorough assessment of the Unconscious from a neuropsychoanalytic and Lacanian perspective. Marco Máximo Balzarini offers a comprehensive overview of Freud's theory of the unconscious and its importance within psychoanalysis, before looking to how it has been integrated into contemporary neuropsychoanalytic work. Paying close attention to the field-defining work of neuropsychoanalysts such as Mark Solms, Francois Ansermet and Pierre (...) Magistretti, Balzarini considers the dichotomy between neuroscience and psychoanalysis, and the omnipresent debate on if and how they should be integrated when working with the unconscious. Throughout, he provides a fascinating Lacanian interpretation, showing how the work of Lacan can offer a new way of developing the dialogue and understanding around this vital topic. Part of the Routledge Neuropsychoanalysis Series, this book will be of interest to any psychoanalyst seeking to explore the foundations of the relationship between neuropsychoanalytic and Lacanian ideas in their clinical and theoretical work. (shrink)

Humans have engaged in artistic and aesthetic activities since the appearance of our species. Our ancestors have decorated their bodies, tools, and utensils for over 100,000 years. The expression of meaning using color, line, sound, rhythm, or movement, among other means, constitutes a fundamental aspect of our species' biological and cultural heritage. Art and aesthetics, therefore, contribute to our species identity and distinguish it from its living and extinct relatives. Science is faced with the challenge of explaining the natural foundations (...) of such a unique trait, and the way cultural processes nurture it into magnificent expressions, historically and ethnically unique. How do the human mind and brain bring about these sorts of behaviors? What psychological and neural processes underlie the appreciation of painting, music, and dance? How does training modulate these processes? Are humans the only species capable of aesthetic appreciation, or are other species endowed with the rudiments of this capacity? Empirical examinations of such questions have a long and rich history in the discipline of psychology, the genesis of which can be traced back to the publication of Gustav Theodor Fechner's Vorschule der Aesthetik in 1876, making it the second oldest branch in experimental psychology. The Oxford Handbook of Empirical Aesthetics brings together leading experts in psychology, neuroimaging, art history, and philosophy to answer these questions. It provides the most comprehensive coverage of the domain of empirical aesthetics to date. With sections on visual art, dance, music, and many other art forms and aesthetic phenomena, the breadth of this volume's scope reflects the richness and variety of topics and methods currently used today by scientists to understand the way our mind and brain endow us with the faculty to produce and appreciate art and aesthetics. (shrink)