Basic hybrid logic extends modal logic with the possibility of naming worlds by means of a distinguished class of atoms (called nominals) and the so-called satisfaction operator, that allows one to state that a given formula holds at the world named a, for some nominal a. Hence, in particular, hybrid formulae include “equality” assertions, stating that two nominals are distinct names for the same world. The treatment of such nominal equalities in proof systems for hybrid logics may induce many redundancies. (...) This paper introduces an internalized tableau system for basic hybrid logic, significantly reducing such redundancies. The calculus enjoys a strong termination property: tableau construction terminates without relying on any specific rule application strategy, and no loop-checking is needed. The treatment of nominal equalities specific of the proposed calculus is briefly compared to other approaches. Its practical advantages are demonstrated by empirical results obtained by use of implemented systems. Finally, it is briefly shown how to extend the calculus to include the global and converse modalities. (shrink)

The interactions among the components of a biological system can be given a logical representation that is useful for reasoning about them. One of the relevant problems that may be raised in this context is finding what would explain a given behaviour of some component; in other terms, generating hypotheses that, when added to the logical theory modelling the system, imply that behaviour. Temporal aspects have to be taken into account, in order to model the causality relationship that may link (...) the behaviour of a given component to that of another one. This paper presents a hypothesis generation method for linear temporal logic theories whose formulae have a restricted syntactic form, which is however sufficient to model cellular and molecular interactions, as they are often represented by biologists. The method exploits the duality between hypothesis generation and consequence finding, and can therefore be also used to infer the consequences of a given fact. It is based on a resolution system proposed by Cavalli and Fariñas del Cerro in 1984. (shrink)

XML documents and, more generally, semistructured data, can be seen as labelled graphs. In this paper we set a correspondence between such graphs and the models of a language of hybrid multimodal logic. This allows us to characterize a schema for semistructured data as a formula of hybrid multimodal logic, and instances of the schema as models of this formula. We also investigate how to express in such a logic integrity constraints on semistructured data, in particular some classes of constraints (...) widely considered in the literature. The contribution of this work is twofold: 1) We generalize the notion of schema, by proposing a definition of schema were references are “well typed”. 2) We formalize semistructured data, schema for semistructured data and integrity constraints in a unique framework, namely hybrid multimodal logic. (shrink)

In this paper we study proof procedures for some variants of first-order modal logics, where domains may be either cumulative or freely varying and terms may be either rigid or non-rigid, local or non-local. We define both ground and free variable tableau methods, parametric with respect to the variants of the considered logics. The treatment of each variant is equally simple and is based on the annotation of functional symbols by natural numbers, conveying some semantical information on the worlds where (...) they are meant to be interpreted.This paper is an extended version of a previous work where full proofs were not included. Proofs are in some points rather tricky and may help in understanding the reasons for some details in basic definitions. (shrink)

In the 13th century, the availability of Aristotle’s treatises of natural philosophy encouraged forms of integration between libri naturales and sapientia biblica. Instead of diving into allegory and symbolism, several Dominican exegetes began to explore more realistic approaches. The foremost figure is Albert the Great. In his biblical commentaries, philosophy of nature and theology join forces as complementary forms of knowledge. By focusing on Albert’s De vegetabilibus, this paper is aimed at analyzing in which ways the Dominican master reuses his (...) naturalistic and, especially, botanical knowledge as an exegetical tool to deepen both the historical and the allegorical sense, realism and spiritual interpretation. (shrink)

Material Ecocriticism offers new ways to analyze language and reality, human and nonhuman life, mind and matter, without falling into well-worn paths of thinking. Bringing ecocriticism closer to the material turn, the contributions to this landmark volume focus on material forces and substances, the agency of things, processes, narratives and stories, and making meaning out of the world. This broad-ranging reflection on contemporary human experience and expression provokes new understandings of the planet to which we are intimately connected.

This essay is devoted to Albert the Great’s theoretical treatment of fatherhood and motherhood, male and female genders, in the generation of the vegetabilia. While animals reproduce by the mating of female and male individuals, plants do not display a sexual distinction through a male and female configuration. Moreover, in the generation of plants, the maternal and paternal functions are not performed by individuals of the same species as what is generated. To fulfill the generative process, plants require the external (...) agency of the Sun and the ground, traditionally deemed as “pater et mater plantarum”. The question of the generation of plants is dealt with at length in Albert’s De vegetabilibus et plantis, where he gives an extensive treatment of plants’ life modeled after the epistemology of Aristotle’s works on animals. This theoretical approach is not confined to Albert’s natural philosophical works but extends also to his theological investigation. By adopting an interdisciplinary standpoint, this essay will show how Albert progressively develops an explicative model for plants generation that, through the comparison with animal generation, aims at identifying the respective domains of matter and form, fatherhood and motherhood, male and female genders, also in the generation of plants. (shrink)

The amygdala is a hub in brain networks that supports social life and fear processing. Compared with other apes, humans have a relatively larger lateral nucleus of the amygdala, which is consistent with both the self-domestication and the cooperative breeding hypotheses of human evolution. Here, we take a comparative approach to the evolutionary origin of the relatively larger lateral amygdala nucleus in humans. We carry out phylogenetic analysis on a sample of 17 mammalian species for which we acquired single amygdala (...) nuclei volumetric data. Our results indicate that there has been convergent evolution toward larger lateral amygdala nuclei in both domesticated and cooperatively breeding mammals. These results suggest that changes in processing fearful stimuli to reduce fear-induced aggression, which are necessary for domesticated and cooperatively breeding species alike, tap into the same neurobiological proximate mechanism. However, humans show changes not only in processing fearful stimuli but also in proactive prosociality. Since cooperative breeding, but not domestication, is also associated with increased proactive prosociality, a prominent role of the former during human evolution is more parsimonious, whereas self-domestication may have been involved as an additional stepping stone. (shrink)

This article examines one of Italo Calvino’s most beloved novels, (1957), contextualizing it in its landscape and exploring the multifaceted strands of its environmental creativity. Unsuspected paths of political ecology, environmental history, and even biosemiotics and plant neurophysiology will emerge, thus showing the timeliness and clairvoyance of his books vis-à-vis our planetary crises. Written in a seminarrative form, this piece is an invitation to read literary works not only along with their landscapes, but their landscapes, and to consider the potential (...) of more-than-human stories for the shaping of our ethical-environmental imagination. (shrink)

In un periodo in cui la storiografia filosofica italiana andava ridefinendo la sua identità, dopo la crisi dell’"egemonia" crociana e gentiliana, quella di Valerio Verra è stata senz’altro una delle figure più notevoli. A lui si deve infatti la ridefinizione di alcune tra le più importanti categorie storiografiche, e l’idea che la ricerca storica sia indispensabile per riconoscere, al di là di preconcetti teorici, la natura e i compiti della filosofia contemporanea. A due anni dalla morte, queste pagine ne analizzano (...) l’attività di storico della filosofia nel contesto in cui si è formata, mettendone in evidenza tematiche, metodi e criteri. (shrink)

Ende des Sommers 1818, während seines Aufenthalts in München, trifft Victor Cousin Schelling und läßt sich Fichtes Leben in Jena für seine Fragments philosophiques schildern. Der Philosoph wird als »le plus sincère, le plus vertueux, mais aussi le plus obstiné des hommes« charakterisiert. Er stellt ihn dann Goethe gegenüber, damals Geheimrat des Großherzogs Karl-August von Sachsen-Weimar: »Jamais deux hommes ne se convinrent moins que le grand poète et le grand philosophe«, sagt Cousin. Und die Gründe für diese Urteile sind mannigfaltig. (...) Wenn einerseits Fichte in Jena als Verfasser des Beitrags zur Berichtigung der Urtheile des Publikums über die französische Revolution auch erkannt worden war und - obwohl er jede auffälligen Äußerungen zu vermeiden suchte - er auch kein Geheimnis aus seinen demokratischen Überzeugungen machte, hatte sich andererseits Goethe sowohl in seinen Werken als auch in seiner politischen Tätigkeit immer gegen jede gewalttätige Revolution erklärt, die danach strebte, die angestammte Obrigkeit zu vernichten. Diese seine Haltung entspringt unmittelbar Goethes Idee, daß die Natur - und mit ihr die Geschichte - im Grunde eher der Ort ununterbrochener und langsamer Metamorphosen als unvorhersehbarer Brüche sei. Hier wirkt das gleiche Motiv, daß sich Wilhelm Meister von einem angehenden Schauspieler durch Einfluß einer geheimen Gesellschaft auch seelisch zu einem Arzt wandeln läßt, und es ist im Grunde auch das Gleiche, wenn Goethe in der Geologie den Neptunismus Werners dem Vulkanismus vorzieht. Der Vielseitigkeit der Interessen eines Goethe, der gleichsam Dichter und Naturforscher, Minister und Weltmann war, steht die Gestalt eines Fichtes gegenüber, der sein ganzes Leben der monolithischen Konstruktion der philosophischen Wissenschaftslehre gewidmet hat. Aber auch philosophisch trennt sie ein Abgrund zutiefst. (shrink)

Ende des Sommers 1818, während seines Aufenthalts in München, trifft Victor Cousin Schelling und läßt sich Fichtes Leben in Jena für seine Fragments philosophiques schildern. Der Philosoph wird als »le plus sincère, le plus vertueux, mais aussi le plus obstiné des hommes« charakterisiert. Er stellt ihn dann Goethe gegenüber, damals Geheimrat des Großherzogs Karl-August von Sachsen-Weimar: »Jamais deux hommes ne se convinrent moins que le grand poète et le grand philosophe«, sagt Cousin. Und die Gründe für diese Urteile sind mannigfaltig. (...) Wenn einerseits Fichte in Jena als Verfasser des Beitrags zur Berichtigung der Urtheile des Publikums über die französische Revolution auch erkannt worden war und - obwohl er jede auffälligen Äußerungen zu vermeiden suchte - er auch kein Geheimnis aus seinen demokratischen Überzeugungen machte, hatte sich andererseits Goethe sowohl in seinen Werken als auch in seiner politischen Tätigkeit immer gegen jede gewalttätige Revolution erklärt, die danach strebte, die angestammte Obrigkeit zu vernichten. Diese seine Haltung entspringt unmittelbar Goethes Idee, daß die Natur - und mit ihr die Geschichte - im Grunde eher der Ort ununterbrochener und langsamer Metamorphosen als unvorhersehbarer Brüche sei. Hier wirkt das gleiche Motiv, daß sich Wilhelm Meister von einem angehenden Schauspieler durch Einfluß einer geheimen Gesellschaft auch seelisch zu einem Arzt wandeln läßt, und es ist im Grunde auch das Gleiche, wenn Goethe in der Geologie den Neptunismus Werners dem Vulkanismus vorzieht. Der Vielseitigkeit der Interessen eines Goethe, der gleichsam Dichter und Naturforscher, Minister und Weltmann war, steht die Gestalt eines Fichtes gegenüber, der sein ganzes Leben der monolithischen Konstruktion der philosophischen Wissenschaftslehre gewidmet hat. Aber auch philosophisch trennt sie ein Abgrund zutiefst. (shrink)

Ende des Sommers 1818, während seines Aufenthalts in München, trifft Victor Cousin Schelling und läßt sich Fichtes Leben in Jena für seine Fragments philosophiques schildern. Der Philosoph wird als »le plus sincère, le plus vertueux, mais aussi le plus obstiné des hommes« charakterisiert. Er stellt ihn dann Goethe gegenüber, damals Geheimrat des Großherzogs Karl-August von Sachsen-Weimar: »Jamais deux hommes ne se convinrent moins que le grand poète et le grand philosophe«, sagt Cousin. Und die Gründe für diese Urteile sind mannigfaltig. (...) Wenn einerseits Fichte in Jena als Verfasser des Beitrags zur Berichtigung der Urtheile des Publikums über die französische Revolution auch erkannt worden war und - obwohl er jede auffälligen Äußerungen zu vermeiden suchte - er auch kein Geheimnis aus seinen demokratischen Überzeugungen machte, hatte sich andererseits Goethe sowohl in seinen Werken als auch in seiner politischen Tätigkeit immer gegen jede gewalttätige Revolution erklärt, die danach strebte, die angestammte Obrigkeit zu vernichten. Diese seine Haltung entspringt unmittelbar Goethes Idee, daß die Natur - und mit ihr die Geschichte - im Grunde eher der Ort ununterbrochener und langsamer Metamorphosen als unvorhersehbarer Brüche sei. Hier wirkt das gleiche Motiv, daß sich Wilhelm Meister von einem angehenden Schauspieler durch Einfluß einer geheimen Gesellschaft auch seelisch zu einem Arzt wandeln läßt, und es ist im Grunde auch das Gleiche, wenn Goethe in der Geologie den Neptunismus Werners dem Vulkanismus vorzieht. Der Vielseitigkeit der Interessen eines Goethe, der gleichsam Dichter und Naturforscher, Minister und Weltmann war, steht die Gestalt eines Fichtes gegenüber, der sein ganzes Leben der monolithischen Konstruktion der philosophischen Wissenschaftslehre gewidmet hat. Aber auch philosophisch trennt sie ein Abgrund zutiefst. (shrink)

This article examines one of Italo Calvino’s most beloved novels, (1957), contextualizing it in its landscape and exploring the multifaceted strands of its environmental creativity. Unsuspected paths of political ecology, environmental history, and even biosemiotics and plant neurophysiology will emerge, thus showing the timeliness and clairvoyance of his books vis-à-vis our planetary crises. Written in a seminarrative form, this piece is an invitation to read literary works not only along with their landscapes, but their landscapes, and to consider the potential (...) of more-than-human stories for the shaping of our ethical-environmental imagination. (shrink)

An international and interdisciplinary team of scholars offer innovative models of thinking about environmentality in the humanities and in Anthropocene discourse in the environmental sciences.

Toward a New Socialism offers a critical analysis of capitalism's failings and the imminent need for socialism as an alternative form of government. Dr. Richard Schmitt joins with Dr. Anatole Anton to compile a volume of essays exploring the benefits and consequences of a socialist system as an avenue of increased human solidarity and ethical principle.

El presente artículo hace una lectura de la obra dramatúrgica Bandada de pájaros: segundo ensayo sobre la memoria (2016) de Jorgelina Cerritos (San Salvador, 1974) desde una perspectiva tanatopolítica. Se indaga acerca del poder que ejerce el Estado salvadoreño en la vida de la ciudadanía, representada por personajes que, desprovistos de su categoría de persona, ven interrumpidos todos sus derechos. Estos sujetos son miembros de una comunidad que se convierten en una amenaza potencial a suprimir por parte del Estado. Además, (...) se analiza la vulnerabilidad de la mujer ante el aparato bélico heteropatriarcal y las posibilidades del teatro como espacio para la construcción de una memoria que restituya el recuerdo y la identidad de los miles de desaparecidos durante la guerra civil salvadoreña. (shrink)

Cerrito has proposed a declarative semantics for allowed logic programs using Girard's linear logic, with weakening. We propose an alternative semantics using pure linear logic. The main difference between our approach and that of Cerrito is that the comma of a logic program is interpreted as the multiplicative connective instead of the additive &. This enables us to establish a soundness result without the introduction of the projection symbols employed by Cerrito. The price to be paid for (...) this simplification occurs in the establishment of a completeness result. Our definition of the completed program is more complicated than that given by Cerrito. We establish a completeness result for the class of allowed programs and queries using our definition of the program completion. (shrink)