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