ЛОГИКА НАУКИ

Предмет логики науки

Логика - метод познания объективного мира для всех наук.

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

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

- специфика объекта науки (эмпирические и абстрактные объекты, теоретические конструкты);

- особенности научного познания (уровни и структура научного познания);

- научное знание (структура научного знания, критерии научности знания, формальная построение систем научного знания);

- типология научного знания;

- научная речь (объектный язык науки и метаязык, формализованная и неформализованная речь, фундаментальная и прикладная);

- научная теория (принципы и структура построения научных теорий, функции, типология);

- поиск оснований конкретных наук.

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

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

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

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

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

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

Сущность научной индукции:

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

- на основании наблюдений и экспериментов собрать как можно больше фактов (фактических данных) об объекте исследования;

- обобщить и систематизировать факты;

- определить общее, существенное, повторяющаяся в явлениях, процессах и вывести закон;

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

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

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

Причина - нечто (предмет, явление, событие), которое закономерно влечет возникновение чего-то другого (предмета, явления, события), что является ее следствием. Формально, А является причиной В. Например, физики, которые исследуют Вселенную (систему Галактик), обнаружили феномен "черной дыры" (об этом мы уже упоминали) - космическое тело, гравитационное поле которого настолько велико, что оно поглощает любое другое космическое тело. Четкое определение причинно-следственной связи этого феномена: если гравитационное поле определенного космического тела очень большое (А), то оно способно поглотить любое другое космическое тело (В).

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

В науке для установления причинно-следственных связей разработаны особые методы. Описание и классификация этих методов впервые осуществили английские философы и логики Ф. Бэкон и Дж. Милль. К таким методам относятся:

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

Схема вывода заключения на основании этого метода:

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

Метод единственного различия имеет другое название - "метод нахождения различия в подобном". Схема вывода заключения на основании этого метода:

3. Объединенный метод сходства и различия, основанный на принципе нахождения подобного в различном и различия в подобном. Схема вывода заключения на основании этого метода:

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

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

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

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

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

На современном этапе методологическая функция науки логики в сфере конкретных наук реализуется в следующих направлениях:

- логический анализ систем научного знания методами современной символической логики;

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

- логическая экспликация исходных парадигм и принципов построения систем знания в науке;

- построение формальных моделей в различных науках методом формализации;

- разработка логических критериев истинности научного знания;

- обоснования оснований конкретных наук;

- средство получения нового знания в науке;

- средство научного открытия.

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

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

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

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

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

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

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

3. Новейшие открытия в области физики, космологии, биологии, генетики, возникновение нанотехнологий в конце XX - начале XXI в. требуют построения нового типа научного знания, анализ которого логическими методами приведет к необходимости создания нового типа логики.

 
< Пред   СОДЕРЖАНИЕ   След >