Формальная аксиология, спор Лейбница и Вольтера и «гильотина Юма»: некоторые соображения о верификации данных философских практик в свете теорий косвенного знания и косвенного верования (Гоббс, Хинтикка, Левеск)

Предлагается формализация известного парадокса логики, этики и онтологии — так называемой «гильотины Юма» — на стыке двух направлений: теории имплицитных знаний (Гоббс, Я. Хинтикка, Г. Левеск) и формальноалгебраической аксиологии (В. О. Лобовиков), которая представляет собой один из вариантов современной консистентной фрегеанской логики. Проверка истинности «гильотины Юма» проводится с учетом учения Аристотеля о трех этапах любого действия или процесса — потенции, действия и энтелехии. Дается таблица истинностных значений функции y = entb. Показано с помощью несложных расчетов, что В. О. Лобовиков прав в своей трактовке «гильотины Юма» как средства для анализа эмпирического знания (а не априорного), равно как и в интерпретации спора Лейбница (чья позиция верна по отношению как раз к априорному знанию) и Вольтера (который оказывается прав с эмпирической точки зрения). Принимается во внимание предшествующая Юму позиция Гоббса (в частности, о несуществовании будущего — из чего закономерно вытекает его непредсказуемость).