Explicit és implicit meghatározások - stadopedia
A meghatározások leggyakoribb formája kifejezett definíciók. A definíciót explicit módon nevezik. ha és csak akkor, ha azt a formanyelv nyelvi konstrukciója adja: A "B. Itt A definiendum, definiendum (definició), B a meghatározó rész (definíció), és az "a" szimbólum azt fejezi ki, hogy az A.
A definíció tartalmának megfelelően az explicit definíciók négy típusra oszthatók:
a) minősítés - meghatározza a kifejezés fogalmát, mint olyan objektumot, amely bizonyos megkülönböztető tulajdonságokkal rendelkezik. Például: "A hajléktalan olyan személy, aki nem rendelkezik külön lakóhellyel". Itt jelzik a hajléktalanok megkülönböztető képességét - a lakhatás hiányát.
b) genetikai - jelzi az objektum származási módját (generációját). Például: "A villámlás ütközik az elektromosan töltött részecskék légterében".
c) operatív - az objektumfelismerés működését jelzi. Például: "A nitrát olyan folyadék, amely kifejezett szagú."
e) cél - feltárja az objektum célját. Például: "A bár a súlyemelésben használt sporteszköz." Itt jelezzük, hogy mi a sáv, és így a fogalom értelmét magyarázza.
Meg kell jegyezni, hogy azok a fogalommeghatározások, amelyek nem rendelkeznek A "B. implicitnek nevezik. [És van valami, ami kielégíti a B1 pontokat. B2. ..., Bn].
Az implicit definíciók három típusra oszthatók: induktív. rekurzív és axiomatikus.
Az induktív definíciók definiálják az A objektumok osztályát az alosztályok egy részének (az indukció alapjául) és azoknak az eljárásoknak a meghatározásával, amelyekkel az ebbe az osztályba tartozó összes többi objektum keletkezik (induktív lépés). Mutatunk egy induktív definíciót - a természetes szám meghatározását.
1. 1 természetes szám. Az indukció alapja
2. Ha a 2 természetes szám, induktív lépés
akkor 3 természetes szám.
3. Semmi más nem restriktív feltétel
A meghatározás első pontja az indukció alapja: az 1 természetes számot jelent. Ezután minden más természetes számot egyetlen eljárással generálnak - a "kövesse" függvényt. Ez induktív lépés. Így minden nagyobb, mint egy, a természetes számok csoportjába eső egész szám.
A rekurzív definíciók egy f függvényt adnak meg, megadva annak értékeit az eredeti érvek egy részére (a rekurzió alapja), és hogyan határozzák meg az összes fennmaradó f értéket, ismerve a forrást (rekurzió). Íme egy példa a kiegészítés rekurzív meghatározására:
A definíció első pontja (rekurzió alapja) azt állítja, hogy az x + y függvény értéke x-vel egyenlő. abban az esetben, ha y = 0. A második pont (rekurzió) azt mondja, hogy ha szeretnénk kiszámítani az x + y értékét. ahol y 'az y után következő szám. akkor ehhez számítani kell. amely egyenlő x + y értékkel. és az x + y számot az alábbiak szerint hajthatja végre.
Az axiomatikus definíciók tisztázzák egy adott kifejezés jelentését, jelezve azt az axiómák sorát, amelyekben van. Általában az ellenkező irányba megyünk: tudva, hogy milyen kifejezések jelentkeznek a kifejezésre, akkor eldöntjük az igazság vagy a hamisság kérdését. Tehát a kijelentések klasszikus logikájának axiómái implicit módon definiálják a negációt, az implikációt, a kapcsolatot, a diszjunkciót stb.