Definicja - Definition

Definicja określa znaczenie słowa za pomocą innych słów. Czasami jest to trudne. Powszechne słowniki zawierają opisowe definicje leksykalne, ale istnieją różne typy definicji – wszystkie z różnymi celami i celami.

Definicja jest oświadczenie o znaczeniu terminu (A słowo , fraza lub inny zestaw symboli ). Definicje można podzielić na dwie duże kategorie, definicje intensjonalne (które próbują oddać sens terminu) i definicje ekstensjonalne (które próbują wyliczyć obiekty, które opisuje termin). Inną ważną kategorią definicji jest klasa definicji ostensywnych , które przekazują znaczenie terminu poprzez wskazanie przykładów. Termin może mieć wiele różnych znaczeń i wiele znaczeń, a zatem wymaga wielu definicji.

W matematyce definicja jest używana w celu nadania precyzyjnego znaczenia nowemu terminowi poprzez opisanie warunku, który jednoznacznie określa, czym jest termin matematyczny, a czym nie. Definicje i aksjomaty stanowią podstawę, na której ma być zbudowana cała współczesna matematyka.

Podstawowa terminologia

We współczesnym użyciu definicja jest czymś, zwykle wyrażanym słowami, co nadaje znaczenie słowu lub grupie słów. Słowo lub grupa słów, które mają zostać zdefiniowane, nazywa się definiendum , a słowo, grupa słów lub czyn, które je definiuje, nazywa się definiens . Na przykład w definicji „Słoń to duże szare zwierzę pochodzące z Azji i Afryki” słowo „słoń” to definiendum , a wszystko po słowie „jest” to definiens .

W definiens nie jest znaczenie słowa zdefiniowane, ale jest raczej czymś, co przekazuje to samo znaczenie , jak to słowo.

Istnieje wiele podtypów definicji, często specyficznych dla danej dziedziny wiedzy lub studiów. Należą do nich m.in. definicje leksykalne , czy potoczne definicje słownikowe słów już w danym języku; definicje demonstracyjne , które definiują coś, wskazując na przykład tego ( „To” [powiedział, wskazując na duże szare zwierzę], „to słoń azjatycki” ); oraz precyzyjne definicje , które redukują niejasność słowa, zazwyczaj w jakimś szczególnym sensie ( "Duży, wśród samic słoni azjatyckich, to każdy osobnik ważący ponad 5500 funtów." ).

Definicje intensjonalne a definicje ekstensjonalne

Intensional definicja , zwany także connotative definicja, określa warunki konieczne i wystarczające dla rzeczą, aby być członkiem określonego zestawu . Każda definicja, która próbuje określić istotę czegoś, na przykład rodzaj i różnice , jest definicją intensjonalną.

Ekstensjonalny definicja , zwany także wyznaniowy definicji, koncepcji lub wyrażenia określa jego rozszerzenie . Jest to lista nazywająca każdy obiekt należący do określonego zbioru .

W ten sposób „ siedem grzechów głównych ” można celowo zdefiniować jako te, które papież Grzegorz I określił jako szczególnie niszczące życie łaski i miłości w człowieku, stwarzając w ten sposób groźbę wiecznego potępienia. Z drugiej strony, definicją ekstensjonalną byłaby lista gniewu, chciwości, lenistwa, dumy, pożądania, zawiści i obżarstwa. W przeciwieństwie do tego, podczas gdy intensjonalna definicja „ premiera ” może być „najwyższym ministrem w gabinecie władzy wykonawczej rządu parlamentarnego”, definicja ekstensywna nie jest możliwa, ponieważ nie wiadomo, kim będą przyszli premierzy ( chociaż można wymienić wszystkich premierów z przeszłości i teraźniejszości).

Klasy definicji intensjonalnych

Definicja genus-differentia jest rodzajem intensjonalnego definicji który zajmuje dużą kategorię (The genus ) i zawęża do mniejszego kategorii przez cechą wyróżniającą (tj differentia).

Bardziej formalnie, definicja rodzaju-różnicowania składa się z:

  1. rodzaju (lub rodziny) istniejącej definicji, która służy jako część nowego definicją; wszystkie definicje z tym samym rodzajem są uważane za członków tego rodzaju.
  2. różnica : część nowej definicji, która nie jest zapewniona przez rodzaj.

Rozważmy na przykład następujące definicje rodzaju-różnic:

  • trójkąt : a płaszczyzną, która ma trzy proste boki ograniczenia.
  • czworoboku : a płaszczyzną, że ma cztery proste boki ograniczenia.

Definicje te mogą być wyrażone jako rodzaj ("figura płaska") i dwie różnice ("o trzech prostych bokach granicznych" i "o czterech prostych bokach granicznych").

Możliwe jest również posiadanie dwóch różnych definicji rodzaju-różnic, które opisują ten sam termin, zwłaszcza gdy termin ten opisuje nakładanie się dwóch dużych kategorii. Na przykład obie te definicje rodzajowo-różnicowe słowa „kwadrat” są równie dopuszczalne:

Tak więc „kwadrat” należy do obu rodzajów (liczba mnoga od rodzaj ): rodzaju „prostokąt” i rodzaju „romb”.

Klasy definicji ekstensjonalnych

Jedną z ważnych form definicji ekstensjonalnej jest definicja ostensywna . Nadaje to sens pojęciu, wskazując, w przypadku jednostki, na samą rzecz lub w przypadku klasy, na przykłady właściwego rodzaju. Na przykład można wyjaśnić, kim jest Alicja (osoba), wskazując ją innej; lub czym jest królik (klasa), wskazując na kilka i oczekując, że inny zrozumie. Sam proces ostensywnego definiowania został krytycznie oceniony przez Ludwiga Wittgensteina .

Enumeratywnej definicja koncepcji lub termin jest ekstensjonalny definicja , która daje jednoznaczną i wyczerpującą listę wszystkich obiektów , które mieszczą się w pojęciu lub terminu, o którym mowa. Definicje enumeratywne są możliwe tylko dla zbiorów skończonych (a właściwie tylko dla stosunkowo małych zbiorów).

Divisio i partitio

Divisio i partitio to klasyczne terminy określające definicje. Partitio jest po prostu intensional definicja. Divisio nie jest ekstensjonalny definicja, ale to wyczerpująca lista podzbiorów danego zbioru, w tym sensie, że każdy członek „podzielonym” zestawu jest członkiem jednej z podgrup. Ekstremalna forma divisio zawiera listę wszystkich zbiorów, których jedynym członkiem jest członek „podzielonego” zbioru. Różnica między tą a definicją ekstensjonalną polega na tym, że definicje ekstensjonalne wymieniają członków , a nie podzbiory .

Definicje nominalne a definicje rzeczywiste

W myśli klasycznej za definicję uważano stwierdzenie istoty rzeczy. Arystoteles uważał , że podstawowe atrybuty przedmiotu tworzą jego „podstawową naturę” i że definicja przedmiotu musi zawierać te podstawowe atrybuty.

Idea, że ​​definicja powinna określać istotę rzeczy, doprowadziła do rozróżnienia między istotą nominalną a rzeczywistą — rozróżnienia wywodzącego się od Arystotelesa. W Posterior Analytics mówi, że znaczenie wymyślonej nazwy może być znane (podaje przykład „koza jelenia”), nie wiedząc, jak nazywa „istotną naturą” rzeczy, którą nazwa by oznaczała (jeśli istnieje były czymś takim). Doprowadziło to średniowiecznych logików do rozróżnienia między tym, co nazywali quid nominis , czyli „co to jest imię”, a podstawową naturą wspólną dla wszystkich rzeczy, które nazywają, które nazywali quid rei , czyli „co jest rzeczą”. . Na przykład imię „ hobbit ” ma pełne znaczenie. Ma quid nominis , ale nie można było poznać prawdziwej natury hobbitów, więc nie można poznać quid rei hobbitów. Natomiast nazwa „człowiek” oznacza prawdziwe rzeczy (mężczyzn), które mają pewną quid rei . Znaczenie nazwy różni się od natury, jaką musi posiadać rzecz, aby nazwa się do niej odnosiła.

Prowadzi to do odpowiedniego rozróżnienia między definicjami nominalnymi i rzeczywistymi . Definicja nominalna to definicja wyjaśniająca, co oznacza słowo (tj. mówiąca, czym jest „esencja nominalna”) i jest definicją w klasycznym sensie, jak podano powyżej. W przeciwieństwie do tego, prawdziwa definicja to taka, która wyraża prawdziwą naturę lub quid rei rzeczy.

To zaabsorbowanie esencją rozproszyło się w znacznej części współczesnej filozofii. W szczególności filozofia analityczna krytykuje próby wyjaśnienia istoty rzeczy. Russell opisał istotę jako „beznadziejnie pomieszane pojęcie”.

Niedawno sformalizowanie przez Kripkego możliwej semantyki świata w logice modalnej doprowadziło do nowego podejścia do esencjalizmu . O ile istotne właściwości rzeczy są jej niezbędne , są to te rzeczy, które posiada we wszystkich możliwych światach. Kripke odnosi się do nazw używanych w ten sposób jako sztywnych desygnatorów .

Definicje operacyjne a definicje teoretyczne

Definicję można również zaklasyfikować jako definicję operacyjną lub definicję teoretyczną .

Terminy z wieloma definicjami

Homonimy

Homonim jest w sensie ścisłym, jedną z grupy słów, które mają tę samą pisownię i wymowę, lecz mają różne znaczenia. Zatem homonimy są jednocześnie homografami (słowa o tej samej pisowni, niezależnie od ich wymowy) i homofonami (słowa o tej samej wymowie, niezależnie od ich pisowni). Stan bycia homonimem nazywa się homonimią . Przykładami homonimów są para łodyga (część rośliny) i łodyga (śledzenie/nękanie osoby) oraz para lewa (czas przeszły urlopu) i lewa (przeciwna do prawej). Czasami dokonuje się rozróżnienia między „prawdziwymi” homonimami, które nie mają spokrewnionego pochodzenia, takimi jak łyżwa (ślizganie się po lodzie) i łyżwa (ryba), a homonimami polisemicznymi lub polisemami , które mają wspólne pochodzenie, takie jak usta (z rzeka) i usta (zwierząt).

Polysemes

Polisemia jest zdolność do znaku (takiego jak słowo , frazę lub symbol ), aby mieć wiele znaczeń (czyli wielokrotne semes lub sememes a więc wiele zmysłów ), zwykle związane przez przyległości o sens w polu semantycznym . Jest zatem zwykle uważany za odrębny od homonimii , w której wiele znaczeń słowa może być niepowiązanych lub niepowiązanych.

W logice i matematyce

W matematyce definicje na ogół nie są używane do opisu istniejących terminów, ale do opisania lub scharakteryzowania pojęcia. Do nazywania przedmiotu definicji matematycy mogą używać albo neologizmu (tak było głównie w przeszłości) albo słów lub fraz języka potocznego (tak jest na ogół we współczesnej matematyce). Dokładne znaczenie terminu podane przez definicję matematyczną często różni się od angielskiej definicji użytego słowa, co może prowadzić do nieporozumień, zwłaszcza gdy znaczenia są zbliżone. Na przykład zbiór nie jest dokładnie tym samym w matematyce i w potocznym języku. W niektórych przypadkach użyte słowo może wprowadzać w błąd; na przykład liczba rzeczywista nie ma nic bardziej (lub mniej) rzeczywistego niż liczba urojona . Często w definicji używa się frazy zbudowanej z popularnych angielskich słów, które nie mają znaczenia poza matematyką, takich jak grupa pierwotna lub nieredukowalna różnorodność .

Klasyfikacja

Autorzy używali różnych terminów do klasyfikowania definicji używanych w językach formalnych, takich jak matematyka. Norman Swartz klasyfikuje definicję jako „przypisującą”, jeśli ma ona prowadzić konkretną dyskusję. Definicja warunkowa może być uważana za tymczasową, roboczą definicję i można ją obalić jedynie poprzez wykazanie logicznej sprzeczności. W przeciwieństwie do tego, definicja „opisowa” może być pokazana jako „prawidłowa” lub „niewłaściwa” w odniesieniu do ogólnego zastosowania.

Swartz definiuje precyzyjną definicję jako taką, która rozszerza opisową definicję słownikową (definicję leksykalną) w określonym celu o dodatkowe kryteria. Precyzyjna definicja zawęża zestaw rzeczy, które spełniają definicję.

CL Stevenson zidentyfikował definicję perswazyjną jako formę definicji warunkowej, która ma na celu określenie „prawdziwego” lub „powszechnie akceptowanego” znaczenia terminu, podczas gdy w rzeczywistości określa zmienione użycie (być może jako argument za pewnym konkretnym przekonaniem). Stevenson zauważył również, że niektóre definicje są „legalne” lub „przymusowe” – ich celem jest tworzenie lub zmiana praw, obowiązków lub przestępstw.

Definicje rekurencyjne

Rekurencyjna definicja , czasami nazywany również indukcyjny definicja, to taki, który definiuje słowo jeśli chodzi o sobie, że tak powiem, aczkolwiek w użyteczny sposób. Zwykle składa się to z trzech kroków:

  1. Co najmniej jedna rzecz jest określona jako członek zdefiniowanego zbioru; jest to czasami nazywane „zestawem podstawowym”.
  2. Wszystkie rzeczy mające pewien związek z innymi członkami zbioru również należy liczyć jako elementy zbioru. To właśnie ten krok sprawia, że ​​definicja jest rekurencyjna .
  3. Wszystkie inne rzeczy są wyłączone z zestawu

Na przykład, możemy zdefiniować liczbę naturalną w następujący sposób (po Peano ):

  1. „0” to liczba naturalna.
  2. Każda liczba naturalna ma unikalnego następcę, takiego, że:
    • następca liczby naturalnej jest również liczbą naturalną;
    • różne liczby naturalne mają odrębnych następców;
    • po żadnej liczbie naturalnej nie występuje „0”.
  3. Nic innego nie jest liczbą naturalną.

Czyli „0” będzie miało dokładnie jednego następcę, który dla wygody można nazwać „1”. Z kolei „1” będzie miało dokładnie jednego następcę, który można by nazwać „2” i tak dalej. Zauważ, że drugi warunek w samej definicji odnosi się do liczb naturalnych, a zatem obejmuje samoodniesienie . Chociaż ten rodzaj definicji wiąże się z formą cyrkularności , nie jest błędny , a definicja okazała się całkiem udana.

W ten sam sposób możemy zdefiniować przodka w następujący sposób:

  1. Rodzic jest przodkiem.
  2. Rodzic przodka jest przodkiem.
  3. Nic innego nie jest przodkiem.

Lub po prostu: przodek jest rodzicem lub rodzicem przodka.

W medycynie

W słownikach medycznych , wytycznych i innych zgodnych stwierdzeniach i klasyfikacjach definicje powinny w miarę możliwości zawierać:

  • prosty i łatwy do zrozumienia, najlepiej nawet dla ogółu społeczeństwa;
  • przydatne klinicznie lub w powiązanych dziedzinach, w których będzie stosowana definicja;
  • konkretne (to znaczy, czytając samą definicję, najlepiej byłoby, gdyby nie było możliwe odwołanie się do jakiejkolwiek innej jednostki niż ta, która jest definiowana);
  • wymierny;
  • odzwierciedleniem aktualnej wiedzy naukowej.

Problemy

Pewne reguły były tradycyjnie podawane dla definicji (w szczególności definicje rodzaju-różnicowanie).

  1. Definicja musi określać podstawowe atrybuty zdefiniowanej rzeczy.
  2. Definicje powinny unikać obiegu zamkniętego. Zdefiniowanie konia jako „członka gatunku equus ” nie przyniosłoby żadnych informacji. Z tego powodu Locke dodaje, że definicja terminu nie może składać się z terminów, które są z nim synonimami. Byłaby to definicja cyrkularna, circulus in definiendo . Należy jednak zauważyć, że dopuszczalne jest zdefiniowanie dwóch względnych terminów w odniesieniu do siebie. Oczywiście nie możemy zdefiniować „poprzednika” bez użycia terminu „następca”, ani odwrotnie.
  3. Definicja nie może być zbyt szeroka ani zbyt wąska. Musi mieć zastosowanie do wszystkiego, do czego odnosi się zdefiniowany termin (tj. nie może niczego pominąć) i do niczego innego (tj. nie może obejmować żadnych rzeczy, do których zdefiniowany termin nie miałby w rzeczywistości zastosowania).
  4. Definicja nie może być niejasna. Celem definicji jest wyjaśnienie znaczenia terminu, który może być niejasny lub trudny, za pomocą terminów powszechnie rozumianych i których znaczenie jest jasne. Naruszenie tej zasady znane jest pod łacińskim terminem obscurum per obscurius . Czasami jednak terminy naukowe i filozoficzne są trudne do zdefiniowania bez niejasności.
  5. Definicja nie powinna być negatywna tam, gdzie może być pozytywna. Nie powinniśmy definiować „mądrości” jako braku głupoty, ani zdrowej rzeczy jako tego, co nie jest chore. Czasami jest to jednak nieuniknione. Na przykład, trudno jest zdefiniować ślepotę w kategoriach pozytywnych, a nie jako „brak wzroku u istoty normalnie widzącej”.

Błędy definicji

Ograniczenia definicji

Biorąc pod uwagę, że język naturalny, taki jak angielski, zawiera w danym momencie skończoną liczbę słów, jakakolwiek wyczerpująca lista definicji musi być albo okrężna, albo opierać się na pojęciach prymitywnych . Jeśli każdy termin każdego definiens sam musi być zdefiniowany, „gdzie w końcu powinniśmy się zatrzymać?” Na przykład słownik, o ile jest wyczerpującą listą definicji leksykalnych , musi uciekać się do obiegu zamkniętego .

Wielu filozofów zdecydowało się na pozostawienie niektórych terminów niezdefiniowanych. W szkolne filozofowie stwierdził, że najwyższa rodzajów (zwany dziesięciu generalissima ) nie może być określona, ponieważ wyższe rodzaju nie można przypisać w których mogą spadać. Tak więc jest , jedności i podobne koncepcje nie mogą być zdefiniowane. Locke przypuszcza w An Essay Concerning Human Understanding, że nazwy prostych pojęć nie dają się zdefiniować. Niedawno Bertrand Russell starał się opracować język formalny oparty na atomach logicznych . Inni filozofowie, zwłaszcza Wittgenstein , odrzucali potrzebę jakichkolwiek nieokreślonych prostych. Wittgenstein wskazał w swoich badaniach filozoficznych, że to, co w jednej sytuacji uważane jest za „proste”, w innej może tego nie zrobić. Odrzucił samą ideę, że każde wyjaśnienie znaczenia terminu wymaga samo wyjaśnienia: „Jakby wyjaśnienie wisiało w powietrzu, jeśli nie było poparte innym”, twierdząc zamiast tego, że wyjaśnienie terminu jest potrzebne tylko po to, by uniknąć nieporozumień.

Locke i Mill twierdzili również, że nie można zdefiniować jednostek . Nazwy są uczone poprzez połączenie idei z dźwiękiem, tak aby mówca i słuchacz mieli ten sam pomysł, gdy użyto tego samego słowa. Nie jest to możliwe, gdy nikt inny nie jest zaznajomiony z konkretną rzeczą, która „wpadła na naszą uwagę”. Russell zaproponował swoją teorię opisów po części jako sposób definiowania imienia własnego, przy czym definicję podaje opis określony, który „wyławia” dokładnie jedną osobę. Saul Kripke zwrócił uwagę na trudności związane z tym podejściem, zwłaszcza w odniesieniu do modalności , w swojej książce Naming and Necessity .

W klasycznym przykładzie definicji istnieje domniemanie, że można sformułować definiens . Wittgenstein argumentował, że w przypadku niektórych terminów tak nie jest. Przykłady, których użył, to gra , liczba i rodzina . Argumentował, że w takich przypadkach nie ma ustalonej granicy, która mogłaby posłużyć do określenia definicji. Pozycje są raczej grupowane ze względu na podobieństwo rodzinne . W przypadku terminów takich jak te nie jest możliwe, a nawet nie jest konieczne, aby podać definicję; raczej po prostu dochodzi się do zrozumienia użycia tego terminu.

Zobacz też

Uwagi

Bibliografia

Zewnętrzne linki