Mathesis Universalis - No.6, Spring 1998
Grzegorz Malinowski
ABSTRACT
Referential and Inferential Many-Valuedness
The development of the method of logical matrices at the turn of XIX Century made it possible to define the concept of many-valued logic. However, the problem of interpretation of logical values in addition to truth and falsity is still among the most controversial question of contemporary logic. The aim of the talk is to present two faces of the problem of many-valuedness: referential and inferential. In the first approach, many-valuedness may be conceived as the result of multiplication of semantic correlates of sentences, and not logical values. In the latter, many-valuedness (more precisely, three-valuedness) is the metalogical property of inference which leads from non-rejected assumptions to accepted conclusions.