We discuss two-layered logics formalising reasoning with paraconsistent probabilities that combine the Łukasiewicz [0, 1]-valued logic with Baaz ▵\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\triangle $$\end{document} operator and the Belnap–Dunn logic. The first logic (introduced in [7]) formalises a ‘two-valued’ approach where each event ϕ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\phi $$\end{document} has independent positive and negative measures that stand for, respectively, the likelihoods of ϕ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\phi (...) $$\end{document} and ¬ϕ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\lnot \phi $$\end{document}. The second logic that we introduce here corresponds to ‘four-valued’ probabilities. There, ϕ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\phi $$\end{document} is equipped with four measures standing for pure belief, pure disbelief, conflict and uncertainty of an agent in ϕ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\phi $$\end{document}.We construct faithful embeddings of and into one another and axiomatise using a Hilbert-style calculus. We also establish the decidability of both logics and provide complexity evaluations for them using an expansion of the constraint tableaux calculus for. (shrink)

Proof-theoretic methods are developed for subsystems of Johansson’s logic obtained by extending the positive fragment of intuitionistic logic with weak negations. These methods are exploited to establish properties of the logical systems. In particular, cut-free complete sequent calculi are introduced and used to provide a proof of the fact that the systems satisfy the Craig interpolation property. Alternative versions of the calculi are later obtained by means of an appropriate loop-checking history mechanism. Termination of the new calculi is proved, and (...) used to conclude that the considered logical systems are PSPACE-complete. (shrink)

We investigate uniform interpolants in propositional modal logics from the proof-theoretical point of view. Our approach is adopted from Pitts’ proof of uniform interpolationin intuitionistic propositional logic [15]. The method is based on a simulation of certain quantifiers ranging over propositional variables and uses a terminating sequent calculus for which structural rules are admissible.

We introduce the logic LRC, designed to describe and reason about agents’ abilities and capabilities in using resources. The proposed framework bridges two—up to now—mutually independent strands of literature: the one on logics of abilities and capabilities, developed within the theory of agency, and the one on logics of resources, motivated by program semantics. The logic LRC is suitable to describe and reason about key aspects of social behaviour in organizations. We prove a number of properties enjoyed by LRC and (...) its associated analytic calculus. These results lay at the intersection of the algebraic theory of unified correspondence and the theory of multitype calculi in structural proof theory. Case studies are discussed which showcase several ways in which this framework can be extended and enriched while retaining its basic properties, so as to model an array of issues, both practically and theoretically relevant, spanning from planning problems to the logical foundations of the theory of organizations. (shrink)

In this paper, we study IL(), the interpretability logic of . As is neither an essentially reflexive theory nor finitely axiomatizable, the two known arithmetical completeness results do not apply to : IL() is not or . IL() does, of course, contain all the principles known to be part of IL, the interpretability logic of the principles common to all reasonable arithmetical theories. In this paper, we take two arithmetical properties of and see what their consequences in the modal logic (...) IL() are. These properties are reflected in the so-called Beklemishev Principle , and Zambella’s Principle , neither of which is a part of IL. Both principles and their interrelation are submitted to a modal study. In particular, we prove a frame condition for . Moreover, we prove that follows from a restricted form of . Finally, we give an overview of the known relationships of IL() to important other interpretability principles. (shrink)

Relevant propositional dynamic logics have been sporadically discussed in the broader context of modal relevant logics, but have not come up for sustained investigation until recently. In this paper, we develop a philosophical motivation for these systems, and present some new results suggested by the proposed motivation. Among these, we’ll show how to adapt some recent work to show that the extensions of relevant logics by the extensional truth constants \ are complete with respect to a natural class of ternary (...) relation models to show a similar result for the constant-free versions of the logic. In addition, we prove that the logics in question satisfy the variable sharing property, vindicating the claim that they really are relevant logics. (shrink)

The notion of a critical successor [5] in relational semantics has been central to most classic modal completeness proofs in interpretability logics. In this paper we shall work with a more general notion, that of an assuring successor. This will enable more concisely formulated completeness proofs, both with respect to ordinary and generalised Veltman semantics. Due to their interesting theoretical properties, we will devote some space to the study of a particular kind of assuring labels, the so‐called full labels and (...) maximal labels. After a general treatment of assuringness, we shall apply it to obtain a completeness result for the modal logic w.r.t. generalised semantics for a restricted class of frames. (shrink)

The relationship between philosophy and science has always been complementary. Today, while science moves increasingly fast and philosophy shows some problems in catching up with it, it is not always possible to ignore such relationships, especially in some disciplines such as philosophy of mind, cognitive science, and neuroscience. However, the methodological procedures used to analyze these data are based on principles and assumptions that require a profound dialogue between philosophy and science. Following these ideas, this work aims to raise the (...) problems that a classical connectionist theory can cause and problematize them in a cognitive framework, considering both philosophy and cognitive sciences but also the disciplines that are near to them, such as AI, computer sciences, and linguistics. For this reason, we embarked on an analysis of both the computational and theoretical problems that connectionism currently has. The second aim of this work is to advocate for collaboration between neuroscience and philosophy of mind because the promotion of deeper multidisciplinarity seems necessary in order to solve connectionism’s problems. In fact, we believe that the problems that we detected can be solved by a thorough investigation at both a theoretical and an empirical level, and they do not represent an impasse but rather a starting point from which connectionism should learn and be updated while keeping its original and profoundly convincing core. (shrink)

In our everyday interaction with the environment, we often perceive objects and spaces as opportunities to feel, maintain, enhance, and change our affective states and processes. The concept of affective affordance was coined to accommodate this aspect of ordinary perception and the many ways in which we rely on the material environment to regulate our emo- tions. One natural way to think of affective affordances in emotion regulation is to interpret them as tools for regulating felt affective states. We argue (...) that this way of conceiving of affective affordances is too restrictive. By analyzing the role of expressive properties of objects and spaces in emotion regulation, we show that our environment does not need to elicit felt affective states to regulate our emotions. Thus, we revise the concept of affective affordance to accommodate these cases. This revised concept explains more with less. Hence, it should be preferred in wide-reaching philosophical projects that aim to explain human affectivity as a situated phenomenon. (shrink)

Harnecker, M. Política y clases sociales en Poulantzas (estudio crítico) -- Poulantzas, N. Sobre el concepto de política.

Since the 1970s, the origin of cancer is being explored from the point of view of the Somatic Mutation Theory (SMT), focusing on genetic mutations and clonal expansion of somatic cells. As cancer research expanded in several directions, the dominant focus on cells remained steady, but the classes of genes and the kinds of extra-genetic factors that were shown to have causal relevance in the onset of cancer multiplied. The wild heterogeneity of cancer-related mutations and phenotypes, along with the increasing (...) complication of models, led to an oscillation between the hectic search of 'the' few key factors that cause cancer and the discouragement in face of a seeming 'endless complexity'. To tame this complexity, cancer research started to avail itself of the tools that were being developed by Systems Biology. At the same time, anti-reductionist voices began claiming that cancer research was stuck in a sterile research paradigm. This alternative discourse even gave birth to an alternative theory: the Tissue Organization Field Theory (TOFT). A deeper philosophical analysis shows the serious limits of both reductionist and anti-reductionist positions and of their polarization. This book demonstrates that a radical philosophical reflection is necessary to drive cancer research out of its impasses. At the very least, this will be a reflection on the assumptions of different kinds of cancer research, on the implications of what cancer research has been discovering over 40 years and more, on a view of scientific practice that is most able to make sense of the cognitive and social conflicts that are seen in the scientific community (and in its results), and, finally, on the nature of living entities with which we entertain this fascinating epistemological dance that we call scientific research. The proposed Dynamic and Relational View of carcinogenesis is a starting point in all these directions. (shrink)

This chapter describes the concept of enactive memory, which is quite new but increasingly discussed in contemporary philosophy of memory. Although the enactive approach has been used to investigate several memory sys- tems, e.g., procedural memory, episodic mem- ory, and autobiographical memory, this chapter focuses only on the enactive approach to epi- sodic memory because most of the current debate on enactive memory is about this mem- ory system. Section “Introduction” specifies what type of enactive memory is discussed in this (...) chapter. Section “The Concept of Enactive Memory” introduces the concept of enactive memory, clarifies its central theoretical com- mitments and goals, and describes how enactivists have explained episodic remember- ing. Section “The Philosophical Context of Enactive Memory” provides a brief contextu- alization of the enactive approach to memory with respect to approaches and theories with which, for one reason or another, it shares some theoretical insights, like the embodied, the extended, and the distributed approach, and the simulation theory. Section “Forgetting as a Challenge for Enactive Memory” explains why forgetting poses an important explanatory challenge to the enactive approach to memory and describes one philosophical proposal that has been developed to address this challenge. Section “Summary” provides a summary of the chapter, mentions some ongoing projects on enactive memory, and identifies some topics that advocates of the enactive approach to memory may want to investigate in the future. (shrink)

[1] Introduzione, lessico -- [2] Index locorum, lista di frequenza, distribuzione dei lemmi.

This book presents a novel interpretation of Aristotle's account of how shame instils virtue, and defends its philosophical import. Shame is shown to provide motivational continuity between the actions of the learners and the virtuous dispositions that they will eventually acquire.

This book supports a version of the trope-bundle view of individual substances matching also with a coherent account of change, individuation and individual essences. In particular, it is argued that qualitative individuation and qualitative individual essences can be tackled within the frames of a trope account. The adoption of a trope BT together with the individuation of tropes via the bearer substance might create the feeling of circularity since tropes and substances seem mutually to individuate each other. The novel solution (...) to the problem developed here consists in showing that the individuation of concrete individual substances is independent, in crucial respects, from the fact that they are construed as bundles of tropes. Apart from metaphysician colleagues, the book is recommended for advanced students in analytic metaphysics. (shrink)

¿Qué tenemos en común y qué nos separa de los animales? ¿Somos un animal más? Las humanidades clásicas, basadas en el excepcionalismo humano, han dado paso a las posthumanidades, que incluyen los estudios animales, así como otras perspectivas que desafían la noción tradicional del sujeto humano, como los estudios de género, poscoloniales y decoloniales, la ecocrítica o la teoría queer. Pensarnos en nuestra relación con los animales tiene consecuencias filosóficas en ámbitos como la ciencia, los afectos, el trabajo y el (...) desarrollo de políticas concretas de salud y de alimentación; todas ellas, zonas de contacto entre humanos y animales. Sobre estos encuentros, aunque nunca reparemos en ello, edificamos nuestro mundo. Este ensayo imprescindible aglutina parte de los conocimientos desarrollados hasta ahora por quienes se han acercado a la relación humano-animal, y los vincula con la historia, los movimientos políticos y sociales, las nuevas concepciones del género, de la ciencia y del conocimiento. Los argumentos, contradicciones, contextos e incluso tabúes que acoge este debate interdisciplinar ayudan a imaginar y a matizar unos presupuestos éticos posibles sobre los que replantear nuestra relación con los animales y, en último término, con nosotros mismos. [Resumen del editor]. (shrink)

Aristotle ’s claim that we become virtuous by doing virtuous actions raises a familiar problem: How can we perform virtuous actions unless we are already virtuous? I reject deflationary accounts of the answer given in _Nicomachean Ethics_ 2.4 and argue instead that proper habituation involves doing virtuous actions with the right motive, i.e. for the sake of the noble, even though learners do not yet have virtuous dispositions. My interpretation confers continuity to habituation and explains in a non-mysterious way how (...) we become virtuous by doing virtuous actions in the right way. (shrink)

Proceedings of the First Conference of the International Society for Hermeneutics and Science.

This article explores the possibilities offered by Collins’ model of interaction rituals to an understanding of the emotional dynamics of art auctions. It argues that whilst it explains how the art object becomes the focus of attention, and thus the repository of solidarity and emotional energy, it also obliterates some of the institutional aspects of the auction market that can influence such outcomes. It discusses the need to include an examination of the specific practices of auction houses operating in an (...) international market in their capacity to target specific audiences for their sales. (shrink)

Janina Hosiasson-Lindenbaum is a known figure in philosophy of probability of the 1930s. A previously unpublished manuscript fills in the blanks in the full picture of her work on inductive reasoning by analogy, until now only accessible through a single publication. In this paper, I present Hosiasson’s work on analogical reasoning, bringing together her early publications that were never translated from Polish, and the recently discovered unpublished work. I then show how her late work relates to Rudolf Carnap’s approach to (...) “analogy by similarity” developed in the 1960s. Hosiasson turns out to be a predecessor of the line of research that models analogical influence as inductive relevance. A translation of Hosiasson’s manuscript concludes the paper. (shrink)

Gottlob Frege rozlišuje mezi smyslem a významem výrazů, přičemž smyslem rozumí to, co je výrazem vyjadřováno, významem pak to, co je jím označováno. Toto rozlišení se týká jak singulárních, tak obecných výrazů, ovšem Fregovy rozbory týkající se významu obecných výrazů jsou všeobecně méně známy. Chci zdůraznit skutečnost, že Frege považuje za význam obecných výrazů pojem, který chápe jako tzv. nenasycenou funkci, nikoli jako množinu nebo zobrazení. To mu umožňuje zachovat některé podstatné intuice týkající se obecnin – můžeme např. mít obecný (...) pojem (znát nějakou vlastnost či relaci), aniž bychom věděli, jaké předměty pod něj spadají. Zároveň se snažím ukázat, že není jasné, nakolik Frege skutečně zastával tezi, která mu bývá obvykle přičítána, totiž že identita pojmů je dána jejich koextenzivitou. Gottlob Frege distinguished between sense and reference of expressions. 'Sense' according to him is that what the expression means, 'reference' is that what is designated by it. This distinction concerns both singular and general terms but Frege’s analyses focused on general terms are much less known. It is crucial, I argue, to appreciate the importance of the fact that the reference of a general term is, according to Frege, a concept – identified with an unsaturated function in the Fregean sense, i.e. not a set, and not a mapping. In this way Frege can keep some important intuitions about universals – for instance that we can have a general concept (know a property or a relation) even if we don’t know which objects fall under it. I also try to show that it is not clear whether Frege really defended the thesis usually attributed to him that the identity of concepts is guaranteed solely by their coextensivity. (shrink)

Research question and aimClinical Ethics Committees (CECs) aim to support healthcare professionals (HPs) and healthcare organizations to deal with the ethical issues of clinical practice. In 2020,...

The specific role of empeiria in Aristotle’s ethics has received much less attention than its role in his epistemology, despite the fact that Aristotle explicitly stresses the importance of empeiria as a requirement for the receptivity to ethical arguments and as a source for the formation of phronêsis.1 Thus, while empeiria is an integral part of all explanations that scholars give of the Aristotelian account of the acquisition of technê and epistêmê, it is usually not prominent in explanations of the (...) acquisition of phronêsis.2 The abundant mentions of empeiria in Aristotle’s ethical treatises are often eclipsed in the secondary literature... (shrink)

In what ways and how far does virtue shield someone against suffering evils? In other words, how do non-moral evils affect the lives of virtuous people and to what extent can someone endure evils while staying happy? The central purpose of this chapter is to answer these questions by exploring what Aristotle has to say about the effects of evils in human well-being in general and his treatment of extreme misfortunes.

In March 2016, DeepMind's computer programme AlphaGo surprised the world by defeating the world‐champion Go player, Lee Sedol. AlphaGo exhibits a novel, surprising and valuable style of play and has been recognised as “creative” by the artificial intelligence (AI) and Go communities. This article examines whether AlphaGo engages in creative problem solving according to the standards of comparative psychology. I argue that AlphaGo displays one important aspect of creative problem solving (namely mental scenario building in the form of Monte Carlo (...) tree search), while lacking another (domain generality). This analysis has consequences for how we think about creativity in humans and AI. (shrink)

This volume explores the role and status of phenomena such as feelings, values, willing, and action in the domain of perception and (social) cognition, as well as the way in which they are related. In its exploration, the book takes Husserl's lifelong project Studien zur Struktur des Bewusstseins (1909-1930) as its point of departure, and investigates these phenomena with Husserl but also beyond Husserl. Divided into two parts, the volume brings together essays that address the topics from different phenomenological, philosophical, (...) and psychological perspectives. They discuss Husserl's position in dialogue with historical and recent philosophical and psychological debates and develop phenomenological accounts and descriptions with the help of Geiger, Heidegger, Merleau-Ponty, Plessner, Sartre, Scheler, Schopenhauer, and Reinach. (shrink)

A complete, illustrated survey of Etienne-Jules Marey's work that investigates the far reaching effects of her inventions on stream-of-consciousness literature, psychoanalysis, Bergsonian philosophy, and the art of cubists and futurists.

This book provides the first extensive assessment of Hadot’s and Foucault’s interpretations of ancient philosophy. It brings together specialists in ancient thought, as well as Hadot and Foucault scholars, both to explore famous criticisms and clarify Hadot’s and Foucault’s accounts.

This book analyzes the main problems of Friedrich Nietzsche's critical philosophy, such as the theory of being, the theory of knowledge and the theory of values. It also addresses his positive program which is based on a number of fundamental conceptions, namely the will to power, the Übermensch, bestowing virtue and the notion of the eternal recurrence. The «death of God» must, in Nietzsche's opinion, lead to a revolution in human consciousness which requires the creation of a new frame of (...) reference for values. To realize this aim, Nietzsche invokes the will which has the normative power to create values and even to overcome time. The author sets his focus on the «tragic gay science» that has never been fully elucidated and still affords new perspectives for interpretation. (shrink)

The book analyses moral and legal problems of assisted reproduction providing a pluralistic approach which combines principles of procreative beneficence, procreative nonmaleficence, reproductive autonomy and rationality with the meaning and nature of the parent-child relationship as the main criterion of moral assessment.