Percepção de Mudança, Computação e Ciências Formais
DOI:
https://doi.org/10.5007/1981-1322.2016v11nespp193Resumo
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.
Downloads
Publicado
Edição
Seção
Licença
Autores mantêm os direitos autorais e concedem à revista o direito de primeira publicação, com o trabalho simultaneamente licenciado sob a Licença Creative Commons Atribuição 4.0 Internacional (CC BY) que permite o compartilhamento do trabalho com reconhecimento da autoria e publicação inicial nesta revista.
Autores têm autorização para assumir contratos adicionais separadamente, para distribuição não exclusiva da versão do trabalho publicada nesta revista (ex.: publicar em repositório institucional ou como capítulo de livro, com reconhecimento de autoria e publicação inicial nesta revista).