Butz, Achimova, Bilkey, and Knott provide a topic overview and discuss whether the special issue contributions may imply that event‐predictive abilities constitute a root for conceptual human thought, because they enable complex, mutually beneficial, but also intricately competitive, social interactions and language communication.

Butz, Achimova, Bilkey, and Knott provide a topic overview and discuss whether the special issue contributions may imply that event‐predictive abilities constitute a root for conceptual human thought, because they enable complex, mutually beneficial, but also intricately competitive, social interactions and language communication.

This paper proposes how various disciplinary theories of cognition may be combined into a unifying, sub-symbolic, computational theory of cognition. The following theories are considered for integration: psychological theories, including the theory of event coding, event segmentation theory, the theory of anticipatory behavioral control, and concept development; artificial intelligence and machine learning theories, including reinforcement learning and generative artificial neural networks; and theories from theoretical and computational neuroscience, including predictive coding and free energy-based inference. In the light of such a (...) potential unification, it is discussed how abstract cognitive, conceptualized knowledge and understanding may be learned from actively gathered sensorimotor experiences. The unification rests on the free energy-based inference principle, which essentially implies that the brain builds a predictive, generative model of its environment. Neural activity-oriented inference causes the continuous adaptation of the currently active predictive encodings. Neural structure-oriented inference causes the longer term adaptation of the developing generative model as a whole. Finally, active inference strives for maintaining internal homeostasis, causing goal-directed motor behavior. To learn abstract, hierarchical encodings, however, it is proposed that free energy-based inference needs to be enhanced with structural priors, which bias cognitive development towards the formation of particular, behaviorally suitable encoding structures. As a result, it is hypothesized how abstract concepts can develop from, and thus how they are structured by and grounded in, sensorimotor experiences. Moreover, it is sketched-out how symbol-like thought can be generated by a temporarily active set of predictive encodings, which constitute a distributed neural attractor in the form of an interactive free-energy minimum. The activated, interactive network attractor essentially characterizes the semantics of a concept or a concept composition, such as an actual or imagined situation in our environment. Temporal successions of attractors then encode unfolding semantics, which may be generated by a behavioral or mental interaction with an actual or imagined situation in our environment. Implications, further predictions, possible verification and falsifications, as well as potential enhancements into a fully spelled-out unified theory of cognition are discussed at the end of the paper. (shrink)

This book offers an interdisciplinary introduction to embodied cognitive science, addressing the question of how the mind comes into being while actively interacting with and learning from the environment by means of the own body. By pursuing a functional and computational perspective, concrete answers are provided about the fundamental mechanisms and developing structures that must bring the mind about, taking into account insights from biology, neuroscience, psychology, and philosophy as well as from computer science, machine learning, and artificial intelligence.

Pursuing a precise, focused train of thought requires cognitive effort. Even more effort is necessary when more alternatives need to be considered or when the imagined situation becomes more complex. Cognitive resources available to us limit the cognitive effort we can spend. In line with previous work, an information-theoretic, Bayesian brain approach to cognitive effort is pursued: to solve tasks in our environment, our brain needs to invest information, that is, negative entropy, to impose structure, or focus, away from a (...) uniform structure or other task-incompatible, latent structures. To get a more complete formalization of cognitive effort, a resourceful event-predictive inference model is introduced, which offers computational and algorithmic explanations about the latent structure of our generative models, the active inference dynamics that unfold within, and the cognitive effort required to steer the dynamics—to, for example, purposefully process sensory signals, decide on responses, and invoke their execution. REPI suggests that we invest cognitive resources to infer preparatory priors, activate responses, and anticipate action consequences. Due to our limited resources, though, the inference dynamics are prone to task-irrelevant distractions. For example, the task-irrelevant side of the imperative stimulus causes the Simon effect and, due to similar reasons, we fail to optimally switch between tasks. An actual model implementation simulates such task interactions and offers first estimates of the involved cognitive effort. The approach may be further studied and promises to offer deeper explanations about why we get quickly exhausted from multitasking, how we are influenced by irrelevant stimulus modalities, why we exhibit magnitude interference, and, during social interactions, why we often fail to take the perspective of others into account. (shrink)

In line with Allen Newell's challenge to develop complete cognitive architectures, and motivated by a recent proposal for a unifying subsymbolic computational theory of cognition, we introduce the cognitive control architecture SEMLINCS. SEMLINCS models the development of an embodied cognitive agent that learns discrete production rule-like structures from its own, autonomously gathered, continuous sensorimotor experiences. Moreover, the agent uses the developing knowledge to plan and control environmental interactions in a versatile, goal-directed, and self-motivated manner. Thus, in contrast to several well-known (...) symbolic cognitive architectures, SEMLINCS is not provided with production rules and the involved symbols, but it learns them. In this paper, the actual implementation of SEMLINCS causes learning and self-motivated, autonomous behavioral control of the game figure Mario in a clone of the computer game Super Mario Bros. Our evaluations highlight the successful development of behavioral versatility as well as the learning of suitable production rules and the involved symbols from sensorimotor experiences. Moreover, knowledge- and motivation-dependent individualizations of the agents’ behavioral tendencies are shown. Finally, interaction sequences can be planned on the sensorimotor-grounded production rule level. Current limitations directly point toward the need for several further enhancements, which may be integrated into SEMLINCS in the near future. Overall, SEMLINCS may be viewed as an architecture that allows the functional and computational modeling of embodied cognitive development, whereby the current main focus lies on the development of production rules from sensorimotor experiences. (shrink)

Spatial, physical, and semantic magnitude dimensions can influence action decisions in human cognitive processing and interact with each other. For example, in the SNARC effect, semantic numerical magnitude facilitates left-hand or right-hand responding dependent on the small or large magnitude of number symbols. SNARC-like interactions of numerical magnitudes with the radial spatial dimension (depth) were postulated from early on. Usually, the SNARC effect in any direction is investigated using fronto-parallel computer monitors for presentation of stimuli. In such 2D setups, however, (...) the metaphorical and literal interpretation of the radial depth axis with seemingly close / far stimuli or responses are not distinct. Hence, it is difficult to draw clear conclusions with respect to the contribution of different spatial mappings to the SNARC effect. In order to disentangle the different mappings in a natural way, we studied parametrical interactions between semantic numerical magnitude, horizontal directional responses, and perceptual distance by means of stereoscopic depth in an immersive virtual reality (VR). Two VR experiments show horizontal SNARC effects across all spatial displacements in traditional latency measures and kinematic response parameters. No indications of a SNARC effect along the depth axis, as it would be predicted by a direct mapping account, were observed, but the results show a non-linear relationship between horizontal SNARC slopes and physical distance. Steepest SNARC slopes were observed for digits presented close to the hands. We conclude that spatial-numerical processing is susceptible to effector-based processes but relatively resilient to task-irrelevant variations of radial-spatial magnitudes. (shrink)

Cognitive Science, Volume 45, Issue 8, August 2021.

We propose that moral behaviour of artificial agents could be intrinsically grounded in their own sensory-motor experiences. Such an ability depends critically on seven types of competencies. First, intrinsic morality should be grounded in the internal values of the robot arising from its physiology and embodiment. Second, the moral principles of robots should develop through their interactions with the environment and with other agents. Third, we claim that the dynamics of moral emotions closely follows that of other non-social emotions used (...) in valuation and decision making. Fourth, we explain how moral emotions can be learned from the observation of others. Fifth, we argue that to assess social interaction, a robot should be able to learn about and understand responsibility and causation. Sixth, we explain how mechanisms that can learn the consequences of actions are necessary for a robot to make moral decisions. Seventh, we describe how the moral evaluation mechanisms outlined can be extended to situations where a robot should understand the goals of others. Finally, we argue that these competencies lay the foundation for robots that can feel guilt, shame and pride, that have compassion and that know how to assign responsibility and blame. (shrink)

Recent developments in Continental philosophy have included the emergence of a school of “speculative realism,” which rejects the human-centered orientation that has long dominated Continental thought. Proponents of speculative realism differ on several issues, but many agree on the need for an object-oriented ontology. Some speculative realists identify realism with materialism, while others accord equal reality to objects that are non-material, even fictional. Several thinkers retain a focus on difference, a well-established theme in Continental thought. This paper looks at speculative (...) realism from the perspective of systems theory. Many of the tenets of speculative realism have long been features of systems metaphysics and are expressed clearly in a systems framework. However, some views of some speculative realists differ substantially from systems theoretic ideas. (shrink)

The phenomenon of altruism extends from the biological realm to the human sociocultural realm. This article sketches a coherent outline of multiple types of altruism of progressively increasing scope that span these two realms and are grounded in an ever-expanding sense of “self.” Discussion of this framework notes difficulties associated with altruism at different levels. It links scientific ideas about the evolution of cooperation and about hierarchical order to perennial philosophical and religious concerns. It offers a conceptual background for inquiry (...) into societal challenges that call for altruistic behavior, especially the challenge of environmental and social sustainability. (shrink)

ID 68, the important Delian inscription found in 1910 prohibiting access to outsiders and with jurisdiction probably over the Archegesion, is shown to have been inscribed twice. This is not a matter of republication, rather of simultaneous publication within the same sanctuary. The article provides a new text and a complete bibliography for the double publication before analyzing the architectural function of the two inscriptions and their significance as sacred law. With emphasis on the palaeography and aesthetic value of the (...) letterforms as well as on the physical evidence of the stones themselves, the meaning of the prohibition is reexamined, resulting in the proposal of a specific social context and date. (shrink)

In this lively collection ten philosophers tackle the notoriously elusive issues raised by religious discourse in a series of linked debates. The debates focus on reason and faith; the logic of mysticism; the meaning of the word 'God'; language, biblical interpretation and worship; and religion and ethics. Through contemporary philosophical analysis it is possible to shed new light on teh status and language of religion, and in many ways the contributors to Religion and Philosophy break new ground in this perennially (...) controversial field. The collection is addressed to philosophers, theologians and anyone with a general intellectual interest in religion. Certainly it will be a valuable addition to the reading list of all teachers or students of the philosophy of religion. (shrink)

Martin Wrights original ground-breaking and influential analysis of the defects of the adversarial system of justice, plus the arguments in favour of a more ...

Heidegger in America explores the surprising legacy of his life and thought in the United States of America. As a critic of modern life, Heidegger often lamented the growing global influence of all things American. However, it was precisely in America where his thought inspired the work of generations of thinkers – not only philosophers but also theologians, architects, novelists, and even pundits. As a result, the reception and dissemination of Heidegger's philosophical writings transformed the intellectual and cultural history of (...) the United States at a time when American influence was itself transforming the world. A case study in the complex and sometimes contradictory process of transnational exchange, Heidegger in America recasts the scope and methods of contemporary intellectual and cultural history in the age of globalization, challenging what we think we know about Heidegger and American ideas simultaneously. (shrink)

Purpose: Constructivism postulates that the perceived reality is a complex construct formed during development. Depending on the particular school, these inner constructs take on different forms and structures and affect cognition in different ways. The purpose of this article is to address the questions of how and, even more importantly, why we form such inner constructs. Approach: This article proposes that brain development is controlled by an inherent anticipatory drive, which biases learning towards the formation of forward predictive structures and (...) inverse goal-oriented control structures. This drive, in combination with increasingly complex environmental interactions during cognitive development, enforces the structuring of our conscious self, which is embedded in a constructed inner reality. Essentially, the following questions are addressed: Which basic mechanisms lead us to the construction of inner realities? How are these emergent inner realities structured? How is the self represented within the inner realities? And consequently, which cognitive structures constitute the media for conscious thought and selfconsciousness? Findings: Due to the anticipatory drive, representations in the brain shape themselves predominantly purposefully or intentionally. Taking a developmental, evolutionary perspective, we show how the brain is forced to develop progressively complex and abstract representations of the self embedded in the constructed inner realities. These self representations can evoke different stages of self-consciousness. Implications: The anticipatory drive shapes brain structures and cognition during the development of progressively more complex, competent, and flexible goal-oriented bodyenvironment interactions. Self-consciousness develops because increasingly abstract, individualizing self representations are necessary to realize these progressively more challenging environmental interactions. (shrink)

The discussion of collective agency involves the reduction problem of the concept of a collective. Individualism and Cartesian internalism have long restricted orthodox theories and made them face the tension between an irreducible concept of a collective and ontological reductionism. Heterodox theories as functionalism and interpretationism reinterpret the concept of agency and accept it as realized on the level of a collective. In order to adequately explain social phenomena that have relations as their essence, in this paper we propose a (...) relational, holistic account of collective agency and argue that functionalism and interpretationism can be integrated into such an account. (shrink)

By a classifying topos for a first-order theory , we mean a topos such that, for any topos models of in correspond exactly to open geometric morphisms → . We show that not every first-order theory has a classifying topos in this sense, but we characterize those which do by an appropriate ‘smallness condition’, and we show that every Grothendieck topos arises as the classifying topos of such a theory. We also show that every first-order theory has a conservative extension (...) to one which possesses a classifying topos, and we obtain a Heyting-valued completeness theorem for infinitary first-order logic. (shrink)

We show how to interpret the language of first-order set theory in an elementary topos endowed with, as extra structure, a directed structural system of inclusions (dssi). As our main result, we obtain a complete axiomatization of the intuitionistic set theory validated by all such interpretations. Since every elementary topos is equivalent to one carrying a dssi, we thus obtain a first-order set theory whose associated categories of sets are exactly the elementary toposes. In addition, we show that the full (...) axiom of Separation is validated whenever the dssi is superdirected. This gives a uniform explanation for the known facts that cocomplete and realizability toposes provide models for Intuitionistic Zermelo—Fraenkel set theory (IZF). (shrink)

Using recent results in topos theory, two systems of higher-order logic are shown to be complete with respect to sheaf models over topological spaces-so-called "topological semantics". The first is classical higher-order logic, with relational quantification of finitely high type; the second system is a predicative fragment thereof with quantification over functions between types, but not over arbitrary relations. The second theorem applies to intuitionistic as well as classical logic.

Open peer commentary on the article “A Computational Constructivist Model as an Anticipatory Learning Mechanism for Coupled Agent–Environment Systems” by Filipo Studzinski Perotto. Upshot: The schema system presented in the target article suffers from problems that had been acknowledged more than ten years ago. The main point is that our world is neither deterministic nor symbolic. Sensory as well as motor noise is ubiquitous in our environment. Symbols do not exist a priori but need to be grounded within our continuous (...) world. In conclusion, I suggest that research on schema-learning systems should tackle small but real-world, continuous, and noisy problem domains. (shrink)

Open peer commentary on the target article “Who Conceives of Society?” by Ernst von Glasersfeld. First paragraph: Cognitive psychology, neurobiology, and cognitive systems research provide diverse clues as to how we are able to incrementally construct representations of the perceived environment and how we consequently understand other individuals and society. The construction of an individual’s reality starts with the capability to control one’s own body and to be able to predict the usual sensory effects caused by body movements. To be (...) able to infer the potential intentions of others, mirror neurons project one’s own behavioral codes onto perceived patterns that are caused by others. Equipped with representations of many other individuals, personal social realities are constructed. In this commentary, I focus on these points for the construction of social reality and the consequent existence of society as a whole. (shrink)

Open peer commentary on the article “Exploration of the Functional Properties of Interaction: Computer Models and Pointers for Theory” by Etienne B. Roesch, Matthew Spencer, Slawomir J. Nasuto, Thomas Tanay & J. Mark Bishop. Upshot: Although the authors investigate a form of distributed swarm intelligence and solve some problems with it – including sorting and summing – the major goal, which is constructing cognition, cannot be achieved by this approach alone. I propose that anticipatory mechanisms have the potential to construct (...) cognition and may very well be combined with swarm intelligence principles. (shrink)

This study compares the relationship between the moral reasoning modes and leadership orientation of males versus females, and managers versus engineers/scientists. A questionnaire developed by Worthley (1987) was used to measure the degree of each participant's respective independence and justice, and relationships and caring moral reasoning modes. Leadership orientation values and attitudes were measured using the Fiedler and Chemers (1984) Least Preferred Coworker Scale.The results suggest that, although males differ from female in their dominant moral reasoning modes, managers are not (...) distinguishable from the engineers/scientists they manage in terms of their moral reasoning mode or Least Preferred Coworker score. (shrink)

We use the language of categorical logic to construct generic saturated models of intuitionistic theories. Our main technique is the thorough study of the filter construction on categories with finite limits, which is the completion of subobject lattices under filtered meets. When restricted to coherent or Heyting categories, classifying categories of intuitionistic first-order theories, the resulting categories are filtered meet coherent categories, coherent categories with complete subobject lattices such that both finite disjunctions and existential quantification distribute over filtered meets. Such (...) categories naturally embed into Grothendieck toposes which then contain saturated models of the theory we started with. (shrink)

Moral luck is a puzzling aspect of our psychology: Why do we punish outcomes that were not intended (i.e. accidents)? Prevailing psychological accounts of moral luck characterize it as an accident or error, stemming either from a re‐evaluation of the agent's mental state or from negative affect aroused by the bad outcome itself. While these models have strong evidence in their favor, neither can account for the unique influence of accidental outcomes on punishment judgments, compared with other categories of moral (...) judgment. Why might punishment be particularly sensitive to moral luck? We suggest that such sensitivity is easily understood from the broader perspective of punishment's ultimate adaptive goal: Changing others’ behavior by exploiting their capacity to learn. This pedagogical perspective accounts for the exceptional influence of outcomes on punitive sentiments and makes predictions for additional moderators of punishment. We review evidence supporting the pedagogical hypothesis of punishment and discuss fruitful directions for future research. (shrink)

Using recent results in topos theory, two systems of higher-order logic are shown to be complete with respect to sheaf models over topological spaces- so -called "topological semantics." The first is classical higher-order logic, with relational quantification of finitely high type; the second system is a predicative fragment thereof with quantification over functions between types, but not over arbitrary relations. The second theorem applies to intuitionistic as well as classical logic.

We prove a topological completeness theorem for infinitary geometric theories with respect to sheaf models. The theorem extends a classical result of Makkai and Reyes, stating that any topos with enough points has an open spatial cover. We show that one can achieve in addition that the cover is connected and locally connected.

In this paper we study the logic , which is first-order logic extended by quantification over functions (but not over relations). We give the syntax of the logic as well as the semantics in Heyting categories with exponentials. Embedding the generic model of a theory into a Grothendieck topos yields completeness of with respect to models in Grothendieck toposes, which can be sharpened to completeness with respect to Heyting-valued models. The logic is the strongest for which Heyting-valued completeness is known. (...) Finally, we relate the logic to locally connected geometric morphisms between toposes. (shrink)

In this paper we study the logic $\mathcal{L}^\lambda_{\omega\omega}$, which is first-order logic extended by quantification over functions (but not over relations). We give the syntax of the logic as well as the semantics in Heyting categories with exponentials. Embedding the generic model of a theory into a Grothendieck topos yields completeness of $\mathcal{L}^\lambda_{\omega\omega}$ with respect to models in Grothendieck toposes, which can be sharpened to completeness with respect to Heyting-valued models. The logic $\mathcal{L}^\lambda_{\omega\omega}$ is the strongest for which Heyting-valued completeness (...) is known. Finally, we relate the logic to locally connected geometric morphisms between toposes. (shrink)