Formalizare ca metodă de cunoștințe teoretice

Sub formalizarea este de obicei înțeleasă ca o abordare specială a cunoștințelor științifice, care este utilizarea de simboluri speciale, care să permită evadarea din studiul obiectelor reale, care descriu conținutul pozițiilor teoretice și în loc să opereze printr-un set de simboluri (litere).

Pentru a construi orice sistem formal este extrem de important:

a) loc de muncă alfavita͵ ᴛ.ᴇ. ?? ennogo set determinat de caractere;

b) reguli de atribuire în conformitate cu care a simbolurilor sursă ale acestui alfabet sunt obtained''slova „“, „“ formuly „“;

c) Atribuirea de reguli prin care unele cuvinte, sistemul de formule pe care se poate trece la alte cuvinte și formule (așa-numitele reguli de inferență).

Rezultatul este un sistem oficial semn astfel cum este definit ?? ennogo limbaj artificial. Un avantaj important al acestui sistem este posibilitatea de a efectua partea a studiului unui obiect pur mod oficial (mărci de manipulare), fără referire directă la obiect.

Un alt avantaj al formalizare este acela de a oferi concizie și claritate de înregistrare a informațiilor științifice, care oferă o mare oportunitate de a face față.

descrieri matematice ale diferitelor obiecte, procese sunt ilustrative formalizare. În acest caz, utilizate simbolurile matematice ajuta nu numai consolidarea cunoștințelor existente despre obiectele studiate, fenomene, dar, de asemenea, acționează ca un fel de instrument în promovarea cunoștințelor lor. Dar utilizarea tot mai mare de formalizare ca metodă de cunoștințe teoretice legate nu numai la dezvoltarea matematicii. În chimie, de exemplu, simbolurile chimice adecvate, împreună cu regulile de operare a fost una dintre opțiunile pentru limbă artificială formale. Un loc tot mai important ocupat formalizare metoda în logica așa cum se dezvoltă. Leibnitz Proceedings a inițiat crearea metodei de calculi logice. Acesta din urmă a condus la formarea în mijlocul secolului al XIX-lea ?? e. logica matematică, care, în a doua jumătate a acestui secol ?? e a avut un rol esențial în dezvoltarea ciberneticii, în apariția calculatoarelor în rezolvarea sarcinilor de automatizare de fabricație, etc.

Limbajul științei moderne este, în esență diferită de limba umană naturală. Acesta conține mulți termeni, expresii speciale, instrumente de formalizare, printre care locul central aparține formalizarea matematic este utilizat pe scară largă. Bazat pe nevoile științei, limbaje artificiale sunt diferite, concepute pentru a aborda aceste sau alte probleme.

Formalizate limbi artificiale nu au flexibilitatea și bogăția limbajului natural. Dar le lipsește Dezambiguizare (polisemia), inerente în limbi naturale. Οʜᴎ caracterizînd construite cu precizie sintaxa (normele de stabilire a comunicării între personaje, indiferent de conținutul acestora) și semantica lipsite de ambiguitate (semantica limbajului formalizată fie unic determinat sistemul de corelare determină semnul ?? zona de subiect ennoy). Τᴀᴋᴎᴍ ᴏϬᴩᴀᴈᴏᴍ, limbajul formalizat are proprietatea Monos ?? emichnosti. Toate varietate de creat și produs de limbi formalizate artificiale incluse în limbajul științei, formând un instrument puternic pentru cunoștințele științifice.

Crearea unei singure limbaj formalizat a științei nu este posibilă. Chiar și suficient de bogat limbi formalizate nu îndeplinesc cerința de completitudine, ᴛ.ᴇ. neĸᴏᴛᴏᴩᴏᴇ multe propuneri formulate în mod corespunzător limbii (inclusiv adevărate) nu ar trebui să fie dedusă mod pur formală în limba. Această prevedere se bazează pe rezultatele obținute în primele 30-e ai secolului XX, logician și matematician austriac Kurt Gödel l ??.

limbaje formale nu sunt singura formă de limbajul științei moderne, pentru exercitarea de adecvare maximă și necesită utilizarea sistemului formalizat. Dar, în măsura în care este de neconceput fără o precizie adecvată, tendința spre creștere limbi formalizare Sun ?? e, și în special științele naturale este obiectivul și progresivă.