Достоверность логическая
Достоверность логическая (Бетран Рассел: «Словарь разума, материи и морали»)
Пропозициональная функция является достоверной по отношению к другой пропозициональной функции, если класс элементов, удовлетворяюицих вторую, является частью класса элементов, удовлетворяющих первую. Например, суждение «х — животное» достоверно по отношению к суждению «х — рациональное животное». Этот смысл достоверности связан с математической вероятностью. Мы будем называть такую достоверность «логической».Смотрите также:
- Ложь (falsehood)
Я думаю, что окончательная проверка на ложность ничуть ... - Фактическая предпосылка
Я называю «фактической предпосылкой» любое суждение, ... - Романтизм
Романтическое движение было, в сущности, протестом во имя эмоций ... - Умозаключение животных
«Умозаключением животных» я называю процесс спонтанной ...