文章基本信息

标题：A Refined Geometry of Logic
本地全文：下载
作者：David Miller
期刊名称：Principia : an International Journal of Epistemology
印刷版ISSN：1414-4247
电子版ISSN：1808-1711
出版年度：2009
卷号：13
期号：3
页码：339-356
语种：Portuguese
出版社：Universidade Federal de Santa Catarina, Brasil
摘要：http://dx.doi.org/10.5007/1808-1711.2009v13n3p339 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.