| |
| |
| 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 | |