Towards the concept of logical many-valuedness

Abstrakt

Obalenie aksjomatu Fregego przez R. Suszko otwiera możliwość odróżnienia wartościowań logicznych od odwzorowań referencyjnych. Podążając tą drogą można wywnioskować, że każda logika, tzn. relacja inferencji spełniająca warunki Tarskiego, jest logicznie dwuwartościowa. Konstruując trójwartościową relację inferencji pokazujemy, że wprowadzenie pojęcia wielowartościowości logicznej jest nierozerwalnie związane z rewizją podstaw teorii konsekwencji logicznej.