Paraconsistent logics as a Way of Expressing Objective Contradictions in Science

Abstract

The article focuses on the problems associated with the need to express in the language of science in a consistent way the movement and various kinds of changes taking place in the objective world by developing logics that would be tolerant of logical contradictions. The paper presents a brief history of the creation of paraconsistent (paraconsistent) logics, in which logical contradictions turned out to be quite permissible. It is noted that the priority in their development belongs to Russian scientists N. A. Vasiliev and I. E. Orlov, as well as Polish philosophers and logicians Y. Lukasevich and S. Yaskovsky; that since the seventies of the last century, the development of paraconsistent logics has assumed an international character; that interest in these logics is not abating at the present time. The possibilities of using paraconsistent logics presented in the works of foreign and domestic philosophers and logicians for the formalization of dialectics are discussed. The positive role of these logics is shown in solving many paradoxes in the foundations of classical propositional calculation and predicate logic, as well as in order to limit undesirable consequences when using IT technologies related to the processing of inconsistent or contradictory information. It is concluded that the use of paranoherent logics in the construction of models of individual fragments of dialectics contributes to its development as logic and as ontology, and indicates that the apparatus of non-classical logics as a whole is a very powerful means of studying and explaining many problems of theoretical cognition.