Definitii explicite si implicite - stadopedia

Cea mai comună formă de definiții este definiția explicită. Definiția se numește explicită. dacă și numai dacă este dată de o construcție lingvistică a formei: A "B. Aici A este partea definibilă (definiendum), B este partea definitivă (definiția), iar simbolul "a" exprimă convenția de a folosi A în valoarea lui B.







Conform conținutului definiției, definițiile explicite sunt împărțite în patru tipuri:

a) califică - determină sensul termenului ca un obiect care posedă anumite trăsături distinctive. De exemplu, "fără adăpost este o persoană care nu are un loc specific de reședință." Aici este indicată caracteristica distinctivă a persoanelor fără adăpost - lipsa de locuințe.

b) genetic - indica modul de origine (generare) al obiectului. De exemplu, "fulgerul este o coliziune în spațiul aerian al particulelor încărcate electric opuse".

c) operațional - indică funcționarea recunoașterii obiectului. De exemplu, "Nitratul este un lichid care are un miros pronunțat".

e) țintă - dezvălui scopul obiectului. De exemplu, "O bară este un dispozitiv sportiv utilizat în haltere". Aici este indicat, pentru ceea ce este destinat bara și, prin urmare, semnificația acestui concept este explicată.

Trebuie remarcat faptul că definițiile care nu au forma egalității A "B. se numesc implicite. [Și există ceva care satisface punctele B1. B2. ..., Bn].







Definițiile implicite sunt împărțite în trei tipuri: inductive. recursive și axiomatice.

Definițiile inductive definesc clasa obiectelor A prin specificarea unora dintre subclasele lor (baza inducției) și acele proceduri prin care sunt generate toate celelalte obiecte din această clasă (pas inductiv). Dăm un exemplu de definiție inductivă - definiția unui număr natural.

1. 1 este un număr natural. Bazele inducției

2. Dacă 2 este un număr natural, pas inductiv

apoi 3 este un număr natural.

3. Nimic altceva nu este o condiție restrictivă

Primul punct al definiției este baza inducției: 1 este declarat un număr natural. După aceasta, toate celelalte numere naturale sunt generate cu ajutorul unei singure proceduri - funcția "urmați". Acesta este un pas inductiv. Astfel, toate numerele întregi care sunt mai mari decât una intră în clasa numerelor naturale.

Definițiile recursive specifică o funcție f prin specificarea valorilor sale pentru unele dintre argumentele originale (baza recursivă) și modul de determinare a tuturor valorilor rămase ale lui f, cunoscând sursa (recursivitatea). Iată un exemplu de definiție recursivă a adăugării:

Primul punct al definiției (baza recursivității) afirmă că valoarea funcției x + y este egală cu x. în cazul în care y = 0. Al doilea punct (recursion) spune că dacă vrem să calculam valoarea lui x + y '. unde y 'este numărul următor y. atunci trebuie să calculăm y pentru asta. care este egal cu x + y. și luați următoarele pentru numărul x + y.

Definițiile axiomatice clarifică semnificația unui anumit termen prin indicarea acelui set de axiome în care este conținut. De obicei, mergem în sens contrar: cunoașterea semnificației termenilor care intră în declarație, vom hotărî atunci despre adevărul sau falsitatea ei. Astfel, axiomele logicii clasice a cuvintelor definesc implicit conceptele de negare, implicare, conjuncție, disjuncție etc.







Articole similare

Trimiteți-le prietenilor: