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)

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)

We address concerns raised by Maul (2012) regarding the validity of the Mayer-Salovey-Caruso Emotional Intelligence Test (MSCEIT). We respond to requests for clarifications of our model, and explain why the MSCEIT’s scoring methods stand up to scrutiny and why many reported reliabilities of the MSCEIT may be underestimates, using reanalyses of the test’s standardization sample of N = 5,000 to illustrate our point. We also organize findings from four recent articles that provide evidence for the MSCEIT’s validity based on (...) its relations with other tests. (shrink)

A complete, illustrated survey of Etienne-Jules Marey's work that investigates the far reaching effects of her inventions on stream-of-consciousness literature, psychoanalysis, Bergsonian philosophy, and the art of cubists and futurists.

This paper examines a little studied type of perspective shift that I call protagonist projection, following Holton :625–628, 1997). PP is a way of describing the mental state of a protagonist that conveys, to some extent, her perspective. Similarly to its better known cousin free indirect discourse, the shift in perspective is achieved without an overt operator. Unlike FID, PP is not based on a presumed speech-act of a protagonist. Rather, it gives a linguistic form to pre-verbal perceptual content, sensations, (...) feelings or implicit beliefs. I propose to analyse PP in a bi-contextual framework, extending Eckardt’s approach to FID. Under the resulting analysis, FID and PP are two instances of a more general category of perspective shift. (shrink)

The central idea behind this paper is that presuppositions of soft triggers arise from the way our attention structures the informational content of a sentence. Some aspects of the information conveyed are such that we pay attention to them by default, even in the absence of contextual information. On the other hand, contextual cues or conversational goals can divert attention to types of information that we would not pay attention to by default. Either way, whatever we do not pay attention (...) to, be it by default, or in context, is what ends up presupposed by soft triggers. This paper attempts to predict what information in the sentence is likely to end up being the main point (i.e. what we pay attention to) and what information is independent from this, and therefore likely presupposed. It is proposed that this can be calculated by making reference to event times. The notion of aboutness used to calculate independence is based on that of Demolombe and Fariñas del Cerro (In: Holdobler S (ed) Intellectics and computational logic: papers in honor of Wolfgang Bibel, 2000). (shrink)

This paper takes a virtuist approach to medical ethics to explore, from an empirical angle, ideas about settled ways of living a good life. Qualitative research methods were used to analyse the ways in which a group of 15 general practitioners articulated notions of good doctoring and the virtues in their work. I argue that the GPs, whose talk is analysed here, defined good general practice in terms of the ideals of accessibility, comprehensiveness, and continuity. They regarded these ideals significant (...) both for the way they dealt with morally problematic situations and for how they conducted their professional lives more generally. In addition, I argue that the GPs who articulated these ideals most clearly were able to, in part, because they shared the experience of working in rural areas. This experience helped them to develop an understanding of the nature of general practice that their urban colleagues were less able to draw on. In that sense, the structural and organisational framework of general practice in rural areas provided the context for their understanding of ideals in general practice. (shrink)

Some presuppositions are easier to cancel than others in embedded contexts. This contrast has been used as evidence for distinguishing two fundamentally different kinds of presuppositions, ‘soft’ and ‘hard’. ‘Soft’ presuppositions are usually assumed to arise in a pragmatic way, while ‘hard’ presuppositions are thought to be genuine semantic presuppositions. This paper argues against such a distinction and proposes to derive the difference in cancellation from inherent differences in how presupposition triggers interact with the context: their focus sensitivity, anaphoricity, and (...) question–answer congruence properties. The paper also aims to derive the presuppositions of additive particles such as too, also, again, and of it-clefts. (shrink)

The concept of noncombatant immunity prohibits the intentional targeting of noncombatants. The availability of nonlethal weapons (NLW) may weaken this prohibition, especially since using NLWs against noncombatants may, in some cases, actually save the noncombatants' lives. Given the advancement of NLWs, I argue that their probable appearance on the battlefield demands close scrutiny due to the moral problems associated with their use. In this paper, I examine four distinct cases and determine whether the use of NLWs is morally permissible. While (...) it seems that the reduced harm caused by NLWs makes their use more acceptable, adhering to noncombatant immunity requires more than not killing noncombatants. It also requires that military forces treat noncombatants a certain way. In the cases I present, to use NLWs against noncombatants treats them as combatants and coerces them to do something against their will. While a consequentialist foundation for noncombatant immunity may permit this action, a rights-based concept of noncombatant immunity does not. I contend that only a rights-based concept of noncombatant immunity is viable, and that the availability of NLWs should not significantly alter the prohibitions prescribed by noncombatant immunity. (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)

Cancer research is experiencing ‘paradigm instability’, since there are two rival theories of carcinogenesis which confront themselves, namely the somatic mutation theory and the tissue organization field theory. Despite this theoretical uncertainty, a huge quantity of data is available thanks to the improvement of genome sequencing techniques. Some authors think that the development of new statistical tools will be able to overcome the lack of a shared theoretical perspective on cancer by amalgamating as many data as possible. We think instead (...) that a deeper understanding of cancer can be achieved by means of more theoretical work, rather than by merely accumulating more data. To support our thesis, we introduce the analytic view of theory development, which rests on the concept of plausibility, and make clear in what sense plausibility and probability are distinct concepts. Then, the concept of plausibility is used to point out the ineliminable role played by the epistemic subject in the development of statistical tools and in the process of theory assessment. We then move to address a central issue in cancer research, namely the relevance of computational tools developed by bioinformaticists to detect driver mutations in the debate between the two main rival theories of carcinogenesis. Finally, we briefly extend our considerations on the role that plausibility plays in evidence amalgamation from cancer research to the more general issue of the divergences between frequentists and Bayesians in the philosophy of medicine and statistics. We argue that taking into account plausibility-based considerations can lead to clarify some epistemological shortcomings that afflict both these perspectives. (shrink)

Cases—be they real or fictional—are commonplace both in the medical ethics literature and in the public media. Cases take on a variety of forms: from streamlined to book length narratives. They also serve a variety of different purposes, from illustration, to decision making, and from debunking to heuristics. Drawing on the rhetorical analysis of « exemplum », I shall describe what cases are, and what their role is in the practice of clinical ethics. I identify two basic ways in which (...) cases can be brought to bear on ethical thinking and practice: a « tamed » and a « wild » way, and show how « wild cases » can serve a useful heuristic function despite their appeal to emotions and their unusual and striking character. In conclusion, I will argue that cases, both in their wild and their tamed form, are not only useful pedagogical tools, but can serve as a legitimate empirical basis for medical ethics. (shrink)

The chapter provides an analysis of the concept of the dignity of the person in Polish legal culture. It begins with a brief description of the historical background in which the legal status of human dignity has been framed. Then it turns to the analysis of the philosophical doctrines which have shaped the concept, in particular those which influenced Polish legal scholarship to the highest degree. The subsequent section attempts to clarify the meaning of the concept, specifying its features and (...) providing distinctions between dignity of the person and dignity of personage. Finally, the chapter presents the protection and respect of the dignity of the person in Polish legislation. (shrink)

Academic mobility is usually perceived and discussed as a positive phenomenon — as a prerequisite for building a competitive and successful economy and quality science. Academic mobility has now become essential to building a successful academic career in many research domains. On the policy level the negative impact of academic mobility on researchers’ lives and especially women’s is usually overlooked and marginalized. In my paper I focus on academic mobility in the context of academics’ relationships and family lives. I ask (...) two research questions: What is the impact of mobility on researchers’ relationships? How does mobility affect the lives of the partners of mobile researchers? The analysis is based on i) 16 in-depth interviews with academics from various fields of research about their experiences of long-term fellowships abroad in the early stages of their academic path and on ii) 16 in-depth joint interviews with Czech dualcareer academic couples. The analysis shows that academic mobility has a great and significant impact on the family and partnership lives of migrating researchers. For many, especially the partners of migrating researchers, mobility means they have to make many concessions in their private and family lives. I conclude that the impact of academic mobility on people’s partnership lives is highly gendered because couples’ work and family lives are closely intertwined. (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.

While inanimate objects can neither experience nor express emotions, in principle they can be expressive of emotions. In particular, music is a paradigmatic example of something expressive of emotions that surely cannot feel anything at all. The Contour theory accounts for music expressiveness in terms of those resemblances that hold between its external and perceivable properties and the typical contour of human emotional behavior. Provided that some critical aspects are emended – notably, the stress on the perception of similarity instead (...) of the more plausible hypothesis that the listener perceives manifestations that are similar – we are inclined to endorse contour theory. In particular, we share its basic idea that expressive properties are perceived. Although other kinds of processes – high-level conceptual inferences, imagination – sometimes characterize our encounters with music, still perception constitutes the standard process underlying the detection of expressiveness. Moreover, we propose to extend contour theory to visual arts. Taking into consideration, as a case study, depicted landscapes, we observe that they frequently cannot but express emotions such as joy, sadness, liveliness or melancholy. The fact that pictures, unlike music, lack any temporal dimension is a prima facie reason for doubting the extendibility of contour theory’s conceptual arsenal to them. Nevertheless, while being obviously unable to behave somehow, we claim that depicted landscapes can perfectly convey dynamic information. If this is the case, the extension of the notion of contour to visuals art via the stress on the notion of dynamism would represent a second interesting revision of contour theory. (shrink)

In March 2016, DeepMind's computer programme AlphaGo surprised the world by defeating the world‐champion Go player, Lee Sedol. AlphaGo exhibits a novel, surprising and valuable style of play and has been recognised as “creative” by the artificial intelligence (AI) and Go communities. This article examines whether AlphaGo engages in creative problem solving according to the standards of comparative psychology. I argue that AlphaGo displays one important aspect of creative problem solving (namely mental scenario building in the form of Monte Carlo (...) tree search), while lacking another (domain generality). This analysis has consequences for how we think about creativity in humans and AI. (shrink)

Business Ethics: A European Review, EarlyView.

Animal minds are complex and diverse, making them difficult to study. This Element focuses on a question that has received much attention in the field of comparative cognition: 'Do animals reason about unobservable variables like force and mental states?' The Element shows how researchers design studies and gather evidence to address this question. Despite the many virtues of current methods, hypotheses in comparative cognition are often underdetermined by the empirical evidence. Given this, philosophers and scientists have recently called for additional (...) behavioral constraints on theorizing in the field. The Element endorses this proposal (known as 'signature testing'), while also arguing that studies on animal minds would benefit from drawing more heavily on neuroscience and biology. (shrink)

A natural landscape can look serene, a shade of colour cheerful and a piece of music might sound heartrending. Why do we ascribe affective qualities to objects that can't entertain psychological states? The capacity that objects, and especially artworks, have to express affective states is a bizarre phenomenon that needs to be clarified in numerous respects. Philosophers are still struggling with the phenomenon of expressiveness being a matter of imagination, perception, or mnemonic association, and usually do not agree on the (...) role that emotions and human bodily expressions play in it. Benenti questions the main theories that populate the aesthetics domain using the tools of philosophy of mind. This study deals with crucial debates concerning seeing-in, cognitive penetration, the relation between phenomenal character and representational content and between emotions and expressions. It aims at providing a viable account of the experience we have of expressive properties by casting light on its fundamentally perceptual nature. The outcome is an empirically informed and critical overview of a topic which has been rather neglected in the philosophy of mind. The book will be of interest to scholars of the philosophy of mind, aesthetics, the cognitive sciences, and psychology. (shrink)

Copyright © 2008 by International Union for Health Promotion and Education.

Hélène Cixous is more than an influential theorist. She is also a groundbreaking author and playwright. Combining an idiosyncratic mix of autobiographical and fictional narrative with a host of philosophical and poetic observations, Cixous's writing matches the kaleidoscopic nature of her thought, offering new ways of conceptualizing sex, relationships, identity, and the self, among other topics. Yet, as Jacques Derrida once observed, a "profound misunderstanding" hangs over the accomplishments of Cixous, with many believing the intellectual excelled only at theoretical exploration. (...) Providing a truly liberal selection of her writings from throughout her career, Marta Segarra rediscovers Cixous's acts of invention for a new generation to enjoy. Divided into thematic concerns, these works fully capture Cixous's genius for merging fiction, theory, and the experience of living. They discuss dreaming in the feminine, Algeria and Germany, love and the other, the animal, Derrida, and the theater. They defy classification, locking literature, philosophy, and psychoanalysis into thrilling new patterns of engagement. Whether readers are familiar with Cixous or are approaching her thought for the first time, all will find fresh perspectives on gender, fiction, drama, philosophy, religion, and the postcolonial. (shrink)

Aristotle ’s claim that we become virtuous by doing virtuous actions raises a familiar problem: How can we perform virtuous actions unless we are already virtuous? I reject deflationary accounts of the answer given in _Nicomachean Ethics_ 2.4 and argue instead that proper habituation involves doing virtuous actions with the right motive, i.e. for the sake of the noble, even though learners do not yet have virtuous dispositions. My interpretation confers continuity to habituation and explains in a non-mysterious way how (...) we become virtuous by doing virtuous actions in the right way. (shrink)