This contribution tentatively outlines the presumed conceptual duality between the issues of _incompleteness_ and _incomprehensibility_—The first being more formal in nature and able to be declined in various ways until specified in the literature as _theoretical incompleteness_. This is _theoretical_ and not temporary, which is admissible and the completion prosecutable. As considered in the literature, theoretical incompleteness refers to _uncertainty principles_ in physics, incompleteness in mathematics, oracles for the Turing Machine, _logical openness_ as the multiplicity of models focusing on coherence (...) more than the optimum selections, _fuzziness_, _quasiness_, e.g., quasi-crystals, quasi-systems, and quasi-periodicity, which are intended as the space of equivalences that allow for coherent processes of emergence. The issue of incomprehensibility cannot be considered without reference to an agent endowed with cognitive abilities. In this article, we consider incomprehensibility as understood here as not generally scientifically explicable, i.e., with the available knowledge, as such incomprehensibility may be temporary, pending theoretical and technological advances, or deemed to be absolute as coincident with eventual _definitive_, theoretical non-explicability, and incomprehensibility. We considered the _theoretically incomprehensibility_ mostly in three main ways: as the inexhaustibility of the multiplicity of constructivist reality as given by the theoretically incomprehensible endless loop of incomprehensible−comprehensible, and by existential questions. Moreover, _theoretical incomprehensibility is intended as evidence of the logical openness of both the world and of understanding itself._ The role of theoretical incomprehensibility is intended as a source of theoretical research issues such as paradoxes and paradigm shifts, where it is a matter of having cognitive strategies and approaches to look for, cohabit, combine, and use comprehensibility and (theoretical) incomprehensibility. The usefulness of imaginary numbers comes to mind. Can we support such research for local, temporary, and theoretical incomprehensibility with suitable approaches such as software tools, for instance, that simulate the logical frameworks of incomprehensibility? Is this a step toward a kind of _artificial creativity leading to paradigm shifts_? The most significant novelty of the article lies in the focus on the concept of theoretical incomprehensibility and distinguishing it from incomprehensibility and considering different forms of understanding. It is a matter of identifying strategies to _act_ and _coexist_ with the theoretically incomprehensible, to _represent_ and _use_ it, for example when dealing with imaginary numbers and quantum contexts where classical comprehensibility is theoretically impossible. Can we think of forms of non-classical understanding? In this article, these topics are developed in conceptual and philosophical ways. (shrink)

We begin by distinguishing computationalism from a number of other theses that are sometimes conflated with it. We also distinguish between several important kinds of computation: computation in a generic sense, digital computation, and analog computation. Then, we defend a weak version of computationalism—neural processes are computations in the generic sense. After that, we reject on empirical grounds the common assimilation of neural computation to either analog or digital computation, concluding that neural computation is sui generis. Analog computation requires continuous (...) signals; digital computation requires strings of digits. But current neuroscientific evidence indicates that typical neural signals, such as spike trains, are graded like continuous signals but are constituted by discrete functional elements (spikes); thus, typical neural signals are neither continuous signals nor strings of digits. It follows that neural computation is sui generis. Finally, we highlight three important consequences of a proper understanding of neural computation for the theory of cognition. First, understanding neural computation requires a specially designed mathematical theory (or theories) rather than the mathematical theories of analog or digital computation. Second, several popular views about neural computation turn out to be incorrect. Third, computational theories of cognition that rely on non-neural notions of computation ought to be replaced or reinterpreted in terms of neural computation. (shrink)

I offer an explication of the notion of computer, grounded in the practices of computability theorists and computer scientists. I begin by explaining what distinguishes computers from calculators. Then, I offer a systematic taxonomy of kinds of computer, including hard-wired versus programmable, general-purpose versus special-purpose, analog versus digital, and serial versus parallel, giving explicit criteria for each kind. My account is mechanistic: which class a system belongs in, and which functions are computable by which system, depends on the system's mechanistic (...) properties. Finally, I briefly illustrate how my account sheds light on some issues in the history and philosophy of computing as well as the philosophy of mind. (shrink)

The relationship between philosophy and research on artificial intelligence (AI) has been difficult since its beginning, with mutual misunderstanding and sometimes even hostility. By contrast, we show how an approach informed by both philosophy and AI can be productive. After reviewing some popular frameworks for computation and learning, we apply the AI methodology of “build it and see” to tackle the philosophical and psychological problem of characterizing perception as distinct from sensation. Our model comprises a network of very simple, but (...) interacting agents which have binary experiences of the “yes/no”-type and communicate their experiences with each other. When does such a network refer to a single agent instead of a distributed network of entities? We apply machine learning techniques to address the following related questions: i) how can the model explain stability of compound entities, and ii) how could the model implement a single task such as perceptual inference? We thereby find consistency with previous work on “interface” strategies from perception research. While this reflects some necessary conditions for the ascription of agency, we suggest that it is not sufficient. Here, AI research, if it is intended to contribute to conceptual understanding, would benefit from issues previously raised by philosophy. We thus conclude the article with a discussion of action-selection, the role of embodiment, and consciousness to make this more explicit. We conjecture that a combination of AI research and philosophy allows general principles of mind and being to emerge from a “quasi-empirical” investigation. (shrink)

Enhancement technologies may someday grant us capacities far beyond what we now consider humanly possible. Nick Bostrom and Anders Sandberg suggest that we might survive the deaths of our physical bodies by living as computer emulations.­­ In 2008, they issued a report, or “roadmap,” from a conference where experts in all relevant fields collaborated to determine the path to “whole brain emulation.” Advancing this technology could also aid philosophical research. Their “roadmap” defends certain philosophical assumptions required for this technology’s success, (...) so by determining the reasons why it succeeds or fails, we can obtain empirical data for philosophical debates regarding our mind and selfhood. The scope ranges widely, so I merely survey some possibilities, namely, I argue that this technology could help us determine (1) if the mind is an emergent phenomenon, (2) if analog technology is necessary for brain emulation, and (3) if neural randomness is so wild that a complete emulation is impossible. (shrink)

This chapter presents a new semantics for inductive empirical knowledge. The epistemic agent is represented concretely as a learner who processes new inputs through time and who forms new beliefs from those inputs by means of a concrete, computable learning program. The agent’s belief state is represented hyper-intensionally as a set of time-indexed sentences. Knowledge is interpreted as avoidance of error in the limit and as having converged to true belief from the present time onward. Familiar topics are re-examined within (...) the semantics, such as inductive skepticism, the logic of discovery, Duhem’s problem, the articulation of theories by auxiliary hypotheses, the role of serendipity in scientific knowledge, Fitch’s paradox, deductive closure of knowability, whether one can know inductively that one knows inductively, whether one can know inductively that one does not know inductively, and whether expert instruction can spread common inductive knowledge—as opposed to mere, true belief—through a community of gullible pupils. (shrink)

This paper surveys a wide range of proposed hypermachines, examining the resources that they require and the capabilities that they possess. 2005 Elsevier Inc. All rights reserved.