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)

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)

This book is a systematic analysis of John R. Searle’s philosophy of mind. Searle’s view of mind, as a set of subjective _and_ biologically embodied processes, can account for our being part of nature _qua_ mindful beings. This model finds support in neuroscience and offers reliable solutions to the problems of consciousness, mental causation, and the self.

The brain constructs within itself an understanding of its surround which constitutes its own world. This is described as its Double in the frame of the dissipative quantum model of brain, where the perception-action arc in the Merleau-Ponty’s phenomenology of perception finds its formal description. In the dialog with the Double, the continuous attempt to reach the equilibrium shows that the real goal pursued by the brain activity is the aesthetical experience, the most harmonious “to-be-in-the-world” reached through reciprocal actions, the (...) aesthetical dimension characterized by the “pleasure” of the perception. Aesthetical pleasure unavoidably implies disclosure, to manifest “signs”, artistic communication. An interpersonal, collective level of consciousness then arises, a larger stage where the actors are mutually dependent. The coherent structure of the brain background state manifests itself in the auto-similarity properties of fractal structures. These are observed to occur also in a large number of natural phenomena and systems. The conception of Nature divided in separated domains is replaced by the vision of Nature unified by laws of form implied by the underlying quantum dynamics of the coherent vacuum, an integrated ecological vision. (shrink)

There is wide support in logic, philosophy, and psychology for the hypothesis that the probability of the indicative conditional of natural language, P(if A then B), is the conditional probability of B given A, P(B|A). We identify a conditional which is such that P(if A then B)=P(B|A) with de Finetti's conditional event, B|A. An objection to making this identification in the past was that it appeared unclear how to form compounds and iterations of conditional events. In this paper, we illustrate (...) how to overcome this objection with a probabilistic analysis, based on coherence, of these compounds and iterations. We interpret the compounds and iterations as conditional random quantities which, given some logical dependencies, may reduce to conditional events. We show how the inference to B|A from A and B can be extended to compounds and iterations of both conditional events and biconditional events. Moreover, we determine the respective uncertainty propagation rules. Finally, we make some comments on extending our analysis to counterfactuals. (shrink)

We analyze selected iterated conditionals in the framework of conditional random quantities. We point out that it is instructive to examine Lewis's triviality result, which shows the conditions a conditional must satisfy for its probability to be the conditional probability. In our approach, however, we avoid triviality because the import-export principle is invalid. We then analyze an example of reasoning under partial knowledge where, given a conditional if A then Cas information, the probability of A should intuitively increase. We explain (...) this intuition by making some implicit background information explicit. We consider several iterated conditionals, which allow us to formalize different kinds of latent information. We verify that for these iterated conditionals the prevision is greater than or equal to the probability of A. We also investigate the lower and upper bounds of the Affirmation of the Consequent inference. We conclude our study with some remarks on the supposed "independence" of two conditionals, and we interpret this property as uncorrelation between two random quantities. 2020 Elsevier Inc. All rights reserved. (shrink)

El presente artículo analiza la polémica sobre la superación de la metafísica en la filosofía de Heidegger por un lado, y la de Carnap por el otro; pasando por la ambivalente actitud de Wittgenstein. ¿Vivimos realmente en una época postmetafísica? El objetivo del autor es mostrar que nuestra relación con la metafísica tiene que ser crítica y no puede ignorar la filosofía práctica.

Modus ponens (from A and “if A then C” infer C) is one of the most basic inference rules. The probabilistic modus ponens allows for managing uncertainty by transmitting assigned uncertainties from the premises to the conclusion (i.e., from P(A) and P(C|A) infer P(C)). In this paper, we generalize the probabilistic modus ponens by replacing A by the conditional event A|H. The resulting inference rule involves iterated conditionals (formalized by conditional random quantities) and propagates previsions from the premises to the (...) conclusion. Interestingly, the propagation rules for the lower and the upper bounds on the conclusion of the generalized probabilistic modus ponens coincide with the respective bounds on the conclusion for the (non-nested) probabilistic modus ponens. (shrink)

https://revistes.uab.cat/enrahonar/article/view/v34-volpi.

Come nel passato più lontano, oggi la medicina sembra avere un rapporto privilegiato con la filosofia: è la conclusione che emerge da questo saggio storico-critico, che evidenzia la dimensione essenzialmente filosofica di molte delle teorie fondamentali della medicina contemporanea.

This study investigates the acquisition of integrated object manipulation and categorization abilities through a series of experiments in which human adults and artificial agents were asked to learn to manipulate two-dimensional objects that varied in shape, color, weight, and color intensity. The analysis of the obtained results and the comparison of the behavior displayed by human and artificial agents allowed us to identify the key role played by features affecting the agent/environment interaction, the relation between category and action development, and (...) the role of cognitive biases originating from previous knowledge. (shrink)

Das Buch enthält die Einführung in die Lektüre sowie den Textkommentar zu den der Analyse der Grundsätze der Modalität gewidmeten "Postulaten des empirischen Denkens überhaupt". Untersucht wird Kants gesamte Theorie der Modalbegriffe (Möglichkeit - Unmöglichkeit, Dasein - Nichtsein, Notwendigkeit - Zufälligkeit) seit Mitte der 1750er Jahre bis zur Kritik der reinen Vernunft. Die Postulate sind nach Kant nicht objektiv, sondern subjektiv-synthetisch: Der Gegenstand der Erfahrung, welcher zunächst anhand der objektiv-synthetischen Funktionen der Quantität, Qualität und Relation bestimmt wird, lässt sich nun (...) in seinem Verhältnis zum setzenden Subjekt betrachten. Die Postulate thematisieren jedoch nicht - hier liegt die konstitutive Charakteristik dieser synthetischen Urteile a priori - das Subjekt selbst, sondern das Objekt als solches und die Objektivität überhaupt. Wie diese Untersuchung zeigt, antwortet Kant erst hier - nicht in den viel diskutierten Deduktionskapiteln oder in den anderen Grundsatzkapiteln - auf die Frage "Was ist ein Objekt?" und bezieht zugleich Stellung gegenüber anderen philosophischen Theorien der Objektivität des 18. Jahrhunderts: Rationalismus, Empirismus, Idealismus, Skeptizismus. (shrink)