Меню
Главная
Авторизация/Регистрация
 
Главная arrow Логика arrow Логика

ЛОГИКА НАУКИ

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

 
< Предыдущая   СОДЕРЖАНИЕ   Следующая >
 

Предметы
Агропромышленность
Банковское дело
БЖД
Бухучет и аудит
География
Документоведение
Естествознание
Журналистика
Инвестирование
Информатика
История
Культурология
Литература
Логика
Логистика
Маркетинг
Математика, химия, физика
Медицина
Менеджмент
Недвижимость
Педагогика
Политология
Политэкономия
Право
Психология
Региональная экономика
Религиоведение
Риторика
Социология
Статистика
Страховое дело
Техника
Товароведение
Туризм
Философия
Финансы
Экология
Экономика
Этика и эстетика
Прочее