Care este sensul de descrieri - sensul cuvintelor

valori căutare / cuvinte de interpretare

Secțiunea este foarte ușor de utilizat. Caseta de sugestie este suficient pentru a introduce cuvântul dorit, și vă vom emite o listă a valorilor sale. Vreau să rețineți că site-ul nostru oferă date din diferite surse - enciclopedic, sensibilă, cuvânt dicționare de formare. Aici puteți obține, de asemenea, familiarizat cu exemple de utilizare a cuvintelor introduse.

Descrieri (din Descriptio Latină -. Descriere) Limba construct, înlocuind numele său propriu sau denumirea comună a subiectului. Limbajul natural este transmis expresii cum ar fi „el. Asta.“ Și „o. Asta ..“

enciclopedie

(Lat. Descriptio ≈ descriere), termenul logic-lingvistice care indică construcții speciale care joacă rolul limbilor oficiale altele (în comparație cu dicționarul inițial), nume proprii și substantive comune. În limbile naturale, această funcție este realizată de expresii cum ar fi „el (ea). care (th). "Și" a (mii). asta. „≈ articole sau, respectiv, o anumită (AD specifică) și un nedefinit (nedefinit D.). Logice-matematice limbajele formale ale anumitor operatori D. (interpretate de expresiile de mai sus de tip 1), se aplică formulele (predicate), conținând cel puțin o variabilă liberă. acestea, în astfel de cazuri, „leagă“ prin transformarea expresiei într-o singură denumire a obiectului, care este valoarea acestei variabile (a se vedea. Cuantificator). De exemplu, dacă P (x) este un predicat x = log35, a i ≈ desemnarea D. anumit operator de atunci IXP (x) este numele descriptiv al valorilor singulare ale lui x, unde P (x) este adevărat. Existența și unicitatea acestei proprietăți sunt o condiție prealabilă pentru aplicabilitatea i-operator pentru expresia dată și o descriere semnificativă. În cazul în care starea de unicitate nu este îndeplinită, o „anumită“ D. considerate în mod natural ca formulări inexacte incert D. a interpretat fraza de tip 2. mod precis nedefinit D. introdus prin așa-numitul e-operator, care ca i-operatorul se referă la un obiect definit de o anumită proprietate sau contra și prin care formulele respective de calcul pot fi preparați de asemenea nume subiect ( «e-termeni») ≈ cu singura diferență că, pentru punerea în aplicare a e-operatorului este necesară nu numai pentru a demonstra unicitatea obiectului este determinată, dar dovada existenței sale (de ex., e. de intrare prin obiect e-declarație, „independent“ de la ipoteza existenței sale, S într-un sens „a unui obiect“). Concomitent cu plus față de această limbă operatorii formalizate D. acestea sunt postulate speciale (axiome. Și, uneori, deducție reguli) codificării de manipulare regulă cu nou introduse obiectele formale (caractere) și având forma unor definiții explicite. Introdus pentru extensiile de astfel de obiecte de calculi în anumite condiții naturale sunt eliminate (eliminate) din calcule avansate pentru o clasă foarte largă de sisteme formale, astfel încât conexiunea la sistemul AD este extrem de convenabil pentru scopuri practice, este lipsit de relevanță în acest context. Acest fapt este bine cunoscut pentru limbile naturale, care servesc pentru a forma D. expresii sinonime, are un loc pentru limbile oficiale, în cazul în care nevoia de DI este cauzată de, aproximativ vorbind, prin prezența infinitului (potențial), numărul de obiecte care nu au propriile lor nume: ca orice alt „reducere de vorbire,“ D. convenabil, dar ele nu sunt în mod fundamental necesare.

Lit. SK Kleene Introducere în metamathematics, trans. din limba engleză. Moscova, 1957, ╖ 74; Freudenthal H. Logic Limba, trans. din limba engleză. M. 1969, ch. 3, p. 25.

Yu. A. Gastev, M. M. Novosolov.

Descrieri - această descriere, și anume, proiectare, forma care are forma „asta ... asta ...“. Atunci când construirea unui logic înseamnă că este inclusă în limba în acești termeni. Descrierea Definite corespunde termenului ιx.Φ. care este citit canonicește ca „edinstvennyyx. care satisface Φ ». Descrierile incerți corespunde termenului εx.Φ. care se citește ca canonicește „x. care satisface Φ ».

Exemple de utilizare a descrierilor de cuvinte în literatura de specialitate.

Descrieri de aici nu înseamnă modul de a spune tipul de morfologie botanică - titlul este din nou sensul vospretitelny: eliminarea tuturor nedokazuyuschego definiție.

Esența conceptului de apropiere este faptul că personajul cu sensul și semnificația, și este eksplikanduumom eksplikatom, așa cum sa prezentat mai sus, a doua natură, considerată ca fiind conceptul matematic triada unui set este menționat pentru prima descrieri problemă formule de substituție de fezabilitate triadei.

De cele mai multe în căutarea pentru a afla: semnificația metodică a descrierilor fenomenologice au interpretare.

În cazul în care există doar un singur obiect care îndeplinește o condiție care corespunde domeniului de aplicare al operatorului iota, iar descrierile sale Descript satisfac condiția unicitate.

Noi numim acest set de timp, esența acestui nume este că sensul de a impune formarea conceptului de timp identificate de noi ca un semn de identitate logică, încălcarea formală din valoarea comenzii, așa-numitul absolută, sau distinctive identitatea clasice germane, descrierile conceptului de judecată.

În conformitate cu interpretarea descrierilor din sistemul Hilbert și Bernays, obiecte individuale care - numere naturale, descrieri vor fi permise numai în cazul în care îndeplinesc condiția de unicitate.

Denotatie aici corespunde descrierilor din logicienii clasice folosesc.

Vedem aici o interpretare fenomenologică, descrieri pure de sintaxă, care reprezintă logica ca valoarea independente, existente de la sine.

Deosebirea are descrieri și definiții ale existenței, externe și interne, și distincție este foarte descrierile.

În limbaj natural, de asemenea, își asumă în mod necesar existența și unicitatea obiectului descris în propunerile-cheie de tipul care se potrivește cu descrierile.

Sursa: Biblioteca Maksima Moshkova