1. Introduction: Issues, problems, approaches. Technology; ergonomics; individual psychology, HCI (Human-Computer Interface), cognitive modelling; sociology, CSCW (Computer Supported Cooperative Work), group psychology, ethnomethodology; organizational issues. The role and importance of each level, and their relationships.
3. Actor-Network Theory. Actors (including both human and nonhuman components), networks, mobilization, delegation, boundary objects, infrastructural inversion, etc. Illustrated in a large transportation project.
4. Semiotics. Signs, structure of signs, sign systems. Ferdinand de Saussure; phonetics and phonemics; vowel systems. Charles Saunders Peirce and his 3-fold notion of semiosis, and his notions of icon, index and symbol. Applications to notation.
5. Algebraic Semiotics. Sign systems with sorts, subsorts, constructors, priority. Abstract data types. Examples: natural language syntax; time of day notations; menu structure; HTML structures; and more.
6. Semiotic Morphisms. Meaning and representation. Structure preserving maps between sign systems; ordering semiotic morphisms by quality. Examples: menu structures; HTML structures; proof structure; and more. We will see that in many cases, simple calculations can show that one representation is better than another. Blends and oxymorons.
7. Gradient Logic. Work of Peter Bogh Andersen on the design of an interactive museum, and on logics for interaction.
8. Proofs. Proofs as a site for research on user interface problems. The tatami project: distributed cooperative formal methods; software proofs as a domain with some advantages. Formal proofs vs. natural proofs; pictures and models as proofs; the social dimension; narratives.