Baza formalizării este prezentată și considerată o arie substanțială de cunoștințe (considerente teorie științifică și altele.) Ca un sistem formal, crearea unui model de semn anumit domeniu generalizat, care permite detectarea structurii și a modelelor de procese care au loc în ea prin operațiuni cu semne sale.
Sub formalizarea se referă la 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 necesar:
a) atribuirea unui alfabet, adică a unui anumit set de semne;
b) stabilirea regulilor prin care "cuvinte", "formule" pot fi obținute din semnele inițiale ale acestui alfabet;
c) stabilirea regulilor prin care cuvintele și formulele sistemului dat pot fi transferate altor cuvinte și formule (așa-numitele reguli de inferență).
Ca rezultat, se crează un sistem formal de semne sub forma unei anumite limbi artificiale. Un avantaj important al acestui sistem îl reprezintă posibilitatea de a efectua în cadrul său studiul unui obiect într-un mod pur formal (funcționând cu semne) fără a se adresa direct acest obiect.
Un alt avantaj al formalizării este acela de a asigura concisitatea și claritatea înregistrării informațiilor științifice, ceea ce permite deschiderea unor mari oportunități de utilizare a acestora
Descrierile matematice ale diferitelor obiecte și procese reprezintă un exemplu viu de formalizare. În același timp, simbolurile matematice nu numai că ajută la consolidarea cunoștințelor deja existente despre obiectele și fenomenele studiate, ci și ca un fel de instrument în procesul de cunoaștere a acestora.
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. Metoda de formalizare a ocupat un loc din ce în ce mai important în logica, așa cum sa dezvoltat. Lucrările din Leibniz au pus bazele creării metodei calculilor logici. Acestea din urmă au dus la formarea în mijlocul secolului al XIX-lea. logica matematică, care, în a doua jumătate a acestui secol a jucat un rol important în dezvoltarea ciberneticii, în apariția calculatoarelor electronice, în care se ocupă cu sarcini de automatizare industriale, și așa mai departe. d.
Limba științei moderne diferă semnificativ de limba umană naturală. Conține numeroși termeni, expresii, utilizează mijloacele de formalizare pe scară largă, dintre care locul central aparține formalizării matematice. Plecând de la necesitățile științei, sunt create diferite limbi artificiale, concepute pentru a rezolva anumite sarcini.
Limbile artificiale formalizate nu posedă flexibilitatea și bogăția limbajului natural. Dar în ele nu există polisemie de termeni (polysemy) inerente limbajelor naturale. Ele sunt caracterizate prin sintaxa construite cu precizie (care stabilește norme pentru relația dintre personaje, indiferent de conținutul lor) și semantica lipsite de ambiguitate (limbaj reguli semantice formalizate este destul de definească în mod clar corelarea sistemului de conectare cu o anumită zonă de subiect). Astfel, un limbaj formalizat are proprietatea monosemicității. Toate seturile de limbi artificializate, create și create, intră în limbajul științei, formând un instrument puternic de cunoaștere științifică.
Crearea unui limbaj unic al științei nu este posibilă. Chiar și destul de bogat limbi formalizate nu îndeplinesc cerința de completitudine, t. E. Un anumit set de propoziții corect formulate de un astfel de limbaj (inclusiv true) nu pot fi obținute prin pur formală în această limbă. Această situație rezultă din rezultatele obținute la începutul anilor '30 secolului XX, matematicianul Kurt Gödel și logica austriacă.
Limbile formalizate nu pot fi singura formă a limbii științei moderne, deoarece dorința de adecvare maximă necesită utilizarea unor sisteme neformalizate. Dar, în măsura în care adecvarea este de neconceput fără precizie, tendința către o formalizare tot mai mare a limbilor tuturor și mai ales a științelor naturale este obiectivă și progresivă.
Trimiteți-le prietenilor: