Определение гендерных различий

Определение рода-дифференциации представляет собой тип интенсионального определения и состоит из двух частей:

род ; (или семейство): существующее определение, которое служит частью нового определения все определения одного и того же рода считаются членами этого рода.
дифференциация . : часть определения, не предусмотренная родом

Например, рассмотрим эти два определения:

Треугольник . : плоская фигура, имеющая 3 прямые ограничивающие стороны
Четырехугольник . : плоская фигура, имеющая 4 прямые ограничивающие стороны

Эти определения можно выразить как один род и два различия :

один род :
- род треугольника и четырехугольника : «Плоская фигура».
две разницы :
- дифференциация треугольника : «у которого есть три прямые ограничивающие стороны».
- дифференциал четырехугольника : «у которого есть 4 прямые ограничивающие стороны».

Использование рода (греч. genos ) и дифференциации (греч. диафоры ) при построении определения восходит, по крайней мере, к Аристотелю (384–322 гг. до н.э.). ^{[ 1 ]} Более того, род может обладать определенными характеристиками (описанными ниже), которые позволяют называть его видом — термин, происходящий от греческого слова eidos означает « форма » , которое в диалогах Платона , но его следует понимать как «вид». "в Аристотеля корпусе .

Дифференциация и абстракция

Процесс создания новых определений путем расширения существующих определений широко известен как дифференциация (а также деривация ). Обратный процесс, при котором только часть существующего определения используется в качестве нового определения, называется абстракцией ; новое определение называется абстракцией и считается, что оно абстрагировано от существующего определения.

Например, рассмотрите следующее:

Квадрат : четырехугольник , все внутренние углы которого являются прямыми, а все ограничивающие стороны имеют одинаковую длину.

Часть этого определения можно выделить (используя здесь круглые скобки):

Квадрат четырехугольник , : ( все внутренние углы которого являются прямыми ), и все ограничивающие стороны которого имеют одинаковую длину.

и с помощью этой части может быть сформирована абстракция:

Прямоугольник . : четырехугольник, у которого все внутренние углы являются прямыми

Тогда определение квадрата можно переформулировать, приняв эту абстракцию в качестве его рода:

квадрат , : прямоугольник все ограничивающие стороны которого имеют одинаковую длину.

Точно так же определение квадрата можно переставить и выделить другую часть:

Квадрат ) : ( четырехугольник, все ограничивающие стороны которого имеют одинаковую длину и все внутренние углы которого являются прямыми.

что приводит к следующей абстракции:

Ромб . : четырехугольник, все ограничивающие стороны которого имеют одинаковую длину

Тогда определение квадрата можно переформулировать, приняв эту абстракцию в качестве его рода:

Квадрат , у : ромб которого все внутренние углы прямые.

Фактически, определение квадрата может быть переработано с точки зрения обеих абстракций, где одна действует как род, а другая — как дифференциация:

квадрат : прямоугольник , являющийся ромбом .
квадрат : ромб , являющийся прямоугольником .

Следовательно, абстракция имеет решающее значение для упрощения определений.

Множественность

Когда несколько определений могут служить одинаково хорошо, тогда все такие определения применяются одновременно. Таким образом, квадрат принадлежит как к роду [а] прямоугольника , так и к роду [а] ромба . В таком случае удобно объединить определения в одно определение, выраженное несколькими родами (и, возможно, без различий, как показано ниже):

квадрат : прямоугольник и ромб .

или полностью эквивалентно:

квадрат : ромб и прямоугольник .

В более общем смысле, совокупность $n>1$ эквивалентные определения (каждое из которых выражается одним уникальным родом) могут быть преобразованы в одно определение, выраженное с помощью $n$ род. ^{[ нужна ссылка ]} Таким образом, следующее:

a Определение : Род ₁ , который является Родом ₂ , и это Род ₃ , и это a... и это Род _n-1 , и это Род _n , который имеет некоторую неродовую дифференциацию.
a Определение : Род ₂ , который является Родом ₁ , и это Род ₃ , и это a... и это Род _n-1 , и это Род _n , который имеет некоторую неродовую дифференциацию.
a Определение : Род ₃ , который является Родом ₁ , и это Род ₂ , и это a... и это Род _n-1 , и это Род _n , который имеет некоторую неродовую дифференциацию.
...
a Определение : Род _n-1, который является Родом ₁ , и это Род ₂ , и это Род ₃ , и это a... и это Род _n , который имеет некоторую неродовую дифференциацию.
a Определение : Род _n, который является Родом ₁ , а это Род ₂ , и это Род ₃ , и это a... и это Род _n-1 , который имеет некоторую неродовую дифференциацию.

может быть переработано как:

Определение : Род ₁ и Род ₂ , Род ₃ и a... и Род _n-1 и Род _n , который имеет некоторую неродовую дифференциацию.

Структура

Род определения предоставляет средства, с помощью которых можно указать отношение есть-а :

Квадрат – это прямоугольник, который является четырехугольником, который является плоской фигурой, который является...
Квадрат – это ромб, который является четырехугольником, который является плоской фигурой, который является...
Квадрат – это четырехугольник, который представляет собой плоскую фигуру, которая является...
Квадрат – плоская фигура, представляющая собой...
Квадрат - это...

Неродовая часть дифференциации определения предоставляет средства, с помощью которых можно указать отношение «имеет-а» :

У квадрата внутренний угол прямой.
Квадрат имеет прямую ограничивающую сторону.
Квадрат имеет...

Когда система определений построена с родами и дифференциями, определения можно рассматривать как узлы, образующие иерархию или, в более общем смысле, ориентированный ациклический граф ; узел, не имеющий предшественника, является наиболее общим определением ; каждый узел на направленном пути более дифференцирован (или более производен ), чем любой из его предшественников, а узел без преемника является наиболее дифференцированным (или наиболее производным ) определением.

Когда определение S является хвостом преемников (то есть S имеет по крайней мере одного преемника и каждый преемник S S является наиболее дифференцированным определением), то прямой часто называют видом каждого из своих каждого из его преемников, каждого прямого преемника часто называют особью S (или сущностью и ) вида S ; то есть род индивидуума синонимично называется видом этого индивидуума. Более того, дифференциация индивида синонимично называется идентичностью . этого индивидуума Например, рассмотрим следующее определение:

[] Джон Смит : человек по имени Джон Смит.

В этом случае:

Все определение является индивидуумом ; то есть Джон Смит является личностью.
Род Джона Смита (который является «человеком») можно назвать синонимом вида Джона Смита ; то есть, [] Джон Смит — это особь вида [a] человек .
Отличие [Джона Смита] (то есть «того, кто носит имя «Джон Смит»)» можно назвать синонимом личности ] [Джона Смита ; то есть, [] Джон Смит идентифицируется среди других особей того же вида тем фактом, что [] Джон Смит - это тот, «который носит имя «Джон Смит»».

Как и в этом примере, сама идентичность (или некоторая ее часть) часто используется для обозначения всей личности, и это явление известно в лингвистике как pars pro toto синекдоха .

См. также

Гипонимия и гипернимия

Ссылки

^ Парри, Уильям Томас; Хакер, Эдвард А. (1991). Аристотелевская логика . G - Серия справочных, информационных и междисциплинарных предметов. Олбани: Издательство Государственного университета Нью-Йорка. п. 86. ИСБН 9780791406892 . Проверено 8 февраля 2019 г. Аристотель признавал только один метод реального определения, а именно метод рода и дифференциации , применяемый для определения реальных вещей, а не слов.

[1] Парри, Уильям Томас; Хакер, Эдвард А. (1991). Аристотелевская логика . G - Серия справочных, информационных и междисциплинарных предметов. Олбани: Издательство Государственного университета Нью-Йорка. п. 86. ИСБН 9780791406892 . Проверено 8 февраля 2019 г. Аристотель признавал только один метод реального определения, а именно метод рода и дифференциации , применяемый для определения реальных вещей, а не слов.

[ 1 ]