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!
|
| _version_ | 1850209991881916416 |
|---|---|
| author | David Miller |
| author_facet | David Miller |
| author_sort | David Miller |
| collection | DOAJ |
| description |
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.
|
| format | Article |
| id | doaj-art-dc1efe5ca7cb42b0bcd6690b292aa52a |
| institution | OA Journals |
| issn | 1808-1711 |
| language | English |
| publishDate | 2009-01-01 |
| publisher | Universidade Federal de Santa Catarina |
| record_format | Article |
| series | Principia: An International Journal of Epistemology |
| spelling | doaj-art-dc1efe5ca7cb42b0bcd6690b292aa52a2025-08-20T02:09:52ZengUniversidade Federal de Santa CatarinaPrincipia: An International Journal of Epistemology1808-17112009-01-0113310.5007/1808-1711.2009v13n3p33915181A Refined Geometry of LogicDavid Miller0Department of Philosophy, University of Warwick 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. https://periodicos.ufsc.br/index.php/principia/article/view/19678 |
| spellingShingle | David Miller A Refined Geometry of Logic Principia: An International Journal of Epistemology |
| title | A Refined Geometry of Logic |
| title_full | A Refined Geometry of Logic |
| title_fullStr | A Refined Geometry of Logic |
| title_full_unstemmed | A Refined Geometry of Logic |
| title_short | A Refined Geometry of Logic |
| title_sort | refined geometry of logic |
| url | https://periodicos.ufsc.br/index.php/principia/article/view/19678 |
| work_keys_str_mv | AT davidmiller arefinedgeometryoflogic AT davidmiller refinedgeometryoflogic |