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)

1. A. Heyting (1930) introduced an intermediate logic whose semantics is based on a pair of states (‘here’ and ‘there’). This logic was axiomatized by Hosoi (1966), using the sequence of intermedia...

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)

Minimalistische Reduktionen des Textes bis hin zu nur noch einem Satz bieten ästhetische und ethische Differenzierungen, die hier in einem weiten kulturgeschichtlichen Rahmen präsentiert werden. Der Spruch im Alten Testament, die Fragmente Heraklits oder die Aphorismen von Kafka, die Maximen der Moralisten und das japanische Haiku - sie alle sind Experimente knappster Verdichtung, die sich gerade deshalb als zeitresistent erwiesen haben. Gleichwohl setzt die Linguistik die Textgröße oftmals erst oberhalb des Einzelsatzes an. Der Band versammelt ein weites Spektrum von Beiträgen (...) aus Philosophie, Theologie, Soziologie, Sprach-, Literatur- und Musikwissenschaft zu einem interdisziplinären, vielstimmigen Gespräch - über die Grenzen der Kulturen wie der Zeiten hinweg. Gebündelt sind diese Beobachtungen im Stichwort der Nanotextualität, um die Effizienz extremer Konzentration in ästhetischen, ethischen und logischen Konsequenzen zu vergleichen. (shrink)

In cultures with left-right-script, agentic behavior is mentally represented as following a left-to-right trajectory, an effect referred to as the Spatial Agency Bias. In this research, we investigated whether spatial representations of activities are universal across activities by analyzing the opposite concepts of “attack” and “defense”. Both behaviors involve similar actions but may differ in perceived agency. Moreover “defense” is necessarily always a response to an attack and may therefore be represented by a trajectory in the opposite direction. Two studies (...) found the classic SAB for activities representing attacking but a reduction and reversal for activities involving defense. Although the spatial representation of defense on the right was much weaker and less unequivocal than that of attack on the left, the results suggest that the spatial representations of defense and attack are located in different positions. Apparently not all actors and all activities are spatially represented on the left with a left-to-right trajectory but position and direction depend on the perceived agency. Directions for future research and applications of our findings are discussed. (shrink)

This volume aims to question, challenge, supplement, and revise current understandings of the relationship between aesthetic and political operations. The authors transcend disciplinary boundaries and nurture a wide-ranging sensibility about art and sovereignty, two highly complex and interwoven dimensions of human experience that have rarely been explored by scholars in one conceptual space. Several chapters consider the intertwining of modern philosophical currents and modernist artistic forms, in particular those revealing formal abstraction, stylistic experimentation, self-conscious expression, and resistance to traditional definitions (...) of "Art." Other chapters deal with currents that emerged as facets of art became increasingly commercialized, merging with industrial design and popular entertainment industries. Some contributors address Post-Modernist art and theory, highlighting power relations and providing sceptical, critical commentary on repercussions of colonialism and notions of universal truths rooted in Western ideals. By interfering with established dichotomies and unsettling stable debates related to art and sovereignty, all contributors frame new perspectives on the co-constitution of artworks and practices of sovereignty. (shrink)

In no field of knowledge did Aristotle leave more writings than in biol­ogy. He conducted research for longer and more intensively in zoology than in any other field. In these writings he mentions a good 550 animal and 60 plant species. While this includes the internal anatomy of around 110 animals, he dissected 60 species himself. The present contribution deals with the epistemic motifs and the meaning of Aristotelian biology in the context of his scientific curriculum. It is thus demonstrated (...) that in De anima Aristotle’s actual explanations are preceded by an investi­gation of the principles, which aims to differentiate living objects from inanimate ones, and to develop a method of explanation based on the species-specific vital functions of living beings. This article provides an overview of the four main disciplines of Aristotelian biology: compara­tive anatomy, physiology, genetics and behavioral research. The text offers tabular overviews of the animals and plants dealt with by Aristotle. (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)

Name der Zeitschrift: Frühmittelalterliche Studien Jahrgang: 36 Heft: 2 Seiten: 426-429.

This paper presents an approach to artificial intelligence planning based on linear temporal logic (LTL). A simple and easy-to-use planning language is described, Planning Domain Description Language with control Knowledge (PDDL-K), which allows one to specify a planning problem together with heuristic information that can be of help for both pruning the search space and finding better quality plans. The semantics of the language is given in terms of a translation into a set of LTL formulae. Planning is then reduced (...) to “executing” the LTL encoding, i.e. to model search in LTL. The feasibility of the approach has been successfully tested by means of the system Pdk, an implementation of the proposed method. (shrink)

Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen für die historische wie auch die disziplingeschichtliche Forschung zur Verfügung, die jeweils im historischen Kontext betrachtet werden müssen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ideologischen Ausrichtung vom Verlag nicht beworben.

Are you a Reluctant Metaphysician? A career change, an upsetting external event, a serious illness, a painful breakup, or an unravelling culture can all be invitations to enter a deeper world behind the world. You may not have chosen to go there, but you evolve thereby. This book weaves together stories and reflections to introduce teachings and practices from ancient wisdom traditions that illuminate our unique life path.The Path of a Reluctant Metaphysician speaks to the importance of a holistic spiritual (...) philosophy in our current times of the "great unraveling" of our political, economic, cultural, and ecological world. Here you will find an approach to finding your life stance in such troubled times. The metaphysical path is an "all vector approach" that incorporates both "spiritual" and "soulful" pathways, traditions of postural initiation such as Tai Chi, mythology, depth psychology, bodymind healing methods, a non-deterministic approach to astrology, and a multi-dimensional approach to the political sphereDr. Mayer transmits stories, teachings, and practices from his multifaceted career that are so captivating, they may lead you to reluctantly take time out of your busy everyday life. Be forewarned if you read this book you too may become a Reluctant Metaphysician! Kirkus Reviews says: "A meaningful contribution to the spiritual self-help library...A psychologist blends spiritual paths from the East, West, and beyond for an innovative approach to healing...an expansive tale told with humility and insight." Larry Dossey, MD says, Dr. Mayer's revelations in various metaphysical domains are a guide for anyone who desires a richer and more fulfilling experience of life. If you think life must contain more juice than you have known so far, this book is for you. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:When Little Girls Become Junior Connoisseurs:A Cautionary Tale of Art Museum Education in the HyperrealMelinda M. Mayer (bio)Introducing the TaleA young girl about eleven years old appeared on the TV screen. She stood in an art museum expounding upon the painting hanging behind her. She talked about the artist and what the image portrayed. With an air of elitist prissiness that suited the museum environment, the girl delivered her (...) presentation to a group of schoolmates. As I and the other art museum educators assembled in the conference room where the video was shown learned, the girl had participated in a program at a prominent art museum in which students from her school came to the museum many times during the school year. This repeat-visit program culminated with these youngsters demonstrating what they learned about art by giving a talk on a single artwork to friends, family, or other classmates. The girl's recitation of art historically correct information was impressive. She sounded just like a junior art historian. Yet, something was missing. The little girl appeared to copy the style of art historical talk more than its content. I turned to the colleague sitting next to me and wondered, "Did that girl learn how to make meaning or how to talk like a curator?"Despite the several years that have passed since the conference, the image of that little girl lingers in my mind. A repeat-visit school program is what an art museum educator working with school tours desires.1 All an art museum educator can hope to impart on a one-shot tour is a simple exposure to art and the museum. Hopefully, that one encounter will result in a lifelong appreciation of art and art museums, but that is a tall order for one field trip. Repeat-visit programs, by contrast, allow knowledge and skills related to art to be presented in the school and museum and reinforced in subsequent sessions. Students can learn to meaningfully interpret the content [End Page 48] of works of art as well as make personal connections with them.The girl in the video, however, did not appear to be engaged in meaning-making. No hint that the painting had metaphorically come off of the museum wall and moved into her life experience appeared in the girl's presentation. Instead, she successfully imitated the manner of an art historian.In the essay "The Precession of Simulacra," the French sociologist Jean Baudrillard theorizes that reality or meaning no longer exist.2 Like the Moebus strip, which when split generates a duplicate of itself, what we experience as reality in this increasingly mediated age in which we live is no more than the repeated circulation of models or simulacra. Rather than models emerging out of real phenomena or originals, they beget themselves—models precede models. Any notion of reality implodes in the circulation of these simulations. Reality becomes what Baudrillard calls the hyperreal—simulation generating simulation. What does this imply for visual art? Interpretation of meaning in artworks would not reveal some represented truth of human experience; instead it would be the repetition of interpretive forms masking that there is no reality to represent. The talk by the little girl in the video indicated that art museum education, at least in that program, had become the perpetuation of a model of inquiry. Rather than making meaning, the girl reproduced the aesthetics of art history interpretation. Even under the ideal circumstances of a repeat-visit school program, the girl became the perfect model of a petite connoisseur.Although the video depicts one little girl in one art museum program, is there not a cautionary tale here for the field of art museum education?3 When visitors to art museums, including children on school field trips, participate in educational programs, are they engaging in meaning-making or an experience in the hyperreal? In theory art museum educators espouse facilitating meaning-making as their mission; however, in practice are they falling into a vortex of recycling the models of art historical interpretation they assimilated during their own education? Do they replicate the form of the model rather than the substance of interpretation... (shrink)