When we uncover the formal structure of our thoughts and utterances, we gain a deeper understanding of what we think and say. When we study the formal structures themselves, we learn something of the processes underlying cognitive activity in general.