A Refined Geometry of Logic
A fim de medir o grau de dessemelhança entre elementos de uma álgebra booleana, o autor propôs em (1984) usar pseudométricas satisfazendo generalizações dos axiomas usuais para a identidade. A proposta é estendida, na medida em que é exequível, de álgebras booleanas (álgebras de proposições) para á...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universidade Federal de Santa Catarina
2009-01-01
|
| Series: | Principia: An International Journal of Epistemology |
| Online Access: | https://periodicos.ufsc.br/index.php/principia/article/view/19678 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | A fim de medir o grau de dessemelhança entre elementos de uma álgebra booleana, o autor propôs em (1984) usar pseudométricas satisfazendo generalizações dos axiomas usuais para a identidade. A proposta é estendida, na medida em que é exequível, de álgebras booleanas (álgebras de proposições) para álgebras de Brouwer (álgebras de teorias dedutivas). A relação entre geometrias booleanas e de Brouwer da lógica resulta semelhante, de maneira curiosa, à relação entre geometrias euclidianas e não-euclidianas do espaço físico. O artigo conclui com uma breve consideração do problema da metrização da álgebra de teorias.
|
|---|---|
| ISSN: | 1808-1711 |