Cins-differentia tanımı - Genus–differentia definition

Bir cins-differentia tanımı türüdür intensional tanımı ve iki bölümden oluşur:

  1. Bir cins (veya tür): yeni tanım bir bölümü olarak hizmet mevcut bir tanımı; Aynı cins ile tüm tanımlar, cinsinin en düşünülmüş üyeleridir.
  2. differentia : cinsi sağlanmaz tanım bölümü.

Örneğin, bu iki tanım göz önünde bulundurun:

  • Bir üçgen : 3 düz sınırlayıcı tarafı olan bir düzlem Şekil.
  • bir dörtlü : 4 düz sınırlayıcı tarafı olan bir düzlem Şekil.

Bu tanımlar, bir cins ve iki şekilde ifade edilebilir differentiae :

  1. tek cins :
    • Bir üçgenin ve dörtgenin her ikisi için cins : "Bir uçak figürü"
  2. İki differentiae :
    • Bir üçgenin için differentia : "3 düz sınırlayıcı tarafı vardır"
    • Bir dörtgen için differentia : "4 düz sınırlayıcı tarafı vardır"

Farklılaşma ve Soyutlama

Yeni tanımları üretme süreci uzanan mevcut tanımları olarak da bilinen farklılaşma (ve aynı zamanda şu şekilde türetilmesi ). Mevcut bir tanım sadece bir parçası yeni bir tanımlama olarak kendini kullanıldığı göre ters proses, adı soyutlama ; Yeni tanım denir bir soyutlama ve edildiği söylenir uzakta soyutlanmış mevcut tanım.

Örneğin, aşağıdaki göz önünde bulundurun:

  • Bir kare : Bütün dik açı iç açıları olan bir dörtlü ve hepsi aynı uzunlukta yanları sınırlayan gelmiştir.

bu tanımın bir parçası (burada parantez kullanılarak) saydı edilebilir:

  • Bir kare : ( hepsi dik açı iç açıları olan bir dörtgen ), ve hepsi aynı uzunlukta yanları sınırlayan gelmiştir.

ve bu parça ile, bir soyutlama oluşturulabilir:

  • Bir dikdörtgen : Bütün dik açı iç açıları olan bir dörtlü.

Daha sonra, tanımı bir kare olan bir cins olarak soyutlama ile yeniden düzenleme edilebilir:

  • Bir kare : bir dikdörtgen aynı uzunluğa sahip iki tarafı sınırlandıran vardır.

Benzer bir şekilde, tanımı bir kare yeniden düzenlenebilir ve bir başka bölümü saydı:

  • Bir kare : ( hepsi aynı uzunlukta yanlarını sınırlayıcı bir dörtlü ) ve hepsi dik açı iç açıları vardır.

Aşağıdaki soyutlama giden:

  • Bir eşkenar dörtgen : hepsi aynı uzunlukta yanlarını sınırlayıcı bir dörtlü.

Daha sonra, tanımı bir kare olan bir cins olarak soyutlama ile yeniden düzenleme edilebilir:

  • Bir kare : Bir eşkenar dörtgen bütün dik açı iç açıları vardır.

Aslında, tanımı bir kare , bir cins ve differentia gibi diğer eylemler olarak hareket Özetlenmesi, her iki açısından yeniden düzenleme edilebilir:

  • kare : bir dikdörtgen olan bir eşkenar dörtgen .
  • kare : bir eşkenar dörtgen olan bir dikdörtgen .

Bu nedenle, ayırma tanımları basitleştirilmesi için çok önemlidir.

çokluk

Birden tanımlamalar eşit derecede iyi hizmet verebilir, o zaman bu tür tüm tanımlamalar aynı anda uygulanır. Bu durumda, kare cinsinden, hem bir üyesidir [a] dikdörtgen ve cinsi [a] eşkenar dörtgen . Böyle bir durumda, (aşağıda belirtildiği üzere, ve muhtemelen hiçbir differentia) birden fazla cins ile ifade edilir, bir tanım içine tanımları birleştirmek için gösterim açısından uygundur:

  • kare : bir dikdörtgen ve bir eşkenar dörtgen .

veya tamamen eşdeğer:

  • kare : bir eşkenar dörtgen ve bir dikdörtgen .

Daha genel olarak, bir toplama (benzersiz bir cins ifade edilir, her biri) eşdeğer tanımları ile ifade edilir, bir tanım olarak yeniden edilebilir cins. Bu nedenle, aşağıdaki:

  • Bir Tanımı : bir cins 1 cinsidir 2 ve cinsidir 3 ve a, ... ve bir cins olan n-1 ve bir cins olan n olmayan bazı cins differentia sahiptir.
  • Bir Tanımı : bir cins 2 cinsidir 1 ve cinsidir 3 ve a, ... ve bir cins olan n-1 ve bir cins olan n olmayan bazı cins differentia sahiptir.
  • Bir Tanımı : bir cins 3 cinsidir 1 ve cinsidir 2 ve a, ... ve bir cins olan n-1 ve bir cins olan n olmayan bazı cins differentia sahiptir.
  • ...
  • Bir Tanımı : bir cins n-1 cinsidir 1 ve cinsidir 2 ve cinsidir 3 ve a, ... ve cinsidir n olmayan bazı cins differentia sahiptir.
  • Bir Tanımı : bir cins n cinsidir 1 ve cinsidir 2 ve cinsidir 3 ve a, ... ve bir cins olan n-1 olmayan bazı cins differentia sahiptir.

olarak yeniden dökülebilir olabilir:

  • Bir Tanımı : Bir Cins 1 ve cins 2 ve cins 3 ve ... bir cins n-1 ve bir cins n olmayan bazı cins differentia sahiptir.

yapı

Tanımı bir cins, bir belirlemek için bir yöntemi de sağlamaktadır olan-bir ilişki :

  • Bir kare bir bir düzlem figür, bir dörtlü, bir dikdörtgen, bir ...
  • Bir kare bir bir düzlem figür, bir dörtlü, bir eşkenar dörtgen, bir ...
  • Bir kare bir bir düzlem figür, bir dörtlü, bir ...
  • Bir kare bir bir düzlem figür olduğunu ...
  • Kare bir olduğunu ...

Bir tanım differentia olmayan cinsi kısmı belirlemek için bir yöntemi de sağlamaktadır vardır-bir ilişki :

  • Bir kare dik açı yapan bir iç açıya sahip.
  • Bir kare bir düz sınırlayıcı tarafı vardır.
  • Bir kare elinde ...

Bir tanım sistemi cins ve differentiae ile inşa edildiğinde, tanımlar, bir şekillendirme düğümleri olarak düşünülebilir hiyerarşi ya da daha genel olarak-a yönlendirilmiş asiklik grafiği ; Hiçbir olan bir düğüm selefi olan çok genel bir tanımı ; yönlendirilmiş bir yol boyunca her düğüm daha farklılaşmış (ya da daha fazla türetilmiş öncekilerden herhangi birine göre), ve herhangi bir ile bir düğüm ardıl olan en farklı (veya en türetilmiş ) tanımı.

Bir tanımı, zaman S olduğu kuyruk ardıllarıyla her (yani, S , en azından bir ardıl ve her bir doğrudan ardıl ve S en farklı tanım olan), daha sonra S genellikle denir türleri ardıllarıyla ve belirtilen her bir ve her biri doğrudan halefi S genellikle denir bir bireysel (veya bir varlık türleri) S ; yani, bir bireyin cinsi eşanlamlı olarak adlandırılır türler o bireyin. Bundan başka, bir bireyin differentia eşanlamlı olarak adlandırılır kimlik o bireyin. Örneğin, aşağıdaki tanımını göz önünde bulundurun:

  • [bir] John Smith : adı 'John Smith' olan bir insan.

Bu durumda:

  • Bütün tanımı bağımsız bir ; diğer bir deyişle, [bir], John Smith'in bir bireydir.
  • Cins [] John Smith'in ( "bir insan") eş anlamlı olarak adlandırılabilir türler arasında [] John Smith'in ; diğer bir deyişle, [], John Smith'in türlerinin bir bireydir [a] insan .
  • Arasında differentia [] John Smith'in eş anlamlı olarak adlandırılabilir ( "adı John Smith'in sahip olduğu" olur) kimlik ve [] John Smith'in ; yani mümkün [] John Smith gerçeğiyle aynı türün diğer bireyler arasında tanımlanır [bir] John Smith "adını 'Ali Demir' vardır" biridir.

Bu örnekte olduğu gibi, kimlik kendisi (ya da bunun bir kısmı) genellikle, tüm bireye bilinen bir fenomen ifade etmek için kullanılır dil bir şekilde toto pro pars sinekdoka .