metode teoretice formalizare cunoaștere, metoda axiomatică

Formalizare - afișează cunoștințe substanțiale în formă semantică-simbolică (limbaj formal). O limbă oficială este creată pentru exprimarea exactă a gândurilor, în scopul de a exclude posibilitatea de înțelegere ambiguă. Formalizarea raționamentul despre obiectele sunt transferate în planul de operare de semne (formule), care este în legătură cu construcția de limbi artificiale (limba de matematica, logica, chimie, etc.).

Important în procesul de formalizare este că de mai sus formulele de limbi artificiale pot opera, obtinerea-le în noi formule și rapoarte. Deoarece operațiunile cu gânduri despre obiectele sunt înlocuite cu acțiunile de caractere și simboluri.

Pentru a construi orice sistem formal este necesar:

1) set alfabet (un anumit set de caractere); 2) stabilesc regulile prin care a simbolurilor sursă ale alfabetului sunt disponibile, „cuvântul“ sau „formula“; 3) stabilesc regulile prin care unele cuvinte (formule) pot merge la alte cuvinte (formule).

Avantajul sistemelor formale este faptul că acestea permit studierea unui obiect fără a face referire directă la acesta. Printre alte avantaje ale sistemelor formale includ concizia și claritatea informațiilor de înregistrare.

Dar există toate sistemele formale numai pe baza limbajului natural. Formalizarea constrângerilor interne. Metoda universală pentru a înlocui orice calcul argument nu există.

K. Gödel a formulat și a demonstrat o teoremă despre „incompletitudinii“ sistemelor formale. Conform acestei teoreme, orice sistem formal este fie inconsistente sau conține declarații care nu pot fi dovedite și nici infirmate. Aceeași idee poate fi exprimată mai diferite: indiferent de cât de bogat sau au limbaje artificiale, ele vor conține întotdeauna declarații (formule), care fac sens, dar nu poate fi dedus de regulile formale ale limbii.

Metoda axiomatica - o metodă de construcție a unei teorii științifice în care se bazează sunt puse unele ipoteze - axiome (postulate). Toate celelalte declarații ale acestei teorii sunt derivate din modul lor pur logic, prin probe.

Pentru a obține teoreme din axiome formulate reguli speciale de inferență. Dovada ca metoda axiomatica - este o secvență de formule, fiecare dintre care este fie o axiomă sau se obține din formulele de mai sus cu privire la orice regulă de inferență.

Ea se bazează pe următoarea secvență de proceduri:

1) să formuleze un sistem de termeni stiinta de baza (de exemplu, în euclidiene Geometrie - conceptul de punct, linie, de colț, avion, etc.)

2) Acești termeni formulat un set de axiome (postulate) - poziții care nu necesită probe și este sursa din care derivă toate celelalte declarații ale unor reguli ale teoriei.

3) să formuleze un sistem de reguli de inferență, care permite transformarea în poziția inițială și pentru a trece de la o locație la alta, precum și introducerea unor termeni noi în teorie.

4) face conversia postulate asupra regulilor, dând posibilitatea unui număr limitat de axiome pentru a obține setul de dispoziții demonstrabile - Teoreme.

Metoda axiomatica - o metodă de construcție a produs cunoștințe științifice. Este de utilizare limitată, deoarece necesită un nivel ridicat de dezvoltare a teoriei axiomatizat semnificative.

Metoda Ipotetic-deductivă - metoda cunoștințelor științifice, esența, care este de a crea un sistem deductiv ipoteze legate între ele, dintre care în cele din urmă derivate afirmații despre faptele empirice.

Această metodă se bazează pe deducând (deducerea) a constatărilor și a ipotezelor alte parcele, valoarea reală este necunoscută. TS concluzia rezultată va fi probabilistă.

Structura generală a metodei:

1) face cunoștință cu faptele, ceea ce necesită o explicație teoretică, încercarea de a găsi o explicație pentru utilizarea teoriilor și legilor existente. Dacă nu se poate, atunci:

2) extinderea ipotezelor cu privire la cauzele și modelele acestui fenomen cu ajutorul logicii;

3) Evaluarea de soliditate și gravitate ipoteze și selectarea din ele cel mai probabil;

4) eliminarea ipotezelor (de obicei, deductiv) consecințe;

5) derivate din testul experimental ipotezelor consecințe. Și cel mai bun la rezultatele testării ipotezei devine o teorie.

Metoda Ipotetic-deductivă nu este atât de mult metoda de descoperire, ca o modalitate de construire și justificare a cunoștințelor științifice. / 2. 222 - 225/6