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)

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.

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)

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)

Giuseppe Franco hat mich mit süditalienischer Liebenswürdigkeit dazu eingeladen, einen kleinen Beitrag zum vorliegenden Hommage-Band zu schreiben, in dem ich von meiner „intellektuellen Beziehung“ zu Dir und „von der Bedeutung des Kritischen Rationalismus“ für meinen „eigenen Denkweg“ berichte. Kennengelernt haben wir einander vor inzwischen 53 Jahren kurz nach Deinem Dienstantritt an der Mannheimer Wirtschaftshochschule. Ich studierte damals in Wien, vor allem bei Bela Juhos, der in einer Art Dachkammer der Alten Universität seine Seminare, z. B. eines über „Wissenschaftstheorie (...) und Quantenmechanik“ mit maximal zehn älteren Studenten und bereits habilitierten Wissenschaftsphilosophen abhielt, sowie beim Altmeister Victor Kraft, dessen Privatissime-Veranstaltungen in seiner Wohnung in der Walfischgasse von noch weniger, handverlesenen Geistesschaffenden besucht wurden. (shrink)

The time marked by the clock hands, the so-called “objective time,” is deeply different from the one perceived by the individual. Starting from this hypothesis, directly connected to the subjective modality of “living” the time and defined as time perspective, we will try to understand how much it affects the various domains of people's lives, attitudes, and experiences. Therefore, the research investigates whether all our decisions can be influenced by one or more time perspectives beyond our awareness. Last, but not (...) least, we will try to understand if some time perspectives in specific contexts are more functional and adaptive than others. (shrink)

Background:A growing number of frameworks for the practice of clinical ethics are described in the literature. Among these, hermeneutical frameworks have helped highlight the interpretive and contextual nature of clinical ethics practice.Objectives:The aim of this article is to further advance this body of work by drawing on the ideas of Charles Taylor, a leading hermeneutical philosopher.Design/Findings:A Hermeneutical Rapprochement Framework is presented for clinical ethics practice, based on Taylor’s hermeneutical “retrieval” and “rapprochement.” This builds on existing hermeneutical approaches for the practice (...) of clinical ethics by articulating a framework with interpretive and reconciliatory scope that extends beyond the presenting “local” context. A Hermeneutical Rapprochement Framework considers broader socio-historical horizons and imaginaries grounded on Taylor’s expansive work in epistemological, ontological, political, and moral philosophy.Discussion:The framework is discussed in terms of how it can be operationalized for clinical practice as well as normative development. Implications for the educational preparation of clinical ethicists are also discussed. Although this work is directly relevant for clinical ethicists, it can also help inform the ethical practice of all clinicians. (shrink)

We prove that the standard cut is definable in each existentially closed model ofIΔ0+ exp by a (parameter free) П1–formula. This definition is optimal with respect to quantifier complexity and allows us to improve some previously known results on existentially closed models of fragments of arithmetic.

Focused sequent calculi are a refinement of sequent calculi, where additional side-conditions on the applicability of inference rules force the implementation of a proof search strategy. Focused cut-free proofs exhibit a special normal form that is used for defining identity of sequent calculi proofs. We introduce a novel focused display calculus fD.LG and a fully polarized algebraic semantics FP.LG\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {FP.LG}$$\end{document} for Lambek–Grishin logic by generalizing the theory of multi-type calculi and their (...) algebraic semantics with heterogenous consequence relations. The calculus fD.LG has strong focalization and it is sound and complete w.r.t. FP.LG\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {FP.LG}$$\end{document}. This completeness result is in a sense stronger than completeness with respect to standard polarized algebraic semantics, insofar as we do not need to quotient over proofs with consecutive applications of shifts over the same formula. We also show a number of additional results. fD.LG is sound and complete w.r.t. LG-algebras: this amounts to a semantic proof of the so-called completeness of focusing, given that the standard (display) sequent calculus for Lambek–Grishin logic is complete w.r.t. LG-algebras. fD.LG and the focused calculus fLG of Moortgat and Moot are equivalent with respect to proofs, indeed there is an effective translation from fLG-derivations to fD.LG-derivations and vice versa: this provides the link with operational semantics, given that every fLG-derivation is in a Curry–Howard correspondence with a directional λ¯μμ~\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\overline{\lambda }\mu \widetilde{\mu }$$\end{document}-term. (shrink)

In the present paper, we endow semi De Morgan logic and a family of its axiomatic extensions with proper multi-type display calculi which are sound, complete, conservative, and enjoy cut elimination and subformula property. Our proposal builds on an algebraic analysis of the variety of semi De Morgan algebras, and applies the guidelines of the multi-type methodology in the design of display calculi.

The purpose of this study is not so much to show the presence of Antisthenes in the dialogue, but rather to examine that to which Plato alludes. The controversy over ideas between the two Socratics is histori­cally very well-attested, as can already be seen in the Cratylus. Thus, it is reasonable to assume that this controversy must have affected Plato when he was writing the Phaedo: a dialogue in which the importance of ideas and his new logic is undeniable. Hence, (...) this paper will investigate the following question: what impact could Antisthenes’ denominative and definitory logic have on the equally denominative and definitory logic presented in the Phaedo, given that the latter work in all prob­ability preceded the Sathōn? In light of what is said in the dialogue, the answer focuses primarily on what would not be said. Thus, this study is divided into two parts: Part one shows how the so-called “second navigation” emerges as an objection to the insufficiency of the responses given by the physiologists. Tellingly, certain “common opinions” are regarded as perplexing and individuals holding them are referred to with the indeterminate tis, which – as is argued – must have included Antisthenes. Indeed, Tht. 108c7–8 reports the latter to have made common opinions a cornerstone of his denominative logic. Part two, on the other hand, is devoted to examining the so-called “final argument.” Here, Antisthenes’ presence seems somewhat more nuanced, given his incomplete knowledge of the new logic of irreversible opposites which was worked out by Plato for the purpose of demonstrating the immor­tality and indestructibility of the soul. On the other hand, Antisthenes is likely to have prompted Plato to specify the relationship between ideas and things in the definitory logic, since the proponent of the theory of oikeios logos refused to distinguish between the substance and its attrib­utes, the differences and their opposites, and the opposites of opposites. (shrink)

The purpose of this study is not so much to show the presence of Antisthenes in the dialogue, but rather to examine what Plato alludes to. The controversy over ideas between the two Socratics is historically very well-attested, as can already be seen in the Cratylus. Thus, it is reasonable to assume that this controversy must have affected Plato when he was writing a dialogue in which the importance of ideas and his new logic is undeniable. Hence, this paper will (...) investigate the following question: what impact could Antisthenes’ denominative and definitory logic have on the equally denominative and definitory logic presented in the Phaedo given that the latter work in all probability preceded the Sathōn? In light of what is said in the dialogue, the answer focuses primarily on what would not be said. Thus, this study has been divided into two parts: Part one shows how the so-called “second navigation” emerges as an objection to the insufficiency of the responses given by the physiologists. Tellingly, certain “common opinions” are regarded as perplexing and individuals holding them are referred to with the indeterminate tis, which – as is argued – must have included Antisthenes. Indeed, Tht. 108c7–8 reports the latter to have made common opinions a cornerstone of his denomi­native logic. Part two, on the other hand, is devoted to examining the so-called “final argument.” Here, Antisthenes’ presence seems some­what more nuanced given his incomplete knowledge of the new logic of irreversible opposites which was worked out by Plato for the purpose of demonstrating the immortality and indestructibility of the soul. On the other hand, Antisthenes is likely to have prompted Plato to specify the relationship between ideas and things in the definitory logic, since the proponent of the theory of oikeios logos refused to distinguish between the substance and its attributes, the differences and its opposites as well as the opposites of opposites. (shrink)

For many years, psychological–clinical research has been aiming at studying the Mafia from different viewpoints: the man of honor's inner world, relational and psychopathological structures of his family matrices, connections between inner and social worlds, interiorized and social rules. Today, however, a complex phenomenon has come to light, which concerns the great connection between the Mafia and financial crime, and for us as researchers it is very interesting and complicated to analyze, because it involves the study of psychological peculiarities that (...) can be specifically found in the numerous illegalities. The crossbreeding of the various criminalities, which are always more interacting and merging and less isolated, makes this picture even more complex. (shrink)

Meister Eckhart escribió textos en alemán y en latín. Pero, fuera del ámbito de los estudios eckhartianos, es conocido sobre todo por su obra alemana. De la obra latina, los textos menos frecuentados son los llamados “sermones latinos”: una serie de notas o borradores que podrían haber servido como material preparatorio para lo que en el _Prologus generalis in Opus tripartitum_ el mismo Eckhart llama el _Opus sermonum_, del que no tenemos más noticia que la del _Prologus_ mencionado. En castellano, (...) el destino de la obra latina de Eckhart no ha sido hasta ahora demasiado afortunado. Pocas son las traducciones. Y, en cuanto a los “sermones latinos”, ninguno ha sido traducido todavía. Ofrecemos la traducción de uno de estos sermones, el XXXVII, en el que Eckhart comenta un texto de Pablo (Efesios 4, 1-6): _Unus deus et pater omnium_. En el estudio preliminar se ofrece (1) una introducción a la obra latina de Eckhart en general y, en particular, a los “sermones latinos” y (2) un comentario del texto traducido. (shrink)

The human being can be divided into body and mind, two inextricably linked aspects influencing each other. From birth, the body is the site of emotional experiences thanks to cellular memory. The t...

Si la teología política es uno de los temas centrales que recorre la obra de Carl Schmitt, el problema de los valores —a pesar de los pocos trabajos dedicados al tema— no deja de tener importancia en relación con las reflexiones de este autor. El propósito de este trabajo es, precisamente, mostrar el vínculo existente entre uno y otro, entre la teología política schmittiana y su reflexión en torno a los valores. Para ello, nos proponemos recorrer, por una parte, sus (...) textos tempranos, que nos permitirán dilucidar la relación entre teología y política en la modernidad y, por otro lado, la crítica a la filosofía de los valores elaborada en La tiranía de los valores. A partir de ese recorrido bifurcado intentaremos trazar la continuidad existente entre la teología política y los valores, que, a nuestro juicio, puede rastrearse ya en El valor del Estado y el significado del individuo. (shrink)

v. 1. Il pensiero antico e medievale.--v. 2. Dal Rinascimento a Immanuel Kant.--v. 3. Dal Romanticismo allo strutturalismo.

Dans mon article, je vais essayer de développer une analyse de deux des plus importants chapitres du De anima d'Aristote : les chapitres 4 et 5 du livre III, où Aristote propose son traitement de la question de l'intellect. Sans entrer dans les détails de l'histoire de l'interprétation de ce texte, je propose d'identifier l'intellect dit ‘passif’ avec quelques traits distinctifs de la puissance de la phantasia ou imagination, et ce que l'on appelle ‘l'intelligence productive’ avec l'environnement cosmique, qui, en (...) vertu de ses régularités, produit les habitats qui vont agir sur la puissance sensorielle de l'être humain et qui, dans la production des expériences sensorielles de l'être humain, fera passer son esprit du statut d'intellect passif à celui d'intellectus in habitu. (shrink)

Sezione 1. Sullo sviluppo del concetto di creazione. L'idealismo magico. Creation, idealism and a new aestheicism.--sezione 2. Estetismo assoluto-una teoria della scienza. Coscienza ed energia-sul problema del rapporti tra psicologia e fiscia. Le monde n'est-il qu' un rêve? Vie et esthéticité. Aestetismus und der Ernst des Lebens (aus zwei Briefen).