Resumen

A capacidade de perceber mudanças, inclusive movimento, tem relações cognitivas com as ciências formais. Por manifestar mudanças concretamente, a computação é um campo privilegiado para a exploração dessas conexões. Em computação, há distinção entre sentidos semióticos das interfaces e sentidos de funcionamento da máquina; entre sentidos existenciais e sentidos formais. Sentido formal associa-se a sentido de funcionamento e ambos dialogam diretamente com a percepção de mudança. Esse arcabouço ajuda a esclarecer o princípio da semântica da lógica proposicional.