Философская Энциклопедия том 5 (1184486), страница 307
Текст из файла (страница 307)
не означает законченности теории или же прекращения ее развитии. Вместе с тем выигрыш в точности и методологнч. правильности при Ф. обычно сопровождаетсн проигрыш»ем в пепосредств. пнтуигивной новости н краткости изложения, поскольку построение теории в форме исчисления предполагает скрупулезное выявление всех ое предпосылок и осуществленио полного доказательства ее поло»кений. Значение Ф. для сонр, пауки существенно определяется проекталш «кибернетизации» знания — панском перехода к машинным методам решения науч. проблем, ранее составляющим прерогативу чисто человеч. интеллектуальной деятельности.
Метод формализации призван сыграть здесь важную раль, а именно — обеспечить те приемы, следуя к-рым машины смогут получать поные результаты, перебирая и ныбирая такие варианты, к-рые по лшя«ет перебрать и пе привык выбирать человек. А. Сиобо иив Мооиви. Исторически Ф. нозншгла вместе с вовцшшовением мыплленпн и языка; важныи шаг в развитии Ф. был связан с понвлениел» письменности; в дальнеилпел», ио мере развития науки, особенно математики, к естеств. языкам стали добавлнться анаки спецпалшшго характера — элементы математической, зимич. и др.
символики. Крупным шагом в развитии способов Ф. было создание в л»атематике Нового времени буквеншлх исчислений (аналитич. геометрия, матем. анализ и др.). С др. стороны, вмосте с узврлилл»»вй логикой возник приам л а г н ч е с к о й Ф., состоящин в выявлении и фиксации, тем нлп иным способом, логич.
формы «оводов и двеивигиел»етв. развитие гносеологич. приема Ф. объясняет распространение в соврем. науке более узкого понимания Ф. как заката уточнения изучаемого содержания, к-рое, ФОРМАЛИЗМ с одной стороны, делает воаможным применение к нему математических (пли подобных математическим. напр. формально-логических) средств, а с др. стороны, само совергпается с применением таких средств (в этом смысле говорят, что в теории игр формаливуются конфликтные ситуации, имеющие место в энономпке, военном деле и т. пл что матем, теория планировании эксперимента предполагает предварительную Ф. понятии, с помощью к-рых описываются экспериментальные процедуры, и т.
п.). Ф. как познавательный прием — в частности Ф. в узком «математическом» смысле — носит о т н ос и т е л ь н ы й характер: одна и та же теория может быть одновременно н с р е д о т в о и Ф. (нек-рой др. теории и области явлений), и п р е дм е т о м Ф. (в более «формальной> теории). Таи, традиционная «формальнан» логика является Ф. по отношению к совокупности отраженных в ней. закономерностей человеч, мыл>лепна; по отношению лке к свопм (аксноматпческпм) Ф, опа выступает в качестве содержательной теории — предмета формализации. См. также ст. Исчисление, Метод аксиомотичегкссй, Логика еигкаамеакий, Нргдикатое исчисление.
Б. Бирюке«. Москва. Лию Т а р с к и й А., Ваедгиие а аогику к методологию дедуктиан>т наук, сер. с англ., М, !916; !С л и н и С. К., Введение е метаиатематику, пор. с англ., М., 1957, 5 15; Ч е р ч А., Веедеиие а математическую логику, пер. с англ., т. (,м.,(9со, введение; В а н х е о, на пути к механической математике, е кно Кибернетический сборник, 5, М., 1962; Филос. вопросы совр. Формальной логики, М., 1962; С и гг у Н. В., Р е у» К., СоюЫпа(огу 1оясс, ч. 1, Асс»1., 1956; Ш а о К Й а о, А югсеу ос юасьета(1«а! 1оя!с, Реасся,!962. ФОРМАЛИЗМ в и с к у с с т в е — эстетич. концепция, усматривающая коренной принцип нсн-ва в суверенной самоценности формы, не аавясящей от художеств.
содержания, Ф. исходит из принципиального противопоставления реального мира и искусства п рассматривает ися-во не как отражение действительности, а как творчество «новой реальности», автономных художеств. структур. Провозглашая сущностью пск-ва мир «чистой формы>, Ф. тем самым оправдывает крайние раановссдности эстетяч. субъективизма и индивидуализма — вплоть до абстракционизма в изобразит. пск-ве, «заумного языка» и «летрпзма> в поэзии п т. д. Первым провозвестниссом Ф. в сер.
19 в. был музыиоиед Э. Ганслпк (1825 — 1904). Выступив против сведения музык, содержании к к.-л. отвлеченным идеям, лит., живописным и т. и. внемузык, ассоциациям, он и конечном итоге вообще отрицал наличие к.-л. содержания в музыке: «Музыка состоит из звуковых наследований, звуковых форм, не имеющих содернсавпя, отличного от них самих... Пусть всякий по-своему назыиает п ценит действие на него музыкальной пьесы — содержания в неи нет, кроме слышимых налш звуковых форм, нбо музыка не только говорит з в у к а м п, она говорит одни а в у к н» («О музыкально-прекрасном», М., 1895, с.
170). Теорию Ф. в 1880-х гг. Развил и обосновал Фидлер («Модегпог Ма1нга!(типа пнб йппзс!епасЬе )тайгйе!1>, |рз., 1881, и др.). Опираясь на идеи кеокактианстеа, он противопоставил хаосу п бесформенности реального мира гармонию, нсность подлинного искусства, к-рос с помощью формы достигает господства над темнымн стпхпнмп природы. В качестве принципа иск-ва, разренсающего спор между иодражанигм и «преобрааованием действительности», Фидлер выдвинул принцип «порожденип> действительности, утверждая, что «содержанием художественного произведения являетсн не что иное, как самое формообразование> («т'ош Чгезеп бег Кппв(», МбпсЬ., 1942, 8.
140), Идеи Фидлера оказали большое влияние на раавитие формалистич. яскусстноанания конца 19 в., особенно в области изобразит. иск-ва — А. Хиль- дебранда (1847 — 1921) (еПроблема формы в иэобрааит. нск-ве>, 8(газвйпгй, 1893, рус. пер., М., 1914), венскую школу во главе с А, Риглем (1858 — 1905), выдвинувшим идею «художественной волсм как принцип художеств. созидания (е8!!Пгайеп», В,, 1893; «Рде зрасгоппасЬе Кипе!!пдпщг(е...>, Вд 1 — 2, %., 1901 — 1923), н в особенности Иел»9!ли>са, работы к-рого способствовали распространению методов Ф.
в литературоведении (О. Вальцельч 1864 †19) и театроведении (школа М. Германа в Германии). Сильной стороной конкретных искусствоведческих работ формалистов была тщательная разработка методики анализа структуры художеств, образа и его материальных элементов — слова в поэзии, пластики в скульптуре, внуковых структур в музыке и т. д. Гл. обр. на этой почве была предприннта попытка размежевания общего искусствознания п эстетики (см.
М. Дессуар, «Н«ука об искуегтее>). К общим формалистпч. выводам приходили в своих работах 1914 †рус. исс:ледователи поэтич, языка, объединившиеся в группу «Опояз» (В. Эйхенбаум, В. Шкловский, К). Тынянов н др.). Опи декларировали: «Новая форма является не для того, чтобы вырааить новое содержание, а длн того, чтобы заменять старую форму, уже потерявшую свою художественность» (Ш к л о в с к и й В., см. «Поэтика». Сб. по теории поэтич, языка, П., 1919, с. 12()).
Вместе с тем пх конкретный анализ и выработанная ими частнан методология, хотя и в односторонней форме, подготовили плодотворный материал для совр. структурной поэтики и семиотич. изучения иск-ва вообще. То же относится и н теории Ф. в целом: будучи бессильной в понимании иск-ва как отражения действптеяьности, она содернсала Много ценного материала длн раснрытия структуры художести.
произведения. Лию.с 3 и им е к» Г., Кант и сОвр. »стетина, пер. с нем„ (СНВ, 199»й Р о м а н о в Н. К,. Васдеике а историю иск-аа, м., [19! 5); задачи и методы научении иск-а, и., 1921, с т о й- К О В А., КРнтнаа аботРаатисге ИСК-Еа И ЕГО тЕОРий, Мч 1960 ус и !а гс 1., З1ог(а бена сгтнса и'аые, 2 еб., Роеоге, (сщщ; Мограглотайссавас (1., Ь'бе(сс»С(сое соа(егорога!пе, М!С., П969!. Си. такте лиг.
к ст. с Науке об огк(ссетег>, Фоа»гр. Г. Беооюоечч. Моск»а. ФОРМАЛЙЗ91 в м а т е м а т и к е — одно из осн. направлений в основаниях математики (и логики), и-рое в качестве гл. задачи в области обосновании математикц считает доказательство кеиротиеоречиеости отд. математич. теорий и — в идеале— всей математики в целом.
Задача эта приобрела особенно актуальный характер после обнаружения парадоксов (антиномий, противоречий) теории мкозгесте — дисциплины, ле>ьащей в фундаменте большей части математики. Поскольку парадоксы (напр., парадокс Рассела) могут быть сформулированы и в чисто логич. терминах, аналогичнан проблема возникает и по отношению к логике(во всякоы случае— по отношению к расширенному иредикатоо игчиг»гнию).
Под Ф. в литературе обычно понимают несколько близких, но все же различных концепций. Самая ранняя формалистская программа, развиваемая школой Д. Гпльберта начиная с 1904, выдвпНупа пдеЮ формализации логика-лсатематпч. теорий, т. е. представления пх в виде (непнтерпретпрованных) исчислений (фориальных систем), непротиворечивость к-рых может (и должна) быть затем установлена средствамн нек-рой содержательной теории, названной Гильбертом металсатематпкои (или теорией доказательств) (подробнге см. Метатеориа, Метод аксиоматический).
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
