Ce este formalism
Marii Enciclopedii Sovietice (BES)
Ortografie dicționar Lopatin
formal`izm, formal`izm, s
FORMAL'IZM, -a soț.
1. Respectarea forma exterioară a ceea ce Dl. în detrimentul fondului cauzei. f birocratica.
2. În artă, estetică și alte umaniste: denumirea comună a direcțiilor care dau importanță primară formează expresia exterioară. F. critica literară.
adj. formalist, -s, -s și formalistă, -s, -s.
FORMAL'IZM, formalismul, multe altele. Nu · soț.
1. Angajamentul pentru respectarea externă a formalităților în detrimentul meritelor, strict relația formală cu nimic. formalismul birocratica. formalism excesiv în lucrare.
2. Direcția (în artă, istoria artei, critica literară și alte științe), un idealist rip sub formă de conținut, teorie și practică, ceea ce reduce realitatea la forme abstracte și modele (științifice.). Lupta împotriva formalismului. Formalismul în știința istorică. Formalismul în matematică.
Dicționar explicativ al lui Efraim
[Formalism]
1. m.
1) Angajamentul de a respecta formalitățile externe în detrimentul fondului cauzei.
2) conformitatea continuă cu formele exterioare ale vieții.
2. m.
Direcția în arta, istoria artei, critica literară etc. ai căror membri tind să se separe sub formă de conținut și pentru a da formă sau elementele sale individuale de importanță primară.
Sociologice Entsiklopedichechky Dicționar
Formalismul - engleză. formalism; l. Formalismus. 1. Respectarea forma externă în detrimentul fondului cauzei. 2. În filozofie - tipuri diferite de separare tipice idealism formei și a conținutului. 3. Arta și direcția în secolele XIX-XX. revendicările de la legile de informare ale dezvoltării artei prin studiul structurii sale și procedând la abstract „forma teoriei“. 4. Tendințele experimentale ale artei moderne secolelor XIX-XX. (Cubist, futurism, suprarealism și colab.). 5. Direcția în matematică, rezolvarea problemelor de matematică crampele fundații pentru construcții axiomatică formale. 6. În religie, artă, viață - angajament și respectarea strictă a reglementărilor sau practicile care rezultă din forme de comportament, comunicare și activități.
Filozofic dicționar enciclopedic
Filozofic dicționar enciclopedic 2
II
în logică și matematică, una din DOS. tendințe în matematică și motive logice prezentate ca Ch. problema fundamentării acestor discipline pentru a le construi sub forma unor estimări ale mass-media speciale-stvami. Teoria (numit dupa fondatorul formalismul metamathematics Hilbert sau a teoriei dovezi).
Gilbert a dezvoltat în 1922-1939 programul metamatematich. bazele matematicii (și logica) a declarat posibilitatea de „salvare“ toate clasice. matematică, t. e. matematică, construit pe baza teoriei set de Cantor, se bucură în mod necondiționat o abstracție de infinit reale și întregul arsenal de instrumente deductiv trad. logica. Prin planul Hubert, lipsa paradoxurile din axiomele siste.me selectate ale teoriei multimilor ar putea fi garantat faptul că meta-limbaj, care ar efectua dovada consistenței sale, ar conține doar un finit, de capăt (care nu implică utilizarea conceptului de „infinit reale“) și expresiv mijloace deductive absolut impecabile în ceea ce privește claritatea și puterea de convingere a acestora.
Metamatematich. Programul lui Hilbert, în cursul căreia el însuși și școala lui (P. Bernays, W. Ackermann, G. Gentzen, și altele.) S-a obținut o serie de rezultate importante (a se vedea. Consecvența, completitudinea), a fost criticată de alții. Direcțiile de bazele matematicii în primul rând intuitionism (a se vedea. De asemenea, logicismului). În același timp, descoperirea fundamentală a Godel (1931), care a stabilit incompatibilitatea cerințelor de coerență și completitudine destul de bogat (cu t. Sp., Mijloacele lor expresivă și deductive) calcule logice-matematice a arătat limitările fundamentale ale conceptului F.
Cu toate acestea metamatematich. principii, combinate cu ideile altora, și a aparatului. traseu (de ex. o directie constructiva) sunt utilizate pentru dezvoltarea teoriei problemelor probelor (de ex. Amer. logicianul G. Kreisel in apropiere de bufnite. logicieni).
A se vedea. De asemenea, metoda axiomatică, Metatheory.
Gilbert D. Bernays P. Fundamentele Mathematics, Princeton Univ. cu ea. t 1, M. 1979 .; Kpayzel D. Cercetări privind teoria probelor, pentru fiecare. din limba engleză. M. 1981.