Explaining Experience In Nature: The Foundations Of Logic And Apprehension
Institute for Advanced Science & Engineering (forthcoming)
Abstract
At its core this book is concerned with logic and computation with respect to the mathematical characterization of sentient biophysical structure and its behavior. Three related theories are presented: The first of these provides an explanation of how sentient individuals come to be in the world. The second describes how these individuals operate. And the third proposes a method for reasoning about the behavior of individuals in groups. These theories are based upon a new explanation of experience in nature, the construction of senses, and motile behavior. This new approach is developed from first principles to enable a rigorous and systematic explanation of the variety of associated intelligent behaviors. Alongside this development is a further account that focuses upon the nature of our work. It discusses the existential aspects of scientific inquiry, its epistemology and logic. It seeks to clarify the nature of the mathematical characterization and computation of natural behaviors, dealing with questions in the foundations of logic. It explores methodological issues related to reduction and the refinement of ideas from intuition to formal logical structure. In support of this inquiry we work toward the development of a calculus for biophysical construction and its dynamics. If successful this mechanics mathematically characterizes sensory and motile behavior. Upon this foundation we propose a model of apprehension and explore how its products are processed by the organism. Finally, we develop a probabilistic theory that enables us to reason about inaccessible factors in group behavior. The mechanics we propose suggests the design and physical realization of a new model of computation; one in which structure and the concurrency of action are a first-order consideration. We identify opportunities for experimental verification of the theory and we suggest a proof of our results in practice by the identification of this mechanism, allowing the construction of machines that experience.Author's Profile
My notes
Similar books and articles
Logic and Computation: Interactive Proof with Cambridge Lcf.Lawrence C. Paulson - 1987 - Cambridge University Press.
Logic: From Foundation to Applications: European Logic Colloquium.Wilfrid Hodges (ed.) - 1996 - Oxford University Press.
Towards a theory of mathematical argument.Ian J. Dove - 2009 - Foundations of Science 14 (1-2):136-152.
Concrete Digital Computation: What Does it Take for a Physical System to Compute? [REVIEW]Nir Fresco - 2011 - Journal of Logic, Language and Information 20 (4):513-537.
Logic, Meaning and Computation: Essays in Memory of Alonzo Church.Alonzo Church, C. Anthony Anderson & Michael Zelëny (eds.) - 2001 - Dordrecht, Netherland: Kluwer Academic Publishers.
Structure in mathematics and logic: A categorical perspective.S. Awodey - 1996 - Philosophia Mathematica 4 (3):209-237.
A computational foundation for the study of cognition.David Chalmers - 2011 - Journal of Cognitive Science 12 (4):323-357.
Simulation, theory, and the frame problem: The interpretive moment.William S. Wilkerson - 2001 - Philosophical Psychology 14 (2):141-153.
Neural Computation and the Computational Theory of Cognition.Gualtiero Piccinini & Sonya Bahar - 2013 - Cognitive Science 37 (3):453-488.
Analytics
Added to PP
2011-07-05
Downloads
15 (#699,925)
6 months
1 (#448,894)
2011-07-05
Downloads
15 (#699,925)
6 months
1 (#448,894)
Historical graph of downloads