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...

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)

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)

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)

ABSTRACT In this paper we state and prove Herbrand's properties for two modal systems, namely T and S4, thus adapting a previous result obtained for the system D [CIA 86a] to such theories. These properties allow the first order extension?along the lines of [CIA 91]?of the resolution method defined in [ENJ 86] for the corresponding propositional modal systems. In fact, the Herbrand-style procedures proposed here treat quantifiers in a uniform way, that suggests the definition of a restricted notion of unification (...) for quantifier free modal formulae obtained by means of a Skolem-like procedure. The differences among the three systems considered, D, T and S4, are taken into account by preliminary propositional transformations of the formulae, in such a way that the problem of quantifier elimination can be treated within the same pattern in the different systems. The methods employed to prove the fundamental theorems are purely proof-theoretical and make use of the formalization of the considered modal theories in terms of sequent calculi, where the cut elimination theorem holds. (shrink)

The relationship between philosophy and science has always been complementary. Today, while science moves increasingly fast and philosophy shows some problems in catching up with it, it is not always possible to ignore such relationships, especially in some disciplines such as philosophy of mind, cognitive science, and neuroscience. However, the methodological procedures used to analyze these data are based on principles and assumptions that require a profound dialogue between philosophy and science. Following these ideas, this work aims to raise the (...) problems that a classical connectionist theory can cause and problematize them in a cognitive framework, considering both philosophy and cognitive sciences but also the disciplines that are near to them, such as AI, computer sciences, and linguistics. For this reason, we embarked on an analysis of both the computational and theoretical problems that connectionism currently has. The second aim of this work is to advocate for collaboration between neuroscience and philosophy of mind because the promotion of deeper multidisciplinarity seems necessary in order to solve connectionism’s problems. In fact, we believe that the problems that we detected can be solved by a thorough investigation at both a theoretical and an empirical level, and they do not represent an impasse but rather a starting point from which connectionism should learn and be updated while keeping its original and profoundly convincing core. (shrink)

This book contributes to the contemporary revival of pragmatism as a practical and ultimately, as Mayer argues, necessary philosophical stance within democratic schools. Given that pragmatism addresses the question of how people can move forward in the absence of transcendent Truth, the author shows how pragmatism also-and not incidentally-provides grounds for pluralistic democratic societies to move forward in the absence of shared belief systems. Weaving together philosophical analysis and classroom discourse research, Mayer explores the relationships among pragmatism, progressive (...) educational theory, and democratic knowledge construction processes and their implications for enacting progressive educational practices in schools. Several original, research-based heuristics that can serve in reliably identifying, studying, and orchestrating distinctively democratic knowledge construction processes are presented. The importance of granting all students a share of interpretive authority is also emphasized. For in learning to observe and reflect on one's own terms, attend closely to the observations and interpretations of one's peers, and reason collaboratively in a transparent and principled manner, young people are enculturated into essential democratic values, commitments, and practices. This book is written for a general audience and is intended for all those concerned with strengthening the democratic character of schools and societies. It is likely to appeal to scholars, researchers, and practitioners with interests in philosophy and classroom discourse and curriculum studies, as well as philosophers of education and the social sciences more broadly. (shrink)

T. 1. Beim jungen Augustinus.--T. 2. Die antimanichäische Epoche.

Macht ist allgegenwärtig; sie kann soziale, wirtschaftliche oder politische Formen annehmen und wirkt zu jeder Zeit in und um uns. Die Beschäftigung mit Macht und Ohnmacht ist daher auch keineswegs neu - seit Jahrtausenden steht sie im Mittelpunkt des Denkens berühmter Philosophen wie Thukydides, Machiavelli oder Thomas Hobbes. Was aber heißt und ist Macht eigentlich? Wie entsteht und vergeht sie? Was bewirkt sie? Was macht mächtig? Können Recht, Ethik oder Religion ihr Grenzen setzen? Diesen Fragen geht der Rechts-, Politik- und (...) Kulturwissenschaftler Peter Cornelius Mayer-Tasch nach. Facettenreich und kurzweilig führt er die verschiedenen Phänomene und Ausprägungen von Macht in diesem Band zusammen: Angefangen beim Begriff der Macht über die Anbetung von Macht - etwa in Religion oder Politik - schlägt Mayer-Tasch den Bogen bis hin zur Dialektik von Segen und Fluch der Macht und der Utopie von Verzicht auf Macht. Peter Cornelius Mayer-Tasch untersucht eines der bedeutsamsten Phänomene des sozialen Lebens: Was ist Macht und was macht mächtig? Kann man Macht Grenzen setzen? Geschickt verknüpft Mayer-Tasch die philosophisch-historischen Hintergründe von Macht mit ihren unerwarteten, alltäglichen Ausprägungen - oder hätten Sie Macht mit Liebe, Schönheit oder Gartengestaltung in Verbindung gebracht? (shrink)

This book supports a version of the trope-bundle view of individual substances matching also with a coherent account of change, individuation and individual essences. In particular, it is argued that qualitative individuation and qualitative individual essences can be tackled within the frames of a trope account. The adoption of a trope BT together with the individuation of tropes via the bearer substance might create the feeling of circularity since tropes and substances seem mutually to individuate each other. The novel solution (...) to the problem developed here consists in showing that the individuation of concrete individual substances is independent, in crucial respects, from the fact that they are construed as bundles of tropes. Apart from metaphysician colleagues, the book is recommended for advanced students in analytic metaphysics. (shrink)

Janina Hosiasson-Lindenbaum is a known figure in philosophy of probability of the 1930s. A previously unpublished manuscript fills in the blanks in the full picture of her work on inductive reasoning by analogy, until now only accessible through a single publication. In this paper, I present Hosiasson’s work on analogical reasoning, bringing together her early publications that were never translated from Polish, and the recently discovered unpublished work. I then show how her late work relates to Rudolf Carnap’s approach to (...) “analogy by similarity” developed in the 1960s. Hosiasson turns out to be a predecessor of the line of research that models analogical influence as inductive relevance. A translation of Hosiasson’s manuscript concludes the paper. (shrink)

Next SectionWhilst there has been considerable debate about the fit between moral theory and moral reasoning in everyday life, the way in which moral problems are defined has rarely been questioned. This paper presents a qualitative analysis of interviews conducted with 15 general practitioners (GPs) in South Australia to argue that the way in which the bioethics literature defines an ethical dilemma captures only some of the range of lay views about the nature of ethical problems. The bioethics literature has (...) defined ethical dilemmas in terms of conflict and choice between values, beliefs and options for action. While some of the views of some of the GPs in this study about the nature of their ethical dilemmas certainly accorded with this definition, other explanations of the ethical nature of their problems revolved around the publicity associated with the issues they were discussing, concern about their relationships with patients, and anxiety about threats to their integrity and reputation. The variety of views about what makes a problem a moral problem indicates that the moral domain is perhaps wider and richer than mainstream bioethics would generally allow. (shrink)

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)

¿Qué tenemos en común y qué nos separa de los animales? ¿Somos un animal más? Las humanidades clásicas, basadas en el excepcionalismo humano, han dado paso a las posthumanidades, que incluyen los estudios animales, así como otras perspectivas que desafían la noción tradicional del sujeto humano, como los estudios de género, poscoloniales y decoloniales, la ecocrítica o la teoría queer. Pensarnos en nuestra relación con los animales tiene consecuencias filosóficas en ámbitos como la ciencia, los afectos, el trabajo y el (...) desarrollo de políticas concretas de salud y de alimentación; todas ellas, zonas de contacto entre humanos y animales. Sobre estos encuentros, aunque nunca reparemos en ello, edificamos nuestro mundo. Este ensayo imprescindible aglutina parte de los conocimientos desarrollados hasta ahora por quienes se han acercado a la relación humano-animal, y los vincula con la historia, los movimientos políticos y sociales, las nuevas concepciones del género, de la ciencia y del conocimiento. Los argumentos, contradicciones, contextos e incluso tabúes que acoge este debate interdisciplinar ayudan a imaginar y a matizar unos presupuestos éticos posibles sobre los que replantear nuestra relación con los animales y, en último término, con nosotros mismos. [Resumen del editor]. (shrink)

In this essay, I aim to examine Hölderlin’s theory of composition according to the thesis on the compatibility of poetic and philosophical practices. I interpret Hölderlin’s poetological fragments as a response to the epistolary exchange he had held with his master Schiller a few years earlier, concerning the dialectic between philosophy and poetry, enthusiasm and sobriety. I argue that Hölderlin’s fragments prompt us to consider poetry and philosophy as poiesis-based practices. Identifying creativity as their common destination allows one to postulate (...) the interaction between the two disciplines. I finally argue that aesthetics could be the place for this interaction. Hölderlin outlines a productive, namely aesthetic, theory of creation, in which boundaries between philosophy and poetry seem to interact rather than exclude. (shrink)

This is a series of short summaries and brief overviews of many main ideas within general semantics, all couched in the style of personal letters. It is designed to give people an intimate view into many insights offered with general semantics, and just as equally, it represents how principles of general semantics can be applied within everyday life.

This volume explores the role and status of phenomena such as feelings, values, willing, and action in the domain of perception and (social) cognition, as well as the way in which they are related. In its exploration, the book takes Husserl's lifelong project Studien zur Struktur des Bewusstseins (1909-1930) as its point of departure, and investigates these phenomena with Husserl but also beyond Husserl. Divided into two parts, the volume brings together essays that address the topics from different phenomenological, philosophical, (...) and psychological perspectives. They discuss Husserl's position in dialogue with historical and recent philosophical and psychological debates and develop phenomenological accounts and descriptions with the help of Geiger, Heidegger, Merleau-Ponty, Plessner, Sartre, Scheler, Schopenhauer, and Reinach. (shrink)

This book presents a novel interpretation of Aristotle's account of how shame instils virtue, and defends its philosophical import. Shame is shown to provide motivational continuity between the actions of the learners and the virtuous dispositions that they will eventually acquire.

Research question and aimClinical Ethics Committees (CECs) aim to support healthcare professionals (HPs) and healthcare organizations to deal with the ethical issues of clinical practice. In 2020,...