| |
| |
Acknowledgments | |
| |
| |
| |
Introduction | |
| |
| |
| |
The Aim of This Book | |
| |
| |
| |
Computational Contributions to Semiotics | |
| |
| |
| |
Semiotic Contributions to Computing | |
| |
| |
| |
Related Work | |
| |
| |
| |
The Structure of This Book | |
| |
| |
| |
Computer Signs in Programs | |
| |
| |
| |
Introduction | |
| |
| |
| |
Two Sample Programs | |
| |
| |
| |
Identifiers | |
| |
| |
| |
Semantic Levels of Identifiers | |
| |
| |
| |
Computer Hardware Level | |
| |
| |
| |
Programming Language Level | |
| |
| |
| |
Natural Language Level | |
| |
| |
| |
Pansemiotic View | |
| |
| |
| |
Models of Signs | |
| |
| |
| |
The Babylonian Confusion | |
| |
| |
| |
Two Models of Signs | |
| |
| |
| |
Two Hypotheses | |
| |
| |
| |
A Traditional Hypothesis | |
| |
| |
| |
A New Hypothesis | |
| |
| |
| |
Two Programming Paradigms and the Sign Models | |
| |
| |
| |
Dyadic/Triadic Identifiers | |
| |
| |
| |
The Functional Paradigm and the Dyadic Model | |
| |
| |
| |
The Object-Oriented Paradigm and the Triadic Model | |
| |
| |
| |
The Babylonian Confusion Revisited | |
| |
| |
| |
Summary | |
| |
| |
| |
Marriage of Signifier and Signified | |
| |
| |
| |
Properties of Signs | |
| |
| |
| |
Lambda Calculus | |
| |
| |
| |
The Lambda-Term as a Sign Model | |
| |
| |
| |
Definition of Signs by Self-Reference | |
| |
| |
| |
Self-Reference and the Two Sign Models | |
| |
| |
| |
The Saussurian Difference | |
| |
| |
| |
Summary | |
| |
| |
| |
Being and Doing in Programs | |
| |
| |
| |
The Antithesis of Being and Doing | |
| |
| |
| |
Class and Abstract Data Type | |
| |
| |
| |
A Being Program Example | |
| |
| |
| |
A Doing Program Example | |
| |
| |
| |
Being versus Doing and the Two Sign Models | |
| |
| |
| |
To Be or To Do | |
| |
| |
| |
Summary | |
| |
| |
| |
Kinds of Signs and Content | |
| |
| |
| |
The Statement x: = x + 1 | |
| |
| |
| |
Different Kinds of Signs | |
| |
| |
| |
Semiotic Ambiguity of Identifiers | |
| |
| |
| |
Hjelmslev's Connotation and Metalanguage | |
| |
| |
| |
Peirce's Icon, Index, and Symbol | |
| |
| |
| |
Correspondence of the Two Sign Classifications | |
| |
| |
| |
Summary | |
| |
| |
| |
Three Kinds of Content in Programs | |
| |
| |
| |
Thirdness | |
| |
| |
| |
Definitions and Expressions | |
| |
| |
| |
Currying | |
| |
| |
| |
Church's Transformation | |
| |
| |
| |
Thirdness in Programs | |
| |
| |
| |
Summary | |
| |
| |
| |
An Instance versus The Instance | |
| |
| |
| |
Haecceity | |
| |
| |
| |
A Case Study of a Digital Narrative | |
| |
| |
| |
Levels of Instantiation | |
| |
| |
| |
Restoring Haecceity | |
| |
| |
| |
Optimization | |
| |
| |
| |
Interaction | |
| |
| |
| |
Haecceity and Reflexivity | |
| |
| |
| |
The Kind of the Instance | |
| |
| |
| |
Summary | |
| |
| |
| |
Systems of Signs | |
| |
| |
| |
Structural Humans versus Constructive Computers | |
| |
| |
| |
Uncontrollable Computers | |
| |
| |
| |
Signs and Self-Reference | |
| |
| |
| |
A Structural System | |
| |
| |
| |
A Constructive System | |
| |
| |
| |
Structure versus Construction | |
| |
| |
| |
Summary | |
| |
| |
| |
Sign and Time | |
| |
| |
| |
Interaction | |
| |
| |
| |
The State Transition Machine | |
| |
| |
| |
Referential Transparency | |
| |
| |
| |
Side Effects | |
| |
| |
| |
Temporality of a Sign | |
| |
| |
| |
Interaction and a Sign | |
| |
| |
| |
Sign and Sein | |
| |
| |
| |
Summary | |
| |
| |
| |
Reflexivity and Evolution | |
| |
| |
| |
Reflexivity of Natural Language | |
| |
| |
| |
Reflexivity of a Sign System | |
| |
| |
| |
Categories of Reflexivity | |
| |
| |
| |
Reflexivity of a Computer System | |
| |
| |
| |
Reflexivity of a System of Computer Systems | |
| |
| |
| |
Summary | |
| |
| |
| |
Conclusion | |
| |
| |
Glossary | |
| |
| |
Refernces | |
| |
| |
Index | |