Логический тип
Логический тип (Бетран Рассел: «Словарь разума, материи и морали»)
Примем следующее определение логического типа: А и В принадлежат к одному логическому типу тогда и только тогда, когда для любого данного факта, элементом которого является А, имеется соответствующий факт, включающий В в качестве элемента, который либо получается заменой А на В, либо является отрицанием такой замены.Смотрите также:
- Импликация
Последней возьмём импликацию, то есть «p влечёт q» или «если p, ... - Отношения диадические, триадические и монадические
Так, «жёлтый» требует одного собственного имени, «раньше» ... - Я
... «я» — это биография, к которой относится «это» Однако, хотя ... - Пацифист индивидуальный
Существует другое важное отличие, а именно, отличие между ...