METODA AXIOMATICĂ (poziția acceptată de axiom grec) este una dintre metodele de construcție deductivă (deducție) a teoriilor științifice. Teoria construită axiomatic se bazează pe axiome, adică, propoziții acceptate fără dovadă. Toate celelalte propoziții ale teoriei derivă din axiome (adică sunt dovedite) pe baza regulilor logice de inferență și a regulilor de definiție admisibile în această teorie. Ca reguli, se folosesc regulile logicii formale. inclusiv logica matematică.
Prin urmare, în este necesar cazul Axiomatizarea unei teorii, în primul rând, pentru a defini un set de legi ale logicii care urmează să fie utilizate în viitor, și în al doilea rând, pentru a alege axiome și, în al treilea rând, pentru a deduce din axiomele pe baza unor reguli de inferență toate celelalte declarații reală a teorie. Prima prezentare a A. m. Apărut în Grecia antică (eleați, Platon, Aristotel, Euclid), iar de-a lungul istoriei sale au cunoscut o evoluție semnificativă. Pentru o lungă perioadă de timp, axiomatizarea a necesitat selectarea axiomelor evidente, adică fără îndoială. Începând cu etajul 2. Secolul al XIX-lea. Teoria axiomatică a început să fie considerată un sistem formal care permite mai multe interpretări (modele). În acest sens, o atenție deosebită a fost atrasă de dovada consistenței teoriei formale axiomatice (imposibilitatea desprinderii ea o propoziție și negația ei), caracterul complet (o astfel de teorie ar trebui să conțină toate propozițiile adevărate care descriu acest sistem de obiecte), și. Teoria așa mai departe D. axiomatic este acum înțeleasă ca un limbaj formal specific (sistem de semne), folosind doar tehnica deductivă și efectuarea unor cerințe sintactice și semantice; o astfel de limbă descrie orice set de obiecte pe care le satisface. Axiomatizarea este doar una dintre metodele de construire a cunoștințelor științifice. dovada imposibilitatea axiomatizarea complete a lui Gödel aritmetica arata ca teoriile axiomatice pot fi construite doar pentru relativ secțiuni la scară mică ale cunoașterii științifice. . A. m ia adesea forma metodei ipotetice-deductivă: Teoria este construită în conformitate cu principiile de A. m și propunerile sale, axiome incl sunt considerate ca ipoteze pentru a fi testate empiric .... O astfel de verificare se realizează cu ajutorul unui set special de afirmații care leagă unele dintre propunerile teoriei de faptele observate empiric. Ca urmare a propunerilor sistemului teoretic primește testarea empirică directă, iar restul - în mod indirect, prin relația lor cu prima. Principiile metodei ipotetice-deductivă este utilizat pe scară largă în prezent în construcția de mai multe discipline științifice (domenii individuale de fizică, biologie, psihologie, sociologie, lingvistică, etc.).
Articole similare
-
Metode de formalizare a cunoștințelor teoretice, metoda axiomatică, metoda ipotetic-deductivă -
-
Metoda de hidroponie și utilitatea acesteia pentru fermierul-crescător de vite
Trimiteți-le prietenilor: