Recently, two apparently quite different duality-based approaches to automata minimisation have appeared. One is based on ideas that originated from the controllability-observability duality from systems theory, and the other is based on ideas derived from Stone-type dualities specifically linking coalgebras with algebraic structures derived from modal logics. In the present paper, we develop a more abstract view and unify the two approaches. We show that dualities, or more generally dual adjunctions, between categories can be lifted to dual adjunctions between categories (...) of coalgebras and algebras, and from there to automata with initial as well as final states. As in the Stone-duality approach, algebras are essentially logics for reasoning about the automata. By exploiting the ability to pass between these categories, we show that one can minimize the corresponding automata. We give an abstract minimisation algorithm that has several instances, including the celebrated Brzozowski minimisation algorithm. We further develop three examples that have been treated in previous works: deterministic Kripke frames based on a Stone-type duality, weighted automata based on the self-duality of semimodules, and topological automata based on Gelfand duality. As a new example, we develop alternating automata based on the discrete duality between sets and complete atomic Boolean algebras. (shrink)

Wines with geographical indication can be classified and represented by such features as designations of origin, producers, vintage years, alcoholic strength, and grape varieties; these features allow us to define wines in terms of a set of necessary and/or sufficient conditions. However, wines can also be identified by other characteristics, involving their look, smell, and taste; in this case, it is hard to define wines in terms of necessary and/or sufficient conditions, as wine concepts exhibit typicality effects. This is a (...) setback for the design of computer science ontologies aiming to represent wine concepts, since knowledge representation formalisms commonly adopted in this field do not allow for the representation of concepts in terms of typical traits. To solve this problem, we propose to adopt a hybrid approach in which ontology-oriented formalisms are combined with a geometric representation of knowledge based on conceptual spaces. As in conceptual spaces, concepts are identified in terms of a number of quality dimensions. In order to determine those relevant for wine representation, we use the terminology developed by the Italian Association of Sommeliers to describe wines. This will allow us to understand typicality effects about wines, determine prototypes and better exemplars, and measure the degree of similarity between different wines. (shrink)

We investigate the semantics of the logical systems obtained by introducing the modalities and into the family of substructural implication logics (including relevant, linear and intuitionistic implication). Then, in the spirit of the LDS (Labelled Deductive Systems) methodology, we "import" this semantics into the classical proof system KE. This leads to the formulation of a uniform labelled refutation system for the new logics which is a natural extension of a system for substructural implication developed by the first two authors in (...) a previous paper. (shrink)

The ``Many Sides of Logic'' is a volume containing a selection of the papers delivered at three simultaneous events held between 11-17 May 2008 in Paraty, RJ, Brazil, continuing a tradition of three decades of Brazilian and Latin-American meetings and celebrating the 30th anniversary of an institution congenital with the mature interest for logic, epistemology and history of sciences in Brazil: CLE 30 - 30th Anniversary of the Centre for Logic, Epistemology and the History of Science at the State University (...) of Campinas (UNICAMP) XV EBL -15th Brazilian Logic Conference XIV SLALM - 14th Latin-American Symposium on Mathematical Logic Several renowned logicians, philosophers and mathematicians gathered in colonial Paraty, a historic village on the Brazilian coast founded in the 17th Century and surrounded by the luscious Atlantic rain forest to deliver lectures and talks celebrating the many sides of logic: the philosophical, the mathematical, the computational, the historical, and the multiple facets therein. The topics of the joint conferences, well represented here, included philosophical and mathematical Logic and applications with emphasis on model theory and proof theory, set theory, non-classical logics and applications, history and philosophy of logic, philosophy of the formal sciences and issues on the foundations of mathematics. The events have been preceded by a Logic School planned for students and young researchers held at the UNICAMP campus in Campinas, SP. (shrink)

In this paper, we discuss the conceptual structure of cocktail recipes. This topic involves engaging questions for philosophers and food theorists due to some peculiar characteristics of cocktail recipes, such as the fact that they are standardised by international associations but, nonetheless, vagueness in some elements of the recipes introduces a degree of variability between cocktails of the same type. Our proposal is that a classical theory of concepts is unable to account for such peculiar features. Thus, only a hybrid (...) theoretical approach, combining definitional and prototypical aspects, can capture how cocktail recipes are usually conceptualised among bartenders and mixologists: while the spirit is usually a necessary (though not sufficient) condition for establishing whether an individual cocktail falls under a specific cocktail concept, all the other ingredients and procedures listed in recipes may vary to a certain extent. In order to assess whether variability in prototypical elements of cocktail recipes has any limitations, we exploit the notion of conceptual scheme applied to cocktail recipes and argue that, as long as the quality dimensions of a specific cocktail are respected, its identity remains unchanged regardless of changes in the ingredients or in its preparation. (shrink)

This commentary focuses on the parts of psychological game theory dealing with preference, as illustrated by team reasoning, and supports the conclusion that these theoretical notions do not contribute above and beyond existing theory in understanding social interaction. In particular, psychology and games are already bridged by a comprehensive, formal, and inherently psychological theory, interdependence theory (Kelley & Thibaut 1978; Kelley et al. 2003), which has been demonstrated to account for a wide variety of social interaction phenomena.

Recent years have been blessed with an abundance of logical systems, arising from a multitude of applications. A logic can be characterised in many different ways. Traditionally, a logic is presented via the following three components: 1. an intuitive non-formal motivation, perhaps tie it in to some application area 2. a semantical interpretation 3. a proof theoretical formulation. There are several types of proof theoretical methodologies, Hilbert style, Gentzen style, goal directed style, labelled deductive system style, and so on. The (...) tableau methodology, invented in the 1950s by Beth and Hintikka and later per fected by Smullyan and Fitting, is today one of the most popular, since it appears to bring together the proof-theoretical and the semantical approaches to the pre of a logical system and is also very intuitive. In many universities it is sentation the style first taught to students. Recently interest in tableaux has become more widespread and a community crystallised around the subject. An annual tableaux conference is being held and proceedings are published. The present volume is a Handbook a/Tableaux pre senting to the community a wide coverage of tableaux systems for a variety of logics. It is written by active members of the community and brings the reader up to frontline research. It will be of interest to any formal logician from any area. (shrink)

The mental representation of one’s own body does not necessarily correspond to the physical body. For instance, a dissociation between perceived and actual reach-ability has been shown, that is, individuals perceive that they can reach objects that are out of grasp. We presented participants with 3D pictures of objects located at four different distances, namely near-reaching space, actual-reaching space, perceived-reaching space and non-reaching space. Immediately after they were presented with function, manipulation, observation or pointing verbs and were required to judge (...) if the verb was compatible with the object.Participants were faster with function and manipulation verbs than with observation and pointing verbs. Strikingly, with both function and manipulation verbs participants were faster when objects were presented in actual than the perceived reaching space. These findings suggest that our knowledge of the world is implicitly built online through behaviour, and is not necessarily reflected in explicit estimates or conscious representations. (shrink)

Which systems/organisms are conscious? New tests for consciousness (‘C-tests’) are urgently needed. There is persisting uncertainty about when consciousness arises in human development, when it is lost due to neurological disorders and brain injury, and how it is distributed in nonhuman species. This need is amplified by recent and rapid developments in artificial intelligence (AI), neural organoids, and xenobot technology. Although a number of C-tests have been proposed in recent years, most are of limited use, and currently we have no (...) C-tests for many of the populations for which they are most critical. Here, we identify challenges facing any attempt to develop C-tests, propose a multidimensional classification of such tests, and identify strategies that might be used to validate them. (shrink)

The book is quite convincing as far as it argues more autonomy from Mill and a more pro-working-class picture than the received image of Ricardo allows for. A severe pitfall is having ignored the relevance of Unitarianism as a matrix of political radicalism. A related defect is not having exploited less obvious sources than those included in Sraffa’s edition.

A review of Ch.M.A. Clark, Economic Theory and Natural Philosophy. The Search for the Natural Laws of the Economy. The key point of my critical appraisal is lack of univocal definition of nature, natural law and natural philosophy.

A discussion of a collection of essays by French scholars on Adam Smith, mainly but not exclusively, on his political theory.

A review of a collection of essays one meta-philosophy by fifteen philosophers, including Rorty, Castañeda and Putnam. It is a stimulating collection, useful reading for those who want to go beyond the caricatures of today's philosophy in America, for those interested in the discussion on the origins of the split between continental philosophy and Anglo-American philosophy and for the philosopher who does not disdain a moment of "self-consciousness". The editors, both teaching at Tel-Aviv University, have proved able to manage this (...) small transoceanic enterprise with originality; it is a symptom, like those represented by many other books of Israeli philosophers published in recent years in German and much more in English, of the vitality and openness to the outside world of this small philosophical community. (shrink)

Estudio bibliográfico y crítico de / A bibliographical and critical study of: Marcello Montanari, Vico e la politica dei Moderni, prefazione di Biagio De Giovanni, Palomar, Bari, 1995, pp. 266.

The book_ Fate, Time, and Language: An Essay on Free Will_, published in 2010 by Columbia University Press, presented David Foster Wallace's challenge to Richard Taylor's argument for fatalism. In this anthology, notable philosophers engage directly with that work and assess Wallace's reply to Taylor as well as other aspects of Wallace's thought. With an introduction by Steven M. Cahn and Maureen Eckert, this collection includes essays by William Hasker, Gila Sher, Marcello Oreste Fiocco, Daniel R. Kelly, Nathan Ballantyne, (...) Justin Tosi, and Maureen Eckert. These thinkers explore Wallace's philosophical and literary work, illustrating remarkable ways in which his philosophical views influenced and were influenced by themes developed in his other writings, both fictional and nonfictional. Together with _Fate, Time, and Language_, this critical set unlocks key components of Wallace's work and its traces in modern literature and thought. (shrink)

The genetic code appeared on Earth with the first cells. The codes of cultural evolution arrived almost four billion years later. These are the only codes that are recognized by modern biology. In this book, however, Marcello Barbieri explains that there are many more organic codes in nature, and their appearance not only took place throughout the history of life but marked the major steps of that history. A code establishes a correspondence between two independent 'worlds', and the codemaker (...) is a third party between those 'worlds'. Therefore the cell can be thought of as a trinity of genotype, phenotype and ribotype. The ancestral ribotypes were the agents which gave rise to the first cells. The book goes on to explain how organic codes and organic memories can be used to shed new light on the problems encountered in cell signalling, epigenesis, embryonic development, and the evolution of language. (shrink)

This study described the relationships between academic class and student moral sensitivity and reasoning and between curriculum design components for ethics education and student moral sensitivity and reasoning. The data were collected from freshman (n = 506) and senior students (n = 440) in eight baccalaureate nursing programs in South Korea by survey; the survey consisted of the Korean Moral Sensitivity Questionnaire and the Korean Defining Issues Test. The results showed that moral sensitivity scores in patient-oriented care and conflict were (...) higher in senior students than in freshman students. Furthermore, more hours of ethics content were associated with higher principled thinking scores of senior students. Nursing education in South Korea may have an impact on developing student moral sensitivity. Planned ethics content in nursing curricula is necessary to improve moral sensitivity and moral reasoning of students. (shrink)

Rapid advancements in human neuroscience and neurotechnology open unprecedented possibilities for accessing, collecting, sharing and manipulating information from the human brain. Such applications raise important challenges to human rights principles that need to be addressed to prevent unintended consequences. This paper assesses the implications of emerging neurotechnology applications in the context of the human rights framework and suggests that existing human rights may not be sufficient to respond to these emerging issues. After analysing the relationship between neuroscience and human rights, (...) we identify four new rights that may become of great relevance in the coming decades: the right to cognitive liberty, the right to mental privacy, the right to mental integrity, and the right to psychological continuity. (shrink)

When subjects view stimulation of a rubber hand while feeling congruent stimulation of their own hand, they may come to feel that the rubber hand is part of their own body. This illusion of body ownership is termed ‘Rubber Hand Illusion’ . We investigated sensitivity of RHI to spatial mismatches between visual and somatic experience. We compared the effects of spatial mismatch between the stimulation of the two hands, and equivalent mismatches between the postures of the two hands. We created (...) the mismatch either by adjusting stimulation or posture of the subject’s hand, or, in a separate group of subjects, by adjusting stimulation or posture of the rubber hand. The matching processes underlying body ownership were asymmetrical. The illusion survived small changes in the subject’s hand posture, but disappeared when the same posture transformations were applied to the rubber hand. Mismatch between the stimulation delivered to the subject’s hand and the rubber hand abolished the illusion. The combination of these two situations is of particular interest. When the subject’s hand posture was slightly different from the rubber hand posture, the RHI remained as long as stimulation of the two hands was congruent in a hand-centred spatial reference frame, even though the altered posture of the subject’s hand meant that stimulation was incongruent in external space. Conversely, the RHI was reduced when the stimulation was incongruent in hand-centred space but congruent in external space. We conclude that the visual–tactile correlation that causes the RHI is computed within a hand-centred frame of reference, which is updated with changes in body posture. Current sensory evidence about what is ‘me’ is interpreted with respect to a prior mental body representation. (shrink)

The increasing availability of brain data within and outside the biomedical field, combined with the application of artificial intelligence (AI) to brain data analysis, poses a challenge for ethics and governance. We identify distinctive ethical implications of brain data acquisition and processing, and outline a multi-level governance framework. This framework is aimed at maximizing the benefits of facilitated brain data collection and further processing for science and medicine whilst minimizing risks and preventing harmful use. The framework consists of four primary (...) areas of regulatory intervention: binding regulation, ethics and soft law, responsible innovation, and human rights. (shrink)

The use of Intelligent Assistive Technology in dementia care opens the prospects of reducing the global burden of dementia and enabling novel opportunities to improve the lives of dementia patients. However, with current adoption rates being reportedly low, the potential of IATs might remain under-expressed as long as the reasons for suboptimal adoption remain unaddressed. Among these, ethical and social considerations are critical. This article reviews the spectrum of IATs for dementia and investigates the prevalence of ethical considerations in the (...) design of current IATs. Our screening shows that a significant portion of current IATs is designed in the absence of explicit ethical considerations. These results suggest that the lack of ethical consideration might be a codeterminant of current structural limitations in the translation of IATs from designing labs to bedside. Based on these data, we call for a coordinated effort to proactively incorporate ethical considerations early in the design and development of new products. (shrink)

Brain–computer interfacing technologies are used as assistive technologies for patients as well as healthy subjects to control devices solely by brain activity. Yet the risks associated with the misuse of these technologies remain largely unexplored. Recent findings have shown that BCIs are potentially vulnerable to cybercriminality. This opens the prospect of “neurocrime”: extending the range of computer-crime to neural devices. This paper explores a type of neurocrime that we call brain-hacking as it aims at the illicit access to and manipulation (...) of neural information and computation. As neural computation underlies cognition, behavior and our self-determination as persons, a careful analysis of the emerging risks of malicious brain-hacking is paramount, and ethical safeguards against these risks should be considered early in design and regulation. This contribution is aimed at raising awareness of the emerging risk of malicious brain-hacking and takes a first step in developing an ethical and legal reflection on those risks. (shrink)

The genetic code appeared on Earth at the origin of life, and the codes of culture arrived almost four billion years later. For a long time it has been assumed that these are the only codes that exist in Nature, and if that were true we would have to conclude that codes are extraordinary exceptions that appeared only at the beginning and at the end of the history of life. In reality, various other organic codes have been discovered in the (...) past few decades and it is likely that more will come to light in the future. The existence of many organic codes in Nature is therefore an experimental fact, but also more than that. It is one of those facts that have extraordinary implications. In this book it is shown that the genetic code was a precondition for the origin of the first cells, the signal transduction codes divided the first cells into three primary kingdoms (Archaea, Bacteria and Eukarya), the splicing codes were instrumental to the origin of the eukaryotic nucleus, the histone code provided a new regulation system in eukaryotic genomes, and the cytoskeleton codes allowed the Eukarya to perform internal movements, including those of mitosis and meiosis. It is shown, furthermore, that organic codes had a key role in multicellular life, in particular in the origin of animals, the origin of mind and the origin of language. The great events of macroevolution, in other words, were associated with the appearance of new organic codes, and we can easily understand why. The reason is that a new code brings into existence something that has never existed before because it creates arbitrary associations, relationships that are not determined by physical necessity. Another outstanding implication is the fact that codes involve meaning and we need therefore to introduce in biology, with the standard methods of science, not only the concept of biological information but also that of biological meaning. The research on biological codes, in conclusion, is bringing to light new mechanisms in evolution and new fundamental concepts in science. This research is the field of Code Biology, the study of all codes of life, from the genetic code to the codes of culture, from the origin of life to the origin of man. (shrink)

Thomas Sebeok and Noam Chomsky are the acknowledged founding fathers of two research fields which are known respectively as Biosemiotics and Biolinguistics and which have been developed in parallel during the past 50 years. Both fields claim that language has biological roots and must be studied as a natural phenomenon, thus bringing to an end the old divide between nature and culture. In addition to this common goal, there are many other important similarities between them. Their definitions of language, for (...) example, have much in common, despite the use of different terminologies. They both regard language as a faculty, or a modelling system, that appeared rapidly in the history of life and probably evolved as an exaptation from previous animal systems. Both accept that the fundamental characteristic of language is recursion, the ability to generate an unlimited number of structures from a finite set of elements (the property of ‘discrete infinity’). Both accept that human beings are born with a predisposition to acquire language in a few years and without apparent efforts (the innate component of language). In addition to similarities, however, there are also substantial differences between the two fields, and it is an historical fact that Sebeok and Chomsky made no attempt at resolving them. Biosemiotics and Biolinguistics have become two separate disciplines, and yet in the case of language they are studying the same phenomenon, so it should be possible to bring them together. Here it is shown that this is indeed the case. A convergence of the two fields does require a few basic readjustments in each of them, but leads to a unified framework that keeps the best of both disciplines and is in agreement with the experimental evidence. What is particularly important is that such a framework suggests immediately a new approach to the origin of language. More precisely, it suggests that the brain wiring processes that take place in all phases of human ontogenesis (embryonic, foetal, infant and child development) are based on organic codes, and it is the step-by-step appearance of these brain-wiring codes, in a condition that is referred to as cerebra bifida, that holds the key to the origin of language. (shrink)

The existence of different types of semiosis has been recognized, so far, in two ways. It has been pointed out that different semiotic features exist in different taxa and this has led to the distinction between zoosemiosis, phytosemiosis, mycosemiosis, bacterial semiosis and the like. Another type of diversity is due to the existence of different types of signs and has led to the distinction between iconic, indexical and symbolic semiosis. In all these cases, however, semiosis has been defined by the (...) Peirce model, i.e., by the idea that the basic structure is a triad of ‘sign, object and interpretant’, and that interpretation is an essential component of semiosis. This model is undoubtedly applicable to animals, since it was precisely the discovery that animals are capable of interpretation that allowed Thomas Sebeok to conclude that they are also capable of semiosis. Unfortunately, however, it is not clear how far the Peirce model can be extended beyond the animal kingdom, and we already know that we cannot apply it to the cell. The rules of the genetic code have been virtually the same in all living systems and in all environments ever since the origin of life, which clearly shows that they do not depend on interpretation. Luckily, it has been pointed out that semiosis is not necessarily based on interpretation and can be defined exclusively in terms of coding. According to the ‘code model’, a semiotic system is made of signs, meanings and coding rules, all produced by the same codemaker, and in this form it is immediately applicable to the cell. The code model, furthermore, allows us to recognize the existence of many organic codes in living systems, and to divide them into two main types that here are referred to as manufacturing semiosis and signalling semiosis. The genetic code and the splicing codes, for example, take part in processes that actually manufacture biological objects, whereas signal transduction codes and compartment codes organize existing objects into functioning supramolecular structures. The organic codes of single cells appeared in the first three billion years of the history of life and were involved either in manufacturing semiosis or in signalling semiosis. With the origin of animals, however, a third type of semiosis came into being, a type that can be referred to as interpretive semiosis because it became closely involved with interpretation. We realize in this way that the contribution of semiosis to life was far greater than that predicted by the Peirce model, where semiosis is always a means of interpreting the world. Life is essentially about three things: (1) it is about manufacturing objects, (2) it is about organizing objects into functioning systems, and (3) it is about interpreting the world. The idea that these are all semiotic processes, tells us that life depends on semiosis much more deeply and extensively than we thought. We realize in this way that there are three distinct types of semiosis in Nature, and that they gave very different contributions to the origin and the evolution of life. (shrink)

Biosemiotics is the synthesis of biology and semiotics, and its main purpose is to show that semiosis is a fundamental component of life, i.e., that signs and meaning exist in all living systems. This idea started circulating in the 1960s and was proposed independently from enquires taking place at both ends of the Scala Naturae. At the molecular end it was expressed by Howard Pattee’s analysis of the genetic code, whereas at the human end it took the form of Thomas (...) Sebeok’s investigation into the biological roots of culture. Other proposals appeared in the years that followed and gave origin to different theoretical frameworks, or different schools, of biosemiotics. They are: (1) the physical biosemiotics of Howard Pattee and its extension in Darwinian biosemiotics by Howard Pattee and by Terrence Deacon, (2) the zoosemiotics proposed by Thomas Sebeok and its extension in sign biosemiotics developed by Thomas Sebeok and by Jesper Hoffmeyer, (3) the code biosemiotics of Marcello Barbieri and (4) the hermeneutic biosemiotics of Anton Markoš. The differences that exist between the schools are a consequence of their different models of semiosis, but that is only the tip of the iceberg. In reality they go much deeper and concern the very nature of the new discipline. Is biosemiotics only a new way of looking at the known facts of biology or does it predict new facts? Does biosemiotics consist of testable hypotheses? Does it add anything to the history of life and to our understanding of evolution? These are the major issues of the young discipline, and the purpose of the present paper is to illustrate them by describing the origin and the historical development of its main schools. (shrink)

Modern biology has not yet come to terms with the presence of many organic codes in Nature, despite the fact that we can prove their existence. As a result, it has not yet accepted the idea that the great events of macroevolution were associated with the origin of new organic codes, despite the fact that this is the most parsimonious and logical explanation of those events. This is probably due to the fact that the existence of organic codes in all (...) fundamental processes of life, and in all major transitions in the history of life, has enormous theoretical implications. It requires nothing less than a new theoretical framework, and that kind of change is inevitably slow. There are too many facts to reconsider, too many bits of history to weave together in a new mosaic. But this is what science is about, and the purpose of the present paper is to show that it can be done. More precisely, it is shown that the whole natural history of the brain can be revisited in the light of the organic codes. What is described here is only a bird’s-eye view of brain macroevolution, but it is hoped that the extraordinary potential of the organic codes can nevertheless come through. The paper contains also another message. The organic codes prove that life is based on semiosis, and are in fact the components of organic semiosis, the first and the most diffused form of semiosis on Earth, but not the only one. It will be shown that the evolution of the brain was accompanied by the development of two new types of sign processes. More precisely, it gave origin first to interpretive semiosis, mostly in vertebrates, and then to cultural semiosis, in our species. (shrink)

Systems Biology and the Modern Synthesis are recent versions of two classical biological paradigms that are known as structuralism and functionalism, or internalism and externalism. According to functionalism (or externalism), living matter is a fundamentally passive entity that owes its organization to external forces (functions that shape organs) or to an external organizing agent (natural selection). Structuralism (or internalism), is the view that living matter is an intrinsically active entity that is capable of organizing itself from within, with purely internal (...) processes that are based on mathematical principles and physical laws. At the molecular level, the basic mechanism of the Modern Synthesis is molecular copying, the process that leads in the short run to heredity and in the long run to natural selection. The basic mechanism of Systems Biology, instead, is self-assembly, the process by which many supramolecular structures are formed by the spontaneous aggregation of their components. In addition to molecular copying and self-assembly, however, molecular biology has uncovered also a third great mechanism at the heart of life. The existence of the genetic code and of many other organic codes in Nature tells us that molecular coding is a biological reality and we need therefore a framework that accounts for it. This framework is Code biology, the study of the codes of life, a new field of research that brings to light an entirely new dimension of the living world and gives us a completely new understanding of the origin and the evolution of life. (shrink)