Temporalismo e eternismo são teses semânticas. Segundo a primeira, que prevaleceu ao longo da maior parte da história da lógica no Ocidente, existem proposições completas cujo valor de verdade varia com o tempo (proposições temporais), e a investigação das relações entre tempo e verdade é parte integral da lógica. Para a segunda, que emerge gradualmente na obra dos pioneiros da lógica moderna e recebe sua primeira formulação sistemática na obra de Frege, o que o temporalismo percebe como uma proposição com valor de verdade variável deve ser concebido, antes, como uma função proposicional em que pelo menos uma variável livre (usualmente inarticulada na expressão linguística da proposição) toma como argumentos instantes ou intervalos de tempo. As duas teses têm consequências importantes, aqui brevemente resenhadas, para a concepção das relações entre tempo e modalidade e para a semântica das atitudes proposicionais.