Calea logică către inconsistenţă
The Logical Way towards Inconsistency

Summary/Abstract: This paper offers an introduction to some philosophical and logical questions concerned with the problem of consistency in logic, as well as a comparison between some distinct positions, their logical approaches and reciprocal criticisms. A brief account of the history of the subject is also sketched. In particular, some recent results about the so-called society semantics and its general form, the non-deterministic semantics, are emphasized here as a new form of combining semantics, with the double intention of, first, to offer alternative semantic interpretations to certain less studied non-classical logics, and second to combine simple logics so as to obtain other logics with a richer structure. We show how it is possible to obtain, via non-deterministic semantics based on three-valued logics, the characterization of a class of infra-intuitionistic systems that are dual of para consistent logics, contributing to the understanding of the relationship between these two paradigms of reasoning. In particular, the interpretation in terms of three-valued logics offered in this paper can be very naturally used in the formalisation of the treatment of information in databases and knowledge-based systems.

• Details
• Contents