Марксизм

Развивая точку зрения Гегеля,марксизмрассматриваетлогикутождественной теории познания. С этой точки зрения логика является не чем иным, как теорией, выясняющей всеобщие схемы развития познания и преобразования материального мира общественным человеком. Как таковая, она и есть теория познания; всякое иное определение задач теории познания неизбежно приводит к той или другой версии кантианского представления.

Итак, до конца XIX в. сформировались два направления в гносеологии - эмпирическая и рационалистическая. В конце XIX в. гносеология как отдельное направление в общей философии было выделено в самостоятельную научную дисциплину – философию науки.

§ 6. СОВРЕМЕННАЯ ФИЛОСОФИЯ НАУКИ

В развитии философии науки можно выделить следующие направления, которые во многом сосуществуют во времени и развивают разные идеи предыдущей гносеологии:

1. позитивизм

• первый позитивизм

• второй позитивизм (эмпириокрититицизм)

• третий позитивизм (логический позитивизм, неопозитивизм)

2. постпозитивизм

• Критический рационализм К. Поппера

• Концепция исследовательских программ И. Лакатоса

• Концепция исторической динамики науки Т. Куна

• «Анархистская эпистемология» П. Фейерабенда

3. другие антиметафизические течения

• конвенционализм (П. Дюэм, А. Пуанкаре),

• инструментализм (Дьюи),

• операционализм

• прагматизм

4. интуиционизм(Л. Э. Я. Брауэр)

5. эпистемология постмодернизма

В современной науке вообще и в ИТ, в частности, по факту наблюдается «мешанина» всех этих подходов, поэтому рассмотрим их подробно.

Рис. 15. Имре Лакатос, английский философ венгерского происхождения

1. Позитивизм сформировался в конце XIX в., в эпоху торжества техники. Он основывается на эмпиризме (главенстве опыта), восходящем к Ф. Бэкону, и неприятии метафизики, под которой позитивисты понимают классическую философию Нового времени — от Декарта до Гегеля.

Основные черты позитивизма:

• односторонний анализ науки: считается, что наука оказывает существенное влияние на культуру человечества, в то время как сама она подчиняется лишь своим внутренним законам и не подвержена влиянию социальных, исторических, эстетических, религиозных и прочих внешних факторов.

• наука и научная рациональность признается высшей ценностью;

• требование перенесения естественнонаучных методов в гуманитарные науки;

• попытка избавить науку от умозрительных построений, требование все проверять опытом;

• вера в прогресс науки.

Первый позитивизм (Огюст Конт, Г. Спенсер, Дж. Милль - философы):

Метафизика – это не наука. Единственным источником познания служит опыт. Никаких врождённых форм познания вроде априорных суждений Канта не существует.

Конт сформулировал закон трех стадий — человеческое общество в своем развитии проходит через три стадии:

• теологическая — люди объясняют природу через понятие Бога;

• метафизическая — люди объясняют природу через абстрактные сущности;

• позитивная — явлениям природы дается научное объяснение.

Конт ввел также классификацию наук, выделив астрономию, физику, химию, биологию, социологию (социальную физику).

Второй позитивизм (эмпириокритицизм) (Эрнст Мах – физик, Рихард Авенариус - биолог):

Личный опыт выражается в понятиях, являющихся историческими конструкциями и зависящих от социальных отношений. Средства выражения опыта полны мифов, заблуждений, фантазий. Следовательно, требуется очистить опыт.

Основные идеи:

• принцип экономии мышления: наука имеет целью заменить, то есть сэкономить опыт, предвосхищая факты.

• любое познание есть биологически полезное психическое переживание; и познание, и заблуждение вытекают из одних и тех же психических источников, и только успех может разделить их.

• идеал науки - описание, отказ от объяснения, стремление к надпартийности, критический пересмотр всех истин, возвращение к «естественному понятию мира».

Третий позитивизм (логический позитивизм, неопозитивизм, «Венский кружок» )

Возник из дискуссий группы интересующихся философией учёных-специалистов (математиков, физиков, социологов), которые в 1920-1930х годах регулярно собирались в Венском университете. Участники этого кружка были вдохновлены успехами двух видных мыслителей XX в.: Бертрана Рассела в области оснований математики («Principia Mathematica») и его ученика Л. Витгенштейна, положившего математические идеи Рассела в основание своей философии («Логико-философский трактат»). Логические позитивисты решили перенести логико-математические идеи Рассела и Витгенштейна на философию науки и построить её, подобно математике, аксиоматически. Базисом (аксиомами) должны были служить бесспорные эмпирические факты (т. н. «протокольные предложения»), а все теории должны получаться из базисных утверждений путём логических выводов.

Логический позитивизм выдвинул ряд требований в числе которых отказ от гегелевской метафизики понятий, так как невозможно получать новые знания только путем анализа понятий и их определений. Философия должна быть не системой абсолютного знания, а методом критического исследования. Задача философии: прояснения смысла понятий с помощью логического анализа.

Язык рассматривался как мост между чувственным и нечувственным, поскольку он, с одной стороны, система чувственно воспринимаемых звуков, а с другой стороны, связан с нечувственными по сути мыслями. Следовательно, в поисках истинного знания следует обратиться не к психологическому анализу восприятий, а к логическому анализу языка.

Заметим, что именно здесь появились основные результаты неклассической (постаристотелевский) логики и математики, которые активно используются в ИТ.

Один из главных результатов принадлежит известному немецкому логику и математику Готтлобу Фреге. Это – так называемый треугольник Фреге.

Как мы говорили в курсе ПЗвИС, определение знака вытекает из определения знаковой системы: знаковая система есть материальный посредник между двумя другими материальными системами (III, 1), таков же и знак в простейшем случае:

Рис. 16. Развитие понятия знака в треугольник Фреге

Однако в развитых знаковых системах – языках – знак имеет более сложное устройство. Усложнение заключается в том, что те части обеих систем, которые непосредственно контактируют со знаком, в свою очередь контактируют друг с другом, и все три системы образуют своеобразное триединство, треугольник.

Возьмем сначала два частных случая треугольника Фреге:

Рис. 17. Частные случаи треугольника Фреге

В первом случае звучащее или писаное слово связано и с вещью – любой вещью, сферичной и небольшой, и с понятием о такой вещи, в котором существенны именно эти два признака – сферичность и небольшой размер, прочие же признаки (какого цвета, из какого материала и т. п.) неважны. Во втором случае, став собственным именем, кличкой собаки, слово утратило связь с прежним понятием, но не приобрело и связи с новым понятием «собака», поскольку оно не нарицательное, а лишь собственное имя. В более общем случае треугольник Фреге схематизируется так.

Рис. 18. Строение знака – треугольник Фреге

 I. Предмет, вещь, явление действительности, в математике – число и т. д. Иное название – денотат, Иногда этой вершиной треугольника обозначают не саму вещь, а ее восприятие или представление о ней, словом ее отражение в сознании человека, называя это сигнификат. Сущность схемы-треугольника от этого не изменится.

II. 3нак: в лингвистике, например, фонетическое слово или написанное слово; в математике – математический символ; иное название, принятое особенно в философии и математической логике, – имя.

III. Понятие о предмете, вещи. Иные названия: в лингвистике – десигнат, в математике – смысл  имени, или концепт денотата.

Нет никаких теоретических препятствий к тому, чтобы в той или иной ситуации посредником стал любой из трех элементов: не только знак между предметом и смыслом, но и смысл между предметом и знаком.

Пример: звонит звонок, собака, приученная к этому звонку как сигналу, идет и берет мясо. Здесь посредником (знаком или знаковой системой) оказывается не звонок, а собака: ведь именно собака связывает звонок и мясо как разные концы одной цепи. Например, экспериментатор, сидящий за звуконепроницаемой перегородкой, не слыша звонка и не видя мяса, но видя, что собака поднялась и делает определенные движения, заключает, что прозвенел звонок и мясо подано; служитель, который не услышал звонка руководителя эксперимента, но по движениям собаки понял, что пора подавать мясо.

Эта схема, однако, определяет такой случай, когда свойства знака представлены с максимальной полнотой, а вместе с тем и жестко фиксированы, как это и имеет место в хорошо развитых естественных и искусственных языках.

Пример: все знают, что шарик – это круглый и маленький предмет.

Если это не так, происходит «достраивание» третьего звена треугольника (в семиотике это называется «сближением сторон треугольника»), причем с самыми разными езультатами.

Пример: далеко не все интерпретируют слово Шарик как собаку.

Отсюда различные ошибки моделирования, виртуализации и пр., о которых говорили в курсе ПЗвИС.

Существует и немного другая (терминологически) трактовка треугольника Фреге. Слово имеет три компоненты: смысл, значение, денотат Денотат — это обозначаемый предмет. Значение собственных имен — обозначаемые предметы; предложений — истинностное значение (истина/ложь); понятий — не определено. Понятие — функция аргумента, его значение «ненасыщено», в отличие от собственных имен не означает некий предмет. Смысл появляется только на уровне высказывания и связан не с предметом, а со способом его задания.

Примеры:

• имена Марк Твен(Mark Twain) иСэмюэл Клеменс(Samuel Clemens) относятся к одному и тому же объекту, но смысл их различен.

• выражения «Утренняя звезда» и «Вечерняя звезда» имеют одно значение (планета Венера), но разный смысл.

Теперь мы можем понять, почему так важно введение понятия смысл (было раньше).Введение понятия смысла символизировало отказ от традиционной (аристотелевской) логики, где изолированные понятия рассматривались как неизменные. Смысл зависит от конкретного контекста словооупотребления и делает возможным понимание языка конкретным человеком, то есть имеет отношение к внутреннему миру или душе человека. Денотат (предмет) связывает слово с миром вещей, а значение — с миром идей или всеобщих знаков, благодаря которым возможна коммуникация между людьми.

В целом Фреге построил логическую систему, являвшуюся ранней попыткой формализации наивной теории множествГ. Кантора

Другую мощную группу результатов получил Бертран Рассел (1872—1970). Об этом уже немного говорили в курсе ПЗвИС.

Рассел отказался от понятия смысла и принял существование только значений. Но, отказавшись от понятия смысла, Рассел столкнулся с проблемой значения терминов, обозначающих несуществующие объекты: если А — некоторое имя, то, если оно не бессмысленно, объект должен существовать. Но если объекта нет? Он предположил, что имена — не обозначение реальности, а только сокращенные дескрипции. Пример: «Гомер — автор Илиады и Одиссеи». Но перед ним возник вопрос: будут ли имя и дескрипция полностью взаимозаменяемы?

Чтобы решить проблему значения несуществующих объектов, Рассел предположил, что имя несуществующего объекта и предложения о нем не бессмысленны, они ложны.

Пример: Рассмотрим предложения

«Нынешний король Франции лыс» — оно ложно;

«Нынешний король Франции не лыс» — оно тоже ложно.

Но два противоположных утверждения об одном и том же не могут быть ложными одновременно. Поэтому Рассел считает, что любое утверждение всегда содержит предположение о существовании. Например «Существует Х такой что Х — нынешний король Франции и Х — лыс». Тогда значение «ложь» следует приписать первой части данного предложения: Существует Х.

Б. Расселу принадлежит выделение трех видов бессмыслицы:

1. Бессмысленные слова в осмысленных сочетаниях

Пример: Глокая куздра штеко будланула бокра и курдячит бокрёнка.

— автор фразы Л. Щерба

2. Осмысленные слова в бессмысленных сочетаниях

Пример: «жареный лед», «Луна умножает четырехугольно»

3. Бессмысленные слова в бессмысленных сочетаниях

Пример: Дыр бул щил убещур

Он же сформулировал парадокс Рассела.

Парадокс Рассела был открыт в 1903 годуБертраном Расселоми позднее независимо переоткрытЭ. Цермело. Это теоретико-множественныйпарадокс, демонстрирующий противоречивость логической системыФреге, являвшейся ранней попыткой формализациинаивной теории множествГ. Кантора.

Парадокс Рассела формулируется следующим образом:

Пусть K — множествовсех множеств, которые не содержат себя в качестве своего элемента. Содержит ли K само себя в качестве элемента? Если да, то, по определению K, оно не должно быть элементом K — противоречие. Если нет — то, по определению K, оно должно быть элементом K — вновь противоречие.

Существует много популярных формулировок этого парадокса.

• Одному деревенскому брадобрею приказали «брить всякого, кто сам не бреется, и не брить того, кто сам бреется», как он должен поступить с собой?

• В одной стране вышел указ: «Мэры всех городов должны жить не в своем городе, а в специальном Городе мэров», где должен жить мэр Города мэров?

• Некая библиотека решила составить библиографический каталог, в который входили бы все те и только те библиографические каталоги, которые не содержат ссылок на самих себя. Должен ли такой каталог включать ссылку на себя?

Противоречие в парадоксе Рассела возникает из-за использования в рассуждении внутренне противоречивого понятия множества всех множеств и представления о возможности неограниченного применения законов классической логикипри работе с множествами.

Для преодоления этого парадокса было предложено несколько путей. Наиболее известный состоит в предъявлении для теории множеств непротиворечивой формализации, в рамках которой утверждение о существовании множества всех множеств было бы невыводимым.

В ходе реализации программы «спасения» теории множеств было предложено несколько возможных её аксиоматизаций(теория Цермело — Френкеля ZF, теория Неймана — Бернайса — Гёделя NBG и т. д.), однако ни для одной из этих теорий до настоящего момента не найдено доказательства непротиворечивости. Более того, как показал Гёдель, разработав рядтеорем о неполноте, такого доказательства не может существовать (в некотором смысле).

Рассел и его ученик Л. Виттгенштейн разрабатывали концепцию логического атомизма. Их цель заключалась в том, чтобы создать логически совершенный язык, который обеспечит однозначное соответствие между словами и фактами. Эта концепция смыкалась с концепцией логического эмпиризма: все наше знание из опыта. Слова только обозначают то, что известно из опыта, а однозначное соответствие между словами и фактами позволит сделать анализ языка анализом структуры мира. Согласно Л. Виттгенштейну, атом — элементарная пропозиция, соответствующая состоянию дел. Такая пропозиция с необходимостью либо истинная, либо ложная. Язык и реальность, пропозиция и факт — мы не думаем о них как о двух различных сущностях. Следовательно, изучая синтаксис, мы можем получить знания о структуре мира.

Вспомним, что именно эта концепция лежит в основе представления знаний по Чечкину (единичный факт как атом знаний).

Логический позитивизм сформулировал принцип верификации: верификация — критическая проверка предложений. Виды верификации: эмпирическая (проверка опытом) и логическая (соответствие структуры предложения логическим правилам).

Однако это направление потерпело неудачу. В середине XX в. было вскрыто сразу несколько принципиальных затруднений, непреодолимых в логическом позитивизме. Смысл их состоял в том, что метафизику, то есть непроверяемые понятия нельзя было изгнать из науки, так как к непроверяемым относятся некоторые фундаментальные научные понятия и принципы. Это привело к возникновению множества альтернативных взглядов на науку, получивших общее название «постпозитивизм».

2. Постпозитивизм — собирательное название множества различных концепций, в чём-то схожих, а в чём-то друг другу противоречащих. Все они возникли как попытки преодоления недостатков позитивизма.

Критический рационализм (Сэр Карл Раймунд По́ппер, 1902—1994))

Вместо процедуры верификации, занимавшей центральное место в концепции логических позитивистов, Поппер ввёл процедуру фальсификации: научную теорию нельзя подтвердить опытом (верифицировать). Опыт может только опровергнуть теорию, доказать ее ложность, т. е. фальсифицировать.

Напомним, что фальсифицируемость входит в список критериев научности теории, который мы уже обсуждали.

Поппер сформулировал принцип фаллибилизма (погрешимости): любое научное знание носит лишь гипотетический характер и подвержено ошибкам. Рост научного знания осуществляется благодаря выдвижению и опровержению гипотез, то есть в соответствии с принципом фальсификации. Попперу принадлежит концепция трех миров: мир вещей, мир человеческого (личностного) знания, мир объективного знания (почти как у Платона — это мир идей).

Концепция исследовательских программ (Имре Лакатос, 1922-1974).

Лакатос, ученик Поппера, называл свою концепцию «усовершенствованным фальсификационизмом». Он ввёл понятие исследовательской программы, которое позволило более реалистично описать историю науки.

Только последовательность теорий, а не отдельную теорию можно классифицировать как научную/ненаучную. Ряд теорий

Т1 — Т2 -… — Тn

представляет собой исследовательскую программу. Принадлежность к данной «исследовательской программе» определяется сохранением в каждой новой теории метафизических предложений, образующих твердое ядро научно-исследовательской программы. Твердое ядро неизменно, оно не приходит в сопоставление с опытом непосредственно, это обеспечивает защитный пояс вспомогательных гипотез. При появлении фальсифицирующего факта ядро сохраняется, а защитный пояс меняется.

По Попперу, при появлении фальсифицирующего примера теория должна быть отвергнута. Согласно Лакатосу, наивный (попперовский) фальсификационизм не верен: теория держится до тех пор пока проблематичные факты могут быть объяснены путем изменения защитного пояса, то есть добавлением вспомогательных гипотез. В концепции же Лакатоса рассматривается не отдельная теория, а их последовательность. Смена теории Тk на Tk+1 называется сдвигом программы. Если смена теории приводит к открытию новых фактов, то сдвиг программы прогрессивный. Если сдвиг не добавляет эмпирического содержания, он называется регрессивным. Подлинно научным является прогрессивный сдвиг исследовательской программы.

Эта концепция актуальна в организации науки (пример – наш вуз).

Концепция исторической динамики науки (Томас Сэмюэл Кун, 1922-1996).

Кун ввёл в философию науки такие понятия, как научная парадигма, научное сообщество, нормальная наука и научная революция. По Куну, развитие науки происходит скачками.

Кун считает, что развитие науки представляет собой процесс поочередной смены двух периодов — «нормальной науки» и «научных революций». Причем последние гораздо более редки в истории развития науки по сравнению с первыми. Социально-психологический характер концепции Куна определяется его пониманием научного сообщества, члены которого разделяют определенную парадигму, приверженность к которой обуславливается положением его в данной социальной организации науки, принципами, воспринятыми при его обучении и становлении как ученого, симпатиями, эстетическими мотивами и вкусами. Именно эти факторы, по Куну, и становятся основой научного сообщества.

Центральное место в концепции Куна занимает понятие парадигмы, или совокупности наиболее общих идей и методологических установок в науке, признаваемых данным научным сообществом. Парадигма обладает двумя свойствами: 1) она принята научным сообществом как основа для дальнейшей работы; 2) она содержит переменные вопросы, то есть открывает простор для исследователей. Парадигма — это начало всякой науки, она обеспечивает возможность целенаправленного отбора фактов и их интерпретации. Парадигма, или «дисциплинарная матрица», включает в свой состав четыре типа наиболее важных компонентов:

1) «символические обобщения» — те выражения, которые используются членами научной группы без сомнений и разногласий, которые могут быть облечены в логическую форму;

2) «метафизические части парадигм» типа: «теплота представляет собой кинетическую энергию частей, составляющих тело»;

3) ценности, например, касающиеся предсказаний, количественные предсказания должны быть предпочтительнее качественных;

4) общепризнанные образцы.

Все эти компоненты парадигмы воспринимаются членами научного сообщества в процессе их обучения, роль которого в формировании научного сообщества подчеркивается Куном, и становятся основой их деятельности в периоды «нормальной науки». В период «нормальной науки» ученые имеют дело с накоплением фактов, которые Кун делит на три типа:

1) клан фактов, которые особенно показательны для вскрытия сути вещей. Исследования в этом случае состоят в уточнении фактов и распознании их в более широком кругу ситуаций;

2) факты, которые хотя и не представляют большого интереса сами по себе, но могут непосредственно сопоставляться с предсказаниями парадигмальной теории;

3) эмпирическая работа, которая предпринимается для разработки парадигмальной теории.

Развитие «нормальной науки» в рамках принятой парадигмы длится до тех пор, пока существующая парадигма не утрачивает способности решать научные проблемы. На одном из этапов развития «нормальной науки» непременно возникает несоответствие наблюдений и предсказаний парадигмы, возникают аномалии. Когда таких аномалий накапливается достаточно много, прекращается нормальное течение науки и наступает состояние кризиса, которое разрешается научной революцией, приводящей к ломке старой и созданию новой научной теории — парадигмы.

При этом выбор теории на роль новой парадигмы является не логической проблемой. «Как в политических революциях, так и в выборе парадигмы нет инстанции более высокой, чем согласие соответствующего сообщества». На роль парадигмы научное сообщество выбирает ту теорию, которая, как представляется, обеспечивает «нормальное» функционирование науки. Смена основополагающих теорий выглядит для ученого как вступление в новый мир, в котором находятся совсем иные объекты, понятийные системы, обнаруживаются иные проблемы и задачи: Таким образом, научная революция как смена парадигм не подлежит рационально-логическому объяснению, потому что суть дела в профессиональном самочувствии научного сообщества: либо сообщество обладает средствами решения головоломки, либо нет — тогда сообщество их создает.

Мнение о том, что новая парадигма включает старую как частный случай, Кун считает ошибочным. Кун выдвигает тезис о несоизмеримости парадигм. При изменении парадигмы меняется весь мир ученого, так как не существует объективного языка научного наблюдения. Восприятие ученого всегда будет подвержено влиянию парадигмы.

В отличие от К. Поппера, который считает, что развитие науки можно объяснить исходя только из логических правил, Кун вносит в эту проблему «человеческий» фактор, привлекая к ее решению новые, социальные и психологические мотивы.

«Анархистская эпистемология» (Пол Фейерабенд, 1924—1994).

Основные принципы Фейерабенда:

• «anything goes» (всё дозволено). Познание социально детерминировано, критерии рациональности, истины и объективности относительны. Значение научного метода сильно преувеличено: ученые часто действуют иррационально. Следовательно, пригоден любой способ действия, могущий привести к цели (anything goes — все пойдет).

• антиавторитаризм: не существует абсолютного объективного критерия истинности в познании. Требование логической преемственности неразумно: оно сохраняет более старую, а не лучшую теорию. Новые гипотезы никогда не согласуются со всеми известными фактами: факты формируются старой идеологией.

• принцип пролиферации (умножения, увеличения числа) теорий: новые теории не выводятся из старых, а противоречат им. Движение науки не поступательно, оно осуществляется благодаря борьбе альтернатив. Следовательно, для объективного познания необходимо разнообразие мнений. Вера в объективную истину ведет к авторитаризму в науке.

• несоизмеримость научных теорий: не существует универсального научного языка, в разное время различные ученые вкладывают различный смысл в одни и те же термины.

Как можно подытожить деятельность позитивистов и постпозитивистов?

Позитивизм поставил цель изгнать из науки метафизику, под которой понимались ненаблюдаемые сущности и непроверяемые утверждения. Философия должна была тоже быть очищена от метафизических построений и вместо разработки метафизических систем заняться анализом языка. Положительным итогом борьбы с метафизикой можно признать то, что в современной философии не принято строить метафизических систем, она обычно представляет собой разработку метода или логико-лингвистический анализ языка.

Однако программа позитивистов не была реализована, постпозитивисты показали, что в науке всегда содержатся метафизические допущения и, следовательно, изгоняя метафизику, придется разрушить и науку.

3. Другие антиметафизические течения

Позитивисты были не одиноки в борьбе с метафизикой. Значительными течениями в философии науки являются также конвенционализм (П. Дюэм, А. Пуанкаре), инструментализм (Дьюи) прагматизм и др.

Конвенционализм (А. Пуанкаре) (от лат. conventio — договор, соглашение) — философская концепция, согласно которой научные понятия и теоретические построения являются в основе своей продуктами соглашения между учёными. Они должны быть внутренне непротиворечивы и соответствовать данным наблюдения, но не имеет смысла требовать от них, чтобы они отражали истинное устройство мира. Следовательно, все непротиворечивые научные (а также философские) теории в равной степени приемлемы и ни одна из них не может быть признана абсолютно истинной.

Основоположник конвенционализма — Анри Пуанкаре. Например, в связи с появлением неевклидовых геометрий он охарактеризовал системы аксиом различных математических теорий как соглашения, которые находятся вне поля истины или ложности. Предпочтение одной системы аксиом другой обусловлено принципом удобства. Единственное ограничение на их произвольный выбор состоит в требовании непротиворечивости.

Развитие математической логики в 1930-х привело к усилению позиций конвенционали́зма. С формально-логической точки зрения для мира объектов возможны отличные системы классификаций. Так, согласно «принципу терпимости» Карнапа, в основе данной научной теории может находиться любой «языковой каркас», то есть любая совокупность правил синтаксиса. «Языковые формы» следует использовать с учетом их полезности.

Это вполне просматривается в ИТ.

Прагматизм примыкает к общей традиции конвенционали́зма. Соглашение, например, может быть проинтерпретировано через прагматическое понятие «уверенности». Также и Витгенштейн утверждал, что математика невозможна без «веры» в то, что все её предложения и формулы получаются или доказываются именно таким-то образом.  

Это активно используется в ИТ (немонотонные логики).

Инструментализм (Джон Дьюи) рассматривает научные понятия, теории и гипотезы как инструменты, необходимые для ориентации человекав его взаимодействии сприродойиобществом. Например, этническая идентичность, считают инструменталисты, — это не объективно существующая характеристика человека как члена какого-то этноса, а ситуативная роль, сознательный выбор, который делает человек или группа лиц для достижения политической власти или целей экономического характера.

4. Интуиционизм(Л. Э. Я. Брауэр, 1907) по-другому решает проблему парадокса Рассела. Это система философскихиматематическихидей и методов, которая отвергаеттеоретико-множественныйподход к определению математических понятий, а также некоторые способы рассуждения, принятые вклассической логике. А именно, основным критерием истинности математического суждения являетсяинтуитивная убедительностьвозможности проведениямысленного эксперимента, связываемого с этим суждением.

Что именно в классической математике критикуется?

Естественно представить, что произвольное натуральное числоможет быть построено в виде последовательного ряда однородных предметов, например, рядаточек. Столь же естественно представить, что, построив некоторое натуральное число, можно построить затем и следующее, добавив к уже построенному ещё одну точку. Поэтому природа натуральных чисел является интуитивно ясной. Однако с «множеством всех натуральных чисел» не связывается никакого способа их мысленного построения, и его существование представляется сомнительным.

Одним из источников возникновения такого рода «монстров» в классической математике являются теоремы чистого существования, в которых наличие искомого объекта утверждается лишь на основе формального опровержения гипотезы о его невозможности. Иначе говоря, фундамент таких теорем составляет представление об абсолютной непогрешимости законов классической логики.

Это представление также стало одной из мишеней критики Брауэра. С его точки зрения, законы классической логикивозникли в результате рассмотрения конечных совокупностей, при работе с которыми доказательство чистого существования заведомо может быть дополнено эффективным способом построения искомого объекта — полным перебором. При переходе же к рассмотрению бесконечных совокупностей эти законы становятся недостоверными, поскольку полного перебора таких совокупностей мы провести уже не можем.

Появление антиномий (типа парадоксов Рассела) можно рассматривать как дополнительный довод в пользу неудовлетворительности теоретико-множественного подхода, но критика относится и к таким разделам математики, где антиномий не возникает.

В чем отличие интуиционистской логики от классической?

Любое суждение считается осмысленным, только если оно выражает возможность некоторого умственного построения, и считается истинным, только если исследователю удалось выполнить соответствующее построение.

Примеры: утверждение, начинающееся с кванторасуществования, означает наличие способа мысленного построения искомого объекта.

дизъюнкциясуждений A и B означает возможность непосредственно указать среди этих суждений верное. С этой точки зрения, суждение видаможет и не быть истинным, если проблема A не решена к настоящему времени. Отсюда видно, чтозакон исключённого третьегонеприемлем в интуиционистской математике в качестве логического принципа.

Соотношение теоретико-множественной(ТММ) и интуиционистской математик (ИМ) с точки зрения допускаемых логических средств и абстракций может быть охарактеризовано следующей таблицей:

Теоремы и принципы	ТММ	ИМ
Закон исключенного третьего	Да	Нет
Закон двойного отрицания	Да	Нет
Принцип Маркова	Да	Нет
Абстракция актуальной бесконечности	Да	Частично
Тезис Черча	Да	Нет

Напомним, что означают все эти теоремы и принципы.

Закон исключенного третьего: из двух высказываний — «А» или «не А» — одно обязательно является истинным, то есть два суждения, одно из которых является отрицанием другого, не могут быть одновременно истинными, одно из них необходимо истинно (либо ложно).

Закон двойного отрицания:   А А.

Принцип Маркова: Пусть для некоторого свойства имеется алгоритм, выясняющий для всякого натурального числаN, обладает ли N свойством . Если опровергнуто предположение о том, что ни одно натуральное число не обладает свойством, то имеется натуральное число со свойством.

Те́зис Чёрча — Тью́ринга — фундаментальное эвристическое утверждение, существенное для многих областей науки, в том числе, для математической логики, теории доказательств, информатики, кибернетики, дающее интуитивное понятие о вычислимости. Это утверждение было высказано Алонзо Чёрчем и Аланом Тьюрингом в середине 1930-х годов.

В терминах теории рекурсии, это утверждение формулируется как совпадение классов вычислимых и частично рекурсивных функций. В этой формулировке часто упоминается как просто тезис Чёрча.

Другие практические варианты утверждения:

Физический тезис Чёрча — Тьюринга: любая функция, которая может быть вычислена физическим устройством, может быть вычислена машиной Тьюринга;

Сильный тезис Чёрча — Тьюринга(тезис Чёрча — Тьюринга — Дойча): любой конечный физический процесс, не использующий аппарат, связанный с непрерывностью и бесконечностью, может быть вычислен физическим устройством.

Некоторые разделы традиционной математики приобретают в интуиционизме весьма необычный вид. Например, числовой континуумтрактуется не как совокупность отдельных точек, а как «среда становления»,потокизмельчающихся рациональныхинтервалов.

Достаточно широко понимается в интуиционизме эффективность (эффективная вычислимость), она не обязательно связана с наличием алгоритма в точном понимании этого термина и может носить, например, характер исторического наступления события, зависеть от фактического решения проблем, от физических факторов.

В 1945годуС. К. Клинипредложил новый вариант интуиционистского понимания арифметических суждений, основанный на развитой в1930-егодытеории алгоритмов. Дальнейшая разработка этого понимания и связанных с ним идей в научной школеА. А. Марковапривела к возникновению современнойконструктивной математики.

5. Эпистемология постмодерна.

Как можно обобщить нарисованную печальную картину? Критика постпозитивистов подорвала основы рациональной традиции в философии, поставив под вопрос критерии прогрессивного развития научного знания. Рационалистическая философская традиция фактически лишилась концептуального обоснования, и в настоящее время философия не имеет всеми разделяемых критериев научности, рациональности и не может полноценно противостоять развитию и распространению псевдо- и лженаучных направлений.

Может сложиться впечатление, что все это – чьи-то происки, и надо просто «навести порядок» в сложном научном хозяйстве. Однако не будем забывать о том, что наука – это только один из видов познания мира, это социальный и культурный феномен, т.е. то состояние, которое мы видим в науке – это отражение общего состояния культуры – эпохи постмодерна, в которой мы все живем.

Чем характерно состояние постмодерна в культуре вообще?

Постмодернизм — эпоха, пришедшая на смену европейскому Новому времени, одной из характерных черт которого была вера в прогресс и всемогущество разума. Надлом ценностной системыНового времени(модерна) произошёл в периодПервой мировой войныи еще усугубился Второй мировой войной. В результате этогоевропоцентристскаякартина мира уступила место глобальномуполицентризму, модернистская вера в разум уступила местоинтерпретативному мышлению. Постмодернизм — общий культурный знаменатель второй половины XX века, уникальный период, в основе которого лежит специфическая парадигмальная установка на восприятие мира в качествехаоса.

В Википедии есть прекрасная таблица оппозиций модерна и постмодерна, которую легко прокомментировать, глядя, например, на ситуацию в Интернете:

закрытая замкнутая форма открытая разомкнутая антиформа

цель игра

замысел случай

иерархия анархия

мастерство/логос исчерпывание/молчание

предмет искусства/законченное произведение процесс/перфоманс/хеппенинг

дистанция участие

центрирование рассеивание

жанр/границы текст/интертекст

семантика риторика

парадигма синтагма(= компоновка, расстановка)

селекция комбинация

корни/глубина поверхность

интерпретация/толкование противоинтерпретация/неверное толкование

означаемое означающее

чтение письмо

тип мутант

фаллоцентризм полиморфность/андрогинизм

паранойя шизофрения

истоки/причины различие/следствие

метафизика ирония

Постмодернизм сформировал не только специфическое видение социальной реальности вообще, но и специфическую эпистемологию. В качестве ее основных характеристик можно выделить следующие:

1. Дефундаментализм – необоснованность" познания, "несвязность" с фактами мира "как он есть". Модернизм (и до него) занимался поиском фундаментальных оснований бытия и знания - постмодернизм рефлексии, стремится разрушить веру в их существование.

Постмодернизм, отражая фундаментальную трансформацию отношений человека с миром в результате вторжения символических систем, культуры масс-медиа, конструирующих мир в абсолютно искусственных моделях, показывает бессмысленность апелляции к "реальному" объекту. Он исходит из предпосылки о существовании "культурного текста", вне которого либо ничего нет, либо его связь с действительностью настолько туманна и ненадежна, что не дает оснований судить о ней с достаточной степенью уверенности. Границы между представлениями и объектами, истиной и ошибкой разрушаются. Истина утрачивает статус определенности и конечности.

2. Теряет смысл сама идея "истинного" знания, лишающей самого права на существование иные, альтернативные варианты интерпретации, а вместе с ней и присущее модерну стремление классифицировать утверждения с точки зрения истины. Никакое знание не может быть оценено вне контекста культуры, традиции и языка, которые делают его возможным и задают ему смысл. Нет универсального, внеконтекстуального критерия истинности, достоверности. Представление об истине как следствии адекватного метода сменяется ее пониманием как результата избранной, то есть, социально заданной перспективы.

3. Фрагментарность. Наука реинтерпретируется постмодернизмом на основе отказа от идеи бесконечного поступательного приращения знания на пути к истине. Ее место занимает принцип конечности и фрагментарности знания, его исторической и культурной ситуативности. Знание рассматривается как специфическое, локальное, случающееся "здесь и сейчас", но не как констатация общих, универсальных законов, свободных от контекста. Поэтому оно абсолютно плюралистично, децентрично, не сводимо ни к какому объединяющему принципу и не подлежит кросскультурной экстраполяции.

Фрагментарность знания связана с постмодернистской интерпретацией реальности как множественности, состоящей из отдельных, разрозненных, единичных элементов и событий, интерпретацией индивида как комплекса не связанных друг с другом образов, событий. Он же определил общий дух неприятия того типа, стиля теоретического осмысления реальности, который был выработан предшествующим постмодернизму состоянием наук, критику предыдущего мышления как метафизического.

Пример – это очень хорошо видно сегодня в обыденных разговорах представителей разных поколений (нет вопроса «О чем говорим»).

4. Конструктивизм . В постмодернизме образ мира "как он есть" сменяется представлением мира в определенных социальных и лингвистических конструкциях, определяемых социальными процессами, отягощенных идеологическим выбором участников и структурой властных отношений. Знание не содержит образов реального мира, оно состоит из конструкций, построенных на основе когнитивных интерпретирующих схем.

Все эти особенности ведут к трансформации традиционного понимания целей науки, радикальному изменению позиции ученого. Если прежде он занимал (или стремился занять) позицию постороннего, объективного наблюдателя, то его новую позицию можно определить как "контекстуальную включенность". Причем приоритетной с точки зрения постмодернизма оказывается включенность в социальное и лингвистическое конструирование повседневной жизни. Именно поэтому в научном дискурсе постмодернизма:

• научное знание уступает свой эпистемологический приоритет знанию обыденному;

Пример – какими знаниями пользуется рядовой программист?

• особое место занимает тема "нарратива" – социально принятого типа повествования, который задает параметры повседневного и научного дискурсов, определяя правила и способы идентификации объектов, которые подлежат включению в дискурсивное пространство;

Пример – вначале зададим ограничения на модель, а потом строим модель в IDEF.

• происходит деконструкция индивидуалистических мифов, которая исходит из предпосылки, что смыслконструируется в процессе прочтения, а привычное представление либо лишено глубины (тривиально), либо навязано репрессивной инстанцией автора. Поэтому необходима провокация, инициирующая мысль и освобождающая скрытыесмыслытекста, не контролируемые автором. Другими словами, каждый в любом тексте может вычитать все, что угодно.