Достоверность логическая

Достоверность логическая (Бетран Рассел: «Словарь разума, материи и морали»)

Пропозициональная функция является достоверной по отношению к другой пропозициональной функции, если класс элементов, удовлетворяюицих вторую, является частью класса элементов, удовлетворяющих первую. Например, суждение «х — животное» достоверно по отношению к суждению «х — рациональное животное». Этот смысл достоверности связан с математической вероятностью. Мы будем называть такую достоверность «логической».

Смотрите также:

Цитаты из следующих работ Б. Рассела: