1 Conceptul de formalizare
Deoarece structura lingvistică a unui limbaj natural nu este același lucru ca și structura logică a formelor și a legilor de gândire, care sunt încorporate în limba, logica este forțat să creeze fonduri speciale care ar mozhlivis să se retragă din forma limbaj natural de gândire, proprietățile lor logice, o relație semnificativă între ele, să definească principiile logicii deducere, criteriile de diferențiere între modalități corecte și greșite etalon băi.
Aici trebuie remarcat faptul că crearea logicii unui limbaj special, în plus față de limbajul natural existent, există un proces special care prevede că, un sistem semn artificial este un mijloc de fixare a Strukt logic tururi gânduri, pe de o parte, și mijloacele de investigare a proprietatilor logice și a relațiilor de gândire, cu celălalt este, suntem logica - este mai presus de orice metoda sa nu se obișnuiește să se spună „limbaj artificial al logicii“ și „Ana formalizează limbajul logicii“ cu o mână ușoară a filosofului german al secolului al XVIII-lea IKanta logica atribuit adjectivul " ormalnaya „așa-numita logica formală a devenit, în metoda sa de - formalizatsiyamalnoyu în metoda її - formalіzatsієyu.
Formalizarea ca un fel de activitate umană se aplică nu numai în logică. Cu formalizarea se întâlnesc în diferite științe: matematică, chimie, fizică etc.
Formalizare a apărut cu gândirea și limbajul Prima manifestare a fost formalizarea alfabetizare științei prin simbolurile semnelor în limbaj natural a început să adăugați un caracter special (element pe care îl matematice, chimice și alte simboluri).
În formalizare logică are un caracter special, în sens general F o r m o l și un q și eu în logica - o detectie a structurii logice a gândurilor noastre O structură logică de gândire este forma de concepte de comunicare în judecată, hotărârea de conectare sub formă interconectate în judecăți complexe forma de comunicare cu hotărârile din umozaklyucheniyau compoziției.
Uneori formalizarea (nu numai în logică) este definită ca procesul de studiere a conținutului prin intermediul unui limbaj formalizat, ceea ce determină definirea unei limbi formalizate
Fermalisanovaya mute. sau limbajul simbolurilor, este orice set de instrumente de limbă specializate cu reguli strict fixate pentru formarea unor expresii diferite și regulile pentru atribuirea anumitor valori acestor expresii
În logica limbajului formal, un sistem formal este chemat împreună cu interpretarea sa sau calculul este interpretat. În această știință, termenul "formalizare" are mai multe semnificații:
1) metoda logicii, care constă în aplicarea unei limbi formalizate la studiul subiectului logicii;
2) procesul de codificare prin teoria logică formală a fragmentelor teoriilor sau teoriilor științifice;
3) reflectarea conceptelor de semantică logică în termeni de sintaxă logică (de exemplu, relația semantică a implicării logice este exprimată printr-o relație sintactică - vidvistă)
Limba formalizată (sau limba simbolurilor) este un instrument eficient pentru orice studiu. Progresul în știința modernă, în special în logică, asociat cu utilizarea unei limbi formalizate
Utilizarea acestuia în procesul de cercetare și practică are mai multe avantaje
În primul rând, permite pe scurt, într-o formă condensată, să înregistreze și să transmită diferite relații între obiectele investigate
De exemplu, în loc să trebuiască să descrie pătratul sumei a două numere prin intermediul limbajului natural ( „pătrat din suma a două numere este egală cu pătratul primului număr plus dublul produs al primului număr de al doilea plus Rat doilea număr blocuri“), vom scrie o scurtă formulă formulyї:
Dacă în logică este necesar să se stabilească structura, de exemplu, a unei judecăți generale negative, atunci în loc de fraza greoaie a limbajului natural
"În judecată zagalnozaperechuvalnom a cărui obiect al unui anumit multi-
În al doilea rând, limba simbolurilor ajută la evaluarea naturii relației dintre obiectele fixate într-o anumită formulă
Este clar că acest lucru trebuie neapărat să cunoască semnificația simbolurilor utilizate în formula Dacă orice expresie a limbajului natural, cum ar fi „Profesorul meu - de aceeași vârstă ca și tatăl meu,“ am scrie câteva mai multe limbi (angiyskoyu, franceză, etc.), tipul și combinația de caractere (litere ) în aceste propoziții nu ne spun nimic despre subiectele și. atitudinea lor este descris în aceste propuneri vom ști doar că în aceste propuneri Posturi semne lingvistice, tipul lor este diferit, iar opinia repară același lucru este destul de un alt lucru atunci când folosim un limbaj formal în sine este un fel de formule H 2 O (ca în ) 2 = a2 2 AB B2 „nu S nu este esența P“ indică natura și tipul de relație dintre obiecte, care sunt fixate prin simbolurile corespunzătoare Această discrepanță între exprimarea limbajului natural și de exprimare (formula) formalizate mo te datorită faptului că, în limbaj natural scris semn reprezintă un sunet (literă) sau o combinație de sunete (cuvinte), și într-o limbă formalizată - obiecte, proprietăți și relațiile lor, și operațiunile de pe un operatsії Nieman peste ele.
Deci, în termeni de litere H2O H și O - numele obiectelor relevante și cantitative lor caracteristice 2 și 1 indică faptul că această combinație a da o anumită substanță în formula „Nici S nu este P“ semn S - nume logic lea subiect, iar simbolul P este numele predicatului logic.
În al treilea rând, grație unui limbaj formalizat, este posibil să se dezvăluie fără echivoc structura logică a gândirii, să se facă distincție între sintaxa logică și limbajul lingvistic
Din punctul de vedere al sintaxei lingvistice, aceste argumente sunt aceleași Dar din punct de vedere al naturii relațiilor logice pe care le stabilesc, aceste considerente sunt diferite
Pentru a arăta diferența dintre sintaxa lingvistică și sintaxa logică a acestor segmente de vorbire, trebuie să notăm aceste argumente cu mijloacele unei limbi formalizate
În primul argument, concluzia exprimă adevărul cu privire la al doilea, putem de asemenea considerații nu spun acest lucru pentru că, în primul argument, expresia „profesorul meu de matematică“, în numele unei anumite persoane În al doilea argument, cuvântul „cineva“ și „cineva aceasta „indică faptul că probabilitatea existenței unui obiect x acest lucru înseamnă că nu avem nici o garanție că prima și a doua trimiterea celui de al doilea argument, expresia“ există un x „poate fi vidnesinim la același subiect individual de mii de aceeași іndivі dublu obiect.
Prin urmare, utilizarea de limbaj formal în orice domeniu de activitate umană prevede optimizarea (scurt) sunt necesare informații, permite semne externe (de forma de caractere) estimat SEAP studiu de caracter al relațiilor, și de captare în mod eficient structura logică a expresiilor lingvistice (vorbim despre, sau în limbaj natural limba științei.