Определение рода – дифференциации - Genus–differentia definition

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

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

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

  • треугольник : плоская фигура , которая имеет 3 прямых сторон ограничительных.
  • четырехугольник : плоская фигура А, имеет 4 прямых сторон ограничительных.

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

  1. один род :
    • род как треугольника, так и четырехугольника : "Плоская фигура"
  2. две разницы :
    • различие для треугольника : «у которого есть 3 прямые граничащие стороны».
    • дифференциация для четырехугольника : «у которого 4 прямые граничащие стороны».

Использование рода и дифференциации при построении определений восходит, по крайней мере, к Аристотелю (384–322 гг. До н.э.).

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

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

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

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

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

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

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

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

Затем определение квадрата может быть переработано с этой абстракцией в качестве его рода:

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

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

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

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

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

Затем определение квадрата может быть переработано с этой абстракцией в качестве его рода:

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

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

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

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

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

Когда несколько определений могут служить одинаково хорошо, тогда все такие определения применяются одновременно. Таким образом, квадрат является членом как прямоугольника рода [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 .

Ссылки