Словарь по логике

Бочвар

Дмитрий Анатольевич Бочвар (7.08.1903 - 9.10.1990): Русский логик и химик. Занимался анализом логических парадоксов. В 1938 построил трехзначную логику с третьим значением “бессмыслица”, названную его именем. В своей логической системе он, в частности, различал два уровня языка: внешний и внутренний.
Сочинения: Об одном трехзначном исчислении и его применении к анализу парадоксов классического расширенного функционального исчисления (1938), Некоторые логические теории о нормальных множествах и предикатах (1945), К вопросу о парадоксах и к проблеме расширенного исчисления предикатов (1957).