Stanford University's new Symbolic Systems Program is an interdisciplinary undergraduate program focusing on understanding the nature of intelligent behavior. It brings together the disciplines of cognitive psychology, logic, computer science and artificial intelligence, philosophy, and linguistics in a newly emerging field of research concerned…

In the first section a sketch of a tense logic is presented and a mechanism is suggested for including aspects of the tense logic into the Grammar (theory of language). Specifically, several grammatical structures are shown to incorporate temporal features. A semantic projection mechanism is utilized to amalgamate the temporal features in elements…