A Refined Geometry of Logic

• Miller, David ^[1]
  1. [1] University of Warwick

     University of Warwick

     Reino Unido

     
• Localización: Principia: an international journal of epistemology, ISSN-e 1808-1711, Vol. 13, Nº. 3, 2009, págs. 339-356
• Idioma: inglés
• Enlaces
  • Texto completo (pdf)
• Resumen

  • 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.