I-VIII -- Part I Formalization in literary and discourse analysis -- Science and human language -- Computer criticism -- Machine translation and the artificial intelligence paradigm of language processes -- Belief systems and language understanding -- Part II Notating the language of music, and the (pause) rhythms of speech -- Encoding -- The DARMS Project: implementation of an artificial language for the representation of music -- Pausology -- 302