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

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

Критерии «внутреннего совершенства». Эвристика

Критерии «внутреннего совершенства». Эвристика - раздел Философия, ФИЛОСОФИЯ МАТЕМАТИКИ   Далее Мы Хотели Бы Рассмотреть Эвристические Возможности Втор...

 

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

__________________

1 Мопертюи П. Согласование законов природы, которые до сих пор казались несовместимыми // Вариационные принципы механики. М., 1959. С. 25.

2Блок А. Возмездие//Собр. соч.: В 8 т. М; Л., 1960. Т. 3. С. 301.


 

ственные, логические и эстетические. Теперь возьмем их поименно, в персоналиях.

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

Имеется в виду использование минимальных показателей степеней, коэффициентов, радикалов и т. п. В формулах физических, химических законов, например, обычно фигурируют величины первой или второй степени (F = ma; ε = mc2), реже третьей; если встречаются корни, то квадратные, кубичные, не более. В математике разработано и выполняется понятие строгости как процедуры доказательства, где нет ничего лишнего, есть только то, что необходимо и достаточно.

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

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

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

Вторым видом внеэмпирических определений истины отметим логические критерии. В их ряду (стройность, последовательность


 

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

По определению, симметричным считается такое распределение тел или их элементов, когда одна часть заполненного пространства оказывается как бы зеркальным отображением другой части. Логически аксиома симметричности записывается следующим образом: отношение aRb (где a и bпеременные, a R – знак отношения, в нашем случае симметрии) симметрично, если выполняется bRa. To есть а относится к b так же, как b относится к а. Или кратко aRb®bRa. Скажем, отношение «брат». Если Василий – брат Петра, то и Петр – брат Василия. Но отношение «брат – сестра» – уже несимметрично: он к ней относится как к сестре, а она к нему – как к брату. Кстати, в немецком есть понятие «Geschwester», которое одним словом и фиксирует это отношение как симметрию.

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

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

 

 

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

__________________

1 Вейль Г. Симметрия. М.: Наука, 1968. С. 37.

 

 


 

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

То явилось великим прозрением. Четверть века спустя немецкий физик Г. Герц в эксперименте доказал существование электромагнитных волн, оправдав тем самым теоретическое предвидение Максвелла, высказанное лишь на основе постулата о симметричности электрических и магнитных явлений.

Пример поучителен. Фактически Максвелл не имел права написать уравнения электродинамики так, как он это сделал, в связи с чем видный австрийский физик XIX в. Больцман и заметил: «Уравнения Максвелла выведены неправильно, но сами они правильны. Не Бог ли начертал их?» Не случайно, характеризуя теорию Максвелла, кто-то из ученых же припомнил слова Гете, сказанные, правда, по другому поводу:

 

War es ein Gott, der diese Zeichen schrieb,

Die mir das innre Toben stillen,

Das arme Herz mit Freude füllen

Und mit geheimnisvollen Trieb!1

 

Кто из богов придумал этот знак?

Какое исцеленье от уныний

Дает мне сочетание этих линий.

Расходится томивший душу мрак.

 

Поистине, слегка перефразировав С. Батлера, можно сказать: «Наука [у Батлера – жизнь – А.Б.] – это искусство делать верные выводы из неверных посылок».

Другой, не менее впечатляющий факт эвристических приложений вторичного критерия симметричности – открытие английского физика XX в. П. Дирака.

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

Это было по тем временам неслыханное заявление. Над Дираком посмеивались, вышучивали: это, дескать, все равно, как если

__________________

1 См.: Goethes Werke. Leipzig Verlag der Literaturwerke. Minerva, S.l. Dritter Band. S. 23.


 

бы некий человек утверждал, что у него есть брат, но он женского рода. Однако Дирак не сдавался, а через четыре года американский физик К. Андерсон обнаружил в космических лучах эти самые антиэлектроны, несущие положительный заряд, образуя отрицательную энергию. Они получили название – позитроны. Вскоре (1933 г.) Дирак был удостоен за свое открытие Нобелевской премии.

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

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

Но здесь нас занимает лишь один аспект этих связей – участие эстетического начала в качестве критерия истины. И в этом ему принадлежит заметная роль, особенно в области точных наук. Как заявляет английский математик XX в. Т. Харди, «красота есть первый пробный камень математической идеи», ибо «в мире нет места для уродливой математики»2. Характерно признание П. Дирака: «Я чувствую, – писал он, – что теория, если она правильна, должна быть красивой, так как мы руководствуемся принципом красоты, когда устанавливаем фундаментальные законы», например в исследованиях, опирающихся на математику. И «если уравнения физики некрасивы с математической точки зрения, то, – продолжает Дирак, – это означает, что они несовершенны и что теория ущербна и нуждается в улучшении»3.

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

__________________

1 Кант И. Логика. Пг., 1915. С. 29-30.

2 Харди Т. Исповедь математика // Математики о математике. М.: Знание,
1967. С. 12.

3 Исследования по истории физики и механики. М., 1988. С. 98.


 

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

Примечательный факт. Как-то еще в середине прошлого века Дирак был приглашен в СССР, где выступил с лекцией в Московском университете. А у физиков МГУ есть обычай: выдающиеся гости, прочитав лекцию, тут же на стене физической аудитории оставляют автограф с любимым высказыванием. Дирак написал: «Физический закон должен быть математически изящен».

Об эвристическом значении критериев красоты в математическом поиске говорят и многие другие большие и не столь большие ученые – Гейзенберг, Гаррисон, Эйнштейн.

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

Напомнив уравнение F=γ m1m2/r2 Китайгородский пишет, что если бы в числителе вместо произведения масс т1 и т2 фигурировала, скажем, сумма (т1+ т2), а в знаменателе вместо r2 находилась бы г в девятой степени, такая формула сразу же отталкивала как неэстетическая, некрасивая и потому неверная.

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

__________________

1 Дирак П. Электроны и вакуум. М., 1937. С. 4-5.


 

Остается непроясненным, а что же именно полагать красивым, каковы критерии самого этого критерия истинной теории? Это те же количественные (основанные на минимальности значений ) и логические (симметрия, стройность и т. п.) характеристики, но пропущенные через эстетическое чутье ученого. Как пишет, например, математик Б. Гнеденко, «результат считается красивым, если из малого числа условий удается получить общие заключения, относящиеся к широкому кругу объектов».

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

В связи с этим стоит отметить исключительную роль искусства. Но это уже особый разговор.

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

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

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

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

Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ: Критерии «внутреннего совершенства». Эвристика

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

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

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

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

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

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

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

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

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

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

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

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

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

Принцип дихотомии знания
  Научное знание разбивают по способу установления истины на два взаимоисключающих класса – по принципу дихотомического деления (от греч. 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
Реклама
Соответствующий теме материал
  • Похожее
  • Популярное
  • Облако тегов
  • Здесь
  • Временно
  • Пусто
Теги