Род-дифференциальное определение представляет собой тип интенсионального определения , и она состоит из двух частей:
- род (или семья): существующее определение , которое служит в качестве части нового определения; все определения одного и того же рода считаются членами этого рода.
- дифференциальный : Часть определения , что не предусмотрен родом.
Например, рассмотрим эти два определения:
- треугольник : плоская фигура , которая имеет 3 прямых сторон ограничительных.
- четырехугольник : плоская фигура А, имеет 4 прямых сторон ограничительных.
Эти определения могут быть выражены как один род и два разных вида :
- один род :
- род как для треугольника, так и для четырехугольника : «Плоская фигура»
- два различия :
- различие для треугольника : «у которого есть 3 прямые граничащие стороны».
- различие для четырехугольника : «у которого 4 прямые граничащие стороны».
Использование рода и различий при построении определений восходит, по крайней мере, к Аристотелю (384–322 гг. До н. Э.). [1]
Дифференциация и абстракция
Процесс создания новых определений путем расширения существующих определений обычно известен как дифференциация (а также как деривация ). Обратный процесс, при котором только часть существующего определения используется как новое определение, называется абстракцией ; новое определение называется абстракцией, и говорят, что оно было абстрагировано от существующего определения.
Например, рассмотрите следующее:
- площадь : четырехугольник , который имеет внутренние углы , которые все прямые углы, и что ограничивающие стороны , которые все имеют одинаковую длину.
Часть этого определения можно выделить (используя здесь круглые скобки):
- квадрат : ( четырехугольник , который имеет внутренние углы , которые все прямые углы ), и что ограничивающие стороны , которые все имеют одинаковую длину.
и с этой частью может быть сформирована абстракция:
- прямоугольник : четырехугольник , который имеет внутренние углы , которые все прямые углы.
Затем определение квадрата может быть переделано с этой абстракцией в качестве его рода:
- квадрат : прямоугольник , который ограничивающие стороны , которые все имеют одинаковую длину.
Точно так же определение квадрата может быть изменено и выделена другая часть:
- квадрат : ( четырехугольник , который ограничивающие стороны , которые все имеют одинаковую длину ), и имеют внутренние углы , которые все прямые углы.
приводя к следующей абстракции:
- ромб : четырехугольник , который ограничивающие стороны , которые все имеют одинаковую длину.
Затем определение квадрата может быть переделано с этой абстракцией в качестве его рода:
- площадь : ромб , который имеет внутренние углы , которые все прямые углы.
Фактически, определение квадрата может быть переработано в терминах обеих абстракций, где одна действует как род, а другая действует как дифференциация:
- квадрат : прямоугольник , представляющий собой ромб .
- квадрат : ромб , представляющий собой прямоугольник .
Следовательно, абстракция имеет решающее значение для упрощения определений.
Множественность
Когда несколько определений могут служить одинаково хорошо, тогда все такие определения применяются одновременно. Таким образом, квадрат является членом как прямоугольника рода [a], так и ромба рода [a] . В таком случае с нотационной точки зрения удобно объединить определения в одно определение, которое выражается несколькими родами (и, возможно, без различий, как в следующем):
- квадрат : прямоугольник и ромб .
или полностью эквивалентно:
- квадрат : ромб и прямоугольник .
В более общем смысле, коллекция эквивалентные определения (каждое из которых выражается одним уникальным родом) могут быть преобразованы в одно определение, которое выражается с помощью роды. Таким образом, следующее:
- a Определение : род 1, который является родом 2, и который является родом 3, и это ... и это род n-1, и это род n , у которого есть некоторые отличные от рода Differentia.
- a Определение : род 2, который является родом 1, и который является родом 3, и это ... и это род n-1, и это род n , у которого есть некоторые отличные от рода Differentia.
- a Определение : род 3, который является родом 1, и который является родом 2, и это ... и это род n-1, и это род n , у которого есть некоторые отличные от рода Differentia.
- …
- a Определение : род n-1, который является родом 1, и который является родом 2, и который является родом 3, и это ... и это род n , у которого есть некоторые отличные от рода Differentia.
- a Определение : Род n, который является Родом 1, и который является Родом 2, и который является Родом 3, и это ... и это Род n-1 , у которого есть некоторые отличные от рода Differentia.
можно преобразовать как:
- Определение : Род 1, Род 2, Род 3 и…, а также Род n-1 и Род n , у которых есть некоторые отличные от рода Differentia.
Состав
Род определения предоставляет средства, с помощью которых можно указать отношение " есть-а" :
- Квадрат - это прямоугольник, который представляет собой четырехугольник, который представляет собой плоскую фигуру, которая является…
- Квадрат - это ромб, который представляет собой четырехугольник, который представляет собой плоскую фигуру, которая является…
- Квадрат - это четырехугольник, который представляет собой плоскую фигуру, которая ...
- Квадрат - это плоская фигура, которая ...
- Квадрат - это…
Не родовая часть различий в определении предоставляет средства, с помощью которых можно указать отношение « имеет-а» :
- У квадрата есть внутренний угол, который является прямым углом.
- У квадрата прямая ограничивающая сторона.
- У квадрата есть…
Когда система определений построена из родов и различий, определения можно рассматривать как узлы, образующие иерархию или, в более общем смысле, ориентированный ациклический граф ; узел, не имеющий предшественника, - это наиболее общее определение ; каждый узел на направленном пути является более дифференцированным (или более производным ), чем любой из его предшественников, а узел без преемника является наиболее дифференцированным (или наиболее производным ) определением.
Когда определение, S , является хвостом каждого из его наследников (то есть, S имеет , по меньшей мере , один преемник и каждый прямой преемник из S является наиболее дифференцированным определение), то S часто называют эти видами каждые из его наследников, и каждый прямой преемник S часто называют в лицо (или в сущность ) от вида S ; то есть род особи синонимично называется видом этой особи. Кроме того, отличительное свойство индивида синонимично называется идентичность этого индивида. Например, рассмотрим следующее определение:
- [the] Джон Смит : человек по имени Джон Смит.
В таком случае:
- Все определение - это личность ; то есть [] Джон Смит - личность.
- Род [настоящей] Джон Смит (который является «человек») можно назвать синонимами виды из [в] Джон Смит ; то есть [] Джон Смит является индивидуумом вида [а] человека .
- Отличительное из [настоящей] Джон Смит (который является « который имеет имя" Джон Смит») можно назвать синонимами личность из [в] Джон Смит ; то есть [] Джон Смит идентифицируется среди других особей того же вида по тому факту, что [] Джон Смит является тем, кто «носит имя" Джон Смит "».
Как и в этом примере, сама идентичность (или ее часть) часто используется для обозначения личности в целом, и этот феномен известен в лингвистике как pars pro toto synecdoche .
Рекомендации
- ^ Парри, Уильям Томас; Хакер, Эдвард А. (1991). Аристотелевская логика . G - Серия справочных, информационных и междисциплинарных предметов. Олбани: Государственный университет Нью-Йорка. п. 86. ISBN 9780791406892. Проверено 8 фев 2019 .
Аристотель признавал только один метод реального определения, а именно метод рода и дифференциации , применяемый к определению реальных вещей, а не слов.