Principia: An International Journal of Epistemology (Dec 2009)

A Refined Geometry of Logic

  • David Miller

Journal volume & issue
Vol. 13, no. 3
pp. 339 – 356

Abstract

Read online

In order to measure the degree of dissimilarity between elements of a Boolean algebra, the author’s (1984) proposed to use pseudometrics satisfying generalizations of the usual axioms for identity. The proposal is extended, as far as is feasible, from Boolean algebras (algebras of propositions) to Brouwerian algebras (algebras of deductive theories). The relation between Boolean and Brouwerian geometries of logic turns out to resemble in a curious way the relation between Euclidean and non-Euclidean geometries of physical space. The paper ends with a brief consideration of the problem of the metrization of the algebra of theories.

Keywords