Now Playing: REPOSTED
Topic: PARACONSISTENCY
A Positive Formalization
for the Notion of Pragmatic Truth
By Tarcisio Pequeno, Arthur Buchsbaum & Marcelino Pequeno
A logic aimed to formalize the concept of pragmatic truth is presented. We start by examining a previous attempt of formalization by da Costa and collaborators, reported in Mikenberg, da Costa, and Chuaqui (1986), da Costa, Chuaqui, and Bueno (1996) and da Costa, Bueno and French(1998). However, their formalization works as mere possibility in face of what is known, or assumed. It is pointed out here that not being in conflict with the assumed knowledge is not enough to regard a proposition as a truth of any sort, providing just a necessary condition.
A typical picture of the way a scientific theory evolves exhibit alternative hypothesis competing for expanding the theory. In our view, a pragmatic knowledge, at this stage of development of the theory, is one that can be taken as true under all those competing hypothesis. The logic presented here formalizes this process of theory evolution in order to properly express the notion of pragmatic truth as we understand it.
View as html
Try pdf
Posted by Tony Marmo
at 00:01 GMT
Updated: Saturday, 8 January 2005 13:12 GMT
