Investigations into Information Semantics and Ethics of Computing

The recent development of the research field of Computing and Philosophy has triggered investigations into the theoretical foundations of computing and information. This thesis consists of two parts which are the result of studies in two areas of Philosophy of Computing (PC) and Philosophy of Information (PI) regarding the production of meaning (semantics) and the value system with applications (ethics). The first part develops a unified dual-aspect theory of information and computation, in which information is characterized as structure, and computation is the information dynamics. This enables naturalization of epistemology, based on interactive information representation and communication. In the study of systems modeling, meaning, truth and agency are discussed within the framework of the PI/PC unification. The second part of the thesis addresses the necessity of ethical judgment in rational agency illustrated by the problem of information privacy and surveillance in the networked society. The value grounds and socio-technological solutions for securing trustworthiness of computing are analyzed. Privacy issues clearly show the need for computing professionals to contribute to understanding of the technological mechanisms of Information and Communication Technology. The main original contribution of this thesis is the unified dual-aspect theory of computation/information. Semantics of information is seen as a part of the data-information-knowledge structuring, in which complex structures are self-organized by the computational processing of information. Within the unified model, complexity is a result of computational processes on informational structures. The thesis argues for the necessity of computing beyond the Turing-Church limit, motivated by natural computation, and wider by pancomputationalism and paninformationalism, seen as two complementary views of the same physical reality. Moreover, it follows that pancomputationalism does not depend on the assumption that the physical world on some basic level is digital. Contrary to many believes it is entirely compatible with dual (analogue/digital) quantum-mechanical computing.

[1]  J. Dupré The Conscious Mind: In Search of a Fundamental Theory , 2000 .

[2]  Allen Newell,et al.  Reflections on the Knowledge Level , 1993, Artif. Intell..

[3]  Christopher Cherniak,et al.  Computational Complexity and the Universal Acceptance of Logic , 1984 .

[4]  Daniel C. Dennett,et al.  The unimagined preposterousness of zombies , 1995 .

[5]  Birger Hjørland,et al.  The concept of information , 2005, Annu. Rev. Inf. Sci. Technol..

[6]  P. Churchland Eliminative materialism and the propositional attitudes , 1993 .

[7]  James S. Albus,et al.  Brains, behavior, and robotics , 1981 .

[8]  R. Kirk Language, Thought, and Other Biological Categories , 1985 .

[9]  N. Block Troubles with functionalism , 1993 .

[10]  A. Meystel Nested hierarchical control , 1993 .

[11]  James S. Albus,et al.  Outline for a theory of intelligence , 1991, IEEE Trans. Syst. Man Cybern..

[12]  Alex Meystel Autonomous Mobile Robots - Vehicles with Cognitive Control , 1991, Series in Automation.

[13]  Gregory Robert Mulhauser,et al.  Mind Out of Matter: Topics in the Physical Foundations of Consciousness and Cognition , 1998 .

[14]  Stuart M. Shieber,et al.  Foundational issues in natural language processing , 1991 .

[15]  Roland Omnès The Interpretation of Quantum Mechanics , 1987 .

[16]  Jaegwon Kim,et al.  MECHANISM, PURPOSE, AND EXPLANATORY EXCLUSION , 1989 .

[17]  Gregory J. Chaitin,et al.  Information, Randomness & Incompleteness - Papers on Algorithmic Information Theory - Second Edition , 1997 .

[18]  James H. Moor,et al.  Knowledge and the Flow of Information. , 1982 .

[19]  Alexander M. Meystel,et al.  Semiotic Modeling and Situation Analysis : An Introduction , 1995 .

[20]  D. Dennett Why the Law of Effect will not Go Away , 1975 .

[21]  Hava T. Siegelmann,et al.  Analog computation via neural networks , 1993, [1993] The 2nd Israel Symposium on Theory and Computing Systems.

[22]  C. Hempel,et al.  Studies in the Logic of Explanation , 1948, Philosophy of Science.

[23]  Leonid I. Perlovsky,et al.  Computational concepts in classification: Neural networks, statistical pattern recognition, and model-based vision , 2005, Journal of Mathematical Imaging and Vision.

[24]  Roderick M. Chisholm,et al.  The Contrary-to-Fact Conditional. , 1947 .

[25]  D. Papineau,et al.  Reality and Representation. , 1992 .

[26]  H. Putnam Representation and Reality , 1993 .

[27]  Allen Newell,et al.  Human Problem Solving. , 1973 .

[28]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[29]  K. Sterelny The Representational Theory Of Mind , 1991 .

[30]  Sang Joon Kim,et al.  A Mathematical Theory of Communication , 2006 .

[31]  S. Leeds,et al.  Perception and Cognition: Issues in the Foundations of Psychology , 1978 .

[32]  Saul A. Kripke,et al.  Naming and Necessity , 1980 .