Релационна семантика на релевантната логика
Relational Semantics of Relevant Logic

Summary/Abstract: In this paper we consider the relation semantic of relevant logic. The latter is constructed to present the semantical truth of the formulas from the syntax of system Еfde. The semantic allows to construct formal models for the sense of its formulas. This conception is a ternary relation semantic. Abstracting from the ontological principium contradictionis and tertium non datur, in the semantic of relevant logic are used generalized state descriptions – inconsistent and incomplete worlds. This means that, according to the truth definitions here, every elementary statement will be true or false, but it can have the both values simultaneously. That circumstance allows the presence of worlds in which the „paradoxes“ of implication are not valid. In respect of the philosophical and gnoseological essence of the inconsistent and incomplete worlds, it is acceptable to consider that they are possible state descriptions of the reality, but „possible“ to this one who has no information, including also an information with logical character.

• Details
• Contents