Abstract

Paraconsistent logics may be viewed as one of the last elementsin a series of rapid developments in science in the 19th and early 20th c.,triggered by the appearance of non-Euclidean geometries. The philosophyof conventionalism, which gave a metatheoretical framework to the basicchanges involved, may also help in evaluating the truth import of logic and in determining its relation to ontology