Descrição

Os seres humanos expressam modalidade e condicionais desde muito cedo, quando começam a usar expressões como ‘deve’, ‘pode’ ou ‘se’. Ninguém tem problema em interpretar sentenças com essas expressões, mas a análise do processo de interpretação revela a complexidade de um proferimento tão banal quanto ‘Deve chover no carnaval’. A Semântica de Ordenação é um modelo lógico para descrever a semântica dessas expressões. A proposta é apresentar os conceitos do modelo passo a passo e rigorosamente, numa conversa entre linguística e lógica.