In this paper we show the embedding of Hybrid Probabilistic Logic Programs into the rather general framework of Residuated Logic Programs, where the main results of (definite) logic programming are validly extrapolated, namely the extension of the immediate consequences operator of van Emden and Kowalski. The importance of this result is that for the first time a framework encompassing several quite distinct logic programming semantics is described, namely Generalized Annotated Logic Programs, Fuzzy Logic Programming, Hybrid Probabilistic Logic Programs, and Possibilistic (...) Logic Programming. Moreover, the embedding provides a more general semantical structure paving the way for defining paraconsistent probabilistic reasoning with a logic programming semantics. (shrink)

Statistical Default Logic (SDL) is an expansion of classical (i.e., Reiter) default logic that allows us to model common inference patterns found in standard inferential statistics, e.g., hypothesis testing and the estimation of a population‘s mean, variance and proportions. This paper presents an embedding of an important subset of SDL theories, called literal statistical default theories, into stable model semantics. The embedding is designed to compute the signature set of literals that uniquely distinguishes each extension on a statistical default theory (...) at a pre-assigned error-bound probability. (shrink)

Modelos neurocognitivos têm sido propostos para investigar a consciência. O objetivo é responder à pergunta sobre como o cérebro é capaz de produzir estados conscientes qualitativos. Os modelos são representações teóricas baseadas em algumas pesquisas empíricas. Contudo, a questão central, aparentemente trivial para alguns autores, refere-se à representatividade e confiabilidade dos modelos, i.e., saber se são capazes de explicar como a consciência emerge de processos neurais. Esses modelos são considerados como guia no estudo científico da consciência: os modelos cognitivos de (...) Dennett e Baars, os modelos neurobiológicos de Edelman, Dehaene et al., de Damásio, e o modelo neurodinâmico proposto por Freeman. O presente texto visa a analisar a coerência e a plausibilidade dos modelos, i.e., se realmente explicam a “consciência” e suas propriedades em termos neurais ou se explicam apenas mecanismos neurobiológicos subjacentes no cérebro. O objetivo é avaliar escopo e limites dos modelos além da aplicabilidade na resolução do problema da consciência. Neurocognitive models are proposed in order to study the problem of consciousness. The models are attempts to answer the question of how the brain can generate conscious and qualitative states. Models are theoretical representations based on empirical data. Nonetheless, the central question concerns the reliability and the representativeness of the models, i.e., whether they in fact represent what they are supposed to explain, viz., how consciousness can emerge from neuronal processes. Such models are taken to be a guide for the scientific study of consciousness. Presently, there are six models: the multiple draft, the global workspace, the dynamic core, the global neuronal workspace, the somatic markers hypothesis, and the neurodynamic model. This text is a survey and a philosophical analysis of the models of consciousness, and it considers their plausibility and coherence. I will concentrate on two points: whether the neuroscientific models are able to explain ‘consciousness’ and its properties in neural terms, or whether the models only explain the neural correlates of conscious states, and the scope, limitations and applicability of the models in the attempt to solve the problem of consciousness. (shrink)

No presente artigo, analisamos as abordagens de António Damásio e Gerald Edelman sobre a consciência e fazemos um paralelo com as teses apresentadas pelo filósofo John Searle. Recorremos também às críticas dos filósofos Bennett e Hacker como pedras de toque da viabilidade de algumas teses. Desse modo, apresentamos uma revisão sistemática da obra de Damásio, Edelman e Searle, a fim de promover um diálogo produtivo entre as ideias defendidas por estes autores, os quais, segundo nossa interpretação, assumem uma (...) teoria do campo unificado da consciência. (shrink)

This paper discusses some of the requirements for the control architecture of an intelligent human-like agent with multiple independent dynamically changing motives in a dynamically changing only partly predictable world. The architecture proposed includes a combination of reactive, deliberative and meta-management mechanisms along with one or more global ``alarm'' systems. The engineering design requirements are discussed in relation our evolutionary history, evidence of brain function and recent theories of Damasio and others about the relationships between intelligence and emotions. (The paper (...) was completed in haste for a deadline and I forgot to explain why Descartes was in the title. See Damasio 1994.). (shrink)

On the one hand, there’s the internal development of cinema as it seeks new audio-visual combinations and major pedagogical lines and finds in television a wonderful field to explore.1My aim in this essay will be to approach cinema, philosophy, and cinematic pedagogy through an exploration of the interest and impact that the Portuguese filmmaker Manoel de Oliveira has had on the philosophical thought regarding cinema and the moving images of Gilles Deleuze. According to Deleuze, there is a principle of affinity (...) between the two forms of thought expression, explored as a peculiar transversal project.. (shrink)

This paper contributes an analysis and formalisation of Damasio’s theory on core consciousness. Three important concepts in this theory are ‘emotion’, ‘feeling’ and ‘feeling a feeling’ . In particular, a simulation model is described of the dynamics of basic mechanisms leading via emotion and feeling to core consciousness, and dynamic properties are formally specified that hold for these dynamics at a more global level. These properties have been automatically checked for the simulation model. Moreover, a formal analysis is made of (...) relevant notions of representation used by Damasio. As part of this analysis, specifications of representation relations have been verified and confirmed against the simulation model. (shrink)

The psychological and neurobiological processes underlying moral judgement have been the focus of many recent empirical studies1–11. Of central interest is whether emotions play a causal role in moral judgement, and, in parallel, how emotion-related areas of the brain contribute to moral judgement. Here we show that six patients with focal bilateral damage to the ventromedial prefrontal cortex (VMPC), a brain region necessary for the normal generation of emotions and, in particular, social emotions12–14, produce an abnor- mally ‘utilitarian’ pattern of (...) judgements on moral dilemmas that pit compelling considerations of aggregate welfare against highly emotionally aversive behaviours (for example, having to sacrifice one person’s life to save a number of other lives)7,8. In contrast, the VMPC patients’ judgements were normal in other classes of moral dilemmas. These findings indicate that, for a selective set of moral dilemmas, the VMPC is critical for normal judgements of right and wrong. The findings support a necessary role for emotion in the generation of those judgements. (shrink)

Counselling y cuidados paliativos es el título del libro que conjuntamente decidieron escribir la doctora Esperanza Santos y el profesor José Carlos Bermejo. En esta obra de fácil lectura y con consejos muy prácticos y útiles, se presentan elementos fundamentales para brindar un acompañamiento de óptima calidad en el cuidado paliativo, así como la posibilidad de hacer un autoexamen de cómo los cuidadores de los pacientes vienen prestando sus servicios e incluso para no caer en burnout. Este libro es (...) de gran utilidad, tanto para los profesionales de la salud que trabajan en las unidades de cuidados paliativos, como para personas que dedican gran parte de su tiempo al cuidado de familiares con enfermedades terminales o que pasan por procesos prolongados de enfermedad. Con ejemplos de conversaciones de la vida real entre cuidadores y pacientes, la lectura del libro se hace, a la vez, agradable, divertida y profundamente reflexiva. Para citar esta reseña / To cite this review / Para citar esta resenha Rosas-Jiménez CA. Esperanza Santos y José Carlos Bermejo. Counselling y cuidados paliativos. Bilbao: Desclée de Brouwer-Centro de Humanización de la Salud, 2015, 164 pp. ISBN: 978-84-330-2786-3. Pers Bioet. 2019; 23: 137-139. DOI: https://doi.org/10.5294/pebi.2019.23.1.9. (shrink)

This paper extends earlier work by its authors on formal aspects of the processes of contracting a theory to eliminate a proposition and revising a theory to introduce a proposition. In the course of the earlier work, Gardenfors developed general postulates of a more or less equational nature for such processes, whilst Alchourron and Makinson studied the particular case of contraction functions that are maximal, in the sense of yielding a maximal subset of the theory (or alternatively, of one of (...) its axiomatic bases), that fails to imply the proposition being eliminated. In the present paper, the authors study a broader class, including contraction functions that may be less than maximal. Specifically, they investigate "partial meet contraction functions", which are defined to yield the intersection of some nonempty family of maximal subsets of the theory that fail to imply the proposition being eliminated. Basic properties of these functions are established: it is shown in particular that they satisfy the Gardenfors postulates, and moreover that they are sufficiently general to provide a representation theorem for those postulates. Some special classes of partial meet contraction functions, notably those that are "relational" and "transitively relational", are studied in detail, and their connections with certain "supplementary postulates" of Gardenfors investigated, with a further representation theorem established. (shrink)

Although dualism has the advantage of being intuitively plausible, it is not compatible with a 21st-century (scientific) world view. Jaak Panksepp and Antonio Damasio are contemporary writers who reject dualism, and whose views take the form of “biological naturalism”. I first discuss how their views compare in five specific respects; and then I look more closely at how the different emphases of the views affect their ability to account for the evolutionary advantages of consciousness, specifically. Both authors agree that “consciousness” (...) provides creatures with a survival advantage in terms of their ability to produce novel and/or flexible responses, their ability to plan ahead, and their motivation to promote their own survival – but the exact means by which they think these advantages are conferred, in each of these respects, differ. One might say that, whereas Damasio thinks the main evolutionary advantages of “consciousness” (the “higher reaches” of which are unique to humans) have to do with enabling creatures to work out what to do to promote their well-being, Panksepp thinks the main advantage of “consciousness” is that being “conscious” of affective feelings urgently motivates creatures to take action when their well-being is threatened. Considering that “working out what do” is only possible for a small selection of cognitively sophisticated organisms, I argue that Panksepp’s account is more plausible than Damasio’s account. (shrink)

Some metaphysicians believe that metaphysical modality is explainable by the essences of objects. In §II, I spell out the definitional view of essence, and in §III, a working notion of metaphysical explanation. Then, in §IV, I consider and reject five natural ways to explain necessity by essence: in terms of the principle that essential properties can't change, in terms of the supposed obviousness of the necessity of essential truth, in terms of the logical necessity of definitions, in terms of Fine's (...) logic of essence, and in terms of the theory of real definitions. I will conclude that the present evidence favours rejecting the hypothesis that modality is explainable by essence. (shrink)

Se busca rastrear la imagen que Platón tiene de Heráclito y articularla con la estructura argumentativa del Cratilo, para comprender las necesidades textuales a las que responde la doctrina del flujo perpetuo, es decir, la discusión sobre la corrección (ὀρθότης) del nombre. Gracias a la inclusión del testimonio heraclíteo, resulta posible rastrear la presunta consolidación de la tesis sobre los nombres primarios y los secundarios como el eje de la separación entre dos planos de realidad (uno estable y uno móvil) (...) y de la teoría de las Ideas -es decir, como la base de la epistemología platónica presente en los diálogos de madurez-. The article seeks to trace the image Plato has of Heraclitus and connect it with the argumentative structure of the Cratylus in order to understand the textual needs that give rise to the doctrine of perpetual flux, that is, the discussion regarding the correctness (ὀρθότης) of names. The inclusion of Heraclitus's testimony makes it possible to trace the alleged consolidation of the thesis regarding primary and secondary names as the axis of separation between two levels of reality (one stable, the other, changing) and the theory of Ideas -that is, as the basis of Plato's epistemology as set forth in the late dialogues-. (shrink)