Synaesthesia is a condition in which one type of stimulation evokes the sensation of another, as when the hearing of a sound produces photisms, i.e. mental percepts of colours. R is a 20 year old colour blind subject who, in addition to the relatively common grapheme-colour synaesthesia, presents a rarely reported cross modal perception in which a variety of visual stimuli elicit aura-like percepts of colour. In R, photisms seem to be closely related to the affective valence of stimuli and (...) typically bring out a consistent pattern of emotional responses. The present case study suggests that colours might be an intrinsic category of the human brain. We developed an empirical methodology that allowed us to study the subject's otherwise inaccessible phenomenological experience. First, we found that R shows a Stroop effect elicited by photisms despite the fact that he does not show a regular Stroop with real colours. Secondly, by manipulating the colour context we confirmed that colours can alter R's emotional evaluation of the stimuli. Furthermore, we demonstrated that R's auras may actually lead to a partially inverted emotional spectrum where certain stimuli bring out emotional reactions opposite to the normal ones. These findings can only be accounted for by considering R's subjective colour experience or qualia. Therefore the present paper defends the view that qualia are a useful scientific concept that can be approached and studied by experimental methods. (shrink)

Synaesthesia is a condition in which one type of stimulation evokes the sensation of another, as when the hearing of a sound produces photisms, i.e. mental percepts of colours. R is a 20 year old colour blind subject who, in addition to the relatively common grapheme-colour synaesthesia, presents a rarely reported cross modal perception in which a variety of visual stimuli elicit aura-like percepts of colour. In R, photisms seem to be closely related to the affective valence of stimuli and (...) typically bring out a consistent pattern of emotional responses. The present case study suggests that colours might be an intrinsic category of the human brain. We developed an empirical methodology that allowed us to study the subject's otherwise inaccessible phenomenological experience. First, we found that R shows a Stroop effect (delayed response due to interference) elicited by photisms despite the fact that he does not show a regular Stroop with real colours. Secondly, by manipulating the colour context we confirmed that colours can alter R's emotional evaluation of the stimuli. Furthermore, we demonstrated that R's auras may actually lead to a partially inverted emotional spectrum where certain stimuli bring out emotional reactions opposite to the normal ones. These findings can only be accounted for by considering R's subjective colour experience or qualia. Therefore the present paper defends the view that qualia are a useful scientific concept that can be approached and studied by experimental methods. (shrink)

Synaesthesia is a condition in which one type of stimulation evokes the sensation of another, as when the hearing of a sound produces photisms, i.e. mental percepts of colours. R is a 20 year old colour blind subject who, in addition to the relatively common grapheme-colour synaesthesia, presents a rarely reported cross modal perception in which a variety of visual stimuli elicit aura-like percepts of colour. In R, photisms seem to be closely related to the affective valence of stimuli and (...) typically bring out a consistent pattern of emotional responses. The present case study suggests that colours might be an intrinsic category of the human brain. We developed an empirical methodology that allowed us to study the subject's otherwise inaccessible phenomenological experience. First, we found that R shows a Stroop effect elicited by photisms despite the fact that he does not show a regular Stroop with real colours. Secondly, by manipulating the colour context we confirmed that colours can alter R's emotional evaluation of the stimuli. Furthermore, we demonstrated that R's auras may actually lead to a partially inverted emotional spectrum where certain stimuli bring out emotional reactions opposite to the normal ones. These findings can only be accounted for by considering R's subjective colour experience or qualia. Therefore the present paper defends the view that qualia are a useful scientific concept that can be approached and studied by experimental methods. (shrink)

The amount of information that is produced on a daily basis in the financial markets is vast and complex; consequently, the development of systems that simplify decision-making is an essential endeavor. In this article, several intelligent systems are proposed and tested to predict the closing price of the IBEX 35 index using more than ten years of historical data and five distinct architectures for neural networks. A multi-layer perceptron was the first step, followed by a simple recurrent neural network, a (...) gated recurrent unit network and two long-short-term memory (LSTM) networks. The results of the analyses performed on these models have demonstrated a powerful capacity for prediction. Additionally, the findings of this research point to the fact that the application of intelligent systems can simplify the decision-making process in financial markets, which is a substantial advantage. Furthermore, by comparing the predicted outcome errors between the models, the LSTM presents the lowest error with a higher computational time in the training phase. The LSTM was able to accurately forecast the closing price of the day as well as the price for the following one and two days in advance. In conclusion, the empirical results demonstrated that these models could accurately predict financial data for trading purposes and that the application of intelligent systems, such as the LSTM network, represents a promising advancement in financial technology. (shrink)

We present a proof of the equivalence between two deductive systems for constructive necessity, namely an axiomatic characterisation inspired by Hakli and Negri's system of derivations from assumptions for modal logic , a Hilbert-style formalism designed to ensure the validity of the deduction theorem, and the judgmental reconstruction given by Pfenning and Davies by means of a natural deduction approach that makes a distinction between valid and true formulae, constructively. Both systems and the proof of their equivalence are formally verified (...) using the state-of-the-art proof assistant Coq. The proof approach taken throughout the paper unveils the use of some alternative proof methods that allow for a smooth transition from the high-level mathematical proofs to their mechanised counterparts. (shrink)

The "people of knowledge" of traditional Mazatec medicine have preserved until today the ritual use of psilocybin mushrooms as part of their health care systems. The renewed interest in the effect of psilocybin on human consciousness for both therapeutic and recreational purposes usually obviates the historical and cultural background of indigenous peoples, as well as the legitimation of their practices and knowledge. In this article, through the case study of a foreign person who attended a Mazatec ritual specialist to participate (...) in a ritual night ceremony known as velada, we show the importance of approaching research on psychoactive plants and mushrooms from a transdisciplinary and intercultural perspective, so that we can appreciate the profound complexity of the healing processes that take place in traditional indigenous contexts, as well as the limits of recreational uses or exclusively neopositivist and clinical approaches. (shrink)

Entre los años 2015 y 2016 se produjo un aumento en las movilidades extraregionales a través de Centroamérica. La presencia de migrantes provenientes de varios países de África, produjo desafíos institucionales para su abordaje, así como la elaboración de discursos sociales estructurados en categorías raciales. Un concepto fundamental para entender dicha coyuntura es el cuerpo migrante, en su implicación ontológica y su carácter de trashumancia sobre las narrativas del poder representado por los Estados-nación y vinculado con el funcionamiento de regímenes (...) corporales, histórica y socialmente situados. Esta reflexión recupera la construcción racializada del cuerpo migrante en los dispositivos institucionales y en los discursos sociales vinculados con la coyuntura de las transmigraciones africanas producidas en Costa Rica en los últimos años. (shrink)

Abstract. Following the tracks of Ryle and based upon the theory of complex systems, we shall develop a characterization of action-based consciousness as an embodied, embedded, selforganized process in which action and dispositions occupy a special place. From this perspective, consciousness is not a unique prerogative of humans, but it is spread all around, throughout the evolution of life. We argue that artificial systems such as robots currently lack the genuine embodied embeddedness that allows the type of self-organization that is (...) relevant to consciousness. -/- Sommario. Seguendo la linea tracciata da Ryle e basata sulla teorie dei sistemi complessi, svilupperemo una caratterizzazione della coscienza basata sull’azione come un processo incarnato, situato e auto organizzante nel quale le azioni e le disposizioni occupano un ruolo decisivo. Da questo punto di vista, la coscienza non è una prerogativa esclusiva degli esseri umani, ma è diffusa nel mondo naturale grazie ai processi evolutivi. Noi sosteniamo che i sistemi artificiali come i robot attualmente sono carenti del tipo di relazione con la corporeità e con l’ambiente che consente quel tipo di auto-organizzazione indispensabile per l’emergenza della coscienza. (shrink)

In this work, we introduce families of multimodal maps based on logistic map, i.e., families of m-modal maps are defined on an interval I ⊂ ℝ, which is partitioned into non-uniform subdomains, with m ∈ ℕ. Because the subdomains of the partition are not uniform, each subdomain contains a unimodal map, given by the logistic map, that can have different heights. Therefore, we give the necessary and sufficient conditions for these modal maps present a multimodal family of m-modal maps, i.e., (...) a bifurcation parameter can set a unimodal map, a bimodal map, up to a m -modal map. Some numerical examples are given according to the developed theory. Some numerical examples are given in accordance with the developed theory. (shrink)

Introduction Currently, The nature and scope of Clinical Ethics Protocols in Madrid are not well understood.Objectives The main objective is to describe the features of ‘guideline/recommendation’ type CEPs that have been or are being developed by existing Clinical Ethics Committees in Madrid. Secondary objectives include characterisation of those CECs that have been the most prolific in reference to CEP creation and implementation and identification of any trends in future CEP development.Methods We collected CEPs produced and in process by CECs accredited (...) in the public hospitals in Madrid, Spain, from 1996 to 2008.Results CECs developed 30 CEPs, with 10 more in process. The most common topic is refusal of treatment . If CEPs addressing terminal illness, Do-Not-Resuscitate orders and advance directives are placed into a separate ‘ethical problems at the end of life’ category, this CEP subject emerges as the most common . There is a relationship between the age of the CEC and the development of CEPs . CECs now seem to be more likely to engage in CEP development.Conclusions The CECs in Madrid, Spain, have developed a significant number of CEPs and there is a trend towards continued development. The most frequent topics are ethical problems at the end of life and refusal of treatment by the patient. (shrink)

This book is a rich blend of analyses by leading experts from various cultures and disciplines. A compact introduction to a complex field, it illustrates biotechnology's profound impact upon the environment and society. Moreover, it underscores the vital relevance of cultural values. This book empowers readers to more critically assess biotechnology's value and effectiveness within both specific cultural and global contexts.

The contributions in this volume map out how technologies are used and designed to plan, maintain, govern, demolish, and destroy the city. The chapters demonstrate how urban technologies shape, and are shaped, by fundamental concepts and principles such as citizenship, publicness, democracy, and nature. The many authors herein explore how to think of technologically mediated urban space as part of the human condition. The volume will thus contribute to the much-needed discussion on technology-enabled urban futures from the perspective of the (...) philosophy of technology. This perspective also contributes to the discussion and process of making cities ‘smart’ and just. This collection appeals to students, researchers, and professionals within the fields of philosophy of technology, urban planning, and engineering. (shrink)

Equational reasoning arises in many areas of mathematics and computer science. It is a cornerstone of algebraic reasoning and results essential in tasks of specification and verification in functional programming, where a program is mainly a set of equations. The usual manipulation of identities while conducting informal proofs obviates many intermediate steps that are neccesary while developing them using a formal system, such as the equationally complete Birkhoff calculus ${\mathcal{B}}$. This deductive system does not fit in the common manner of (...) doing mathematical proofs, and it is not compatible with the mechanisms of proof assistants. The aim of this work is to provide a deductive system ${\mathcal{B}}^{\textrm{GOAL}}$ for equality, equivalent to ${\mathcal{B}}$ but suitable for constructing equational proofs in a backward fashion. This feature makes it adequate for interactive proof-search in the approach of proof assistants. This will be achieved by turning ${\mathcal{B}}^{\textrm{GOAL}}$ into a transition system of formal tactics in the style of Edinburgh LCF, such transformation allows us to give a direct formal definition of backward proof in equational logic. (shrink)

This book examines influential conceptions of sport and then analyses the interplay of challenging borderline cases with the standard definitions of sport. It is meant to inspire more thought and debate on just what sport is, how it relates to other activities and human endeavors, and what we can learn about ourselves by studying sport.

Patient outcome after serious brain injury is highly variable. Following a period of coma, some patients recover while others progress into a vegetative state (unresponsive wakefulness syndrome) or minimally conscious state. In both cases, assessment is difficult and misdiagnosis may be as high as 43%. Recent advances in neuroimaging suggest a solution. Both functional magnetic resonance imaging and electroencephalography have been used to detect residual cognitive function in vegetative and minimally conscious patients. Neuroimaging may improve diagnosis and prognostication. These techniques (...) are beginning to be applied to comatose patients soon after injury. Evidence of preserved cognitive function may predict recovery, and this information would help families and health providers. Complex ethical issues arise due to the vulnerability of patients and families, difficulties interpreting negative results, restriction of communication to “yes” or “no” answers, and cost. We seek to investigate ethical issues in the use of neuroimaging in behaviorally nonresponsive patients who have suffered serious brain injury. The objectives of this research are to: (1) create an approach to capacity assessment using neuroimaging; (2) develop an ethics of welfare framework to guide considerations of quality of life; (3) explore the impact of neuroimaging on families; and, (4) analyze the ethics of the use of neuroimaging in comatose patients. (shrink)

The complex hexaploid wheat genome offers many challenges for genomics research. Expressed sequence tags facilitate the analysis of gene-coding regions and provide a rich source of molecular markers for mapping and comparison with model organisms. The objectives of this study were to construct a high-density EST chromosome bin map of wheat homoeologous group 2 chromosomes to determine the distribution of ESTs, construct a consensus map of group 2 ESTs, investigate synteny, examine patterns of duplication, and assess the colinearity with rice (...) of ESTs assigned to the group 2 consensus bin map. A total of 2600 loci generated from 1110 ESTs were mapped to group 2 chromosomes by Southern hybridization onto wheat aneuploid chromosome and deletion stocks. A consensus map was constructed of 552 ESTs mapping to more than one group 2 chromosome. Regions of high gene density in distal bins and low gene density in proximal bins were found. Two interstitial gene-rich islands flanked by relatively gene-poor regions on both the short and long arms and having good synteny with rice were discovered. The map locations of two ESTs indicated the possible presence of a small pericentric inversion on chromosome 2B. Wheat chromosome group 2 was shown to share syntenous blocks with rice chromosomes 4 and 7. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Scrivere nell'anima: verità, dialettica e persuasione in Platone; and: Oralità e scrittura in PlatoneFrancisco J. GonzalezFranco Trabattoni. Scrivere nell'anima: verità, dialettica e persuasione in Platone. Firenze: La Nouva Italia Editrice, 1994. Pp. 396. Paper, 24000 Lire.Franco Trabattoni. Oralità e scrittura in Platone. Milano: Università Degli Studi di Milano, 1999. Pp. 125. Paper, 16000 Lire.Trabattoni's masterful 1994 book, which the shorter 1999 book supplements in important ways, offers nothing (...) less than a refreshingly new and provocative interpretation of Plato's philosophy as a whole that makes it neither "conclusive-dogmatic" nor "problematic-sceptical" (7, 41-47, 161, 361-3). For Plato, on Trabattoni's account, while objective truth exists, any logos is incapable of fully expressing it and therefore refutable (158). On the other hand, dialectic can arrive at a logos sufficient (hikanos) for persuading a particular interlocutor in the context of a particular discussion (119-120), and thus for ethical and political action (330). Truth is therefore to be found onlyin dialogue (75-6, 338): that is, only where one person persuades another (249, 252, 328-9; 1999, 75). Persuasion and homologia are thus a necessary, though not sufficient condition of truth: only when capable of responding repeatedly to a wide variety of questions and objections does a persuasion deserve to be called "true" (158-9, 252, 329). This view rejects both the sophistical identification of truth with persuasion as such and the dogmatic identification of truth with universal doctrines.Because persuasion and homologia are thus essential to it, philosophy cannot be an objective science but must always be at its core a form of rhetoric (239, and thus protreptic and ad hominem, 165-6, 355, 359), which is what Trabattoni takes the Phaedrus to show (48-99). In 1999 Trabattoni brilliantly demonstrated the unity of the Phaedrus by showing how both the discussion of eros and the critique of writing are closely linked to this conception of philosophy as rhetoric (54-93). Philosophy is not, however, the kind of rhetoric that, focused on words rather than truth, fails to persuade in a way that is stable and enduring (87; 1999, 75-6).In the course of defending his "dialectical-dialogical" interpretation, Trabattoni provides an extraordinarily thorough and insightful critique of another interpretation that claims to offer a new Plato and that has become very influential in Trabattoni's native Italy: the "esotericist" interpretation, according to which fundamental questions left open by the dialogues are answered by a doctrine of principles which Plato communicated only orally. Trabattoni's 1999 book provides a very helpful account of the history and motives of the debate surrounding Plato's unwritten teachings, with regard to both their content and their significance (1-42). I see the following points of Trabattoni's critique as seriously challenging and, if unanswered, even discrediting the esotericist position: [End Page 269]1) While the esotericists interpret the critique of writing in the Phaedrus as arguing for the superiority of oral discourse as such, Trabattoni interprets it as arguing instead for the superiority of the dialogical situation in which interlocutors can be chosen and their questions and objections addressed (19-26; 1999, 83). Fixed oral doctrines would be no more dialogical than written doctrines and thus no more capable of engendering knowledge "in the soul" (63), much less of constituting this knowledge (25). What would be superior to Plato's writings, according to the Phaedrus, is a dialogue with Plato, not what Plato said orally, lifted out of its dialogical context and reported in writing by Aristotle (115; 1999, 84-5, 124). Trabattoni interprets the Seventh Letter, in his complementary accounts of 1994 and 1999, as similarly contradicting, rather than confirming, the esotericist interpretation (210-11; 1999, 116-9).2) Thomas Szlezàk has interpreted those passages where the main interlocutor deliberately leaves something out of the discussion ("Aussparungstellen") as referring to unwritten doctrines. Trabattoni argues that they are instead meant to indicate to the unknown reader, whose possible objections and questions cannot be anticipated, the possibility of proceeding further in the discussion (112-3, 182; 1999, 124). "[W]hen the dialogues are silent, they are silent always where there no... (shrink)

Some properties and an algorithm for solving systems of multivariate polynomial equations over finite fields are presented. It is then shown how formulas of propositional logics can be translated into polynomials over finite fields in such a way that several logic problems are expressed in terms of algebraic problems. Consequently, algebraic properties and algorithms can be used to solve the algebraically-represented logic problems. The methods described herein combine and generalise those of various previous works.