1. Esența formalizării gândirii 4
2. Modelarea activității mentale umane 8
Logica ca gândire a științelor. Există alte științe care o au ca subiect de studiu, de exemplu, psihologie și fiziologie. Psihologia studiază modul în care are loc procesul de gândire. Pe de altă parte, putem privi gândirea ca pe un mijloc de a atinge adevărul. Logica explorează care legi ar trebui să fie supuse gândirii, astfel încât să poată duce la adevăr. În știința logică, gândirea este interesată numai în măsura în care se angajează în raționamentul, dovada și fundamentarea afirmațiilor și concluziilor sale.
Logica este numită și știința cunoașterii deduse, știința dovezilor. Logica explorează coeziunea gândurilor între ei, legăturile necesare: constrângerea, inevitabilitatea de a trage concluzii din orice hotărâre sau, dimpotrivă, incompatibilitatea acestor sau a altor cuvinte. Un rol important în logică îl joacă conceptul de formă de gândire. Logica poate fi chiar numită știința formelor de gândire. În aceste condiții, tema formalizării gândirii și a principalelor sale probleme funcționale este actuală.
Partea principală (extras)
Formalizarea gândirii este o reflectare a rezultatelor gândirii în concepte și declarații precise. Atunci când se formalizează obiectele studiate, proprietățile și relațiile lor, se pun în corespondență anumite construcții materiale stabile, bine văzute și identificabile, care fac posibilă identificarea și fixarea aspectelor esențiale ale obiectelor.
Formalizare efectuate pe baza unor abstracțiuni, idealizări și limbajul simbolic artificiale utilizate în principal în matematică, precum și în științele, în care utilizarea aparatelor matematice realizează suficiente pentru acest nivel de maturitate. Laitmotivul dezvoltarea matematicii în ultimele trei secole a fost aprofundarea treptat înțelegerea matematicii ca un sistem formalizat de gândire și creșterea ulterioară în „mare creștere“, se întâmplă prin tranziții metasistemului de diferite dimensiuni.
Un studiu aprofundat al teoriei matematice generează noi teorii matematice care consideră teoria originală în diferitele sale aspecte. Prin urmare, fiecare dintre aceste teorii este, într-un sens mai ușor (mai fundamentală) decât teoria inițială, la fel ca și teoria inițială este mai simplă decât realitatea că este întotdeauna privită doar orice un aspect. Există o divizare a modelelor, o selecție a unui set de modele mai simple dintr-un model complex. Formal, noua teorie este la fel de versatil ca și teoria originală: ele pot fi aplicate la orice obiecte care satisfac axiomele, indiferent de natura lor. În abordarea axiomatica, diverse teorii matematice, strict vorbind, nu o ierarhie de control, și ierarhia de complexitate. Cu toate acestea, având în vedere modelele care exprimă de fapt, legile naturii (de ex., E. sunt utilizate în aplicații de matematică), vedem că teoria matematică este destul de clar împărțită în nivele în funcție de natura obiectului la care acestea sunt utilizate efectiv.
Formalizarea este o modalitate de a exprima conținutul unui corp de cunoaștere. Cea mai semnificativă formă de formalizare este formalizarea logică, ceea ce înseamnă exprimarea conținutului mental prin forme logice. Acest lucru contribuie la procesul de aducere a științei într-un sistem riguros; Cu toate acestea, formalizarea completă este imposibilă chiar și în domeniul matematicii.
Formalizarea logică deseori servește la compilarea programelor pe calculator și la încercarea de a modela gândirea. În acest caz, se folosesc limbi algoritmice speciale. Deoarece formalizarea logică este făcută pe baza logicii formale, calculul pronunțărilor (și predicatelor) presupune întotdeauna doar o imitație a mișcării conceptelor în cursul gândirii omului.
2. Bourbaki N. Elemente ale matematicii // Eseuri despre istoria matematicii. M. Izd-vo Inostr. Literatura. 1963.
3. Weyl G. Despre filozofia matematicii. M; L. 1968.
Informații despre locuri de muncă
Pagini: 14
Tip: Eseu
150 p.