Материал:

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

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

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

Вместе с тем понятно, что невозможно ставить целью создание некой единой формализованной языка науки. Дело в том, что даже достаточно богатые формализованные языки могут удовлетворить требование полноты, то есть некоторое множество правильно сформулированных языковых единиц такого языка (в том числе и истинных) нельзя создать исключительно формальным путем внутри этого языка. Данное положение вытекает из результатов, которые получил в начале 30-х годов 20 века австрийский логик и математик Курт Гедель.

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

Заметим однако такое: то, что не удается вывести в данной формальной системе, можно вывести в другой системе, более богатой. Тем не менее, все более полная формализация содержания никогда не может достичь абсолютной полноты. Иными словами, возможности любой формализованной языка остаются принципиально ограниченными. Таким образом, Гедель удалось логически обосновать неосуществимость идеи Р.Карнапа по созданию единой универсальной формализованного языка науки.

Индукция и дедукция

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

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

Индукция, используется в научном познании (научная индукция), реализуется в виде следующих методов:

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

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

3) соединен метод сходства и различия (представляет собой комбинацию двух вышеуказанных методов)

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

5) метод остатков (если сложное явление обусловлено многофакторной причиной "причем некоторые из этих факторов известны как причина какой-то части данного явления, то отсюда следует вывод: причина другой части явления - другие факторы, составляющие вместе общую причину этого явления).

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

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

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

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

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

В науке Нового времени пропагандистом дедуктивного метода познания был известный математик и философ Р. Декарт. Вдохновленный своими математическими успехами, убежден в безошибочности ума, благодаря которому мысленно избегает ошибок,

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

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

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

Источник: https://studbooks.net/7244/estestvoznanie/kontseptsii_sovremennogo_estestvoznaniya

Смотрите также:








ЦЕНОВАЯ ПОЛИТИКА ПРЕДПРИЯТИЯ НА ПРИМЕРЕ ООО «ДНС РИТЕЙЛ»
_archivetempпротивовоспалительные
_Роджерс Карл, Брак и его альтернативы