The process of completing, correcting and prioritising specifications is an essential but very complex task for the maintenance and improvement of software systems. The preservation of functionalities and the ability to accommodate changes are main objectives of the software development cycle to guarantee system reliability. Logical theories able to fully model such processes are still insufficient. In this paper we propose a full formalisation of such operations on software systems inspired by the Alchourrón–Gärdenfors–Makinson paradigm for belief revision of human epistemic (...) states. We represent specifications as finite sets of formulas equipped with a priority relation that models functional entrenchment of properties. We propose to handle specification incompleteness through ordered expansion, inconsistency through ordered safe contraction and prioritisation through revision with reordering, and model all three in an algorithmic fashion. We show how the system satisfies basic properties of the AGM paradigm, including Levi’s and Harper’s identities. We offer a concrete example and complexity results for the inference and model checking problems on revision. We conclude by describing resilience and evolvability of software systems based on such revision operators. (shrink)

Climate change's impact on investor behavior is a scantly investigated area in finance. This paper examines the performance of socially responsible exchange trade funds (ETFs) concerning conventional ETFs, in response to climate change events. We proxy climate change signals with a list of natural disaster events that NASA scientists relate to climate change. We contribute to existing literature, by using a very extensive information set of ETF strategies, not influenced by rating agencies' subjective evaluation policies, and covering almost 90% of (...) the universe of worldwide sustainability thematic-oriented ETFs. This sample allows us to identify the socially responsible investment behavior in response to unpredictable climate change shocks. Our identification strategy accounts for endogeneity concerns and relies on two-stage least square (2SLS) approach finding that responsible investors react to climate change events by purchasing socially responsible investments. The relationship between climate change signals and return of investment in themes linked to the development of sustainability is positive. Interestingly enough, the sign of this relationship is different, when we disentangle the empirical results according to the asset type, confirming that investors shift their investments from equity funds to bond funds when market sentiment worsens. Our results indicate that policymakers should increase the support of firms adopting environmentally conscious business practices, while managers should boost a sustainable business strategy. (shrink)

Per il francescano Olivi lo stato dell’altissima povertà e la perfezione evangelica comportano la rinuncia alla proprietà e l’espropriazione di ogni diritto. Olivi argomenta che l’altissima povertà include in modo necessario e come parte integrante del voto francescano l’usus pauper, vale a dire l’uso povero dei beni e delle cose. In questo contesto Olivi si pone la questione di quale sia lo statuto giuridico della povertà e di come sia possibile vivere la perfezione evangelica all’interno di una società segnata dalla (...) rivoluzione commerciale e dalla crescente monetizzazione. La longa et scandalosa disceptatio de observantia regulae1 e la disputa sulla povertà del XIII secolo2 non si riducono solo ad una questione... (shrink)

Die vorliegende Hommage-Schrift hat das Ziel, Hans Albert – einen der bedeutendsten Wissenschaftsphilosophen und der Hauptvertreter des Kritischen Rationalismus im deutschen Sprachraum – durch biographisch-intellektuelle Zeugnisse zu ehren und die Bedeutung seines Denkens würdigend hervorzuheben. Der Band enthält Beiträge von Kollegen, Schülern und Freunden Hans Alberts in deutscher und englischer Sprache, in denen diese in unterschiedlicher Weise über ihre Beziehung zu Hans Albert berichten und beschreiben, inwiefern dessen Version des Kritischen Rationalismus sie beeinflusst hat. Auf diese Weise wird seine Denkrichtung (...) aus der Perspektive verschiedener Fachdisziplinen wie etwa Wissenschaftstheorie, Ökonomie, Jurisprudenz, Soziologie, Psychologie, Ethik und Theologie betrachtet. Die verschiedenen Beiträge beleuchten nicht nur historische Hintergründe und verschiedene Lebensphasen des Geehrten; sie zeichnen auch die Entwicklung seines Denkens nach und machen seine lebhafte Beteiligung an philosophischen und wissenschaftlichen Auseinandersetzungen seiner Zeit nachvollziehbar. Deshalb kann man diese Hommage-Schrift auch als ein Zeitdokument verstehen, in dem nicht nur Hans Alberts intellektuelles Wirken in Erinnerung gerufen, sondern auch sein Leben vergegenwärtigt wird, von seiner Zeit als wissenschaftlicher Assistent bzw. Privatdozent in Köln bis zu seiner Emeritierung in Mannheim und darüber hinaus. (shrink)

Dieses Handbuch bietet einen verlässlichen, systematischen und umfassenden Zugang einerseits zu Leben und Werk Karl Poppers, andererseits zur breiten Wirkung des Philosophen in Wissenschaft, Politik und Gesellschaft.

Modelling, reasoning and verifying complex situations involving a system of agents is crucial in all phases of the development of a number of safety-critical systems. In particular, it is of fundamental importance to have tools and techniques to reason about the doxastic and epistemic states of agents, to make sure that the agents behave as intended. In this paper we introduce a computationally grounded logic called COGWED and we present two types of semantics that support a range of practical situations. (...) We provide model checking algorithms, complexity characterisations and a prototype implementation. We validate our proposal against a case study from the avionic domain: we assess and verify the situational awareness of pilots flying an aircraft with several automated components in off-nominal conditions. (shrink)

Dieser Band enthält eine Auswahl aus dem großen Bestand an Briefen, die Hans Albert zu Religionsfragen und zur Theologiekritik geschrieben hat. Er gibt neue und überraschende Einblicke in seinen Gedankenaustausch mit renommierten Theologen, Religionsphilosophen und dem Religionskritiker Karlheinz Deschner. Diese Korrespondenz gibt auch Auskunft über biographisch-historische Hintergründe, über die Entwicklung von Alberts Denken sowie über die Rezeption seiner Auffassungen und seine lebhafte Beteiligung an theologischen Auseinandersetzungen. Der von Albert vertretene Kritische Rationalismus ist mit der Forderung nach kritisch-rationaler Prüfung von Überzeugungen (...) aller Art, mit der Zurückweisung der verschiedenen Formen von Rechtfertigungszusammenhängen und mit der Kritik an Immunisierungsstrategien nicht nur eine Herausforderung für die Theologie, sondern auch für eine mit dem christlichen Glauben zu vereinbarende Philosophie. (shrink)

Introduction: Cartographies in becoming -- The happy depression -- Integrated world capitalism -- Planetary psychopathia -- Postmediatic affect -- User's manual-- Deleuze and the rhizomatic machine -- Why is anti-Oedipus the book of the '68 movement? -- Kafka, hypertext, and assemblages -- The tantric egg -- Chaosmosis -- The provisional eternity of friendship.

We live in an age of impotence. Stuck between global war and global finance, between identity and capital, we seem to be incapable of producing the radical change that is so desperately needed. Is there still a way to disentangle ourselves from a global order that shapes our politics as well as our imagination? In his most systematic book to date, renowned Italian theorist Franco Berardi tackles this question through a solid yet visionary analysis of the three fundamental concepts (...) of Possibility, Potency, and Power. Characterizing Possibility as the content, Potency as the energy, and Power as the form, Berardi suggests that the road to emancipation unravels from the awareness that the field of the possible is only limited, and not created, by the power structures that implement it. Other futures and other worlds are always already inscribed within the present, despite power's attempt at keeping them invisible. Overcoming any temptation of giving in to despair or nostalgia, Berardi proposes the notion of 'futurability' as a way to remind us that even within the darkness of our current crisis lies dormant the horizon of possibility. (shrink)

Even more than for other treatments, great importance must be given to informed consent in the case of electroconvulsive therapy. In a percentage of cases, the symbolic connotation of the treatment, even if mostly and intrinsically negative, may actually be a determining factor in the patient’s motives for giving consent. On an ethical and medicolegal level, the most critical point is that concerning consent to the treatment by a psychotic subject with a severely compromised ability to comprehend the nature and (...) objective of the proposed therapy, but who nonetheless expresses his consent, for reasons derived from delusional thoughts. In fact, this situation necessarily brings to light the contradiction between an explicit expression of consent, a necessary formality for the commencement of therapy, and the validity of this consent, which may be severely compromised due to the patient’s inability to comprehend reality and therefore to accept the proposal of treatment, which is intrinsic to this reality. With the use of an electric current, the symbolic experience associated with anaesthesia, and the connection to convulsions, ECT enters the collective consciousness. In relation to this, ECT is symbolic of these three factors and hooks on to the thoughts, fears, feelings and expectations of delusional patients. These are often exemplified in the violent intervention of the persecutor in the patient with schizophrenia, the expected punishment for the ’error’ committed for which the depressed patient blames himself and the social repression of the maniacal patient’s affirmation of his inflated self-esteem. (shrink)

A wide-ranging exploration of the present, and the future, of the Unconscious. The Unconscious knows no time, it has no before-and-after, it does not have a history of its own. Yet, it is not always the same. As it emerges in the life of people and societies, the Unconscious is shaped by ever-changing historical conditions: its form depends on the unique 'psychosphere' of each historical age. In the early twentieth century, Freud characterised the Unconscious as the dark side of the (...) well-ordered framework of Progress and Reason. At the end of the past century, Deleuze and Guattari described it as a laboratory: the magmatic force that ceaselessly brings about new possibilities of imagination. Today, at a time of viral pandemics and in the midst of the catastrophic collapse of capitalism, the Unconscious has begun to emerge in yet another form. In this book, Franco 'Bifo' Berardi vividly illustrates the form in which the Unconscious will make itself manifest for decades to come, and the challenges that it will pose to our possibilities of political action, poetic imagination, and therapy."--Publisher's description. (shrink)

An Innovating approach to Plato’s philosophy Through a careful survey of several significant Platonic texts, mainly focussing on the nature of knowledge, Essays on Plato’s Epistemology offers the reader a fresh and promising approach to Plato’s philosophy as a whole. From the very earliest reception of Plato’s philosophy, there has been a conflict between a dogmatic and a sceptical interpretation of his work and thought. Moreover, the two sides are often associated, respectively, with a metaphysical and an anti-metaphysical approach. This (...) book, continuing a line of thought that is nowadays strongly present in the secondary literature – and also followed by the author in over thirty years of research –, maintains that a third way of thinking is required. Against the widespread view that an anti-dogmatic philosophy must go together with an anti-metaphysical stance, Trabattoni shows that for Plato, on the contrary, a sober and reasonable assessment of both the powers and limits of human reason relies on a proper metaphysical outlook. (shrink)

Today, we believe that the map is a copy of the Earth, without realizing that the opposite is true: in our culture the Earth has assumed the form of a map. In Blinding Polyphemus, Franco Farinelli elucidates the philosophical correlation between cultural evolution and shifting cartographies of modern society, giving readers an interdisciplinary study that attempts to understand and redefine the fundamental structures of cartography, architecture, and the notion of "space." Following the lessons of nineteenth-century critical German geography, this (...) is a manual of geography without any map. To indicate where things are means already responding, in implicit and unreflective ways, to prior questions about their nature. Blinding Polyphemus not only takes account of the present state of the Earth and of human geography, it redefines the principal models we possess for the description of the world: the map, above all, as well as the landscape, subject, place, city, and space. (shrink)

This paper explores taste fragmentalism, a novel approach to matters of taste and faultless disagreement. The view is inspired by Kit Fine’s fragmentalism about time, according to which the temporal dimension can be constituted—in an absolute manner—by states that are pairwise incompatible, provided that they do not obtain together. In the present paper, we will apply this metaphysical framework to taste states. In our proposal, two incompatible taste states (such as the state of rhubarb’s being tasty and the state of (...) rhubarb’s being distasteful) can both constitute reality in an absolute manner, although no agent can have joint access to both states. We will then develop a formalised version of our view by means of an exact truthmaker semantics for taste assertions. Within this framework—we argue—our linguistic and inferential practices concerning cases of faultless disagreement are elegantly vindicated, thus suggesting that taste fragmentalism is worth of further consideration. (shrink)