The paper deals with the question of the applicability of systems of many-valued logics. Those systems are claimed to be applicable in many local fields, e.g.: future contingents, semantic paradoxes, vagueness, meaninglessness, sense without denotation, undecidable sentences, quantum mechanics, cybernetics, mathematical machine theory. It is claimed that the many-valued logic does not need accepting any additional truth-values apart from classical 'true' and 'false'. In other words, it does not need rejecting the rule of bivalence. Intermediate values are most often understood as epistemic variants of classical truth-values, the assignment of classical truth-value to non-classical bearers, or as the lack of classical truth-value. Thus, the many-valued logic only apparently constitutes a threat for the classical logic.
Financed by the National Centre for Research and Development under grant No. SP/I/1/77065/10 by the strategic scientific research and experimental development program:
SYNAT - “Interdisciplinary System for Interactive Scientific and Scientific-Technical Information”.