Какво е формализъм
Голяма съветска енциклопедия (BES)
Правописен речник Lopatin
formal`izm, formal`izm, S
FORMAL'IZM, -а съпруг.
1. Спазване на външната форма на това, което г-н в ущърб на съществото. Бюрократична е.
2. В изкуството, естетика и други хуманитарни: обичайно наименование на указанията, които дават първостепенно значение образуват външната експресията. F. литературната критика.
прил. формалистичен, -s, -s и формалистичен, -S, -S.
FORMAL'IZM, формализъм, много други. Не · съпруг.
1. Ангажимент за външно спазване на формалностите във вреда на съществото, строго официални взаимоотношения с нищо. Бюрократични формализъм. Прекаленият формализъм в работата.
2. посока (в изкуство, история на изкуството, литературна критика и други науки), идеалистичен откъснете формата от съдържанието, теория и практика, което намалява реалност на абстрактни форми и модели (Научни.). Борбата срещу формализъм. Формализъм в историческата наука. Формализъм в областта на математиката.
Обяснителна речник на Ефрем
[Формализъм]
1. m.
1) Ангажимент да се съобразят с външни формалности в ущърб на съществото.
2) продължаващо съответствие с външните форми на живот.
2. m.
Посока на изкуството, история на изкуството, литературна критика и т.н. чиито членове са склонни да се разделят форма от съдържание и да даде форма или отделните й елементи от първостепенно значение.
Социологическа Entsiklopedichechky речник
Формализъм - английски. формализъм; това. Formalismus. 1. Спазване на външната форма, за сметка на по същество. 2. В философия - типични различни видове идеализъм разделяне на формата и съдържанието. 3. изкуство и посока, създадени между XIX-XX. претенции за законите за оповестяване на развитие на техниката, чрез изследването на структурата и Изхождайки от абстрактно "формата на теорията." 4. експериментални тенденции на модерното изкуство XIX-XX век. (Cubist, футуризъм, сюрреализма и др.). 5. посока по математика, решаване на проблеми спазми основи на математиката за официална аксиоматична строителство. 6. В религията, изкуството, живота - ангажимент и стриктно спазване на нормативните актове или практиките, произтичащи от форми на поведение, комуникация и дейности.
Философски тълковен речник
Философски тълковен речник 2
II
в логиката и математиката, един от най-DOS. тенденции в математиката и логиката основания, изтъкнати като гл. проблемът за обосноваване на тези дисциплини за изграждането им под формата на оценки на медиите stvami промоции. теория (на името на основателя на формализма на Хилберт metamathematics или доказателство теория).
Гилбърт развива в 1922-39 metamatematich програма. основите на математиката (и логика), обявени на възможността за "спасяването" на всички класически. математика, т. е. по математика, изградена на базата на теория на множествата на Cantor, безусловно се радва на абстракция на действителното безкрайност и целия арсенал от инструменти за дедуктивно Трад. логика. Чрез Hubert план, липсата на парадоксите в избраните siste.me аксиоми на теория на множествата може да се гарантира, че мета-език, което ще се извърши доказателство за нейната последователност, ще съдържа само ограничен, край (не е свързан с използване на понятието "действителната безкрайност") и изразителен дедуктивни средства абсолютно безупречни от гледна точка на тяхната яснота и убедителност.
Metamatematich. програма Хилберт, в хода на която той самият и неговата школа (П. Bernays, W. Акерман, Г. Gentzen, и др.) Получава редица важни резултати (вж. еднородност, изчерпателност), е бил критикуван от други. Насоки на основите на математиката предимно intuitionism (вж. също Logicism). В същото време фундаментално откритие на Гьодел (1931), с който се установява несъвместимост на изискванията за последователност и пълнота доста богат (с т. Sp., Техните изразителни и дедуктивни средства) логическо-математически изчисления показват основните ограничения на концепцията F.
Въпреки metamatematich. принципи, съчетани с идеите на другите, както и апаратурата. посоки (напр. конструктивна посока) се използват за развитието на теорията на проблеми доказателства (напр. Амер. логик Г. Kreisel близо бухали. логици).
Виж. И аксиоматична метод, Metatheory.
Gilbert D. P. Бърнейз основите на математиката, Принстън Univ. с него. т 1, М. 1979 .; Kpayzel Г. Изследване на теорията на доказателства, на. от английски език. М. 1981.