One of the central methodological issues for contemporary practitioners of comparative ethics is how to conceptualize and relate to the "other" encountered in cross-cultural studies. A valuable resource for reflection on this problem is the work of the French historian and cultural theorist Michel de Certeau, whose diverse opus coheres around his notion of heterology--a "science of the other." In this article I explore perspectives on the cultural "other" emerging from Certeau's analyses of a series of "travel narratives" documenting the (...) European encounter with the peoples of the New World. Certeau's meditations on the metaphor of the voyage, the interplay of orality and literacy, the politics of ethnography, and the semiotics of the "return of the repressed" offer, I suggest, important insights for comparative ethicists. (shrink)

It is shown that information and meaning can be defined by operative procedures, and that we need to recognize them as new types of natural entities. They are not quantities (neither fundamental nor derived) because they cannot be measured, and they are not qualities because they are not subjective features. Here it is proposed to call them nominable entities, i.e., entities which can be specified only by naming their components in their natural order.

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)

Artefacts do not always do what they are supposed to, due to a variety of reasons, including manufacturing problems, poor maintenance, and normal wear-and-tear. Since software is an artefact, it should be subject to malfunctioning in the same sense in which other artefacts can malfunction. Yet, whether software is on a par with other artefacts when it comes to malfunctioning crucially depends on the abstraction used in the analysis. We distinguish between “negative” and “positive” notions of malfunction. A negative malfunction, (...) or dysfunction, occurs when an artefact token either does not or cannot do what it is supposed to. A positive malfunction, or misfunction, occurs when an artefact token may do what is supposed to but, at least occasionally, it also yields some unintended and undesirable effects. We argue that software, understood as type, may misfunction in some limited sense, but cannot dysfunction. Accordingly, one should distinguish software from other technical artefacts, in view of their design that makes dysfunction impossible for the former, while possible for the latter. (shrink)

The moving spotlight account (MS) is a view that combines an eternalist ontology and an A-theoretic metaphysics. The intuition underlying MS is that the present time is somehow privileged and experientially vivid, as if it were illuminated by a moving spotlight. According to MS-theorists, a key reason to prefer MS to B-theoretic eternalism is that our experience of time supports it. We argue that this is false. To this end, we formulate a new family of positions in the philosophy of (...) time, which differ from MS in that, intuitively, they admit a plurality of moving spotlights. We argue that these ‘deviant’ variants of MS cannot be dismissed as conceptually incoherent, and that they are as well-supported by our experience as is MS. One of these variants, however, is consistent with the B-theory. Thus, if our experience of time supports MS, then it supports the B-theory as well. (shrink)

Computing, today more than ever before, is a multi-faceted discipline which collates several methodologies, areas of interest, and approaches: mathematics, engineering, programming, and applications. Given its enormous impact on everyday life, it is essential that its debated origins are understood, and that its different foundations are explained. On the Foundations of Computing offers a comprehensive and critical overview of the birth and evolution of computing, and it presents some of the most important technical results and philosophical problems of the discipline, (...) combining both historical and systematic analyses. -/- The debates this text surveys are among the latest and most urgent ones: the crisis of foundations in mathematics and the birth of the decision problem, the nature of algorithms, the debates on computational artefacts and malfunctioning, and the analysis of computational experiments. By covering these topics, On the Foundations of Computing provides a much-needed resource to contextualize these foundational issues. -/- For practitioners, researchers, and students alike, a historical and philosophical approach such as what this volume offers becomes essential to understand the past of the discipline and to figure out the challenges of its future. (shrink)

Open futurism is the indeterministic position according to which the future is ‘open’, i.e., there is now no fact of the matter as to what future contingent events will actually obtain. Many open futurists hold a branching conception of time, in which a variety of possible futures exist. This paper introduces two challenges to branching-time open futurism, which are similar in spirit to a challenge posed by Fine to tense realism. The paper argues that, to address the new challenges, open (...) futurists must adopt an objective, non-perspectival notion of actuality and subscribe to an A-theoretic, dynamic conception of reality. Moreover, given a natural understanding of “actual future”, it is perfectly sensible for open futurists to hold that a unique, objectively actual future exists, contrary to a common assumption in the current debate. The paper also contends that recognising the existence of a unique actual future helps open futurists to avoid potential misconceptions. (shrink)

This paper explores taste fragmentalism, a novel approach to matters of taste and faultless disagreement. The view is inspired by Kit Fine’s fragmentalism about time, according to which the temporal dimension can be constituted—in an absolute manner—by states that are pairwise incompatible, provided that they do not obtain together. In the present paper, we will apply this metaphysical framework to taste states. In our proposal, two incompatible taste states (such as the state of rhubarb’s being tasty and the state of (...) rhubarb’s being distasteful) can both constitute reality in an absolute manner, although no agent can have joint access to both states. We will then develop a formalised version of our view by means of an exact truthmaker semantics for taste assertions. Within this framework—we argue—our linguistic and inferential practices concerning cases of faultless disagreement are elegantly vindicated, thus suggesting that taste fragmentalism is worth of further consideration. (shrink)

CHAPTER Structure and function In physical systems made by a large number of basic constituents one can observe collective properties which find their ...

This study investigates the possible effects of pre-term births and low birth weight on infant mortality rates (IMRs) over a 15-year period in Ribeirão Preto, Brazil, based on surveys carried out in 1978/79 and 1994. The 1978/79 survey included 6750 births over a 12-month period and the 1994 survey 2846 births over a 4-month period. Infant deaths were retrieved monthly from the city register. Infant mortality rate decreased from 36·6 to 16·9 deaths per 1000 over 15 years. The decrease in (...) IMR was larger in the 25000·63); it increased to 0·57 (95% CI 0·350·97) when adjusted for length of gestation and other variables. The increase in pre-term births and low birth weight may have had, at most, a marginal effect on the IMR. Progress in the care of newborns may have decreased the mortality risk, but even mild pre-term birth still has an impact on infant mortality. There is room for further improvement in IMR by tackling the high rates of pre-term birth. (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)

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)

We provide a full characterization of computational error states for information systems. The class of errors considered is general enough to include human rational processes, logical reasoning, scientific progress and data processing in some functional programming languages. The aim is to reach a full taxonomy of error states by analysing the recovery and processing of data. We conclude by presenting machine-readable checking and resolve algorithms.

The constructive reformulation of the semantic theory suggests two basic principles to be assumed: first, the distinction between proper knowledge, expressed in judgemental form, and the assertion conditions for such knowledge; second, ...

Any attempt to conceptualize, categorize and constraint foundational issues in a living science, such as Computing, is bound to show its limitations and leave a number of open issues. Taking stock with some critical reviews of Primiero (On the foundations of computing, Oxford University Press, Oxford, 2019) published in this Journal, I overview potential new problems to be investigated by a foundational analysis of the science of computing.

The process of completing, correcting and prioritising specifications is an essential but very complex task for the maintenance and improvement of software systems. The preservation of functionalities and the ability to accommodate changes are main objectives of the software development cycle to guarantee system reliability. Logical theories able to fully model such processes are still insufficient. In this paper we propose a full formalisation of such operations on software systems inspired by the Alchourrón–Gärdenfors–Makinson paradigm for belief revision of human epistemic (...) states. We represent specifications as finite sets of formulas equipped with a priority relation that models functional entrenchment of properties. We propose to handle specification incompleteness through ordered expansion, inconsistency through ordered safe contraction and prioritisation through revision with reordering, and model all three in an algorithmic fashion. We show how the system satisfies basic properties of the AGM paradigm, including Levi’s and Harper’s identities. We offer a concrete example and complexity results for the inference and model checking problems on revision. We conclude by describing resilience and evolvability of software systems based on such revision operators. (shrink)

Malware has been around since the 1980s and is a large and expensive security concern today, constantly growing over the past years. As our social, professional and financial lives become more digitalised, they present larger and more profitable targets for malware. The problem of classifying and preventing malware is therefore urgent, and it is complicated by the existence of several specific approaches. In this paper, we use an existing malware taxonomy to formulate a general, language independent functional description of malware (...) as transformers between states of the host system and described by a trust relation with its components. This description is then further generalised in terms of mechanisms, thereby contributing to a general understanding of malware. The aim is to use the latter in order to present an improved classification method for malware. (shrink)

Letter: Universal Declaration of Human Rights by the World's Religions Commenting on “Leaping into the Boundless: A Daoist Reading of Comparative Religious Ethics” by Francisca Cho, “Moral Reason, Risk, and Comparative Inquiry” by Robin W. Lovin, “Heuristic Power as the Test of Theory” by Ronald M. Green, and “The Author Replies” by Francisca Cho.

Accidents involving autonomous vehicles raise difficult ethical dilemmas and legal issues. It has been argued that self-driving cars should be programmed to kill, that is, they should be equipped with pre-programmed approaches to the choice of what lives to sacrifice when losses are inevitable. Here we shall explore a different approach, namely, giving the user/passenger the task of deciding what ethical approach should be taken by AVs in unavoidable accident scenarios. We thus assume that AVs are equipped with what we (...) call an “Ethical Knob”, a device enabling passengers to ethically customise their AVs, namely, to choose between different settings corresponding to different moral approaches or principles. Accordingly, AVs would be entrusted with implementing users’ ethical choices, while manufacturers/programmers would be tasked with enabling the user’s choice and ensuring implementation by the AV. (shrink)

So-called Locke's thesis is the view that no two things of the same kind may coincide, that is, may be completely in the same place at the same time. A number of counter-examples to this view have been proposed. In this paper, some new and arguably more convincing counter-examples to Locke's thesis are presented. In these counter-examples, a particular entity (a string, a rope, a net, or similar) is interwoven to obtain what appears to be a distinct, thicker entity of (...) the same kind. It is argued that anyone who subscribes to certain standard metaphysical arguments, which are generally taken for granted in the debate about Locke's thesis, is virtually compelled to accept the counter-examples. (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)

The recent in vitro derivation of gamete‐like cells from mouse embryonic stem (mES) cells is a major breakthrough and lays down several challenges, both for the further scientific investigation and for the bioethical and biolegal discourse. We refer here to these cells as gamete‐like (sperm‐like or oocyte‐like, respectively), because at present there is still no evidence that these cells behave fully like bona fide sperm or oocytes, lacking the fundamental proof, i.e. combination with a normally derived gamete of the opposite (...) sex to yield a normal individual. However, the results published so far do show that these cells share some defining features of gametes. We discuss these results in the light of the bioethical and legal questions that are likely to arise would the same process become possible with human embryonic stem (hES) cells. (shrink)

There is wide support in logic, philosophy, and psychology for the hypothesis that the probability of the indicative conditional of natural language, P(if A then B), is the conditional probability of B given A, P(B|A). We identify a conditional which is such that P(if A then B)=P(B|A) with de Finetti's conditional event, B|A. An objection to making this identification in the past was that it appeared unclear how to form compounds and iterations of conditional events. In this paper, we illustrate (...) how to overcome this objection with a probabilistic analysis, based on coherence, of these compounds and iterations. We interpret the compounds and iterations as conditional random quantities which, given some logical dependencies, may reduce to conditional events. We show how the inference to B|A from A and B can be extended to compounds and iterations of both conditional events and biconditional events. Moreover, we determine the respective uncertainty propagation rules. Finally, we make some comments on extending our analysis to counterfactuals. (shrink)

Patients suffering from schizophrenia have an impaired meta-representation also known as Theory of Mind . Moreover, the presence of delusions or other positive symptoms of schizophrenia has been correlated to poor ToM performances. Lack of insight is a common symptom of schizophrenia and can be considered a critical manifestation of impaired ToM abilities. In particular, the present study addresses the role of perspective ToM ability in schizophrenic patients. Thirty severely delusional schizophrenic patients completely lack insight when interviewed about their delusions. (...) Seven subsequently gain insight about their mental state when perspective is shifted from the first person to third person. These data suggest that in some delusional schizophrenic patients, it may be possible to gain access to and modify their mental states. (shrink)