Portal de Periódicos da CAPES

Artigo Acesso aberto Produção Nacional Revisado por pares

BIBTEX RIS

Informação

2020; Editora da Pontifícia Universidade Católica do Rio Grande do Sul (EDIPUCRS); Volume: 65; Issue: 3 Linguagem: Português

10.15448/1984-6746.2020.3.37290

1984-6746

Frank Thomas Sautter,

Advanced Algebra and Logic

Formulações da validade dedutiva clássica costumam recorrer explicitamente a modalidades: por exemplo, um argumento é classicamente dedutivamente válido se, e somente se, necessariamente se as premissas forem verdadeiras, a conclusão também é verdadeira. Não é possível abolir completamente esse apelo ao discurso modal, porque a lógica clássica é o domínio das possibilidades. Não obstante, pode-se, por intermédio de uma semântica informacional, evitar que o usuário da lógica clássica tenha de manipular modalidades, ainda que elas estejam, de algum modo, imbricadas nos infons – unidades mínimas de informação. A partir do trabalho pioneiro de Carnap e de Bar-Hillel, apresentarei duas semânticas informacionais: uma delas diretamente relacionada a mundos possíveis, e a outra relacionada aos duais de mundos possíveis.