O artigo de Ana Paula Quadros discute a semântica associada aos tempos verbais das línguas naturais humanas. A que tempos flexões como o presente do indicativo do português se referem, por exemplo? Haveria algum sistema formal capaz de representar todos os tipos de tempo expressos pelas línguas humanas?