There has been much discussion recently about the scope and limits of purely symbolic models of the mind and about the proper role of connectionism in cognitive modeling. This paper describes the symbol grounding problem : How can the semantic interpretation of a formal symbol system be made intrinsic to the system, rather than just parasitic on the meanings in our heads? How can the meanings of the meaningless symbol tokens, manipulated solely on the basis (...) of their shapes, be grounded in anything but other meaningless symbols? The problem is analogous to trying to learn Chinese from a Chinese/Chinese dictionary alone. A candidate solution is sketched: Symbolic representations must be grounded bottom-up in nonsymbolic representations of two kinds: iconic representations, which are analogs of the proximal sensory projections of distal objects and events, and categorical representations, which are learned and innate feature-detectors that pick out the invariant features of object and event categories from their sensory projections. Elementary symbols are the names of these object and event categories, assigned on the basis of their categorical representations. Higher-order symbolic representations, grounded in these elementary symbols, consist of symbol strings describing category membership relations. Connectionism is one natural candidate for the mechanism that learns the invariant features underlying categorical representations, thereby connecting names to the proximal projections of the distal objects they stand for. In this way connectionism can be seen as a complementary component in a hybrid nonsymbolic/symbolic model of the mind, rather than a rival to purely symbolic modeling. Such a hybrid model would not have an autonomous symbolic module, however; the symbolic functions would emerge as an intrinsically dedicated symbol system as a consequence of the bottom-up grounding of categories ' names in their sensory representations. Symbol manipulation would be governed not just by the arbitrary shapes of the symbol tokens, but by the nonarbitrary shapes of the icons and category invariants in which they are grounded. (shrink)

This article reviews eight proposed strategies for solving the Symbol Grounding Problem (SGP), which was given its classic formulation in Harnad (1990). After a concise introduction, we provide an analysis of the requirement that must be satisfied by any hypothesis seeking to solve the SGP, the zero semantical commitment condition. We then use it to assess the eight strategies, which are organised into three main approaches: representationalism, semi-representationalism and non-representationalism. The conclusion is that all the strategies are (...) semantically committed and hence that none of them provides a valid solution to the SGP, which remains an open problem. (shrink)

This article is the second step in our research into the Symbol Grounding Problem (SGP). In a previous work, we defined the main condition that must be satisfied by any strategy in order to provide a valid solution to the SGP, namely the zero semantic commitment condition (Z condition). We then showed that all the main strategies proposed so far fail to satisfy the Z condition, although they provide several important lessons to be followed by any new (...) proposal. Here, we develop a new solution of the SGP. It is called praxical in order to stress the key role played by the interactions between the agents and their environment. It is based on a new theory of meaning—Action-based Semantics (AbS)—and on a new kind of artificial agents, called two-machine artificial agents (AM²). Thanks to their architecture, AM2s implement AbS, and this allows them to ground their symbols semantically and to develop some fairly advanced semantic abilities, including the development of semantically grounded communication and the elaboration of representations, while still respecting the Z condition. (shrink)

The Chinese room argument has presented a persistent headache in the search for Artificial Intelligence. Since it first appeared in the literature, various interpretations have been made, attempting to understand the problems posed by this thought experiment. Throughout all this time, some researchers in the Artificial Intelligence community have seen Symbol Grounding as proposed by Harnad as a solution to the Chinese room argument. The main thesis in this paper is that although related, these two issues present different (...) problems in the framework presented by Harnad himself. The work presented here attempts to shed some light on the relationship between John Searle’s intentionality notion and Harnad’s Symbol Grounding Problem. (shrink)

The symbol grounding problem (SGP) proposed by Stevan Harnad in 1990, originates from Searle’s “Chinese Room Argument” and refers to the problem of how a pure symbolic system acquires its meaning. While many solutions to this problem have been proposed, all of them have encountered inconsistencies to different extents. A recent approach for resolving the problem is to divide the SGP into hard and easy problems echoing the distinction between hard and easy problems for (...) resolving the enigma of consciousness. This however turns out not to be an ideal strategy: Everything related to consciousness that cannot be well-explained by present theories can be categorized as a hard problem which as a consequence would doom the SGP to irresolvability. We therefore argue that the SGP can be regarded as a general problem of how an AI system can have intentionality, and develop a theoretical direction for its solution. (shrink)

Floridi and Taddeo propose a condition of “zero semantic commitment” for solutions to the grounding problem, and a solution to it. I argue briefly that their condition cannot be fulfilled, not even by their own solution. After a look at Luc Steels' very different competing suggestion, I suggest that we need to re-think what the problem is and what role the ‘goals’ in a system play in formulating the problem. On the basis of a proper understanding (...) of computing, I come to the conclusion that the only sensible ground-ing problem is how we can explain and re-produce the behavioral ability and function of meaning in artificial computational agents. (shrink)

I see four symbol grounding problems: 1) How can a purely computational mind acquire meaningful symbols? 2) How can we get a computational robot to show the right linguistic behavior? These two are misleading. I suggest an 'easy' and a 'hard' problem: 3) How can we explain and re-produce the behavioral ability and function of meaning in artificial computational agents?4) How does physics give rise to meaning?

The symbol grounding problem is concerned with the question of how the knowledge used in AI programs, expressed as tokens in one form or another or simply symbols, could be grounded to the outside world. By grounding the symbols, it is meant that the system will know the actual objects, events, or states of affairs in the world to which each symbol refers and thus be worldly-wise. Solving this problem, it was hoped, would enable (...) the program to understand its own action and hence be truly intelligent ). The problem becomes more acute after a challenge posed by Searle in his now famous Chinese Room Gedanken experiment. Searle argued that no AI programs can be said to understand or have other cognitive states, if all they do is formal symbol manipulation. (shrink)

This paper illustrates how external symbol grounding can be studied in simulations with large populations. We discuss how we can simulate language evolution in a relatively complex environment which has been developed in the context of the New Ties project. This project has the objective of evolving a cultural society and, in doing so, the agents have to evolve a communication system that is grounded in their interactions with their virtual environment and with other individuals. A preliminary experiment (...) is presented in which we investigate the effect of a number of learning mechanisms. The results show that the social symbol grounding problem is a particularly hard one; however, we provide an ideal platform to study this problem. (shrink)

This paper illustrates how external symbol grounding can be studied in simulations with large populations. We discuss how we can simulate language evolution in a relatively complex environment which has been developed in the context of the New Ties project. This project has the objective of evolving a cultural society and, in doing so, the agents have to evolve a communication system that is grounded in their interactions with their virtual environment and with other individuals. A preliminary experiment (...) is presented in which we investigate the effect of a number of learning mechanisms. The results show that the social symbol grounding problem is a particularly hard one; however, we provide an ideal platform to study this problem. (shrink)

The aim of the paper is to present the underlying reason of the unsolved symbol grounding problem. The Church-Turing Thesis states that a physical problem, for which there is an algorithm of solution, can be solved by a Turing machine, but machine operations neglect the semantic relationship between symbols and their meaning. Symbols are objects that are manipulated on rules based on their shapes. The computations are independent of the context, mental states, emotions, or feelings. The (...) symbol processing operations are interpreted by the machine in a way quite different from the cognitive processes. Cognitive activities of living organisms and computation differ from each other, because of the way they act in the real word. The result is the problem of mutual understanding of symbol grounding. (shrink)

After reviewing the papers in this special issue, I must conclude that brains are not syntactic engines, but control systems that orient to biological, interindividual, and cultural norms. By themselves, syntactic constraints both underdetermine and overdetermine cognitive operations. So, rather than serving as the basis for general cognition, they are just another kind of empirically acquired constraint. In humans, symbols emerge from a particular sensorimotor activity through a process of contextual broadening that depends on the coordination of conscious and nonconscious (...) processing. This process provides the representational freedom and stability that constitute the human brain’s solution to the frame problem and symbol grounding problem. Symbol formation and grounding is an ongoing process of generalising constraints from particular contexts, selectively enlisting their use, and re-automating them. This process is central to the self-creation of a language-using person with beliefs, agency, and identity. (shrink)

1.1 The predominant approach to cognitive modeling is still what has come to be called "computationalism" (Dietrich 1990, Harnad 1990b), the hypothesis that cognition is computation. The more recent rival approach is "connectionism" (Hanson & Burr 1990, McClelland & Rumelhart 1986), the hypothesis that cognition is a dynamic pattern of connections and activations in a "neural net." Are computationalism and connectionism really deeply different from one another, and if so, should they compete for cognitive hegemony, or should they collaborate? These (...) questions will be addressed here, in the context of an obstacle that is faced by computationalism (as well as by connectionism if it is either computational or seeks cognitive hegemony on its own): The symbol grounding problem (Harnad 1990). (shrink)

Cognitive theories based on a fixed feature set suffer from frame and symbol grounding problems. Flexible features and other empirically acquired constraints (e.g., analog-to-analog mappings) provide a framework for letting extrinsic relations influence symbol manipulation. By offering a biologically plausible basis for feature learning, nonorthogonal multiresolution analysis and dimensionality reduction, informed by functional constraints, may contribute to a solution to the symbol grounding problem.

The business ethics field contains a number of explanations for the imagination’s influence on decision-making. This has benefited moral theorizing because approaches that utilize the imagination tend to acknowledge important biological and psychological forces that influence the way we understand situations, develop strategies for problem-solving, and choose courses of action. But, I argue, the broad range of approaches has also served as an obstacle to theory development in the field. Given the variety of theoretical and disciplinary approaches, coupled with (...) the diversity of applications, it would be fair to judge the current state of theory as fractured. To bring focus to theory development, this conceptual study of the moral imagination is grounded in the work of one discipline, one theorist, one text: Plato’s Republic. The primary outcome of this study is the demonstration of the conditions under which the imagination serves to augment and support rationality rather than serving as an impediment. The systematic nature of Plato’s theory aids in the formation of more coherent conceptual grounding than currently available in the field. A final contribution of this study is the positioning of Plato as a proper beginning or foundation to any further theory development in the moral imagination. (shrink)

We give a necessary and sufficient condition in order that a type-shifting automorphism be constructed on a model of the Theory of Simple Types (TST) by forcing. Namely it is proved that, if for every n ≥ 1 there is a model of TST in the ground model M of ZFC that contains an n-extendible coherent pair, then there is a generic extension M[G] of M that contains a model of TST with a type-shifting automorphism, and hence M[G] contains a (...) model of NF. The converse holds trivially. It is also proved that there exist models of TST containing l-extendible coherent pairs. (shrink)

Ramscar and colleagues (2010, this volume) describe the “feature-label-order” (FLO) effect on category learning and characterize it as a constraint on symbolic learning. I argue that FLO is neither a constraint on symbolic learning in the sense of “learning elements of a symbol system” (instead, it is an effect on nonsymbolic, association learning) nor is it, more than any other constraint on category learning, a constraint on symbolic learning in the sense of “solving the symbol grounding (...) class='Hi'>problem.”. (shrink)

This article explores the links between the philosophies of Georges Canguilhem and Gilbert Simondon. It highlights their shared emphasis on the difficult character of human life, framing this difficulty in terms of an existential encounter with problems and their resolutions. It shows how the notion of ‘problem’ which grounds both of their thinking presupposes a neo-vitalist conception of life as purposive behaviour, extended to forms of collective, technical and symbolic activity. The consequences of this conception for Canguilhem's and Simondon's (...) engagement with questions of pedagogy, and the role of philosophical education in particular, are then examined. The article concludes by considering the ambiguous place of anxiety in their work and its significance for thinking about the conditions of knowledge and action. Following Canguilhem and Simondon, I argue for the importance of helping the human organism develop relatively autonomous interior and exterior milieus to cope with life's fundamental difficulty. (shrink)

This study tries to put the foundations of a theory of reasoning on the ground of philosophy as philosophy: what are the presupposed terms of the philosophical research, and what they are meaning. It intends to separate words from their “evident” meaning and to receive them as “symbolic items”. Symbolization is the most important way of proceeding in philosophy. Philosophers are usually not aware of this symbolical process. Thus, the structure of “knowing” in philosophy is presented as a way of (...) symbolizing. This perspective is open in referring to the traditional problems. (shrink)

The open-domain Frame Problem is the problem of determining what features of an open task environment need to be updated following an action. Here we prove that the open-domain Frame Problem is equivalent to the Halting Problem and is therefore undecidable. We discuss two other open-domain problems closely related to the Frame Problem, the system identification problem and the symbol-grounding problem, and show that they are similarly undecidable. We then reformulate the (...) Frame Problem as a quantum decision problem, and show that it is undecidable by any finite quantum computer. (shrink)

"In his Phenomenology of Cognition, Cassirer provides a comprehensive and systematic account of the dynamic process involved in the whole of human culture as it progresses from the world of myth and its feeling of social belonging to the highest abstractions of mathematics, logic and theoretical physics. Cassirer engages with the most sophisticated and cutting-edge work in fields ranging from ethnology to classics, egyptology and assyriology to ethology, brain science and psychology to logic, mathematics and theoretical physics. His command of (...) philosophy, literature, and the arts is superb. Echoing his work on Kant, Cassirer begins ThePhilosophy of Symbolic Formswith the problem posed by the meaning of being for philosophy since Plato. But Cassirer also shows that this problem gains new significance with Kant and with the development of modern culture. Cassirer weaves his conception of the development of knowledge into a broadly Kantian and German idealist dynamic-historical conception of significance and of experience that refuses to accept a fundamental opposition between literary, philosophical and scientific culture. In consequence of his great vision grounded in careful reflection and argument, Cassirer's systematic conception of the Copernican cosmopolitan-cosmological revolution is still philosophically and scientifically unmatched in contemporary philosophy on both sides of the Atlantic and of the Pacific." - Pierre Keller, Professor of Philosophy, University of California, Riverside, USA. This new translation makes Cassirer's seminal work available to a new generation of scholars. Each volume includes an introduction by Steve Lofts, a foreword by Peter Gordon, a glossary of key terms, and an index. Steve Lofts is Professor of Philosophy at King's University College, Canada. He is the translator of Cassirer's The Logic of the Cultural Sciences and The Warburg Years : Essays on Language, Art, Myth, and Technology. (shrink)

We consider the symbol grounding problem, and apply to it philosophical arguments against Cartesianism developed by Sellars and McDowell: the problematic issue is the dichotomy between inside and outside which the definition of a physical symbol system presupposes. Surprisingly, one can question this dichotomy and still do symbolic computation: a detailed examination of the hardware and software of serial ports shows this.

The Mahayana tradition in Buddhist philosophy is defined by its ethical orientation--the adoption of bodhicitta, the aspiration to attain awakening for the benefit of all sentient beings. And indeed, this tradition is known for its literature on ethics, which reflect the Madhyamaka tradition of philosophy, and emphasizes both the imperative to cultivate an attitude of universal care (karuna) grounded in the realization of emptiness, impermanence, independence, and the absence of any self in persons or other phenomena.This position is morally very (...) attractive, but raises an important problem: if all phenomena, including persons and actions, are only conventionally real, can moral injunctions or principles be binding, or does the conventional status of the reality we inhabit condemn us to an ethical relativism or nihilism? In Moonpaths, the Cowherds address an analogous problem in the domain of epistemology and argues that the Madhyamaka tradition has the resources to develop a robust account of truth and knowledge within the context of conventional reality. The essays explore a variety of ways in which to understand important Buddhist texts on ethics and Mahayana moral theory so as to make sense of the genuine force of morality. (shrink)

Scholars studying the origins and evolution of language are also interested in the general issue of the evolution of cognition. Language is not an isolated capability of the individual, but has intrinsic relationships with many other behavioral, cognitive, and social abilities. By understanding the mechanisms underlying the evolution of linguistic abilities, it is possible to understand the evolution of cognitive abilities. Cognitivism, one of the current approaches in psychology and cognitive science, proposes that symbol systems capture mental phenomena, and (...) attributes cognitive validity to them. Therefore, in the same way that language is considered the prototype of cognitive abilities, a symbol system has become the prototype for studying language and cognitive systems. Symbol systems are advantageous as they are easily studied through computer simulation (a computer program is a symbol system itself), and this is why language is often studied using computational models. (shrink)

This article explores the complementary strengths and weaknesses of grounded and abstract representations in the domain of early algebra. Abstract representations, such as algebraic symbols, are concise and easy to manipulate but are distanced from any physical referents. Grounded representations, such as verbal descriptions of situations, are more concrete and familiar, and they are more similar to physical objects and everyday experience. The complementary computational characteristics of grounded and abstract representations lead to trade‐offs in problem‐solving performance. In prior research (...) with high school students solving relatively simple problems, Koedinger and Nathan (2004) demonstrated performance benefits of grounded representations over abstract representations—students were better at solving simple story problems than the analogous equations. This article extends this prior work to examine both simple and more complex problems in two samples of college students. On complex problems with two references to the unknown, a “symbolic advantage” emerged, such that students were better at solving equations than analogous story problems. Furthermore, the previously observed “verbal advantage” on simple problems was replicated. We thus provide empirical support for a trade‐off between grounded, verbal representations, which show advantages on simpler problems, and abstract, symbolic representations, which show advantages on more complex problems. (shrink)

B a c k g r o u n d. The article is devoted to the analysis of the key directions of the study of the possible influence of the specifics of Chinese language culture on the content and nature of intellectual discourse, which is recognized as philosophical. Logic and ontology are the key areas of analysis of the possible influence of linguistic determinants on the intellectual discourse of China. Three main topics that attract the attention of researchers are the (...) structure of judgment, the semantics of lexical units, and the specificity of the pragmatics of the Chinese language. M e t h o d s. The author applied general scientific methods of analysis, synthesis, comparison and description of the works of researchers of Chinese philosophy, which justify and argue the fruitfulness of studying the peculiarities of Chinese language to explain the reasons of the fundamental difference between the problems actualized in the history of Chinese philosophy and those that formed the basis of the development of the history of philosophy in the Western world. R e s u l t s. It is generally accepted that for the worldview of representatives of Chinese culture, the world is a structural whole, consisting of elements that continuously interact in the dynamics of changes and transformations, we find a reflection of this feature in the semantics of the corresponding symbolic system. Polysemy in the Chinese language mostly reveals a complex and multi-layered "web" of associative and correlative connections between meanings, which in fact cannot be argued outside the context of the relevant cultural tradition indicating common features or similarities of the signified. The doubt about the typicality of understanding the denotations as fixed and atomized for the Chinese language culture is reasonable, even in those cases when it comes to the designation of empirically accessible objectivity. The main specific features of polysemy in the Chinese language are the complete heterogeneity of what is signified, and the lack of transparent grounds for identifying the genus-species subordination of the scope of general concepts. This can also serve as an explanation for the fact that we do not find a completely obvious and nondisputable analogue of the problem of universals of the Western model in the history of Chinese philosophy. C o n c l u s i o n s. Based on the peculiarities of the Chinese language culture, we can recognize as a reasonable a statement that the seemingly natural understanding of the essence – the subject, as something that remains the same (at least for a certain time), but it undergoes some changes through its manifestations – a predicate (properties and actions). It is not as necessary and axiomatic for Chinese thinkers as, for example, for ancient Greek philosophers. In addition, we can recognize the fact that the verb "to exist" does not fulfill the role of a necessary copula in judgments in the Chinese language, as a probable reason for the lack of fundamental problematization of the concept of "being" in the Chinese history of philosophy. In general, the context of the use of a certain word-sign in the Chinese language plays a determining role. The actualization of one or another meaning in an expression is formed not only by its integration into a certain text, but also by its purpose in accordance with the specific practice of application. Therefore, this can serve as an explanation for the absence of an original and axiomatic interpretation of truth as absolute, that is, unchanging and non-relative in the history of Chinese philosophy. (shrink)

A philosophical standard in the debates concerning material constitution is the case of a statue and a lump of clay, Goliath and Lumpl, respectively. According to the story, Lumpl and Goliath are coincident throughout their respective careers. Monists hold that they are identical; pluralists that they are distinct. This paper is concerned with a particular objection to pluralism, the Grounding Problem. The objection is roughly that the pluralist faces a legitimate explanatory demand to explain various differences she alleges (...) between Lumpl and Goliath, but that the pluralist’s theory lacks the resources to give any such explanation. In this paper, I explore the question of whether there really is any problem of this sort. I argue (i) that explanatory demands that are clearly legitimate are easy for the pluralist to meet; (ii) that even in cases of explanatory demands whose legitimacy is questionable the pluralist has some overlooked resources; and (iii) there is some reason for optimism about the pluralist’s prospects for meeting every legitimate explanatory demand. In short, no clearly adequate statement of a Grounding Problem is extant, and there is some reason to believe that the pluralist can overcome any Grounding Problem that we haven’t thought of yet. (shrink)

Behaviour is often described as the computation of a response to a stimulus. This description is incomplete in an important way because it only examines what occurs between the reception of stimulus information and the generation of an action. Behaviour is more correctly described as a control process where actions are performed in order to affect perceptions. This closed-loop nature of behaviour is de-emphasized in modern discussions of brain function, leading to a number of artificial mysteries. A notable example is (...) the ‘symbol grounding problem'. When behaviour is viewed as a control process, it is natural to explain how internal representations, even symbols, can have meaning for an organism, and how actions can be motivated by organic needs. (shrink)

Computation is interpretable symbol manipulation. Symbols are objects that are manipulated on the basis of rules operating only on theirshapes, which are arbitrary in relation to what they can be interpreted as meaning. Even if one accepts the Church/Turing Thesis that computation is unique, universal and very near omnipotent, not everything is a computer, because not everything can be given a systematic interpretation; and certainly everything can''t be givenevery systematic interpretation. But even after computers and computation have been successfully (...) distinguished from other kinds of things, mental states will not just be the implementations of the right symbol systems, because of the symbol grounding problem: The interpretation of a symbol system is not intrinsic to the system; it is projected onto it by the interpreter. This is not true of our thoughts. We must accordingly be more than just computers. My guess is that the meanings of our symbols are grounded in the substrate of our robotic capacity to interact with that real world of objects, events and states of affairs that our symbols are systematically interpretable as being about. (shrink)

We are reminded of relevant stories, tales, or symbols from long-term memory when facing a novel problem our daily lives. Visual cues are 1 tool known to facilitate reminding. In 2 experiments, Chinese students, who had experienced a folk tale many years ago during childhood, were asked to solve an analogous problem. We tested the hypothesis that a visual cue can help bridge the gap between a novel problem and a source analogy experienced in the distant past. (...) Different types of cues proved to have distinct influences on components of analogical problem solving. This research suggests that analogical representational features of a story or problem can be stored in long-term memory and can be activated by visual cues. The implications of these findings for theories that point to perceptual or grounded, rather than decontextualized structures in knowledge representation are discussed. (shrink)

Kant says that it can be rational to accept propositions on the basis of non-epistemic or broadly practical considerations, even if those propositions include “transcendental ideas” of supersensible objects. He also worries, however, about how such ideas (of freedom, the soul, noumenal grounds, God, the kingdom of ends, and things-in-themselves generally) acquire genuine positive content in the absence of an appropriate connection to intuitional experience. How can we be sure that the ideas are not empty “thought-entities (Gedankendinge)”—that is, speculative fancies (...) that do not and perhaps even cannot have referents in reality? In this paper I argue for an account of the fundamental problem here (i.e. that it is based in a concern about whether or not the objects of such ideas are "really possible" in Kant's technical sense). I then critically evaluate Kant's three proposed solutions to the problem. The third one involves an appeal to the complicated doctrine of "symbolization" that becomes prominent in Kant's later works. -/- . (shrink)

What language allows us to do is to "steal" categories quickly and effortlessly through hearsay instead of having to earn them the hard way, through risky and time-consuming sensorimotor "toil" (trial-and-error learning, guided by corrective feedback from the consequences of miscategorisation). To make such linguistic "theft" possible, however, some, at least, of the denoting symbols of language must first be grounded in categories that have been earned through sensorimotor toil (or else in categories that have already been "prepared" for us (...) through Darwinian theft by the genes of our ancestors); it cannot be linguistic theft all the way down. The symbols that denote categories must be grounded in the capacity to sort, label and interact with the proximal sensorimotor projections of their distal category-members in a way that coheres systematically with their semantic interpretations, both for individual symbols, and for symbols strung together to express truth-value-bearing propositions. (shrink)

The construction of a systematic philosophical foundation for logic is a notoriously difficult problem. In Part One I suggest that the problem is in large part methodological, having to do with the common philosophical conception of “providing a foundation”. I offer an alternative to the common methodology which combines a strong foundational requirement with the use of non-traditional, holistic tools to achieve this result. In Part Two I delineate an outline of a foundation for logic, employing the new (...) methodology. The outline is based on an investigation of why logic requires a veridical justification, i.e., a justification which involves the world and not just the mind, and what features or aspect of the world logic is grounded in. Logic, the investigation suggests, is grounded in the formal aspect of reality, and the outline proposes an account of this aspect, the way it both constrains and enables logic, logic's role in our overall system of knowledge, the relation between logic and mathematics, the normativity of logic, the characteristic traits of logic, and error and revision in logic. (shrink)

Opponents of presentism have often argued that the presentist has difficulty in accounting for what makes true past-tensed propositions true in a way that is compatible with her metaphysical view of time and reality. The problem is quite general and concerns not only strong truth-maker principles, but also the requirement that truth be grounded in reality. In order to meet the challenge, presentists have proposed many peculiar present aspects of the world as grounds for truths concerning the past, such (...) as uninstantiated haecceities, Meinongian non-existents, ersatz times, and dispositional and distributional properties. The main problem with all such solutions is that any explanation of what grounds a TptP that involves the past is eo ipso a better explanation than any that involves only the present. Thus, the quest for an account of grounding for TptP that is compatible with the presentist ontology and ideology is doomed to be explanatorily deficient with respect to eternalism. In a recent article, Ben Caplan and David Sanson have claimed that presentists should change their strategy and, rather than seeking for exotic grounds for TptP, should adopt a more liberal view of explanation. That is, they should allow themselves to resort to “past directed” explanations, even if they do not accept the past in their ontology and ideology. I argue that such a proposal is not compatible with the tenet that there is a substantial distinction between the ideology of such a version of presentism and that of eternalism. Therefore, the presentist cannot endorse such “deflationist” explanations as an easy way out to the problem of the grounding of TptP. (shrink)

Prior to the twentieth century, theories of knowledge were inherently perceptual. Since then, developments in logic, statis- tics, and programming languages have inspired amodal theories that rest on principles fundamentally different from those underlying perception. In addition, perceptual approaches have become widely viewed as untenable because they are assumed to implement record- ing systems, not conceptual systems. A perceptual theory of knowledge is developed here in the context of current cognitive science and neuroscience. During perceptual experience, association areas in the (...) brain capture bottom-up patterns of activation in sensory-motor areas. Later, in a top-down manner, association areas partially reactivate sensory-motor areas to implement perceptual symbols. The stor- age and reactivation of perceptual symbols operates at the level of perceptual components – not at the level of holistic perceptual expe- riences. Through the use of selective attention, schematic representations of perceptual components are extracted from experience and stored in memory (e.g., individual memories of green, purr, hot). As memories of the same component become organized around a com- mon frame, they implement a simulator that produces limitless simulations of the component (e.g., simulations of purr). Not only do such simulators develop for aspects of sensory experience, they also develop for aspects of proprioception (e.g., lift, run) and introspec- tion (e.g., compare, memory, happy, hungry). Once established, these simulators implement a basic conceptual system that represents types, supports categorization, and produces categorical inferences. These simulators further support productivity, propositions, and ab- stract concepts, thereby implementing a fully functional conceptual system. Productivity results from integrating simulators combinato- rially and recursively to produce complex simulations. Propositions result from binding simulators to perceived individuals to represent type-token relations. Abstract concepts are grounded in complex simulations of combined physical and introspective events. Thus, a per- ceptual theory of knowledge can implement a fully functional conceptual system while avoiding problems associated with amodal sym- bol systems. Implications for cognition, neuroscience, evolution, development, and artificial intelligence are explored. (shrink)

I present the symbol grounding problem in the larger context of a materialist theory of content and then present two problems for causal, teleo-functional accounts of content. This leads to a distinction between two kinds of mental representations: presentations and symbols; only the latter are cognitive. Based on Milner and Goodale’s dual route model of vision, I posit the existence of precise interfaces between cognitive systems that are activated during object recognition. Interfaces are constructed as a child (...) learns, and is taught, how to interact with its environment; hence, interface structure has a social determinant essential for symbol grounding. Symbols are encoded in the brain to exploit these interfaces, by having projections to the interfaces that are activated by what they symbolise. I conclude by situating my proposal in the context of Harnad’s (1990) solution to the symbol grounding problem and responding to three standard objections. (shrink)

If embodied models no longer address the symbol grounding problem and a conceptual system can step in and resolve categorizations when embodied simulations fail, then perhaps the next step in theory-building is to isolate the unique contributions of embodied simulation. What is a disembodied conceptual system incapable of doing with respect to semantic processing or the categorization of smiles?

According to colocationism, two different material objects can be colocated during their entire careers. The typical example is that of a statue and the lump of clay out of which it is made, both of which start to exist and cease to exist at exactly the same time. One of the main problems for colocationism is the grounding problem. Recently, several attractive colocationist answers to the problem have been formulated. In this paper I analyse the proposals by (...) Kit Fine, Kathrin Koslicki, Noël Saenz and Catherine Sutton and conclude that all of them have problematic, unsatisfactory consequences, and this constitutes a strong reason against them. That, in turn, shows, I think, the difficulty of finding a satisfactory colocationist answer to the grounding problem, which continues to be a fundamental difficulty for the position. (shrink)

In this paper, I address the grounding problem for contemporary Russellian panpsychism, or the question of how consciousness as an intrinsic nature is connected to dispositions or powers of objects. I claim that Russellian panpsychists cannot offer an adequate solution to the grounding problem and that they should reject the claim that consciousness, as an intrinsic nature, grounds the powers of objects. Instead, I argue that they should favour the identity theory of powers, where categorical and (...) dispositional properties are identified. I maintain that the identity theory serves as a better ontological basis for panpsychism since it avoids the grounding problem. Apart from that, I also argue that identity theory panpsychism is a position more parsimonious than Russellian panpsychism since it introduces fewer entities while successfully avoiding the grounding problem. Based on these considerations, I conclude that identity theory panpsychism is an option worth considering. (shrink)

We prove that for a natural class of first-order formulas the validity problem is Π p 2 -complete.

In this paper, I develop an argument against eternalism, which is similar to the widely discussed grounding problem for presentism. It has recently been argued by many that presentism should be rejected on grounds that its sparse ontology is not suited to underwrite the healthy dose of realism we all share about the past. My aim basically is to add a new twist to the debate, by showing that actually eternalists are no better off than their rivals. In (...) particular, I argue that the eternalist’s ontology does not have the appropriate shape to ground true propositions about the past. (shrink)

The goal of the paper is to develop and propose a general model of the state space of AI. Given the breathtaking progress in AI research and technologies in recent years, such conceptual work is of substantial theoretical interest. The present AI hype is mainly driven by the triumph of deep learning neural networks. As the distinguishing feature of such networks is the ability to self-learn, self-learning is identified as one important dimension of the AI state space. Another dimension is (...) recognized as generalization, the possibility to go over from specific to more general types of problems. A third dimension is semantic grounding. Our overall analysis connects to a number of known foundational issues in the philosophy of mind and cognition: the blockhead objection, the Turing test, the symbol grounding problem, the Chinese room argument, and use theories of meaning. It shall finally be argued that the dimension of grounding decomposes into three sub-dimensions. And the dimension of self-learning turns out as only one of a whole range of “self-x-capacities” (based on ideas of organic computing) that span the self-x-subspace of the full AI state space. (shrink)

Pluralists about coincident entities say that distinct entities may be spatially coincident throughout their entire existence. The most pressing issue they face is the grounding problem. They say that coincident entities may differ in their persistence conditions and in the sortals they fall under. But how can they differ in these ways, given that they share all their microphysical properties? What grounds those differences, if not their microphysical properties? Do those differences depend only on the way we conceptualise (...) those objects? Are they primitive facts about reality? Neither option is pleasant for the pluralist, but what else can she say? To respond to the grounding problem, the pluralist should first tell a story about what material objects are. If that story explains how the modal and sortal properties of objects are grounded, in a way that allows for differences between coincident objects, then she has a response to the problem. That is precisely my aim in this paper. (shrink)

This paper challenges the soundness of the two-dimensional conceivability argument against the derivation of phenomenal truths from physical truths in light of a hyperintensional, ground-theoretic regimentation of the ontology of consciousness. The regimentation demonstrates how ontological dependencies between truths about consciousness and about physics cannot be witnessed by epistemic constraints, when the latter are recorded by the conceivability—i.e., the epistemic possibility—thereof. Generalizations and other aspects of the philosophical significance of the hyperintensional regimentation are further examined.

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)

A great deal of research has focused on the question of whether or not concepts are embodied as a rule. Supporters of embodiment have pointed to studies that implicate affective and sensorimotor systems in cognitive tasks, while critics of embodiment have offered nonembodied explanations of these results and pointed to studies that implicate amodal systems. Abstract concepts have tended to be viewed as an important test case in this polemical debate. This essay argues that we need to move beyond a (...) pretheoretical notion of abstraction. Against the background of current research and theory, abstract concepts do not pose a single, unified problem for embodied cognition but, instead, three distinct problems: the problem of generalization, the problem of flexibility, and the problem of disembodiment. Identifying these problems provides a conceptual framework for critically evaluating, and perhaps improving upon, recent theoretical proposals. (shrink)