Cтраница 1
Формалисты отрывают искусство от действительности, от исторических и социальных процессов, от актуальных задач общественной жизни, от интересов народа. Развитие художественной формы, которая вырастает из самого содержания, они подменяют пустыми и претенциозными ухищрениями. [1]
Формалисты исключают из задач этики изучение нравственных проблем; их решение средствами теории объявляется невозможным, в конечном счете иррациональным. Это лишает этику социального содержания и мировоззренческого значения, уводит от решения идейных и практических проблем современности. [2]
Формалисты входят в литературоведение с идеей структуры, формы. Литературное произведение есть чистая форма, она есть не вещь, не материал, а отношение материалов. [3]
Некоторые формалисты указывают, что методы интуиционистской элементарной арифметики выходят за пределы того, что они считают финитным ( см. Гильберт и Бернайс [ 1934, стр. Утверждается, что в интуиционистском употреблении отрицания сложных формул и импликаций, у которых в антецеденте стоит сложная формула ( например, формула всеобщности или другая импликация), содержится общее логическое понятие интуиционистского доказательства. Именно благодаря такому употреблению отрицания и импликации Брауэр и его последователи сумели пойти в построении конструктивистской математики дальше, чем предшественник Брауэра Кронекер. [4]
Если формалист еще и зануда, то придирки на этом могут не закончиться. А почему-де сумма находится в е - окрестности, если каждое слагаемое - в ( е / 2) - окрестности. [5]
Свойственный формалисту и формализму. [6]
Вы называете формалистами тех, кто опирается на формальные решения II съезда, - потому что вам надо замазать и затушевать тот факт, что вы нарушили доверие товарищей, которые все до единого, много и много раз давали друг другу обещание соблюдать решения съезда. Вы не подчиняетесь формальным решениям, когда они идут против вас, а в то же время, без зазрения совести, вы опираетесь на формальные права Лиги, когда эти права идут на пользу вам, вы опираетесь на формальные решения Совета партии, когда вам удалось пролезть, вопреки воле партии, в это высшее партийное учреждение. [7]
Вальяна Fornialistes doctrinaires ( Формалисты доктринеры), напечатанной в газете L Humanite № 3827 от 9 октября 1914 года, в которой Вальян, перешедший в самом начале войны на позиции социал-шовинизма, был вынужден признать, что получает ряд писем от французских социалистов с протестом против политики руководителей Французской социалистической партии. Выписки Ленина из статьи Вальяна см. в Ленинском сборнике XIV, стр. [8]
В этих условиях только формалисты и догматики от марксизма могут думать, что такие глубочайшие перевороты, как переход от одного общественного строя к другому, могут быть осуществлены по единому образцу, по единому шаблону, скажем, в Дании так, как в Бразилии, а в Швеции так, как в Малайе. [9]
Третьи - получившие название формалистов - пришли к выводу, что математика должна быть аксиоматизирована, а затем все теоремы совершенно формально доказаны. При этом возник вопрос о формальном языке для математики, таком, чтобы с аксиомами, изложенными на нем, можно было поступать как с определенными комбинациями символов. [10]
Заключение о точке зрения формалистов будет частично зависеть от плодов предлагаемой ими программы. Для этой программы нужна область исследования, называемая метаматематикой, в которой они намерены, в частности, установить непротиворечивость классической математики. [11]
Странно, что именно такой формалист, как Гордан, способствовал запуску Эмми Нетер на ее математическую орбиту. [12]
Как полагает Броуер, этот формалист для определения своего чувства радости от убежденности в истинности и своей веры в то, что избранная им система аксиом лучше применима к миру опытных явлений, чем другая система, отошлет нас к философии, психологии, антропологии. [13]
Мне кажется, что различие между формалистами и интуиционистами является главным образом различием вкуса. Вы также используете осмысленные рассуждения в той теории, которую Гильберт называет метаматематикой, но вы ставите себе целью отделить их от чисто формальной математики и ограничиться поэтому как можно более простыми рассуждениями. Мы же в противоположность этому заинтересованы не в формальной стороне математики, а именно в том типе рассуждений, которые применяются в метаматематике; мы стараемся проследить его до самых далеких следствий. Это предпочтение проистекает из убеждения, что мы здесь имеем дело с одной из самых основных способностей человеческого разума. [14]
Отсутствие интереса к математической истине, исповедуемое формалистами, кажется мне очень странной позицией в приложении к философии математики. [15]