рефераты конспекты курсовые дипломные лекции шпоры

Реферат Курсовая Конспект

Базисные определения. Расстановка позиций

Базисные определения. Расстановка позиций - раздел Философия, ФИЛОСОФИЯ МАТЕМАТИКИ   Творческая Деятельность Математика Осуществляется В Режиме Ло...

 

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

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

Логическое есть синоним сознательного. Сознание же оценивается как высшая форма отражения и осмысления мира, его идеального воспроизведения. По мнению А. Эйнштейна, сознание реализуемо в виде знания, целесообразной деятельности и самосознания. Это проявляется как способность человека дать отчет в форме однозначно фиксированных в знаках языка (слов, понятий, символов) значений в силу способности точно соотносить знак и обозначаемый им объект. Целесообразность понимается в виде умения строить в мысли модели будущих результатов деятельности, которые еще предстоит получить. Высшим пунктом сознания является самосознание, то есть акт выделения человеком себя из окружающей среды и противопоставление своего Я другим людям и объектам последней.


 

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

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

 

Пять чувств – дорога лжи.

Но есть восторг экстаза,

Когда нам истина сама собой дана.

К. Бальмонт

 

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

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

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

__________________

1 Пуанкаре А. Математика и логика. С. 17.


 

являет: «Математическая интуиция оказывается чаще консервативной, чем революционной, она чаще сковывает, чем освобождает»1.

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

В оправдание возможности подобного сочетания противоречи-востей сошлемся на мнение видного теоретика психологии Л. Выготского, который подчеркивал: «Бессознательное не отделено от сознания какой-то непроходимой стеной. Процессы, начинающиеся в нем, имеют часто свое продолжение в сознании, и, наоборот, многое сознательное вытесняется нами в подсознательную сферу»2. По современным представлениям, нет особых мозговых структур, которые бы обеспечивали работу бессознательных, интуитивных процессов. Это те же структурные образования, что продуцируют сознательные операции, только они функционируют в ином режиме деятельности. Интуитивные процессы протекают не в линейной последовательности, как это происходит при логической работе, а мозаично, когда одновременно участвуют разные зоны мозга, что обеспечивает более высокую скорость мысли на порядки выше, чем в логических операциях. А. Колмогоров сравнивает это с тем, как мыслит слаломист, вынужденный лихорадочно решать задачи в сравнении со спокойным спуском, аналогичным логической работе.

Возвращаясь к математике, отметим, что наиболее детально рассматриваемую проблему сочетания интуитивного и логического строя мышления осветил известный французский математик середины XX в. Ж. Адамар, эмигрировавший в свое время в США. В книге «Исследования психологии процесса изобретения в области математики» Адамар вслед за английским биологом конца XIX – начала XX в. А. Уоллесом (см. его книгу «Искусство мысли») выделяет четыре этапа творческого поиска математика на пути к истине: подготовка (постановка проблемы), инкубация, озарение и проверка (или доведение результата). Остановимся на них подробнее.

_________________

1 Дайсон Ф. Математика и физика // Успехи физических наук. 1965. Т. 85, вып. 2. С. 355.

2 ВыготскийЛ.С. Психология искусства. М., 1965. С. 94.


 

2. Этапы творческого процесса

 

а) Постановка проблемы. Исследовательский процесс начинается выделением проблемы. Это осознание трудности, когда перед наукой возникает вопрос, на который она не может дать ответа. Обычно это происходит в ситуации упорядочивания наличного знания, его систематизации, классификации. Английский математик ХГХ в. Л. Морделл, отвечая на вопрос, как возникают математические проблемы, отметил большое значение бесед, просьб о помощи со стороны нематематиков. Указал особо на то, что этому способствуют научные доклады и семинары. Нередко, продолжил он, проблема осознается в процессе подготовки лекций и порой прямо во время чтения лекции1.

Характерный факт. В свое время царское правительство предприняло попытку повысить уровень образованности своих чиновников. Решили организовать для них циклы лекций (своего рода курсы повышения квалификации). Н. Лобачевского попросили прочитать раздел геометрии. Чтобы изложить дисциплину более строго, он решил упорядочить содержание и в связи с этим представить постулат о параллельных как теорему, логически выводимую из остальных постулатов. Но, пытаясь это сделать, Лобачевский неизменно сталкивался с тем, что при доказательстве он всякий раз вынужден был ссылаться на положение о параллельных. То есть он пришел к выводу, что перед ним не теорема, а аксиома. Тогда и явилось предположение: если тезис о параллельных независим от других основоположений геометрии, почему бы не попытаться построить концепцию пространства, опираясь на совершенно другое, чем у Эвклида, понимание параллельности. Так возникла проблема.

Надо отметить, что попытки логически вывести постулат о параллельных предпринимались математиками и до Лобачевского. Известную осторожность в утверждении безусловности постулата о параллельных высказывал уже сам Эвклид. Позднее сомнения обнародовал Плейфер (XVIII – начало XIX в.). Пытался вывести эту аксиому из других и Гаусс2. Вообще, желаний упростить постулат о параллельных и предъявить его в качестве теоремы оказалось настолько много, что Даламбер в свое время назвал это «сандалом оснований геометрии». Таким образом, математическая мысль уже издавна билась над вопросом о параллельных. Эти поиски и завершил Лобачевский, подытожив размышления постановкой пробле-

_________________

1 Морделл Л. Размышления математика. М.: Знание, 1971. С. 16.

2 Подробнее см.: Клайн М. Математика: Поиск истины. С. 169-171.


 

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

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

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

Основное преимущество инкубации как интуитивной деятельности – включение бессознательных механизмов, освобождающих мысль от контроля, диктата Я, неизбежно навязывающего логический путь решения, уводя к старой теории. А. Пуанкаре, оставивший немало тонких наблюдений о математическом творчестве, отмечает, что в области сознания все подчинено логике, строго ранжировано, «в подсознании же царит, напротив, то, что я называю свободой, если можно назвать этим словом простое отсутствие дисциплины и беспорядок, рожденный случаем»1.

В стремлении оттенить бесконтрольность творческого процесса Д. Пойа подчеркивает, что идеи приходят, когда они этого захотят, а не в то время, когда мы желаем их прихода. Ждать идею – то же, что ждать выигрыш в лотерею. И далее иллюстрирует мысль стихами английского поэта Самюэля Батлера:

 

All the inventions, that the world contains,

Were not by reason first found out, not brains,

But pass for theirs who had luck to light

Upon them by mistake or oversight2.

_________________

1 Пуанкаре А. Математическое творчество. Юрьев, 1909. С. 5.

2 Все изобретения обязаны рождением

Не разуму людей, не тонким рассуждениям,

Они дались тому, кто счастлив был.

Он свет на них нечаянно пролил.

См.: Пойа Д. Математическое открытие. М.: Наука, 1970. С. 243. Заметим, однако, что идеи появляются всегда лишь после того, как пожелают их прихода. Иначе говоря, выиграть может лишь тот, кто купил лотерейный билет, то есть кто посвятил свои дни научной проблеме.


 

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

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

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

в) Озарение. Плодоносная инкубация завершается озарением. Оно понимается как замыкание проблемной ситуации, когда отыскивается недостающий элемент, который и замыкает цепь. Структурно это происходит как совмещение несовместимых (с точки зрения старой теории) утверждений, как соединение положений, запрещенных быть соединенными. Наступает отчетливость, сменяющая прежнее, казалось, безысходное состояние. Д. Пойа характеризует озарение как неожиданное «просветление, вносящее ясность, порядок, связь и целесообразность в детали, которые до этого казались смутными, разбросанными, неуловимыми». Он сравни^ вает озарение с тем, что ощущаешь, входя в темноте в незнакомый гостиничный номер, ищешь выключатель, наталкиваешься на какие-то предметы, острые углы... Но вот отыскиваешь, включаешь свет, и все становится на свои места. Острые углы – это, оказывается, стол, предметы, с которыми сталкивался, – стулья и т.д.

Озарение приходит внезапно, протекает в короткие промежутки времени и осуществляется в виде целостного восприятия (часто в образной форме).

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


 

нательно, казалось, не думал. Поэтому внешне озарение является внезапно, как счастливый случай, как бы совершенно неожиданно. Однако внутренне ученый уже подготовлен к открытию, овладел огромной информацией, осознал проблему. Недостает звена, замыкающего всю цепь раздумий. Здесь и решает случай. Попутно, чуть ли не боковым зрением замеченное, некая «случайная зацепка, – отмечает известный отечественный математик П.С. Александров, – приводит в движение весь большой ранее накопленный материал, вся эта «лента», которая сидит где-то в глубине подсознания, вдруг разворачивается, как спираль, и все полуосознанные прежде объекты приобретают полную отчетливость»1.

Таким образом, «вспышка», замыкающая круг размышлений, озаряет лишь подготовленного, выстрадавшего идею.

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

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

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

_________________

1 Александров П.С. Математическое открытие и его восприятие // Научное открытие и его восприятие. М.: Наука, 1971. С. 69.


 

тик, академик Ю. Митропольский, свидетельствует, что часто более или менее перспективные решения он находил во время отпусков.

На неосознанность творческих процессов еще более указывают случаи, когда решение давалось тут же после пробуждения или даже... во сне. Так пришла одна из важных идей теории относительности. А. Эйнштейн рассказывал сокурснику Якобу Эрату, как однажды утром, хорошо выспавшись, он сел в кровати и вдруг понял, что два события, которые для одного наблюдателя происходят одновременно, могут быть неодновременными для другого 1. Ф. Гаусс отмечал, что он привык после отдыха и полного покоя ожидать появления плодотворных идей. Нередко это случалось утром, вслед за пробуждением.

И конечно, наиболее сильное и почти невероятное свидетельство в пользу интуитивного, неосознаваемого протекания творческих процессов – открытия во сне. Об одном таком факте повествует, например, Пуанкаре2. И вообще, как отмечает А. Лук, у математиков – наивысший показатель решения задач во сне (до 17 %)3.

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

г) Логическая подборка. Завершающий акт поисковых напряжений – проверка и доведение результата. Это часто называют логической подборкой.

Найденное решение поначалу всего лишь гипотеза, которую еще предстоит испытать на истинность. Здесь вновь (как и в самом начале поиска при постановке проблемы) полно включаются сознательные механизмы и властвует логика. Французский логик и философ конца XIX – начала XX в. Л. Кутюра в связи с этим писал: «Логика не ставит себе задачей вдохновлять творчество или же объяснять его: она довольствуется тем, что контролирует его и проверяет его...»4

_________________

1 См.: Зелиг К Альберт Эйнштейн. М: Атомиздат, 1966. С. 68.

2 См.: Пуанкаре А. Математическое творчество. С. 9-11.

3 Лук АН. Интуиция и научное творчество. М.: ИНИОН, 1981. С. 16.

4 Кутюра Л. В защиту логистики // Новые идеи в математике. Пг., 1915. №10. С. 63.


 

Но дело не только в том, чтобы проверить и привести полученное к завершенной форме изложения. Первооткрывателю и так ясно, и он убежден в правоте, но чтобы его признали, необходимо доказательство, которое осуществляется на основе логических правил вывода. Мы уже рассматривали процедуру математического доказательства (см. гл. X, § 1), отметим лишь, что речь идет именно о внутрима-тематическом процессе, цель которого в том, как говорит Ж. Адамар, чтобы «санкционировать и узаконить завоевания интуиции».

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

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

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

Таким образом, лишь соединяясь, лишь вместе интуиция и логика способны вести исследования по пути открытий.

 

– Конец работы –

Эта тема принадлежит разделу:

ФИЛОСОФИЯ МАТЕМАТИКИ

ТОМСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ... А К Сухотин...

Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ: Базисные определения. Расстановка позиций

Что будем делать с полученным материалом:

Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:

Все темы данного раздела:

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

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

Философия в математике. Констатации и оценки
  Тезис о взаимных влияниях математики и философии хотелось бы подкрепить высказываниями самих ученых. Еще Платон считал математику необходимым введением в философию. Недаром

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

Математика – наука об отношениях
  Лишая свои объекты каких-либо вещественных характеристик, абстрагируясь от любых материальных, природных свойств, математика все же что-то им оставляет, иначе она не могла бы соотно

Проблема свободы математического творчества
  Определив математику как науку об отношениях, немедленно сталкиваемся с вопросом, а чем или, может быть, кем задаются отношения? В естествознании отношения, то есть законы

Знак и значение
  Специфика математики, ее объектов остро задевает вопрос о математических знаках. Что они обозначают, что за ними скрывается? Мы выходим к общей проблеме – знак и значение, как они п

Проблема существования математического объекта
  Этот вопрос закономерен в силу специфики математики, не являющейся описанием вещей. Венгерский математик А. Реньи ставит проблему так. Врач изучает болезни, астроном – звезды и т.п.

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

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

Принцип дихотомии знания
  Научное знание разбивают по способу установления истины на два взаимоисключающих класса – по принципу дихотомического деления (от греч. dicha и tome – сечение на две части), когда о

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

Математическая методология
  Место математики в системе наук определяется также тем, что она' играет для других дисциплин и роль методологии. И не только в отношении естествознания, но и для наук социального, г

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

Понятие обоснования математики
  Под обоснованием математики понимают демонстрацию возможности существования объектов ее теории и возможной истинности предложений об этих объектах. Иначе говоря, это вопрос о соотно

Программа логицизма
  Лидеры логицизма (Г. Фреге, Б. Рассел и др.) видели основания математики в логике. Вообще, возможны четыре типа соотношения математики и логики: 1) математика – часть логики; 2) лог

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

Второй этап – аксиоматизация арифметики.
Далее встает задача представить в минимуме понятий сам натуральный ряд, то есть вывести (указав правила перехода) из исходных, простейших элементов всю совокупность целых чисел. Аксиоматизацию начи

Причина неудач
  Выполнение замысла логистов близилось к концу: оставалось лишь выровнять шероховатости, чем и занялся Г. Фреге, который, как пишут авторы известной книги «Основания теории множеств»

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

Критика интуиционистами основ логицизма и проблема бесконечности
  Новая ориентация в обоснованиях, впервые заявившая о себе в 1907 г., представляла реакцию на попытки придать математике чисто логическое истолкование. Интуиционисты (Я. Брауэр, Г. В

Интуитивистская альтернатива
  Все беды обоснования интуиционизм видит не собственно в логике (в несовершенстве ее аппарата), а в самой математике и именно в неточном использовании ее понятий, прежде всего – поня

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

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

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

Концепция абсолютного доказательства и метод формализованной аксиоматики
  Чтобы доказать непротиворечивость, Гильберт использует метод так называемого абсолютного доказательства, который находит реализацию в идее формализованной аксиоматики. Вооб

Результаты Геделя
  В 1931 г. 25-летний австрийский математик Венского университета Курт Гедель (позднее, после аншлюса, эмигрировавший в США) доказал теоремы, из которых следовало, что программа Гильб

Это предложение недоказуемо.
Допустим, что данное предложение ложно. То есть неверно, что оно недоказуемо. Следовательно, оно доказуемо. Притом оно истинно, поскольку, допустив, что оно ложно, мы получим противоречие. Но от эт

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

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

Обоснование в свете эволюции математики
  Обзор классических, если можно так сказать, направлений (логицизм, интуиционизм и конструктивизм, формалистское течение) и современных подходов (аксиоматический и теоретико-категори

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

Критерий выводимости и понятие корректности
  Являясь совокупностью формализованных языков, математика представляет собой область, в которой реализуется разработанное А. Тарским понятие истины. Напомним, что это так называемый

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

Математическое доказательство
  Теория доказательства разработана в логике и включает три структурных компонента: тезис (то, что предполагается доказать), аргументы (совокупность фактов, общепринятых понятий, зако

Принципы построения дедуктивных теорий
  Дедуктивный путь рассуждения как выведение отличается от индуктивного как наведения (от лат. inductio) рядом особенностей. Дедуктивный вывод является принудительным, его пр

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

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

Критерии «внутреннего совершенства». Эвристика
  Далее мы хотели бы рассмотреть эвристические возможности вторичных показателей истины. Эвристика (от греч. «эврика» – Я нашел) – наука о вспомогательных, дополнительных к основным (

Quot;x(Sx®Px) ® (Px®Sx).
Однако, как нами уже отмечено, подобное умозаключение некорректно. Проиллюстрируем это более прозрачным примером: на основании того, что, скажем, все космонавты спортсмены, вовсе не следует, что вс

Понятие формализации
  Под формализацией понимается специфический прием исследования, назначение которого состоит в том, чтобы уточнять знание посредством выявления его формы (способа организации, структу

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

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

Проблемная ситуация и алгоритм метода
  Обратимся еще к одному методу, широко применяемому в математическом творчестве. Более того, своими корнями он уходит в математику, появившись именно в ней и находя в ней наиболее ад

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

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

В СОЦИАЛЬНОМ ИЗМЕРЕНИИ
  Математика занимает особое место в системе общественных ценностей. По существу она во все времена определяла лицо науки, ибо, как заметил А. Пуанкаре, окончательная идеальн

МАТЕМАТИКА: СПЕЦИФИКА, МЕСТО В СТРУКТУРЕ НАУКИ
Глава 1. Предметная область философии математики 5 1. Определение философии. Разброс значений 5 2. Функции философии в их отношении к математ

ФИЛОСОФСКИЕ ОБОСНОВАНИЯ МАТЕМАТИКИ
Глава V. Проблемы обоснования математики и ее решение логицизмом 72 1. Понятие обоснования математики 72 2. Программа логицизма 76 3

МАТЕМАТИЧЕСКАЯ ИСТИНА: СТАТУС, СТРУКТУРА, КРИТЕРИАЛЬНЫЕ ОРИЕНТИРЫ
Глава IX. Специфика истины в математике 140 1. Истина в формализованных языках 140 2. Критерий выводимости и понятие корректности. 145

МЕТОДОЛОГИЯ МАТЕМАТИЧЕСКОГО ПОИСКА
Глава XII. Интуиция и логика 190 1. Базисные определения. Расстановка позиций 190 2. Этапы творческого процесса 193 а) Постановка пр

Хотите получать на электронную почту самые свежие новости?
Education Insider Sample
Подпишитесь на Нашу рассылку
Наша политика приватности обеспечивает 100% безопасность и анонимность Ваших E-Mail
Реклама
Соответствующий теме материал
  • Похожее
  • Популярное
  • Облако тегов
  • Здесь
  • Временно
  • Пусто
Теги