On VDV (Variable Designated Value) Logics

Graham Priest

In this talk I will isolate a class of logics which I shall call Variable Designated Values (VDV) Logics, and consider some of their properties. VDV logics are many-valued logics in which different sets of designated values are used for the premises and conclusions. The idea goes back, as far as I know, to Malinowski (1990) and (1994), though much use of the idea has been made by logicians recently in the form of the logics ST and TS (S= Strict; T = Tolerant).