Aspects of human symbolic evolution are studied by scholars active in a variety of fields and disciplines in the life and the behavioral sciences as well as the scientific-philosophical, sociological, anthropological, and linguistic sciences. These fields and disciplines all take on an evolutionary approach to the study of human symbolism, but scholars disagree in their theoretical and methodological attitudes. Theoretically, symbolism is defined differentially as knowledge, behavior, cognition, culture, language, or social group living. Methodologically, the diverse symbolic evolution sciences establish (...) their teachings upon diverging evolutionary biological schools and paradigms. This chapter reviews past and current research fields in human symbolic evolution for how they differentially implement tenets of the major evolution schools that were discussed in the previous chapter. Traditional evolutionary epistemology and biosemiotics bring in a mesoevolutionary outlook by drawing on early Darwinism and evolutionary developmental biology movements that emphasize the role of the organism in evolution. Communication studies instead originally take on a microevolutionary perspective by investigating how units of information are transmitted across generations through time. Only later do they integrate studies on meaning-making at the organismal level. Sociobiology complements a microevolutionary with a macroevolutionary outlook by implementing population genetic approaches, typical of the Modern Synthesis, into studies on individual and group behavior. The new symbolic evolutionary sciences build upon these traditions and include disciplines such as evolutionary psychology, evolutionary linguistics, evolutionary anthropology, evolutionary archaeology, evolutionary sociology, and evolutionary economics. Originally centered on implementing Darwinian selection theory, these fields are now including ecological and evolutionary developmental biology as well as reticulate evolutionary paradigms. As diverse in outlook and scope as they are, no discipline holds a privileged position over the other and all have made valuable contributions to our understanding of human symbolic evolution. (shrink)

A Symbol doesn't explain, says Jung. In fact it is beyond the dichotomy of the binary logic, that wants the limiting and restrictive diktat of the tertium non datur to be perpetuated so as to be obliged to choose between two possibilities being anyway on the same nomological axis.

Much research supports the existence of an Approximate Number System (ANS) that is recruited by infants, children, adults, and non-human animals to generate coarse, non-symbolic representations of number. This system supports simple arithmetic operations such as addition, subtraction, and ordering of amounts. The current study tests whether an intuition of a more complex calculation, division, exists in an indigene group in the Amazon, the Mundurucu, whose language includes no words for large numbers. Mundurucu children were presented with a video event (...) depicting a division transformation of halving, in which pairs of objects turned into single objects, reducing the array's numerical magnitude. Then they were tested on their ability to calculate the outcome of this division transformation with other large-number arrays. The Mundurucu children effected this transformation even when non-numerical variables were controlled, performed above chance levels on the very first set of test trials, and exhibited performance similar to urban children who had access to precise number words and a surrounding symbolic culture. We conclude that a halving calculation is part of the suite of intuitive operations supported by the ANS. (shrink)

Modern semiotics is a branch of logics that formally defines symbol-based communication. In recent years, the semiotic classification of signs has been invoked to support the notion that symbols are uniquely human. Here we show that alarm-calls such as those used by African vervet monkeys (Cercopithecus aethiops), logically satisfy the semiotic definition of symbol. We also show that the acquisition of vocal symbols in vervet monkeys can be successfully simulated by a computer program based on minimal semiotic and (...) neurobiological constraints. The simulations indicate that learning depends on the tutor-predator ratio, and that apprentice-generated auditory mistakes in vocal symbol interpretation have little effect on the learning rates of apprentices (up to 80% of mistakes are tolerated). In contrast, just 10% of apprentice-generated visual mistakes in predator identification will prevent any vocal symbol to be correctly associated with a predator call in a stable manner. Tutor unreliability was also deleterious to vocal symbol learning: a mere 5% of “lying” tutors were able to completely disrupt symbol learning, invariably leading to the acquisition of incorrect associations by apprentices. Our investigation corroborates the existence of vocal symbols in a non-human species, and indicates that symbolic competence emerges spontaneously from classical associative learning mechanisms when the conditioned stimuli are self-generated, arbitrary and socially efficacious. We propose that more exclusive properties of human language, such as syntax, may derive from the evolution of higher-order domains for neural association, more removed from both the sensory input and the motor output, able to support the gradual complexification of grammatical categories into syntax. (shrink)

Meanings are present everywhere in our environment and within ourselves. But these meanings do not exist by themselves. They are associated to information and have to be created, to be generated by agents. The Meaning Generator System (MGS) has been developed on a system approach to model meaning generation in agents following an evolutionary perspective. The agents can be natural or artificial. The MGS generates meaningful information (a meaning) when it receives information that has a connection with an internal (...) constraint to which the agent is submitted. The generated meaning is to be used by the agent to implement actions aimed at satisfying the constraint. We propose here to highlight some characteristics of the MGS that could be related to items of philosophy of information. (shrink)

Brains, unlike artificial neural nets, use symbols to summarise and reason about perceptual input. But unlike symbolic AI, they “ground” the symbols in the data: the symbols have meaning in terms of data, not just meaning imposed by the outside user. If neural nets could be made to grow their own symbols in the way that brains do, there would be a good prospect of combining neural networks and symbolic AI, in such a way as to combine the good features (...) of each. The article argues the cluster analysis provides algorithms to perform the task, and that any solution to the task must be a form of cluster analysis. (shrink)

The Turing Test (TT), the Chinese Room Argument (CRA), and the Symbol Grounding Problem (SGP) are about the question “can machines think?” We propose to look at these approaches to Artificial Intelligence (AI) by showing that they all address the possibility for Artificial Agents (AAs) to generate meaningful information (meanings) as we humans do. The initial question about thinking machines is then reformulated into “can AAs generate meanings like humans do?” We correspondingly present the TT, the CRA and the (...) SGP as being about generation of human-like meanings. We model and address such possibility by using the Meaning Generator System (MGS) where a system submitted to an internal constraint generates a meaning in order to satisfy the constraint. The system approach of the MGS allows comparing meaning generations in animals, humans and AAs. The comparison shows that in order to have AAs capable of generating human-like meanings, we need the AAs to carry human constraints. And transferring human constraints to AAs raises concerns coming from the unknown natures of life and human mind which are at the root of human constraints. Implications for the TT, the CRA and the SGP are highlighted. It is shown that designing AAs capable of thinking like humans needs an understanding about the natures of life and human mind that we do not have today. Following an evolutionary approach, we propose as a first entry point an investigation about the possibility for extending a “stay alive” constraint into AAs. Ethical concerns are raised from the relations between human constraints and human values. Continuations are proposed. (This paper is an extended version of the proceedings of an AISB/IACAP 2012 presentation). (shrink)

The Meaning of Things explores the meanings of household possessions for three generation families in the Chicago area, and the place of materialism in American culture. Now regarded as a keystone in material culture studies, Halton's first book is based on his dissertation and coauthored with Mihaly Csikszentmihalyi. First published by Cambridge University Press in 1981, it has been translated into German, Italian, Japanese, and Hungarian. The Meaning of Things is a study of the significance of material possessions in (...) contemporary urban life, and of the ways people carve meaning out of their domestic environment. Drawing on a survey of eighty families in Chicago who were interviewed on the subject of their feelings about common household objects, Mihaly Csikszentmihalyi and Eugene Rochberg-Halton provide a unique perspective on materialism, American culture, and the self. They begin by reviewing what social scientists and philosophers have said about the transactions between people and things. In the model of 'personhood' that the authors develop, goal-directed action and the cultivation of meaning through signs assume central importance. They then relate theoretical issues to the results of their survey. An important finding is the distinction between objects valued for action and those valued for contemplation. The authors compare families who have warm emotional attachments to their homes with those in which a common set of positive meanings is lacking, and interpret the different patterns of involvement. They then trace the cultivation of meaning in case studies of four families. Finally, the authors address what they describe as the current crisis of environmental and material exploitation, and suggest that human capacities for the creation and redirection of meaning offer the only hope for survival. A wide range of scholars - urban and family sociologists, clinical, developmental and environmental psychologists, cultural anthropologists and philosophers, and many general readers - will find this book stimulating and compelling. Translations: Il significato degli oggetti. Italian translation. Rome: Edizione Kappa, 1986. Der Sinn der Dinge. German translation. Munich: Psychologie Verlags Union, 1989. Japanese translation 2007. Targyaink tukreben. Hungarian translation, 2011. (shrink)

In this position paper, we argue that careless reliance on AI to answer our questions and to judge our output is a violation of Grice’s Maxim of Quality as well as a violation of Lemoine’s legal Maxim of Innocence, performing an (unwarranted) authority fallacy, and while lacking assessment signals, committing Type II errors that result from fallacies of the inverse. What is missing in the focus on output and results of AI-generated and AI-evaluated content is, apart from paying proper tribute, (...) the demand to follow a person’s thought process (or a machine’s decision processes). In deliberately avoiding Neural Networks that cannot explain how they come to their conclusions, we introduce logic-symbolic inference to handle any possible epistemics any human or artificial information processor may have. Our system can deal with various belief systems and shows how decisions may differ for what is true, false, realistic, unrealistic, literal, or anomalous. As is, stota AI such as ChatGPT is a sorcerer’s apprentice. (shrink)

Computer assisted theorem proving is an increasingly important part of mathematical methodology, as well as a long-standing topic in artificial intelligence (AI) research. However, the current generation of theorem proving software have limited functioning in terms of providing new proofs. Importantly, they are not able to discriminate interesting theorems and proofs from trivial ones. In order for computers to develop further in theorem proving, there would need to be a radical change in how the software functions. Recently, machine learning (...) results in solving mathematical tasks have shown early promise that deep artificial neural networks could learn symbolic mathematical processing. In this paper, I analyze the theoretical prospects of such neural networks in proving mathematical theorems. In particular, I focus on the question how such AI systems could be incorporated in practice to theorem proving and what consequences that could have. In the most optimistic scenario, this includes the possibility of autonomous automated theorem provers (AATP). Here I discuss whether such AI systems could, or should, become accepted as active agents in mathematical communities. (shrink)

Susanne Langer was a student at Radcliffe College between 1916 and 1926---a highly transitional period in the history of American philosophy. Intellectual generalists such as William James, John Dewey, and Josiah Royce had dominated philosophical debates at the turn of the century but the academic landscape gradually started to shift in the years after World War I. Many scholars of the new generation adopted a more piecemeal approach to philosophy---solving clearly delineated, technical puzzles using the so-called “method of logical (...) analysis”. Especially at Harvard, the intellectual climate rapidly changed. The department hired several philosophers who had contributed to the development of symbolic logic---H. M. Sheffer, C. I. Lewis, and A. N. Whitehead---and Harvard quickly began to be viewed as a central hub for analytic philosophy in the United States. This chapter contextualizes Langer’s earliest work by reading it through the lens of this shifting academic environment. Though Harvard did not allow women to take its courses until 1943, Langer is one of the most significant fruits of this period. Her dissertation “A Logical Analysis of Meaning” and her first publications are all illustrations of the approach that came to dictate the American philosophical conversation. By exploring the increased focus on the logical-analytic method and Langer’s attempts to expand the new approach to what she later called “non-discursive” symbolisms, I situate her publications in the intellectual context of the 1920s. (shrink)

Note: This draft was updated on November 10, 2020. Discussing federal statutes, Justice Scalia tells us that “[t]he stark reality is that the only thing that one can say for sure was agreed to by both houses and the president (on signing the bill) is the text of the statute. The rest is legal fiction." How should we take this claim? If we take "text" to mean the printed text, that text without more is just a series of marks. If (...) instead we take "text" (as we must) to refer to something off the page such as the "meaning" of the series of marks at issue, what is that meaning and how do we know that all the legislators "agreed" on that "meaning"? In seeking answers here, we necessarily delve into semiotics (i.e., the “general theory of signs”) by noting that meaningful ink marks ("signifiers) signify a meaning beyond themselves (the "signified.") Thus, understanding how signs function is integral to lawyers' textual and linguistic analysis. Additionally, as this article demonstrates, legal analysis and rhetoric are much impoverished if lawyers ignore nonverbal signs such as icons, indices, and nonverbal symbols. In providing a broad overview of semiotics for lawyers, this article thus (1) begins with a general definition of signs and the related notion of intentionality. It then turns to, among other things, (2) the structure and concomitants of signs in more detail (including the signifier and the signified), (3) the possible correlations of the signifier and the signified that generate signs of interest to lawyers such as the index, the icon, and the symbol; (5) the expansion of legal rhetoric through use of the index, the icon, and the non-verbal as well as the verbal symbol, (6) the nature of various semiotic acts in public and private law (including assertives, commissives, directives, and verdictives); (7) the interpretation and construction of semiotic acts (including contracts as commissives and legislation as directives); (8) the role of speaker or reader meaning in the interpretation and construction of semiotic acts; (9) the semiotics of meaning, time, and the fixation of meaning debate; (10) the impact of signifier drift; (11) the distinction between sense and understanding; and (12) some brief reflections on semiotics and the First Amendment. This article also provides an Appendix of further terms and concepts useful to lawyers in their explorations of semiotics. (shrink)

Combining typical knowledge to generate novel concepts is an important creative trait of human cognition. Dealing with such ability requires, from an AI perspective, the harmonization of two conflicting requirements that are hardly accommodated in symbolic systems: the need of a syntactic compositionality (typical of logical systems) and that one concerning the exhibition of typicality effects (see Frixione and Lieto, 2012). In this work we provide a logical framework able to account for this type of human-like concept combination. We propose (...) a nonmonotonic Description Logic of typicality called TCL (Typicality-based Compositional Logic). (shrink)

In the heart of southeast Texas, an industrial powerhouse often referred to as the 'Golden Triangle', the oil refineries and petrochemical plants stand as stalwart testaments to the region's economic evolution. Interestingly, before the discovery of oil at Spindletop, the lumber and cattle industries powered this region's economy. A profound shift occurred when the Lucas Gusher, a fountain of oil spurting thousands of feet into the air, struck the lands of Spindletop Hill on January 10, 1901. This remarkable discovery of (...) the Spindletop oilfield on a slat dome formation south of Beaumont, Texas, marked the birth of the modern petroleum industry and fundamentally transformed the region's geopolitical, economic, and cultural landscapes. People from all over the country relocated to Gladys City and Beaumont in search of work and new opportunities, creating a boomtown as the town's population swelled from 10,000 to 50,000. The newfound urbanization brought by the oil industry transformed the town and the surrounding areas, creating a ripple effect across the region that would be felt for generations to come. The surge in oil-driven economic activity transmuted the region into a vibrant nexus of commerce, with the oil industry emerging as a critical architect of growth and advancement. This newfound affluence incited by the petroleum sector ushered in an era of economic diversification, laying the groundwork for industrialization’s further evolution. The Spindletop Oil Fields not only underscored the United States’ ascent as the foremost petroleum-producing nation but also signaled the nation’s initiation into the Petroleum Age. It was Spindletop that solidified its position as America’s first significant oil field, becoming an enduring symbol of its industrial might. By 1985, over 153,000,000 barrels of oil had been produced and extracted from the Spindletop oil fields, underscoring the magnitude of this extraordinary resource. (shrink)

Humans possess two nonverbal systems capable of representing numbers, both limited in their representational power: the first one represents numbers in an approximate fashion, and the second one conveys information about small numbers only. Conception of exact large numbers has therefore been thought to arise from the manipulation of exact numerical symbols. Here, we focus on two fundamental properties of the exact numbers as prerequisites to the concept of EXACT NUMBERS : the fact that all numbers can be generated by (...) a successor function and the fact that equality between numbers can be defined in an exact fashion. We discuss some recent findings assessing how speakers of Munduruc (an Amazonian language), and young Western children (3-4 years old) understand these fundamental properties of numbers. (shrink)

It is not mere coincidence that several of Plato’s dialogues are set in gymnasia and palaistrai (wrestling schools), employ the gymnastic language of stripping, wrestling, tripping, even helping opponents to their feet, and imitate in argumentative form the athletic contests (agōnes) commonly associated with that place. The main explanation for this is, of course, historical. Sophists, orators, and intellectuals of all stripes, including the historical Socrates, really did frequent Athens’ gymnasia and palaistrai in search of ready audiences and potential students. (...) Perhaps they were following the example of Pythagoras, who may have been a boxing coach (gymnastēs) and was, in any case, associated with the extraordinary Olympic success of athletes from his adopted Croton—success so great it generated the saying that the last of the Crotonites was the first among all other Greeks. After his visit to Western Greece, Plato famously established his school in or adjacent to the Academy gymnasium in Athens, and he may have held the public office of Gymnasiarch there. In this essay, I would like to argue that there are also symbolic reasons for Plato setting some of his dialogues in gymnasia. These dialogues function as virtual gymnasia in which readers are coached by the character of Socrates toward an innovative ideal of aretē (virtue, excellence). (shrink)

The evolution from pre-human primates to modern Homo sapiens is a complex one involving many domains, ranging from the material to the social to the cognitive, both at the individual and the community levels. This article focuses on a critical qualitative transition that took place during this evolution involving both the social and the cognitive domains. For the social domain, the transition is from the face-to-face forms of social interaction and organization that characterize the non-human primates that reached, with Pan, (...) a hiatus due to the centripetal effects that highly individualized behavior has on a social system. The transition is to the relation-based forms of social organization that evolved in the hominins ancestral to Homo sapiens and are universal in human societies today. For the cognitive domain, this transition involves going from behavior responding mainly to phenomenal level sensory inputs to behavior formed in accordance with the concept of a relation, initially abstracted from behavior patterns, then extending the concept of a relation beyond abstraction from behavior patterns to the concept of a relation generated recursively through constructing the relation of a relation. This extension made possible the construction of systems of relations; initially genealogical systems of relations constructed culturally using the logic of recursion, and subsequently, the symbolic, computational systems of kin term relations referred to by anthropologists as kinship terminologies. The latter are “constructed realities” in the sense this term is used by cultural anthropologists. It follows that the evolution of relation-based systems of social interaction is not adequately accounted for through population model evolutionary accounts such as the Dual Inheritance Theory of human evolution since “constructed realities” constitute collectively and publicly shared cultural knowledge rather than the individually and privately possessed knowledge that is assumed in the population model framework for human evolution. (shrink)

It is one thing for a given proposition to follow or to not follow from a given set of propositions and it is quite another thing for it to be shown either that the given proposition follows or that it does not follow.* Using a formal deduction to show that a conclusion follows and using a countermodel to show that a conclusion does not follow are both traditional practices recognized by Aristotle and used down through the history of logic. These (...) practices presuppose, respectively, a criterion of validity and a criterion of invalidity each of which has been extended and refined by modern logicians: deductions are studied in formal syntax (proof theory) and coun¬termodels are studied in formal semantics (model theory). The purpose of this paper is to compare these two criteria to the corresponding criteria employed in Boole’s first logical work, The Mathematical Analysis of Logic (1847). In particular, this paper presents a detailed study of the relevant metalogical passages and an analysis of Boole’s symbolic derivations. It is well known, of course, that Boole’s logical analysis of compound terms (involving ‘not’, ‘and’, ‘or’, ‘except’, etc.) contributed to the enlargement of the class of propositions and arguments formally treatable in logic. The present study shows, in addition, that Boole made significant contributions to the study of deduc¬tive reasoning. He identified the role of logical axioms (as opposed to inference rules) in formal deductions, he conceived of the idea of an axiomatic deductive sys¬tem (which yields logical truths by itself and which yields consequences when ap¬plied to arbitrary premises). Nevertheless, surprisingly, Boole’s attempt to imple¬ment his idea of an axiomatic deductive system involved striking omissions: Boole does not use his own formal deductions to establish validity. Boole does give symbolic derivations, several of which are vitiated by “Boole’s Solutions Fallacy”: the fallacy of supposing that a solution to an equation is necessarily a logical consequence of the equation. This fallacy seems to have led Boole to confuse equational calculi (i.e., methods for gen-erating solutions) with deduction procedures (i.e., methods for generating consequences). The methodological confusion is closely related to the fact, shown in detail below, that Boole had adopted an unsound criterion of validity. It is also shown that Boole totally ignored the countermodel criterion of invalid¬ity. Careful examination of the text does not reveal with certainty a test for invalidity which was adopted by Boole. However, we have isolated a test that he seems to use in this way and we show that this test is ineffectual in the sense that it does not serve to identify invalid arguments. We go beyond the simple goal stated above. Besides comparing Boole’s earliest criteria of validity and invalidity with those traditionally (and still generally) employed, this paper also investigates the framework and details of THE MATHEMATICAL ANALYSIS OF LOGIC. (shrink)

The paper is Part III of the large research, dedicated to both the revision of the system of basic logical categories and the generalization of modern predicate logic to functional logic. We determinate and contrapose modern Fregean logistics and proposed by the author ultra-Fregean logistics, next we describe values and arguments of functions, arguments of relations, relations themselves, sets (classes), and subsets (subclasses) as derivative categories (concepts) of ultrafregean logistics. Logistics is a part of metalogic, independent of semantics. Fregean logictics (...) is a metalogical theory, based on the quadruple <particular (individual), predicate, equality, sequence>; it generates predicate logic. Ultrafregean logictics is based on the quadruple <particular, function, representation, sequence>, where the notion of a function is a generalization of the notion of a predicate and the notion of representation is a generalization of the notion of equality; this logictics generates functional logic. For the completely correct denotation of the functional values, we need the Churchian symbolics with parenthesis. Predicates are usually identified with relations. A relation is the derived and even definable category of ultra-Fregean logictics. Namely, relations are representations by functions (of one of their arguments). We show that Frege could really establish this definition and the notion (category) of representation but, unfortunately, rejected this course of thought. Next, we show that every n-ary relation can be resolved for some of its arguments via some (n-1)-ary function. A set, or class, is a derived and not definable category of ultra-Fregean logistics. The universal way to introduce the sets is Frege’s abstraction principle. We formulate this principle for functional logic and show that the notion of a set is quantified, so there is the dual existential notion of a nonempty subset, involved by the same abstraction principle. (shrink)

This article explores the relationships between crime, collective responses to it, and the social production of so-called great criminals. It argues that crime, especially sexual and violent crime, produces significant imbalances in individuals habitually subject to instrumental actions, identitarian thinking and positive law. These imbalances are emotional as well as cognitive and, under certain conditions of communication, can generate states of multitude, that is, collective states linked to an intense affectivity and to the prevalence of mythic or symbolic thinking. These (...) states reach their limits and become condensed in the mytho-historical figure of the great criminal. In this sense, great criminals are a function of such multitudinous states: points of imputation that concentrate and catalyze the affective imagination unleashed by collective effervescence. (shrink)

The abstract basis of modern computation is the formal description of a finite state machine, the Universal Turing Machine, based on manipulation of integers and logic symbols. In this contribution to the discourse on the computer-brain analogy, we discuss the extent to which analog computing, as performed by the mammalian brain, is like and unlike the digital computing of Universal Turing Machines. We begin with ordinary reality being a permanent dialog between continuous and discontinuous worlds. So it is with computing, (...) which can be analog or digital, and is often mixed. The theory behind computers is essentially digital, but efficient simulations of phenomena can be performed by analog devices; indeed, any physical calculation requires implementation in the physical world and is therefore analog to some extent, despite being based on abstract logic and arithmetic. The mammalian brain, comprised of neuronal networks, functions as an analog device and has given rise to artificial neural networks that are implemented as digital algorithms but function as analog models would. Analog constructs compute with the implementation of a variety of feedback and feedforward loops. In contrast, digital algorithms allow the implementation of recursive processes that enable them to generate unparalleled emergent properties. We briefly illustrate how the cortical organization of neurons can integrate signals and make predictions analogically. While we conclude that brains are not digital computers, we speculate on the recent implementation of human writing in the brain as a possible digital path that slowly evolves the brain into a genuine (slow) Turing machine. (shrink)

Stable adaptive strategy of Homo sapiens (SASH) is a result of the integration in the three-module fractal adaptations based on three independent processes of generation, replication, and the implementation of adaptations — genetic, socio-cultural and symbolic ones. The evolutionary landscape SASH is a topos of several evolutionary multi-dimensional vectors: 1) extraversional projective-activity behavioral intention (adaptive inversion 1), 2) mimesis (socio-cultural inheritance), 3) social (Machiavellian) intelligence, 4) the extension of inter-individual communication beyond their own social groups and their own species (...) in the rest of the world, 5) the symbolic system of communication (symbolic inheritance), 6) spiritualistic trans- formation of emotionally-shaped components of mentality, 7) the dominance of the rationalist thought mentality (enhancer of adaptive inverse 1), 8) a recursive distribution of projective-activity intentions on the man himself his genome, psyche and culture (Adaptive Inversion 2), 9) introversional reorientation of the vector of cognitive activity (adaptive inversion 3). (shrink)

Stable adaptive strategy of Homo sapiens (SESH) is a superposition of three different adaptive data arrays: biological, socio-cultural and technological modules, based on three independent processes of generation and replication of an adaptive information – genetic, socio-cultural and symbolic transmissions (inheritance). Third component SESH focused equally to the adaptive transformation of the environment and carrier of SESH. With the advent of High Hume technology, risk has reached the existential significance level. The existential level of technical risk is, by definition, (...) an evolutionary risk as possible leads to the genesis of disappearance of humanity as a species. The emergence of bioethics has to consider as a form of modern (transdisciplinary) scientific concept and sociocultural adaptation for regulate human identity in the global-evolutionary transformation and performs the function of self-preservation. (shrink)

The origin and development of consciousness is poorly understood. Although it is clearly a naturalistic phenomenon evolved through Darwinian evolution, explaining it in terms of physicochemical, neural, or symbolic mechanisms remains elusive. Here I propose that two steps had to be taken in its evolution. First, living systems evolved an intrinsic goal-directedness by internalizing Darwinian fitness as a self-estimated fitness. The self-estimated fitness participates in a feedback loop that effectively produces intrinsic meaning in the organism. Second, animals with advanced nervous (...) systems evolved a special form of communication that modifies the way each partner estimates fitness. The resulting change in intrinsic meaning is experienced subjectively as a primary form of consciousness. This primary form is subsequently used to generate, partly through internalized dialogue, more complex forms of consciousness, such as consciousness of the natural and social worlds, consciousness of the self, and language-dependent forms of consciousness. An updated version of the theory in this paper can be found as Chapter 12 ('Consciousness') in my book 'The estimator theory of life and mind: how agency and consciousness can emerge', see VANTET-8 at philpapers . (shrink)

Biological evolution and technological innovation, while differing in many respects, also share common features. In particular, implementation of a new technology in the market is analogous to the spreading of a new genetic trait in a population. Technological innovation may occur either through the accumulation of quantitative changes, as in the development of the ocean clipper, or it may be initiated by a new combination of features or subsystems, as in the case of steamships. Other examples of the latter type (...) are electric networks that combine the generation, distribution, and use of electricity, and containerized transportation that combines standardized containers, logistics, and ships. Biological evolution proceeds, phenotypically, in many small steps, but at the genetic level novel features may arise not only through the accumulation of many small, common mutational changes, but also when distinct, relatively rare genetic changes are followed by many further mutations. In particular, capabilities of biologically modern man may have been initiated, perhaps some 150 000 years ago, by one or few accidental but distinct combinations of modules and subroutines of gene regulation which are involved in the generation of the neural network in the cerebral cortex. It is even conceivable that it was one primary genetic event that initiated the evolution of biologically modern man, introducing some novel but subtle feature of connectivity into the cerebral cortex which allowed for meta-levels of abstraction and upgraded modes of information processing. This may have set the stage for the evolution of integrated but diverse higher capabilities such as structured language, symbolic thought, strategic thought, and cognition based empathy. (shrink)

Abstract A Note to Cogito Les Jones Blackburn College Previous submissions include -Intention, interpretation and literary theory, a first lookWittgenstein and St Augustine A DiscussionAreas of Interest – History of Western Philosophy, Miscellaneous Philosophy, European A Note on Cogito Descartes' brilliance in driving out doubt, and proving the existence of himself as a thinking entity, is well documented. Sartre's critique (or maybe extension) is both apposite and grounded and takes these enquiries on to another level. Let's take a look. 'I (...) think' somehow, for all its power, lacks something. What? Consider what one does when thinking (difficult, but we can try). Implicit in the word 'think', in fact the very essence of the word 'think', is that activity is going on, and if such activity is going on then it must be going on about something, an object, an emotion, a problem,or maybe some dreamlike state, but common to all these is that something is going on. Is that really so? Well, if that wasn't so we would be able to think in a pure state, wouldn't we? But what does a pure state of 'thinking' mean? It can't mean that there isnothing there, because if there were nothing there then no thinking would be taking place. Can it mean that we are thinking of nothing? Well no, because if we are thinking of nothing then we are thinking of something, we are contemplating the notion, or the nature, of nothing. In fact, one can argue that if we talk of something, inthis case nothing or nothingness, then in our head we have some notion of what that is, i.e. something exists in the mind for it to come out of our mouths. Thinking is a recognition of something outside the individual, for the very act of direction, which isan indispensable part of thinking, recognises, must recognise, that there are things to address outside the individual. Something else to bear in mind. According to Sartre human beings are condemned to freedom. Why condemned? Human beings did not choose to be born, but the act ofbeing born also imparts the freedom of which Sartre speaks. Freedom is something which we parrot off as being a sine qua non for the human condition. I believe that's true, but freedom in this sense isn't without its consequences for the individual humanbeing, for individual human beings handle freedom differently. To some it enables them to fly, to others it imparts immense pressures, anguish, heartbreak, unhappiness can all be associated with such freedom. Each individual is responsible for his destiny, for his direction. If someone says that God impelled him, that individual chose his or her God, and chose to obey his or her God. This believer has to sift through the multitude of things that his or her God desire of him or her. All this is fine, so long as we acknowledge what is going on here. Belief in God is, by definition, a belief. Belief, following Wittgenstein, is a language game with its rules and its boundaries. The essential feature of religion as language game are its boundaries, which can be summed up in the word belief. OK, belief has its practises which are its constituent parts, but belief is the boundary between religion and other language games, as the proof constituents are different. Our world is determined by the language used to describe everything that goes on within it. The boundaries of our world are set by the language we use. This might be better put as language gives access to ever expending boundaries. Ever expanding boundaries are only possible by ever expanding thought, and ever expanding thought is only possible by ever expanding directions to our thought brought about through language. It is a fact taken that to be conscious is to think. How could this be otherwise? Consciousness without thought just does not make sense. Imagine a state of consciousness without directional thought. What would it be like? It would be something never experienced, completely out of our understanding. Why? Because understanding itself is a directional thought process. If we say we are going outside our understanding then that is a world of void, and a world of void does not exist. Can such a world be contemplated in our thinking? Well, yes, but then it requires thinking, and thinking requires direction, and such direction requires language. Why does direction require language? Because there is no other way for human beings to articulate a directional thought. Could one point at an image without language? Well, one could have an image in mind, but the essence of saying something about it, of descriptive power, brings us back to the essence, to the power of language to direct. So what of this language of which we speak? Wittgenstein's private language argument points us towards the notion that language itself constantly develops and redevelops through human interaction. Descarte's cogito implies that thinking rules out doubt of one's own existence. But such thinking, to be valid, to make sense, to direct, must develop in a language that has developed, has been verified, by a plurality, by a plurality whose essence is social. Correct use of language symbols, i.e. words, requires that we verify and reverify the accuracy of such symbols. How do we do that? We do that in constant usage, in constant interaction, with other human beings. An individual using a private language could not be understood by others, his symbol system has not been verified by others, his meanings may not be your meanings. It follows from what we have said above that language is constructed, and is continually constructed, in a social context. Given our previous thoughts regarding verification this could not be otherwise. Language has a normative form. All language users are required, by their very use of the language, to verify the use of terms, grammar etc etc. As Wittgenstein cites (appropriately) games as a model, let us take a look. If I play e.g. Ludo, I am governed by the rules. It is not just that I may play dishonestly, for if I were to play at all that very dishonesty, to count as Ludo, would have to be rule governed. The rules of Ludo are Ludo, they are the essence and the constitution of it. Wittgenstein, particularly in his later writings, interweaves many concepts, and connects them in different and sometimes rather elusive ways. Wittgenstein sees concepts like emotions, sentiments and experiences in these interweaving maps. Of course these can be regarded as psychological concepts ** Language can be considered in another but related way, as embodying the elements of a cultural heritage. Language was seen as embodying the notion of higher culture in the arts, architecture etc. Over recent decades this has tended to shift to consider less tangible benefits, such things as oral traditions, cultural values and cultural identity. So language enables us to explore, through the achievements of past generations, cultural mores that may have laid unchallenged for many years. Many of these values and mores may be seen as independent of the language by which they are transmitted, but still this monumental accomplishment of mankind i.e. language, enables man to explore, to modify, to codify, to extend the boundaries of human experience. There are therefore massive implications for our Note on Cogito of Wittgenstein's work. Following Wittgenstein emotions and other psychological concepts can be termed depth grammar, and are distinguished by the fact that the third person of the present is recognised by observation, the first person is not. Taking Wittgenstein's well known pain example the sentence 'He is in pain' is a third person statement of an observational nature. The sentence 'I am in pain' is not derived from observation but from experience, it is an expression of that experience, it's essence is the experience. The asymmetry consists in the fact that predicting psychological attributes of others is warranted by what they do and say. By contrast, the use of such statements in the first person present tense does not rest on one's observation of one's own behaviour. (Hacker 2010:287) p 9 According to Wittgenstein 'I am in pain' is more like a cry of pain, an expression of pain, than a report of some pain. Of course this appertains for other similar statements. 'I feel good' etc. (shrink)

Viewed in the light of the remarkable performance of ‘Watson’ - IBMs proprietary artificial intelligence computer system capable of answering questions posed in natural language - on the US general knowledge quiz show ‘Jeopardy’, we review two experiments on formal systems - one in the domain of quantum physics, the other involving a pictographic languaging game - whereby behaviour seemingly characteristic of domain understanding is generated by the mere mechanical application of simple rules. By re-examining both experiments in the context (...) of Searle’s Chinese Room Argument, we suggest their results merely endorse Searle’s core intuition: that ‘syntactical manipulation of symbols is not sufficient for semantics’. Although, pace Watson, some artificial intelligence practitioners have suggested that more complex, higher-level operations on formal symbols are required to instantiate understanding in computational systems, we show that even high-level calls to Google translate would not enable a computer qua ‘formal symbol processor’ to understand the language it processes. We thus conclude that even the most recent developments in ‘quantum linguistics’ will not enable computational systems to genuinely understand natural language. (shrink)

This eighth book of the author on gambling math presents in accessible terms the cold mathematics behind the sparkling slot machines, either physical or virtual. It contains all the mathematical facts grounding the configuration, functionality, outcome, and profits of the slot games. Therefore, it is not a so-called how-to-win book, but a complete, rigorous mathematical guide for the slot player and also for game producers, being unique in this respect. As it is primarily addressed to the slot player, its goal (...) is to present practical applications of the mathematical models of slot games, in order to provide numerical results that a player can use as criteria for gaming decisions or just as information for any slot game and any predicted winning event. These results are focused on probability and expected value, these being the most important parameters for decisional criteria in slots. The book is packed with plenty of figures, tables, and formulas. The content is organized so that readers can skip the theoretical parts and go picking the practical results (numerical, in tables of values where possible, or ready-to-compute formulas) for the desired situation. The practical results are gathered in the last chapter, titled "Practical Applications and Numerical Results," the largest part of the book, for the most popular categories of slot machines, namely with 3, 5, 9, and 16 reels. Any other category of slot games is covered in the theoretical part of the book, where the general formulas apply not only to existing slot games, but also to possible future slot games of any design and configuration. The author does not just throw the slot mathematics to the audience and run away, but offers an ultimate practical contribution with the chapter "How to estimate the number of stops and the symbol distribution on a reel", a surprise for both players and producers, where one can see that mathematics provides players with some statistical methods as well as methods based on physical measurements for retrieving these missing data. Having these data along with the mathematical results of this book, anyone can generate the PAR sheet of any slot machine. In the last decade, mathematics has been taken more and more seriously into account in gaming, as being the essence that governs the games of chance and the only rigorous tool providing information on optimal play, where possible. For the popular game of slots, mathematics already fulfilled its duty by providing all the data that it can provide and that cannot be found on the display of the slot machines - it is all here in this book. (shrink)

The development of nuclear energy technologies in the second half of the 20th century came with great hopes of rebuilding nations recovering from the devasta-tion of the Second World War or recently released from colonial rule. In coun-tries like France, India, the USA, Canada, Russia, and the United Kingdom, nuclear energy became the symbol of development towards a modern and technologically advanced future. However, after more than six decades of experi-ence with nuclear energy production, and in the aftermath of (...) the Fukushima nuclear disaster, it is safe to say that nuclear energy production is not without its problems.Some of these problems have their origins in the very materiality of the technolo-gies involved. For example, not only does the use of highly radioactive materials give rise to risks for the current generation (e.g., in the potential for disaster when reactors melt down) but high-level radioactive waste from nuclear energy production presents a serious intergenerational problem for which an acceptable final solution or its implementation remains elusive. Moreover, nuclear energy technologies have specific social and political consequences. For example, they have been said to be authoritarian technologies (Winner, 1980), requiring cen-tralized authority, secrecy, and technocratic decision-making. While some of these problems could have been foreseen before nuclear energy technologies were introduced, others only arose after these technologies were already integrated into the social and infrastructural fabric of our lives. Addition-ally, new technologies (e.g., Generation III, III+ and IV reactors) are still being developed, bringing with them new and uncertain hazards and risks. Ignorance and uncertainty about the possible deleterious effects of introducing a new technology are inevitable, especially if the technology is complex, large time-scales are involved, or risks depend on social or political factors unforeseen in the design stage. However, this should not deter us from developing and intro-ducing new technologies. Rather, it should motivate us to organize these ‘exper-iments’ with new technologies in society in such a way that we can learn about their possible hazards and risks as effectively and responsibly as possible (van de Poel, 2011, 2015). In this way, it is possible to minimize risks and avoid unwant-ed moral, social or political developments. However, organizing such experi-ments responsibly also means that one could come to the conclusion that continuing an experiment is no longer responsible or desirable. Should we be prepared for such a scenario, and if so, how could we do that? One possible strategy to tackle this issue is that the technology and its introduction should be reversible. The aim of this thesis is to further explore this strategy by answering the following main research question (RQ) and accompanying subquestions (SQ):RQ: What are the implications of reversibility for the responsible develop-ment and implementation of nuclear energy technologies?SQ1: Under what conditions can nuclear energy technologies be considered reversible?SQ2: Why should nuclear energy technologies be reversible?SQ3: If so, how could the reversibility of nuclear energy technologies be achieved?After the introductory chapter 1, the chapters that form the main body of this dissertation each provide a distinct contribution to answering the three subques-tions and, by extension, the main research question. Guided by three historical case studies of nuclear energy technology development (i.e., India, France and the USA), chapter 2 answers the first subquestion by formulating the two condi-tions under which it can be considered reversible, i.e., 1) the ability to stop the further development and deployment of a that technology in society, and 2) the ability to undo the undesirable outcomes (material, institutional or symbolic) of the development and deployment of the technology. Chapter 3 subsequently tackles the second subquestion by establishing the general desirability of technological reversibility by virtue of its relation to responsibility in Emmanuel Levinas’ ethical phenomenology. It argues that technology development is a legitimate response to responsibility but inevitably falls short of the responsibility that inspires it, incessantly calling for technological and political change in the process. Having thus argued that nuclear energy technologies should ideally be reversible, chap-ters 4 and 5 work towards specific strategies to achieve technological reversibil-ity. Chapter 4 first investigates the processes that make it difficult to stop the further development and implementation of a nuclear energy technology in society, thus provid-ing input on how to fulfill the first condition for the reversibility of nuclear energy technologies. To do so, it presents a phenomenological perspective on technology and its adoption based on the work of Alfred Schutz. It also explores different ways in which technology adoption drives the processes of path depend-ence towards technological lock-in. Chapter 5 examines the history of geological disposal of high-level radioactive waste in the USA. It identifies a number of concrete policy pitfalls that could lead to lock-in and that should consequently be avoided. It also presents a number of general design strategies that could facilitate the undoing of undesirable consequences of a technology, thus providing input on how to fulfill the second condition for the reversibility of nuclear energy technol-ogies.Chapter 6 summarizes the central findings of the thesis and explains how these help to answer the research questions. On top of this, it reflects on a number of complications connected to reversibility considerations. Based on this, it is concluded that the question of irreversibility and reversibility is context- and technology-specific and a matter of degree. The chapter concludes with a reflec-tion on generalizations and limitations of the results. Finally, chapter 7 discusses the implications of this dissertation’s results for responsibly experimenting with nuclear energy technologies in society. (shrink)

A Mathematical Review by John Corcoran, SUNY/Buffalo -/- Macbeth, Danielle Diagrammatic reasoning in Frege's Begriffsschrift. Synthese 186 (2012), no. 1, 289–314. ABSTRACT This review begins with two quotations from the paper: its abstract and the first paragraph of the conclusion. The point of the quotations is to make clear by the “give-them-enough-rope” strategy how murky, incompetent, and badly written the paper is. I know I am asking a lot, but I have to ask you to read the quoted passages—aloud if (...) possible. Don’t miss the silly attempt to recycle Kant’s quip “Concepts without intuitions are empty; intuitions without concepts are blind”. What the paper was aiming at includes the absurdity: “Proofs without definitions are empty; definitions without proofs are, if not blind, then dumb.” But the author even bollixed this. The editor didn’t even notice. The copy-editor missed it. And the author’s proof-reading did not catch it. In order not to torment you I will quote the sentence as it appears: “In a slogan: proofs without definitions are empty, merely the aimless manipulation of signs according to rules; and definitions without proofs are, if no blind, then dumb.”[sic] The rest of my review discusses the paper’s astounding misattribution to contemporary logicians of the information-theoretic approach. This approach was cruelly trashed by Quine in his 1970 Philosophy of Logic, and thereafter ignored by every text I know of. The paper under review attributes generally to modern philosophers and logicians views that were never espoused by any of the prominent logicians—such as Hilbert, Gödel, Tarski, Church, and Quine—apparently in an attempt to distance them from Frege: the focus of the article. On page 310 we find the following paragraph. “In our logics it is assumed that inference potential is given by truth-conditions. Hence, we think, deduction can be nothing more than a matter of making explicit information that is already contained in one’s premises. If the deduction is valid then the information contained in the conclusion must be contained already in the premises; if that information is not contained already in the premises […], then the argument cannot be valid.” Although the paper is meticulous in citing supporting literature for less questionable points, no references are given for this. In fact, the view that deduction is the making explicit of information that is only implicit in premises has not been espoused by any standard symbolic logic books. It has only recently been articulated by a small number of philosophical logicians from a younger generation, for example, in the prize-winning essay by J. Sagüillo, Methodological practice and complementary concepts of logical consequence: Tarski’s model-theoretic consequence and Corcoran’s information-theoretic consequence, History and Philosophy of Logic, 30 (2009), pp. 21–48. The paper omits definitions of key terms including ‘ampliative’, ‘explicatory’, ‘inference potential’, ‘truth-condition’, and ‘information’. The definition of prime number on page 292 is as follows: “To say that a number is prime is to say that it is not divisible without remainder by another number”. This would make one be the only prime number. The paper being reviewed had the benefit of two anonymous referees who contributed “very helpful comments on an earlier draft”. Could these anonymous referees have read the paper? -/- J. Corcoran, U of Buffalo, SUNY -/- PS By the way, if anyone has a paper that has been turned down by other journals, any journal that would publish something like this might be worth trying. (shrink)

Philippine folk dances can be dated back as early as the pre-colonial period which inherited by our forefathers and passed through several generations of Filipinos. These traditional dances are considered treasures of our homeland for they depict the humble beginnings of our native countrymen and serve as a symbol of national identity. The study utilized focused ethnography and was limited on the documentation of the ethnic dance of Ayta Ambala’s tribe, their cultural values along with its cultural heritage situated (...) at Barangay Tubo-Tubo, Dinalupihan, Bataan which were considered unpublished, especially their respective dance patterns or movements. There were ten (10) informants involved in the study. Five (5) were key informants (KIs) who represent the emic perspective while five (5) were general informants (GIs) who represent the etic perspective of the paper. Findings revealed that Dances of Ayta Ambala include: Courtship (Sayaw Magligaw), Ceremonial (Sayaw Talipe), and Occupational (Sayaw Pangangaho). The said dances reflect different activities that are commong among the tribe. It also includes the historical background, costume, time signature, props, structural formation, dance steps, and figures. Although the values are not directly presented, these are still manifesting through the themes of their dances. Included in the cultural values are bravery, respect, and gratitude which are also part of the embodiment of different dances of Ayta Ambala. As observed, the other two emerging themes are also connected to the cultural heritage of Ayta Ambala. This means, their dances mirror their surroundings, their daily activities, and their identity as tribes. The emerging themes on cultural heritage are religious beliefs, courtships, and livelihood. (shrink)

The rigor and precision of Leibniz's "possible world" evolved into the concept of Turing machine, and with the birth of the first computer and the physical realization of Turing machine, human cognitive and intelligent activities were optimistically considered by cognitive scientists to be convertible into computational programs for simulation by machines. Cognitive science then formed the research agenda of "cognitive computationalism", and our Chinese scholars have responded to this general view that "the essence of cognition is computation" and that the (...) human brain and computers are merely formal systems for manipulating and processing symbols in their respective fields. Professor Hong Dingguo used the concepts of "manifest order" and "hidden order", Professor Jin Gulun used the philosophical categories of "constitutive theory" and "generative theory", and Liu Yuesheng used the concept of "cognition". Professor Hong Dingguo reinterpreted the relationship between the "real world" and the "possible world" by using the concepts of "manifest sequence" and "hidden sequence", Professor Jin Wulun used the philosophical categories of "composition theory" and "generation theory", and Professor Liu Yuesheng used the generalized information paradigm of "structural information" and "exchange information". "This provides a profound elucidation of the nature of cognitive logic and the process of human cognitive activities becoming symbols through coding and puts forward theoretical limits. The current theoretical dilemma and practical difficulty of cognitive science lies in the fact that it has developed algorithmic concepts in the Turing sense that can only model the explicitly sequential part of cognitive and intellectual activity, forming a constitutive atomic abstraction, or in our terms, classical "structural information", which cannot fully explain the inner mechanisms of human mental activity and its embodied flexibility, selectivity and self-emergence. Wu Xuemou's pan-system theory does not simply rely on logic and Turing machine algorithms, but models human intelligence by treating structural information as a complex large system composed of a collection of elements and a collection of relations (exchange information: five mutual eight chips), in order to break through the narrow path of seeking only the local consistency of the system as currently done; while Wang Dekui's exploration of the three-spin biological and physical path and Huang Zhanji's abandonment of the artificial means of logic to seek the large logical natural mechanisms and Mr. Zhou Liquan's proposal of a schema for successful communication using natural language on the basis of concepts such as context and implicit connotation ("Logic — A Theory of Correct Thinking and Successful Communication"), all reflect the milestones of Chinese scholars who seek to address the deeper issues of cognitive science. We believe that along this series of explorations, combined with new results in recent years in the fields of artificial life and evolutionary computation, a new research agenda in cognitive science will emerge. (shrink)

"The Metaverse", a concept which has now become the symbolic term for the next evolution of the internet, is an immersive environment of almost metaphysical proportions. In this article, I discuss how the additional degrees of freedom in this transhumanist reality might saddle future generations with a massive existential crisis if philosophy is not well understood and applied by individuals.

Globalization and sophisticated information technology continually flow in all aspects of human lives. Awareness and social control mainly derive from the society as the owner of literature, culture, and local wisdom. They are hoped to have deeply and powerful understanding about actualization in the presence of cultural values which exist in each ethnic in Indonesia. The awareness could create the character building “sipakatau, sipakalebbi, and sipakaraja”mutual honor, respect, and value. This research aims to find out and to describe: (a) the (...) meanings of literature/culture that have philosophical, religious, and social/humanity values and (b) the meanings of ancestral local wisdom. This research is texts and field research. Its approach is “Semiotic Symbols”.The managing of documentation and revitalization of language, literature, and culture has been done, but it is still not maximal yet. This is done in order to avoid extinction. Therefore, the teachers and lectures now must do research to reveal the meanings beyond meaning, and to teach them to their students that are contained in the songs and the ancestral local wisdom of each ethnic in Indonesia. The best solution is to teach them through education. By this way, our nation generations will know and understand their culture. Therefore, it could accelerate the character building and self dignity of our nation who has a high culture, high dignity, and high civilization. (shrink)

Zbigniew Jordan (1911–1977) – an outline to philosophical biography The 100th anniversary of Zbigniew Jordan’s birthday, which is coming soon, is an opportunity to remind this forgotten philosopher, classified in the second generation of Lvov and Warsaw School. His complex fortune reflects dilemmas and perplexities of Polish intelligence in the war and post-war times. Jordan, after defending his doctoral thesis in philosophy at Poznań University, continued his studies at Paris Sorbonne. At that time the prepared his postdoctoral thesis on (...) the notion of infinity. His work on this theme was interrupted by the outbreak of the WWII and Jordan participated in operations of Polish Army in the west. After the end of the war he started working in Radio Free Europe, Paris “Culture” and then in the centres of sovietology research in Europe and the United Stated. He has never come back to philosophy and only in the 1960s he undertook research work at English Universities at first as a lecturer and then as a professor of sociology. He died in the USA in 1977. Although Zbigniew Antoni Jordan did not accomplish any crucial discoveries in science, his life story is nearly a symbol of the historical turbulence and dilemmas, which were experienced by Polish intelligence at emigration. (shrink)

This is a Turing Machine which computes the exponential function f(x,y) = xˆy. Instructions format and operation of this machine are intended to best reflect the basic conditions outlined by Alan Turing in his On Computable Numbers, with an Application to the Entscheidungsproblem (1936), using the simplest single-tape and single-symbol version, in essence due to Kleene (1952) and Carnielli & Epstein (2008). This machine is composed by four basic task machines: one which checks if exponent y is zero, a (...) second which checks if base x is zero, a third that is able to copy the base, and a fourth able to multiply multiple factors (in this case, factors will be all equal). They were conveniently separated in order to ease the reader's task to understand each step of its operation. We adopt the convention that a number n is represented by a string of n+1 symbols "1". Thus, an entry (x, y) will be represented by two respective strings of x+1 and y+1 symbols "1", separated by a single "0" (or a blank), and as an output, this machine will generate a string of (xˆy)+1 symbols "1". Some of the instructions are followed by a brief description of what's going on. (shrink)

As the 19th century drew to a close, logicians formalized an ideal notion of proof. They were driven by nothing other than an abiding interest in truth, and their proofs were as ethereal as the mind of God. Yet within decades these mathematical abstractions were realized by the hand of man, in the digital stored-program computer. How it came to be recognized that proofs and programs are the same thing is a story that spans a century, a chase with as (...) many twists and turns as a thriller. At the end of the story is a new principle for designing programming languages that will guide computers into the 21st century. -/- For my money, Gentzen’s natural deduction and Church’s lambda calculus are on a par with Einstein’s relativity and Dirac’s quantum physics for elegance and insight. And the maths are a lot simpler. I want to show you the essence of these ideas. I’ll need a few symbols, but not too many, and I’ll explain as I go along. -/- To simplify, I’ll present the story as we understand it now, with some asides to fill in the history. First, I’ll introduce Gentzen’s natural deduction, a formalism for proofs. Next, I’ll introduce Church’s lambda calculus, a formalism for programs. Then I’ll explain why proofs and programs are really the same thing, and how simplifying a proof corresponds to executing a program. Finally, I’ll conclude with a look at how these principles are being applied to design a new generation of programming languages, particularly mobile code for the Internet. (shrink)

In many African states, numerous different pre-colonial systems of power – such as kingships, sultanates or chieftaincies – which have a traditional legitimacy often confirmed in colonial and post-colonial times, have survived till our day. Their role in the contemporary republican state has been studied by many African intellectuals, and the views of Kwame Anthony Appiah, a thinker originating from Ghana, are of particular interest. He believes that in order to understand the significance of traditional authority and the phenomenon of (...) its continued existence in contemporary Africa, it is important to consider the source of its legitimacy. Appiah presents various sources – symbolic, religious and state – from which local African rulers derive the right to exert power and to exact obedience from their subjects. He minimizes the significance of most of these, however, and concludes that the basic source of legitimacy for traditional authority in the contemporary African state is the fact that this power, being a very important point of reference for the group over which it is wielded, reinforces its members’ sense of self-respect, and helps form their identity. He uses this idea to attempt to reconcile the continued existence of African power systems with liberal theory. Appiah, who is very unfavorably disposed towards most political and social hierarchies, views the political rights of individuals as the rights of citizens, not as the rights of persons who are the depositaries of some attributed or hereditary status. He enumerates the costs, in terms of liberal principles, of allowing traditional monarchy to persist. In his view, it is contrary to the liberal principle of public offices being open to persons of merit for the king of the Ashanti to be chosen from among persons of royal lineage. Such a perspective should generate a generally negative attitude towards the monarchy of the Ashanti, a people from whom Appiah originates, and yet he views Ashanti’s traditional monarchy as a source of pride. Published in "Africana Bulletin" 2010, No. 58, pp. 47-74. (shrink)

This largely expository lecture deals with aspects of traditional solid geometry suitable for applications in logic courses. Polygons are plane or two-dimensional; the simplest are triangles. Polyhedra [or polyhedrons] are solid or three-dimensional; the simplest are tetrahedra [or triangular pyramids, made of four triangles]. -/- A regular polygon has equal sides and equal angles. A polyhedron having congruent faces and congruent [polyhedral] angles is not called regular, as some might expect; rather they are said to be subregular—a word coined for (...) this lecture. To repeat, a subregular polyhedron has congruent faces and congruent [polyhedral] angles. A subregular polyhedron whose faces are all regular polygons is regular—using standard terminology. -/- Geometers before Euclid showed that there are “essentially” only five regular polyhedra: every regular polyhedron is a tetrahedron (4 faces), a hexahedron or cube (6 faces), an octahedron (8 faces), a dodecahedron (12 faces), or an icosahedron (20 faces). -/- The first question is whether there are subregular polyhedra that are not regular. For example, are there tetrahedra having congruent angles and congruent triangular faces but whose faces are not equilateral triangles? -/- Another question is the classification of subregular polyhedra if they exist. For example, considering the fact that the regular tetrahedra all have equilateral triangles as faces, we ask which triangles other than equilaterals are faces of subregular tetrahedra. Similarly, considering the fact that the regular hexahedra all have squares as faces, we ask which quadrangles other than squares are faces of subregular hexahedra. -/- After introductory remarks that include historical and philosophical points, we concentrate on tetrahedra. A triangle that is congruent to each of the four faces of a tetrahedron is called a generator of the tetrahedron. The main result proved is that every acute triangle is a generator of a subregular tetrahedron. The proof includes an algorithm –implementable with scissors and paper –that constructs from any given acute triangle a subregular tetrahedron whose faces are congruent to the given triangle. -/- Algorithm: Given any acute triangle. Construct a similar triangle whose sides are double the sides of the given triangle. Draw the three lines connecting the three midpoints of the sides (making four triangles congruent to the given triangle—a central triangle surrounded by three peripheral triangles). Make three “hinges” along the lines connecting the midpoints. “Fold” the peripheral triangles together (into a tetrahedron). [LIGHTLY EDITED VERSION OF PRINTED ABSTRACT] Acknowledgements: William Lawvere, Colin McLarty, Irvin Miller, Frango Nabrasa, Lawrence Spector, Roberto Torretti, and Richard Vesley. -/- . (shrink)

Total ontological unification of matter at all levels of reality as a whole, its “grasp” of its dialectical structure, space dimensionality and structure of the language of nature – “house of Being” [1], gives the opportunity to see the “place” and to understand the nature of information as a phenomenon of Ontological (structural) Memory (OntoMemory), the measure of being of the whole, “the soul of matter”, qualitative quantity of the absolute forms of existence of matter (absolute states). “Information” and “time” (...) are multivalent phenomena of Ontological Memory substantiating the essential unity of the world on the “horizontal” and “vertical”. Ontological constructing of dialectics of Logos self-motion, total unification of matter, “grasp” of the nature of information leads to the necessity of introducing a new unit of information showing the ideas of dialectical formation and generation of new structures and meanings, namely Delta-Logit (Δ-Logit), qualitative quantum-prototecton, fundamental organizing, absolute existential-extreme. The simplest mathematical symbol represents the dialectical microprocessor of the Nature. Ontological formula of John A. Wheeler «It from Bit» [2] is “grasped” as the first dialectic link in the chain of ontological formulas → “It from Δ-Logit” → “It from OntoMemory” → “It from Logos, Logos into It”. Ontological Memory - core, semantic attractor of the new conceptual structure of the world of the Information Age, which is based on Absolute generating structure («general framework structure»), the representant of onto-genetic code and algorithm of the Universe. (shrink)

Total ontological unification of matter at all levels of reality as a whole, its “grasp” of its dialectical structure, space dimensionality and structure of the language of nature – “house of Being” [1], gives the opportunity to see the “place” and to understand the nature of information as a phenomenon of Ontological Memory, the measure of being of the whole, “the soul of matter”, qualitative quality of the absolute forms of existence of matter (absolute states). “Information” and “time” are multivalent (...) phenomena of Ontological Memory (OntoMemory) substantiating the essential unity of the world on the “horizontal” and “vertical”. Ontological constructing of dialectics of Logos self-motion, total unification of matter, “grasp” of the nature of information leads to the necessity of introducing a new unit of information showing the ideas of dialectical formation and generation of new structures and meanings, namely Delta-Logit (Δ-Logit), qualitative quantum-prototecton, fundamental organizing, absolute existential-extreme. The simplest mathematical symbol represents the dialectical microprocessor of the Nature. Ontological formula of John A. Wheeler «It from Bit» [2] is “grasped” as the first dialectic link in the chain of ontological formulas → “It from Δ-Logit” → “It from OntoMemory” → “It from Logos, Logos into It”. Ontological Memory - core, the attractor of the new conceptual structure of the world of the information age, which is based on Absolute generating structure, the representant of onto-genetic code of the Universe. (shrink)

In this paper, I argue that Kant gives a philosophically plausible derivation of the general duty of benevolence and that this derivation can be used to show how to derive other general duties of commission with the universalizability tests. The paper is divided into four sections. In the first, I explain Kant’s notion of a general duty. In the second, I introduce the universalizability tests. In the third, I examine and argue against an account in the secondary literature of how (...) to derive general duties from these tests. In the fourth, I look at Kant’s derivation of the duty of benevolence in the Metaphysics of Morals, and I suggest how this reasoning can be extended to other duties. (shrink)

This chapter examines a common objection to sex robots: the symbolic-consequences argument. According to this argument sex robots are problematic because they symbolise something disturbing about our attitude to sex-related norms such as consent and the status of our sex partners, and because of the potential consequences of this symbolism. After formalising this objection and considering several real-world uses of it, the chapter subjects it to critical scrutiny. It argues that while there are grounds for thinking that sex robots could (...) symbolically represent a troubling attitude toward women (and maybe children) and the norms of interpersonal sexual relationships, the troubling symbolism is going to be removable in many instances and reformable in others. What will ultimately matter are the consequences of the symbolism but these consequences are likely to be difficult to ascertain. This may warrant an explicitly experimental approach to the development of this technology. (shrink)

It is plausible that current generations owe something to future generations. One possibility is that we have a duty to not harm them. Another possibility is that we have a duty to protect them. In either case, however, to satisfy the duties to future generations from environmental or political degradation, we need to engage in widespread collective action. But, as we are, we have a limited ability to do so, in part because we lack the self-discipline necessary for successful collective (...) action. Given that having an obligation hinges on being able to satisfy it, the apparent duty to future generations is at odds with our apparent inability to satisfy it. Thus, we either need to rethink our duties to future generations or rethink the nature of our abilities. I argue in this chapter that we should rethink the nature of our abilities. Specifically, we should enhance our self-discipline, which is distinct from enhancements of motivation, judgment, or emotion. Even the most intelligent, motivated, and empathetic actor is likely to slip up, which encourages others to withdraw their cooperation. Without the necessary self-discipline to sustain our public cooperative behavior, collective action is likely to fail, leaving us with one alternative: to abandon our duties to future generations. (shrink)

Recent experimental evidence from developmental psychology and cognitive neuroscience indicates that humans are equipped with unlearned elementary mathematical skills. However, formal mathematics has properties that cannot be reduced to these elementary cognitive capacities. The question then arises how human beings cognitively deal with more advanced mathematical ideas. This paper draws on the extended mind thesis to suggest that mathematical symbols enable us to delegate some mathematical operations to the external environment. In this view, mathematical symbols are not only used to (...) express mathematical concepts—they are constitutive of the mathematical concepts themselves. Mathematical symbols are epistemic actions, because they enable us to represent concepts that are literally unthinkable with our bare brains. Using case-studies from the history of mathematics and from educational psychology, we argue for an intimate relationship between mathematical symbols and mathematical cognition. (shrink)

It is common to distinguish two great families of representation. Symbolic representations include logical and mathematical symbols, words, and complex linguistic expressions. Iconic representations include dials, diagrams, maps, pictures, 3-dimensional models, and depictive gestures. This essay describes and motivates a new way of distinguishing iconic from symbolic representation. It locates the difference not in the signs themselves, nor in the contents they express, but in the semantic rules by which signs are associated with contents. The two kinds of rule have (...) divergent forms, occupying opposite poles on a spectrum of naturalness. Symbolic rules are composed entirely of primitive juxtapositions of sign types with contents, while iconic rules determine contents entirely by uniform natural relations with sign types. This distinction is marked explicitly in the formal semantics of familiar sign systems, both for atomic first-order representations, like words, pixel colors, and dials, and for complex second-order representations, like sentences, diagrams, and pictures. (shrink)

Keeping track of what others believe is a central part of human social cognition. However, the social relevance of those beliefs can vary a great deal. Some belief attributions mostly tell us about what a person is likely to do next. Other belief attributions tell us more about a person's social identity. In this paper, I argue that we cope with this challenge by employing two distinct concepts of belief in our everyday social interactions. The epistemic concept of belief is (...) primarily used to keep track of what other people take to be true, and this informs how we predict and interpret their behaviors. The symbolic concept of belief, in contrast, is primarily used as a means of signaling one's social identity to other members of one's community. In turn, community members closely monitor each other's symbolic beliefs as a means of enforcing social norms. (shrink)

The connection between whole and part is intimate: not only can we share the same space, but I’m incapable of leaving my parts behind; settle the nonmereological facts and you thereby settle what is a part of what; wholes don’t seem to be an additional ontological commitment over their parts. Composition as identity promises to explain this intimacy. But it threatens to make the connection too intimate, for surely the parts could have made a different whole and the whole have (...) had different parts. In this paper I attempt to offer an account of parthood that is intimate enough but not too intimate: the parts generate the whole, but they are not themselves the whole. (shrink)

In their thoughtful article, Malm and Navin (2020) raise concerns about a potentially unjust generational welfare tradeoff between children and adults when it comes to chicken pox. We share their c...

A. Newell and H. A. Simon were two of the most influential scientists in the emerging field of artificial intelligence (AI) in the late 1950s through to the early 1990s. This paper reviews their crucial contribution to this field, namely to symbolic AI. This contribution was constituted mostly by their quest for the implementation of general intelligence and (commonsense) knowledge in artificial thinking or reasoning artifacts, a project they shared with many other scientists but that in their case was theoretically (...) based on the idiosyncratic notions of symbol systems and the representational abilities they give rise to, in particular with respect to knowledge. While focusing on the period 1956-1982, this review cites both earlier and later literature and it attempts to make visible their potential relevance to today's greatest unifying AI challenge, to wit, the design of wholly autonomous artificial agents (a.k.a. robots) that are not only rational and ethical, but also self-conscious. (shrink)