Progress in neuroscience has left a central question of psychism unanswered: what is consciousness? Modeling the psyche from a computational perspective has helped to develop cognitive neurosciences, but it has also shown their limits, of which the definition, description and functioning of consciousness remain essential. From Rene Descartes, who tackled the issue of psychism as the brain-mind dualism, to Chambers, who defined qualia as the tough, difficult problem of research in neuroscience, many hypotheses and theories have been issued to (...) encompass the phenomenon of consciousness. Neuroscience specialists, such as Giulio Tononi or David Eagleman, consider consciousness as a phenomenon of emergence of all processes that take place in the brain. This hypothesis has the advantage of being supported by progress made in the study of complex systems in which the issue of emergence can be mathematically formalized and analyzed by physical-mathematical models. The current tendency to associate neural networks within the broad scope of network science also allows for a physical-mathematical formalization of phenomenology in neural networks and the construction of information-symbolic models. The extrapolation of emergence at the level of physical systems, biological systems and psychic systems can bring new models that can also be applied to the concept of consciousness. The meaning and significance that seem to structure the nature of consciousness is found as direction of evolution and teleological finality, of integration in the whole system and in any complex system at all scales. Starting from the wave-corpuscle duality in quantum physics, we can propose a model for structuring reality, based on the emergence of systems that contribute to the integration and coherence of the entire reality. Physical-mathematical models based mainly on topology can provide a mathematical formalization path, and the paradigm of information could allow the development of a pattern of emergence, that is common to all systems, including the psychic system, the difference being given only by the degree of information complexity. Thus, the mind-brain duality, which has been dominating the representation on psychism for a few centuries, could be solved by an informational approach, describing the connection between object and subject, reality and human consciousness, between mind and brain, thus unifying the perspective on natural sciences and humanities. (shrink)

The question “Are ‘biorobots' good models of biological behaviour?” can be seen as a specific instance of a more general question about the relation between computer programs and models, between models and theories, and between theories and reality. This commentary develops a personal view of these relations, from an antirealism perspective. Programs, models, theories and reality are separate and distinct entities which may converge in particular cases but should never be confused.

Putnam (Representations and reality. MIT Press, Cambridge, 1988) and Searle (The rediscovery of the mind. MIT Press, Cambridge, 1992) famously argue that almost every physical system implements every finite computation. This universal implementation claim, if correct, puts at the risk of triviality certain functional and computational views of the mind. Several authors have offered theories of implementation that allegedly avoid the pitfalls of universal implementation. My aim in this paper is to suggest that these theories are still (...) consistent with a weaker result, which is the nomological possibility of systems that simultaneously implement different complex automata. Elsewhere I (Shagrir in J Cogn Sci, 2012) argue that this simultaneous implementation result challenges a computational sufficiency thesis (articulated by Chalmers in J Cogn Sci, 2012). My focus here is on theories of implementation. After presenting the basic simultaneous implementation construction, I argue that these theories do not avoid the simultaneous implementation result. The conclusion is that the idea that the implementation of the right kind of automaton suffices for a possession of a mind is dubious. (shrink)

What is the mind? How does it work? How does it influence behavior? Some psychologists hope to answer such questions in terms of concepts drawn from computer science and artificial intelligence. They test their theories by modeling mental processes in computers. This book shows how computer models are used to study many psychological phenomena--including vision, language, reasoning, and learning. It also shows that computer modeling involves differing theoretical approaches. Computational psychologists disagree about some basic questions. For instance, should the mind (...) be modeled by digital computers, or by parallel-processing systems more like brains? Do computer programs consist of meaningless patterns, or do they embody (and explain) genuine meaning? (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)

Vera & Simon (1993a) have argued that the theories and methods known as situated action or situativity theory are compatible with the assumptions and methodology of the physical symbol systems hypothesis and do not require a new approach to the study of cognition. When the central criterion of computational universality is added to the loose definition of a symbol system which Vera and Simon provide, it becomes apparent that there are important incompatibilities between the two approaches such that situativity theory (...) cannot be subsumed within the symbol systems approach. Symbol systems and situativity theoretic approaches are, and should be seen to be, competing approaches to the study of cognition. (shrink)

A Computable Universe is a collection of papers discussing computation in nature and the nature of computation, a compilation of the views of the pioneers in the contemporary area of intellectual inquiry focused on computational and informational theories of the world. This volume is the definitive source of informational/computational views of the world, and of cutting-edge models of the universe, both digital and quantum, discussed from a philosophical perspective as well as in the greatest technical detail. The book (...) discusses the foundations of computation in relation to nature. It focuses on two main questions: What is computation? How does nature compute? The contributors are world-renowned experts who have helped shape a cutting-edge computational understanding of the universe. They discuss computation in the world from a variety of perspectives, ranging from foundational concepts to pragmatic models to ontological conceptions and their philosophical implications. The volume provides a state-of-the-art collection of technical papers and non-technical essays representing a field that takes information and computation to be key to understanding and explaining the basic structure underpinning physical reality. It also includes a new edition of Konrad Zuse's "Calculating Space", and a panel discussion transcription on the topic, featuring worldwide experts (including a Nobel prize) in quantum mechanics, physics, cognition, computation and algorithmic complexity.A Computable Universe is a collection of papers discussing computation in nature and the nature of computation, a compilation of the views of the pioneers in the contemporary area of intellectual inquiry focused on computational and informational theories of the world. This volume is the definitive source of informational/computational views of the world, and of cutting-edge models of the universe, both digital and quantum, discussed from a philosophical perspective as well as in the greatest technical detail. The book discusses the foundations of computation in relation to nature. It focuses on two main questions: What is computation? How does nature compute? The contributors are world-renowned experts who have helped shape a cutting-edge computational understanding of the universe. They discuss computation in the world from a variety of perspectives, ranging from foundational concepts to pragmatic models to ontological conceptions and their philosophical implications. The volume provides a state-of-the-art collection of technical papers and non-technical essays representing a field that takes information and computation to be key to understanding and explaining the basic structure underpinning physical reality. It also includes a new edition of Konrad Zuse's "Calculating Space", and a panel discussion transcription on the topic, featuring worldwide experts (including a Nobel prize) in quantum mechanics, physics, cognition, computation and algorithmic complexity. (shrink)

We introduce the notion of complexity, first at an intuitive level and then in relatively more concrete terms, explaining the various characteristic features of complex systems with examples. There exists a vast literature on complexity, and our exposition is intended to be an elementary introduction, meant for a broad audience. -/- Briefly, a complex system is one whose description involves a hierarchy of levels, where each level is made of a large number of components interacting among themselves. The time evolution (...) of such a system is of a complex nature, depending on the interactions among subsystems in the next level below the one under consideration and, at the same time, conditioned by the level above, where the latter sets the context for the evolution. Generally speaking, the interactions among the constituents of the various levels lead to a dynamics characterized by numerous characteristic scales, each level having its own set of scales. What is more, a level commonly exhibits ‘emergent properties’ that cannot be derived from considerations relating to its component systems taken in isolation or to those in a different contextual setting. In the dynamic evolution of some particular level, there occurs a self-organized emergence of a higher level and the process is repeated at still higher levels. -/- The interaction and self-organization of the components of a complex system follow the principle commonly expressed by saying that the ‘whole is different from the sum of the parts’. In the case of systems whose behavior can be expressed mathematically in terms of differential equations this means that the interactions are nonlinear in nature. -/- While all of the above features are not universally exhibited by complex systems, these are nevertheless indicative of a broad commonness relative to which individual systems can be described and analyzed. There exist measures of complexity which, once again, are not of universal applicability, being more heuristic than exact. The present state of knowledge and understanding of complex systems is itself an emerging one. Still, a large number of results on various systems can be related to their complex character, making complexity an immensely fertile concept in the study of natural, biological, and social phenomena. -/- All this puts a very definite limitation on the complete description of a complex system as a whole since such a system can be precisely described only contextually, relative to some particular level, where emergent properties rule out an exact description of more than one levels within a common framework. -/- We discuss the implications of these observations in the context of our conception of the so-called noumenal reality that has a mind-independent existence and is perceived by us in the form of the phenomenal reality. The latter is derived from the former by means of our perceptions and interpretations, and our efforts at sorting out and making sense of the bewildering complexity of reality takes the form of incessant processes of inference that lead to theories. Strictly speaking, theories apply to models that are constructed as idealized versions of parts of reality, within which inferences and abstractions can be carried out meaningfully, enabling us to construct the theories. -/- There exists a correspondence between the phenomenal and the noumenal realities in terms of events and their correlations, where these are experienced as the complex behavior of systems or entities of various descriptions. The infinite diversity of behavior of systems in the phenomenal world are explained within specified contexts by theories. The latter are constructs generated in our ceaseless attempts at interpreting the world, and the question arises as to whether these are reflections of `laws of nature' residing in the noumenal world. This is a fundamental concern of scientific realism, within the fold of which there exists a trend towards the assumption that theories express truths about the noumenal reality. We examine this assumption (referred to as a ‘point of view’ in the present essay) closely and indicate that an alternative point of view is also consistent within the broad framework of scientific realism. This is the view that theories are domain-specific and contextual, and that these are arrived at by independent processes of inference and abstractions in the various domains of experience. Theories in contiguous domains of experience dovetail and interpenetrate with one another, and bear the responsibility of correctly explaining our observations within these domains. -/- With accumulating experience, theories get revised and the network of our theories of the world acquires a complex structure, exhibiting a complex evolution. There exists a tendency within the fold of scientific realism of interpreting this complex evolution in rather simple terms, where one assumes (this, again, is a point of view) that theories tend more and more closely to truths about Nature and, what is more, progress towards an all-embracing ‘ultimate theory’ -- a foundational one in respect of all our inquiries into nature. We examine this point of view closely and outline the alternative view -- one broadly consistent with scientific realism -- that there is no ‘ultimate’ law of nature, that theories do not correspond to truths inherent in reality, and that successive revisions in theory do not lead monotonically to some ultimate truth. Instead, the theories generated in succession are incommensurate with each other, testifying to the fact that a theory gives us a perspective view of some part of reality, arrived at contextually. Instead of resembling a monotonically converging series successive theories are analogous to asymptotic series. -/- Before we summarize all the above considerations, we briefly address the issue of the complexity of the {\it human mind} -- one as pervasive as the complexity of Nature at large. The complexity of the mind is related to the complexity of the underlying neuronal organization in the brain, which operates within a larger biological context, its activities being modulated by other physiological systems, notably the one involving a host of chemical messengers. The mind, with no materiality of its own, is nevertheless emergent from the activity of interacting neuronal assemblies in the brain. As in the case of reality at large, there can be no ultimate theory of the mind, from which one can explain and predict the entire spectrum of human behavior, which is an infinitely rich and diverse one. (shrink)

ABSTRACT Usually, the problems in AI may be many times related to Philosophy of Mind, and perhaps because this reason may be in essence very disputable. So, for instance, the famous question: Can a machine think? It was proposed by Alan Turing [16]. And it may be the more decisive question, but for many people it would be a nonsense. So, two of the very fundamental and more confronted positions usually considered according this line include the Connectionism and the Computational (...) Theory of Mind. We analyze here its content, with their past disputes, and current situation. (shrink)

The bookModeling Reality covers a wide range of fascinating subjects, accessible to anyone who wants to learn about the use of computer modeling to solve a diverse range of problems, but who does not possess a specialized training in mathematics or computer science. The material presented is pitched at the level of high-school graduates, even though it covers some advanced topics (cellular automata, Shannon's measure of information, deterministic chaos, fractals, game theory, neural networks, genetic algorithms, and Turing machines). These advanced (...) topics are explained in terms of well known simple concepts: Cellular automata - Game of Life, Shannon's formula - Game of twenty questions, Game theory - Television quiz, etc. The book is unique in explaining in a straightforward, yet complete, fashion many important ideas, related to various models of reality and their applications. Twenty-five programs, written especially for this book, are provided on an accompanying CD. They greatly enhance its pedagogical value and make learning of even the more complex topics an enjoyable pleasure. (shrink)

A critical survey of some attempts to define ‘computer’, beginning with some informal ones, then critically evaluating those of three philosophers, and concluding with an examination of whether the brain and the universe are computers.

While the ancients described the world as a single organism and the medieval view was theological in nature, modern thought has envisioned the world as a mechanism composed of smaller mechanisms. Raziel Abelson argues that this mechanistic explanation, when applied to human action, is dangerous because it "threatens us with a kind of spiritual annihilation...;[and] it undermines our belief in freedom of the will and with it the reality of choice, value, and moral responsibility." In Lawless Mind, he presents a (...) theory about the relationship between mind and body in order to show how voluntary actions can be causally explained while still allowing for free will.Abelson attempts to reconcile the centuries-old debate between determinists and free-willers by making a distinction between two kinds of causality. "The impact of this [mechanistic] view on psychology, ethics, and politics is such as to replace moral judgment with the search for causal mechanisms. In psychology it results in reducing moral wisdom to medical therapy, in politics it reduces statesmanship to game theory and rational persuasion to behavioral modification, and in ethics it reduces moral responsibility to social conformity. If we are all programmed automata, as mechanism suggests, then the way to improve our performances is to hire a mechanic of the mind to tinker with our wiring. Is this the way to think about ourselves? I shall try to show that it is not."Abelson's novel theory of mind and psychological causality provides solutions for problems in metaphysics, ethics, psychology, and the social sciences. The issues addressed include free will and responsibility, mind-body interaction, models of psychotherapy, causal explanations in sociology, and the difference between minds and computers. Author note: Raziel Abelson is Professor of Philosophy at New York University and author of Persons: A Study of Philosophical Psychology. (shrink)

?Disclosing New Worlds? represents an extraordinarily fruitful response to the radically changed social and intellectual conditions of the late twentieth century. Its focus on skillful practice yields a social theory thicker than most. Yet in remaining aloof of material reality it retains an ambiguity that contemporary culture prevailingly resolves into a style of life largely devoid of skill and excellence. Consideration of material reality, however, discloses hopeful if inconspicuous practices as well, practices that are at the center of the good (...) life and constitute the wellspring of solidarity. University teaching can be a vigorous introduction to that sort of life. (shrink)

A set theory model of reality, representation and language based on the relation of completeness and incompleteness is explored. The problem of completeness of mathematics is linked to its counterpart in quantum mechanics. That model includes two Peano arithmetics or Turing machines independent of each other. The complex Hilbert space underlying quantum mechanics as the base of its mathematical formalism is interpreted as a generalization of Peano arithmetic: It is a doubled infinite set of doubled Peano arithmetics having a remarkable (...) symmetry to the axiom of choice. The quantity of information is interpreted as the number of elementary choices (bits). Quantum information is seen as the generalization of information to infinite sets or series. The equivalence of that model to a quantum computer is demonstrated. The condition for the Turing machines to be independent of each other is reduced to the state of Nash equilibrium between them. Two relative models of language as game in the sense of game theory and as ontology of metaphors (all mappings, which are not one-to-one, i.e. not representations of reality in a formal sense) are deduced. (shrink)

Can one be fooled into believing that one intended an action that one in fact did not intend? Past experimental paradigms have demonstrated that participants, when provided with false perceptual feedback about their actions, can be fooled into misperceiving the nature of their intended motor act. However, because veridical proprioceptive/perceptual feedback limits the extent to which participants can be fooled, few studies have been able to answer our question and induce the illusion to intend. In a novel paradigm addressing this (...) question, participants were instructed to move a line on the computer screen by use of a phony brain–computer interface. Line movements were actually controlled by computer program. Demonstrating the illusion to intend, participants reported more intentions to move the line when it moved frequently than when it moved infrequently. Consistent with ideomotor theory, the finding illuminates the intimate liaisons among ideomotor processing, the sense of agency, and action production. (shrink)

Computationalist theories of mind require brain symbols, that is, neural events that represent kinds or instances of kinds. Standard models of computation require multiple inscriptions of symbols with the same representational content. The satisfaction of two conditions makes it easy to see how this requirement is met in computers, but we have no reason to think that these conditions are satisfied in the brain. Thus, if we wish to give computationalist explanations of human cognition, without committing ourselvesa (...) priori to a strong and unsupported claim in neuroscience, we must first either explain how we can provide multiple brain symbols with the same content, or explain how we can abandon standard models of computation. It is argued that both of these alternatives require us to explain the execution of complex tasks that have a cognition-like structure. Circularity or regress are thus threatened, unless noncomputationalist principles can provide the required explanations. But in the latter case, we do not know that noncomputationalist principles might not bear most of the weight of explaining cognition. Four possible types of computationalist theory are discussed; none appears to provide a promising solution to the problem. Thus, despite known difficulties in noncomputationalist investigations, we have every reason to pursue the search for noncomputationalist principles in cognitive theory. (shrink)

Problems are raised with the global workspace hypothesis of consciousness, for example about exactly how global the workspace needs to be for consciousness to suddenly be present. Problems are also raised with Carruthers’s (2019) version that excludes conceptual (categorical or discrete) representations, and in which phenomenal consciousness can be reduced to physical processes, with instead a different levels of explanation approach to the relation between the brain and the mind advocated. A different theory of phenomenal consciousness is described, in (...) which there is a particular computational system involved in which Higher Order Syntactic Thoughts are used to perform credit assignment on first order thoughts of multiple step plans to correct them by manipulating symbols in a syntactic type of working memory. This provides a good evolutionary reason for the evolution of this kind of computational module, with which, it is proposed, phenomenal consciousness is associated. Some advantages of this HOST approach to phenomenal consciousness are then described with reference not only to the global workspace approach, but also to Higher Order Thought (HOT) theories. It is hypothesized that the HOST system which requires the ability to manipulate first order symbols in working memory might utilize parts of the prefrontal cortex implicated in working memory, and especially the left inferior frontal gyrus, which is involved in language and probably syntactical processing. Overall, the approach advocated is to identify the computations that are linked to consciousness, and to analyze the neural bases of those computations. (shrink)

Since the cognitive revolution, it has become commonplace that cognition involves both computation and information processing. Is this one claim or two? Is computation the same as information processing? The two terms are often used interchangeably, but this usage masks important differences. In this paper, we distinguish information processing from computation and examine some of their mutual relations, shedding light on the role each can play in a theory of cognition. We recommend that theorists of cognition be (...) explicit and careful in choosing notions of computation and information and connecting them together.Keywords: Computation; Information processing; Computationalism; Computational theory of mind; Cognitivism. (shrink)

Visuospatial (VS) skills, or one’s ability to mentally manipulate spatial information about objects, are critical to STEM enrollment, retention, and achievement. Low level of VS skills may deter some people from joining the STEM workforce or complicate their learning experience. While there is plenty of evidence suggesting that VS skills can be improved through training, few accessible training programs exist as of now, particularly for younger students. The current study proposes a new direction of VS training focusing on the development (...) of visuospatial self-efficacy (VSSE), or one’s confidence that they can complete specific VS tasks. The collaborative, desktop/mobile Virtual Reality game called [hidden for peer review] (available for download at [hidden for peer review]) was designed to improve VSSE in middle school students. A total of 169 students across 11 classrooms in 3 middle schools in a mid-western city in the United States participated in the intervention. The participants in the experimental condition (n=96, 6 classrooms) played the intervention game during 4 sessions over the course of 2 weeks, while the participants in the control condition (n=73, 5 classrooms) engaged in typical class activities. The results revealed that the intervention significantly increased students’ VS self-efficacy but not their VS performance or STEM performance. The implications and significance of the findings are discussed along with suggestions for further research. (shrink)

Advances in behavioral and brain sciences have engendered wide ranging efforts to help understand consciousness. The target article suggests that abstract computational models are ill-advised. This commentary broadens the discussion to include mysteries of subjective experience that are inconsistent with current neuroscience. It also discusses progress being made through demystifying specific cases and pursuing evolutionary considerations.

Ernest Barnes was invited to Aberdeen as Gifford Lecturer (1927-1929) to deliver lectures under the title of 'Scientific Theory and Religion'. The lectures were originally published in 1933 and sought to bring Christian doctrines together with the possibility of life on other planets. The magnitude of the universe, accompanied with some basic observations on biological development within it, makes speculation about the possibility of intelligent life in distant galaxies reasonable. Barnes believed that the Creation was made precisely for the higher (...) forms of' consciousness. The scope of the background to scientific theory and religious ideas of creation presented here is extensive and covers topics including Jewish cosmology as the basis for later Christian thought to early quantum mechanics and evolutionary biology. However, as Barnes himself noted of this scope in his lectures, 'Wide as is their range, they have an inner coherence. I trust that they express the attitude of the modern man of science who, as he hopefully makes theories, is aware of the limitations of his knowledge and also, in part because of his loyalty to truth, bears in mind the reality and the claims of the spiritual world.'. (shrink)

This commentary is an elaboration on Schyns, Goldstone & Thibaut's proposal for flexible features in categorization in the light of three areas not explicitly discussed by the authors: connectionist models of categorization, computational learning theory, and constructivist theories of the mind. In general, the authors' proposal is strongly supported, paving the way for model extensions and for interesting novel cognitive research. Nor is the authors' proposal incompatible with theories positing some fixed set of features.

A neuroscience-based approach has recently been proposed for the relation between the mind and the brain. The proposal is that events at the sub-neuronal, neuronal, and neuronal network levels take place simultaneously to perform a computation that can be described at a high level as a mental state, with content about the world. It is argued that as the processes at the different levels of explanation take place at the same time, they are linked by a non-causal supervenient (...) relationship: causality can best be described in brains as operating within but not between levels. This mind-brain theory allows mental events to be different in kind from the mechanistic events that underlie them; but does not lead one to argue that mental events cause brain events, or vice versa: they are different levels of explanation of the operation of the computational system. Here, some implications are developed. It is proposed that causality, at least as it applies to the brain, should satisfy three conditions. First, interventionist tests for causality must be satisfied. Second, the causally related events should be at the same level of explanation. Third, a temporal order condition must be satisfied, with a suitable time scale in the order of 10 ms. Next, although it may be useful for different purposes to describe causality involving the mind and brain at the mental level, or at the brain level, it is argued that the brain level may sometimes be more accurate, for sometimes causal accounts at the mental level may arise from confabulation by the mentalee, whereas understanding exactly what computations have occurred in the brain that result in a choice or action will provide the correct causal account for why a choice or action was made. Next, it is argued that possible cases of “downward causation” can be accounted for by a within-levels-of-explanation account of causality. This computational neuroscience approach provides an opportunity to proceed beyond Cartesian dualism and physical reductionism in considering the relations between the mind and the brain. (shrink)

Recent developments in the domain of communication Brain-Computer Interface (BCI) technology have raised questions about the ability for communication BCIs to read minds. How those questions are answered depends on how we theorize the mind and mindreading in the first place. Thus, in this paper, I ask (1) what does it mean to read minds? (2) can a communication BCI do this? (3) what does this mean for potential users of this technology? and (4) what is at stake morally (...) in light of this? I show that current answers to these questions are conceptually unclear and committed to a Cartesian picture of the mind and its relation to the brain, questionably informing how debates about BCIs as mindreading devices are framed. I offer an alternative perspective on these questions by turning to an enactive perspective on mindedness. I argue that this perspective can offer conceptual as well as ethical clarification about what is at stake in the domain of communication BCIs. From this perspective, the concerns raised about BCIs as mindreading machines are demystified. Instead, concerns are raised about BCIs as enabling users to flourish as authentic communicators. (shrink)

While still subject to differing interpretations Perelman’s theory of audience has potential as an evaluative tool in rhetorical criticism as demonstrated by Gross and Crosswhite. I compare their explanations of how politicians address the universal audience and the respective implications for evaluating the argumentation and then argue that although Gross provides a more immediately applicable theory, Crosswhite’s interpretation recommends itself by virtue of its wider scope in regard to deliberative rhetoric.

We prove a number of results motivated by global questions of uniformity in computabi- lity theory, and universality of countable Borel equivalence relations. Our main technical tool is a game for constructing functions on free products of countable groups. We begin by investigating the notion of uniform universality, first proposed by Montalbán, Reimann and Slaman. This notion is a strengthened form of a countable Borel equivalence relation being universal, which we conjecture is equivalent to the usual notion. With this (...) additional uniformity hypothesis, we can answer many questions concerning how countable groups, probability measures, the subset relation, and increasing unions interact with universality. For many natural classes of countable Borel equivalence relations, we can also classify exactly which are uniformly universal. We also show the existence of refinements of Martin’s ultrafilter on Turing invariant Borel sets to the invariant Borel sets of equivalence relations that are much finer than Turing equivalence. For example, we construct such an ultrafilter for the orbit equivalence relation of the shift action of the free group on countably many generators. These ultrafilters imply a number of structural properties for these equivalence relations. (shrink)

Paul Thagard uses new accounts of brain mechanisms and social interactions to forge theories of mind, knowledge, reality, morality, justice, meaning, and the arts. Natural Philosophy brings new methods for analyzing concepts, understanding values, and achieving coherence. It shows how to unify the humanities with the cognitive and social sciences.

'This is a smart and compelling book. Difficult ideas are presented in an accessible manner, with plenty of supporting illustrations…Students will enjoy the research material and other supporting material. A definite winner!'- Professor Jay Gubrium, University of Missouri This book gets to the heart of what the social sciences really know about the elusive and contradictory object of research: human reality. Drawing on a wide range of international examples and scenarios, Social Theory and Human Reality examines key sociological concepts that (...) we use to understand human behaviour such as: norms, rules and meanings; language and discourse; ritual; and personality and identity construction. Alasuutari clearly and convincingly demonstrates: - The constant interplay between routines and reflexivity that grounds social order - how the body and our bodily experiences mediate our social reality - that language plays a multi-faceted role as it describes, reflects and constructs human reality Building on the work started by Berger and Luckmann in The Social Construction of Reality, this book is a lucid and contemporary analysis of the premises shared across the social sciences, and of the kaleidoscope of 'human reality'. This important book will be welcomed by students and scholars alike in the fields of Cultural Studies, Sociology and Anthropology. (shrink)

Ever since 1956 when details of the Logic Theorist were published by Newell and Simon, a large literature has accumulated on computational models and theories of the creative process, especially in science, invention and design. But what exactly do these computational models/theories tell us about the way that humans have actually conducted acts of creation in the past? What light has computation shed on our understanding of the creative process? Addressing these questions, we put forth three propositions: (I) Computational (...) models of the creative process are fundamentally flawed as theories of human creativity. Rather, the universal power of computational models lies elsewhere: (II) Computational models of particular acts of creation can serve as effective experiments to test universal hypotheses about creative processes and mechanisms; and (III) Computation-based architectures of the creative mind provide metaphorical frameworks that, like all good metaphors, can serve as rich sources of insight into aspects of the creative process. In this paper, we provide evidence for these three propositions by drawing upon some particular episodes in the cognitive history of science, technology, and art. (shrink)

The genesis of actuality from potentiality, with the apparent role of the observer, is an important and unsolved problem which essentially defines science‟s view of reality in a variety of contexts. Observation then becomes lawful and not emergent. Panentheism is needed to provide a mechanism for order outside of blind efficient causality, in a Universal final causality. Classical physics is over a hundred years out of date, yet scientific models remain mechanistic and deterministic. Deism, a remnant of classical (...) cosmology, is examined and rejected by scientists and philosophers, and certain pre-scientific notions of religion are scorned, putting the matter to rest. Quantum physics, in its basic form, is necessary if there is to be any philosophical or scientific notion of free will and self-determination, as potentiality. Quantum metaphysics is also needed because classical physics is fundamentally limited to localized external relations, lacking the internality and non-locality of relatedness. God, or the equivalent, is necessary to complete the equation. Physicists now tell us that reality is fundamentally mental and is created by observation. Observation is here taken to mean experience, with experience going all the way down to the lowest order of a Universal mentality. (shrink)

Here we prove that if T and T′ are strongly minimal theories, where T′ satisfies a certain property related to triviality and T does not, and T′ is model complete, then there is no computable embedding of Mod(T) into Mod(T′). Using this, we answer a question from [4], showing that there is no computable embedding of VS into ZS, where VS is the class of infinite vector spaces over Q, and ZS is the class of models of Th(Z, S). Similarly, (...) we show that there is no computable embedding of ACF into ZS, where ACF is the class of algebraically closed fields of characteristic 0. (shrink)

Leech et al. present a connectionist algorithm as a model of (the development) of analogizing, but they do not specify the algorithm's associated computational-level theory, nor its computational complexity. We argue that doing so may be essential for connectionist cognitive models to have full explanatory power and transparency, as well as for assessing their scalability to real-world input domains.

Connecting human minds to various technological devices and applications through brain-computer interfaces (BCIs) affords intriguingly novel ways for humans to engage and interact with the world. Not only do BCIs play an important role in restorative medicine, they are also increasingly used outside of medical or therapeutic contexts (e.g., gaming or mental state monitoring). A striking peculiarity of BCI technology is that the kind of actions it enables seems to differ from paradigmatic human actions, because, effects in the world (...) are brought about by devices such as robotic arms, prosthesis, or other machines, and their execution runs through a computer directed by brain signals. In contrast to usual forms of action, the sequence does not need to involve bodily or muscle movements at all. A motionless body, the epitome of inaction, might be acting. How do theories of action relate to such BCI-mediated forms of changing the world? We wish to explore this question through the lenses of three perspectives on agency: subjective experience of agency, philosophical action theory, and legal concepts of action. Our analysis pursues three aims: First, we shall discuss whether and which BCI-mediated events qualify as actions, according to the main concepts of action in philosophy and law. Secondly, en passant, we wish to highlight the ten most interesting novelties or peculiarities of BCI-mediated movements. Thirdly, we seek to explore whether these novel forms of movement may have consequences for concepts of agency. More concretely, we think that convincing assessments of BCI-movements require more fine-grained accounts of agency and a distinction between various forms of control during movements. In addition, we show that the disembodied nature of BCI-mediated events causes troubles for the standard legal account of actions as bodily movements. In an exchange with views from philosophy, we wish to propose that the law ought to reform its concept of action to include some, but not all, BCI-mediated events and sketch some of the wider implications this may have, especially for the venerable legal idea of the right to freedom of thought. In this regard, BCIs are an example of the way in which technological access to yet largely sealed-off domains of the person may necessitate adjusting normative boundaries between the personal and the social sphere. (shrink)

It is widely accepted that consciousness or, more generally, mental activity is correlated to the behavior of the material brain. Since quantum theory is our most fundamental theory of matter, it is a legitimate question to ask whether quantum theory can help us to understand consciousness. There are three basic types of corresponding approaches: (1) consciousness is a manifestation of quantum processes in the brain, (2) quantum concepts are used to understand consciousness without referring to brain activity, (...) and (3) matter and consciousness are regarded as dual aspects of one underlying reality. Major contemporary variants of these quantum inspired approaches will be discussed. (shrink)

The book presents investigations into the world of info-computational nature, in which information constitutes the structure, while computational process amounts to its change. Information and computation are inextricably bound: There is no computation without informational structure, and there is no information without computational process. Those two complementary ideas are used to build a conceptual net, which according to Novalis is a theoretical way of capturing reality. We apprehend the reality within a framework known as natural computationalism, the view (...) that the whole universe can be understood as a computational system at many different levels - from quantum mechanical world, to biological organisms including intelligent minds and their societies. Questions about nature of information and computation and their unified view are addressed along with application of info- computational approach to knowledge generation. (shrink)

All activities which are taking place in the Cosmos also exist in a human body in subtle micro-scale. Plexuses centers in a human body are the most mysterious kinds of energies. The six-center plexus system is the path of the Kundalini shakti, the primordial cosmic energy of a person. Each plexus has its own propensities (vibrating words/dimensions/vritti) and an acoustic root. These plexuses control some cluster of words of sounds and corresponding physical organs in human body. The 50 main propensities (...) of the human’s unit mind are expressed through the vibration-expression of these plexuses. These vibrations cause hormones to secrete from the corresponding glands of the human’s body. These plexuses can play very important roles in curing the diseases. According to the Theory of Nikola Tesla’s 369, there are all together 1 to 9 digital root numbers exist. All other higher or lower numbers are the combination of those digital root numbers. This statement seems quite true when we compare it with Theory of Absolutivity. If 3, 6, 9 numbers are arranged together it makes a letter Ohm (AUM) which represents actually a Sagun Bramh/Nikola Tesla’s 369 triangle which is a part of NirgunBramh having higher dimensions. Number zero is the NirgunBramh (having all the qualities but in dormant form) which does not possess any quality in action. Number 3, 6, 9 forming as an equilateral triangle of static, mutative and sentient forces representing the Black-hole which is a part of Sagun Bramh projecting Himself as a Visible World through Big-bang along with forming five basic elements such as Ethereal, Areal, Fire, Liquid and Solid. According to the biological science, life emerged in this planet from matter about four billion years ago in the form of DNA that carried the software for the development of billion of species on the way to its final destination in humans. These facts also fully support the above hypothesis of universe formations. (shrink)

We propose a framework for including information‐processing bounds in rational analyses. It is an application of bounded optimality (Russell & Subramanian, 1995) to the challenges of developing theories of mechanism and behavior. The framework is based on the idea that behaviors are generated by cognitive mechanisms that are adapted to the structure of not only the environment but also the mind and brain itself. We call the framework computational rationality to emphasize the incorporation of computational mechanism into the definition (...) of rational action. Theories are specified as optimal program problems, defined by an adaptation environment, a bounded machine, and a utility function. Such theories yield different classes of explanation, depending on the extent to which they emphasize adaptation to bounds, and adaptation to some ecology that differs from the immediate local environment. We illustrate this variation with examples from three domains: visual attention in a linguistic task, manual response ordering, and reasoning. We explore the relation of this framework to existing “levels” approaches to explanation, and to other optimality‐based modeling approaches. (shrink)

This article aims to discuss some theoretical problems regarding to human rights. It begins with a theoretician and conceptual discussion about modern State, empire of law, politics and law, sovereignty etc. and their relation with the idea of human rights, which have been more than ever supported and guaranteed by the Rule of law and its institutional arrangements. It has been necessary to briefly discuss the notion of citizenship to understand how human rights have arrived to such ordinance, for citizenship (...) would discharge, in XXth century, in the concept of human rights, whose redefinition would culminate in the Declaration of Vienna in 1993. After that, human rights had been studied through innumerable paradigms from different authors, whose statements and general lines are reconstituted and agglutinated in four typical-ideal models of interpretation. Finally, some statements regarding this subject had been made, from recent facts and events that have rearranged the worldwide politics in the beginning of the century, trying to confront the theories with the reality that is presented to us. Key words: human rights, theory of the State, international relations, theory politics, international law. (shrink)

We agree that social interaction is crucial for understanding the development of theory of mind, but suggest that further elaboration of certain issues is needed. Detailed description of the knowledge structure of a developing theory of mind is necessary, and the notion of criteria for the use of mental state terms requires consideration of the sentence structures in which such terms appear.

Does Nature permit the implementation of behaviours that cannot be simulated computationally? We consider the meaning of physical computation in some detail, and present arguments in favour of physical hypercomputation: for example, modern scientific method does not allow the specification of any experiment capable of refuting hypercomputation. We consider the implications of relativistic algorithms capable of solving the (Turing) Halting Problem. We also reject as a fallacy the argument that hypercomputation has no relevance because non-computable values are indistinguishable from (...) sufficiently close computable approximations. In addition to considering the nature of computability relative to any given physical theory, we can consider the relationship between versions of computability corresponding to different models of physics. Deutsch and Penrose have argued on mathematical grounds that quantum computation and Turing computation have equivalent formal power. We suggest this equivalence is invalid when considered from the physical point of view, by highlighting a quantum computational behaviour that cannot meaningfully be considered feasible in the classical universe. (shrink)

Formalizing commonsense knowledge for reasoning about time has long been a central issue in AI. It has been recognized that the existing formalisms do not provide satisfactory solutions to some fundamental problems, viz. the frame problem. Moreover, it has turned out that the inferences drawn do not always coincide with those one had intended when one wrote the axioms. These issues call for a well-defined formalism and useful computational utilities for reasoning about time and change. Yoav Shoham of Stanford University (...) introduced in his 1986 Yale doctoral thesis an appealing temporal nonmonotonic logic and identified a class of theories, causal theories, which have computationally simple model-theoretic properties. This paper is a study towards building upon Shoham's work on causal theories. We concentrate on improving computational aspects of causal theories while preserving their model-theoretic properties. (shrink)

Aesthetic theory distinguishes different approaches to understanding the sensory and logical. The author agrees with I. Kant’s theory that sensory perception is subjective and the imagination is given the opportunity to invent fictional characters that do not exist in real life. Digital technologies make it possible to revive and introduce such characters into an artistic performance. This process becomes possible with the help of computer algorithms that are used to create art practices. There are many contradictory publications where there is (...) no understanding of the technological process of the task at hand, for example, that it is possible to write a program that will “teach machine aesthetics” using pictures. Therefore, the author turns to three technological solutions (virtual reality, augmented reality and artificial intelligence or neural networks) and examines, using the example of existing programs and applications, how the process of interacting computer algorithms of artistic creativity with the imagination and skill of stage work directors (play, opera, choreography). The author solves this issue within the framework of algorithmic aesthetics, which considers the process of communication, but unlike media theory, considers the process of information exchange in binary code. The algorithms by which the written programs operate do not create a “code spirit”, but allow the creation of tools for artistic creativity and the development of the skills of talented people. (shrink)

There has been an ongoing conflict regarding whether reality is fundamentally digital or analogue. Recently, Floridi has argued that this dichotomy is misapplied. For any attempt to analyse noumenal reality independently of any level of abstraction at which the analysis is conducted is mistaken. In the pars destruens of this paper, we argue that Floridi does not establish that it is only levels of abstraction that are analogue or digital, rather than noumenal reality. In the pars construens of this paper, (...) we reject a classification of noumenal reality as a deterministic discrete computational system. We show, based on considerations from classical physics, why a deterministic computational view of the universe faces problems (e.g., a reversible computational universe cannot be strictly deterministic). (shrink)

Since its formal definition over sixty years ago, category theory has been increasingly recognized as having a foundational role in mathematics. It provides the conceptual lens to isolate and characterize the structures with importance and universality in mathematics. The notion of an adjunction (a pair of adjoint functors) has moved to center-stage as the principal lens. The central feature of an adjunction is what might be called "internalization through a universal" based on universal mapping properties. A recently developed (...) "heteromorphic" theory of adjoint functors allows the concepts to be more easily applied empirically. This suggests a conceptual structure, albeit abstract, to model a range of selectionist mechanisms (e.g., in evolution and in the immune system). Closely related to adjoints is the notion of a "brain functor" which abstractly models structures of cognition and action (e.g., the generative grammar view of language). (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Believing in Yesterday while Living for TodayJudith P. HallettLee T. Pearcy's meditation on the past and prospects of classical education in the United States, The Grammar of Our Civility: Classical Education in America (Baylor University Press, Waco, Tex. 2005), embarks from an assessment by the German émigré-scholar Werner Jaeger in his Scripta Minora, published in Rome in 1961, a year before Jaeger died. Jaeger's exact words merit full quotation: (...) "Without the continuing prestige of the ancient idea of humanity in human culture, classical scholarship is just a waste of time. Whoever does not see this ought to come to America and let himself learn from the way classical studies have developed there." Arguing "that Jaeger was right," Pearcy contends that "Classics, the study of ancient Greece and Rome, has never developed, as other academic subjects and disciplines have, a distinctly American form in response to American social and cultural conditions." Instead, "classics in this country has imitated European models and patterned itself after forms of education and scholarship developed in a cultural context where, as Jaeger saw, the prestige of Humanism guaranteed the cultural value of classical study" (Foreword, x).The Grammar of Our Civility not only offers a thoughtful response to Jaeger's criticism of how classical studies have developed in this alien environment; it also considers how they might, at long last, become truly American. In faulting classics in this country for merely emulating inapposite European models, Pearcy investigates the genesis of these models in Renaissance Italy and nineteenth-century England and Germany, and traces the evolution of American classics in higher and secondary education from colonial to contemporary times. He maintains that the inability of classics "to negotiate successfully the transition at the end of the nineteenth century," moving from the curricular configurations that have been called the "Old College" to the modern American university, has left it uniquely marginalized among professionalized disciplines. Yet he also evocatively imagines, in the mode of another illustrious European settler on our shores, John Lennon: "the contours of a distinctive form of classical education grounded in American personal and social reality [End Page 589] as firmly as European classical studies were grounded in the society they served" (Foreword, ix–x).Pearcy insists that this "pragmatic" American form of classical education needs to resemble its European predecessor by remaining "a way of becoming human and humane." Nevertheless, he envisions that it will adopt patterns of education and scholarship that draw on the "progressive, democratic strain" in the practice of a few American classicists, "avoid[ing] the temptations of some postmodern theories that deny language and literature any possibility of interacting with the human world and make them instruments of power rather than the creators of the powerful." He visualizes a discipline that emerges from and reacts to what he terms the "American cultural self... indeterminate and various." At the same time, he stipulates that this new form of classics must respond to "Jaeger's provocative challenge... by refusing to depend on the 'ancient idea of humanity in human culture'" (118–19).Jaeger's "ancient idea," responsible for the form of classical education that prevailed from approximately the Renaissance to World War I, is the "grammar" of Pearcy's title. Pearcy deploys the term "grammar" in an inventive, subtle analogy between the mastery of an individual language and the study of the entire classical world. As he observes, much as those who acquire the fundamentals of a language through exposure to abstract accounts of its workings become capable of comprehending and actively transforming the culture that this language describes and sustains, so those who once absorbed the messages emanating from that old-time, Old World classical education came to possess the "tastes, values and attitudes of the governing class," and be deemed "civilized" (2–5).Pearcy ponders the form that this "civility" of yore—informed, humane interactions of the mind—might assume in American society today. He similarly considers how a new, culturally rooted and authentic kind of grammar—formal intellectual engagement with the ancient Greco-Roman world in the halls of learning—might foster that civility. Not surprisingly, he assumes that those acquiring this grammar "will begin... (shrink)

The distinction between such differing approaches to cognition as connectionism and rule-based models is paralleled by a distinction between two basic modes of cognition postulated in the so-called dual-process theories. Integrating these theories with insights from hybrid systems might help solve the dilemma of combining the demands of evolutionary plausibility and computational universality. No single approach alone can achieve this.