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

Обоснование оснований науки как цель логическая проблема

Никто не найдет природу вещи и самой вещи; поиск должен быть распространен до более общего.

Ф. Бэкон

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

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

И. Кант в работе "Критика чистого разума" для поиска обоснования оснований науки сформулировал свои, ставшие классическими, вопрос: "Как возможна математика?", "Как возможно естествознание?", "Как возможна метафизика?" Он обосновал возникновение и существование математики, естествознания, метафизики, апеллируя к "чистого" ума в рамках созданной им трансцендентальной логики.

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

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

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

Обосновывая основания конкретной науки, исследователи определяют следующие факторы:

- практические (практическая деятельность людей приводит к возникновению определенных наук);

- культурологические (наука как часть определенного типа культуры и цивилизации);

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

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

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

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

Рассмотрим поиск оснований науки на примере математики и логики как науки, отличаются от всех других предметом и методами исследования. Математику и логику определяют как универсальные основания для вывода других наук. А что является основанием.

Обоснования оснований математики - направление металогічних и метаматематичних исследований, который возник в конце XIX - начале XX вв. Поиск логиками и математиками теоретических оснований математики (математических теорий) обусловили возникновение таких концепций: формализм, логіцизм, інтуїціонізм" конструктивизм.

Формализм - исторически первая концепция обоснования оснований математики, с точки зрения которой математика - сугубо формальная система, созданная из искусственных символов методом формализации. Поэтому формальная система предусматривает ряд критериев (принципов) построения; непротиворечивость, полнота, независимость, розв'язуваність (см. 4.1).

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

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

Теоремы Гьоделя о неполноте формальной системы является цель-теоремами, которые определяют невозможность полной формализации содержательной части определенной формальной системы, сформулированной Д. Гільбертом на основании своей программы.

Логіцизм - концепция обоснования оснований математики, с точки зрения которой математика выводится из логики. Концепцию логіцізму сформулировали и развили Г. Фреге, Б. Рассел, Г. Карнап. В Частности, Г. Фреге выводил арифметику из логики через экспликацию понятия "натуральное число" и доведение основ теоретической арифметики на основании положения: "Все исходные математические понятия могут быть определены в терминах логики". Б. Рассел выводил всю математику из логики: "Чистая математика следует из чисто логических предпосылок и использует определенные в логических терминах". Г. Карнап утверждал, что логика составляет основание построения метатеории для математики и единой математической речи, семантически и синтаксически достаточной для математических теорий.

Концепция логіцізму была определена недостаточной с точки зрения інтуїціонізму.

Інтуїціонізм - это концепция обоснования оснований математики, которая утверждала: логика - часть математики и, следовательно, не может служить для ЕЕ обоснования, и лишь интуиция является основанием для создания математических теорий. Концепцию інтуїціонізму сформулировали логики и математики А. Гейтинг и Л. Брауэр. Они признавали интуицию (см. 2.1) основным критерием аргументации достоверности математического знания и единственным источником получения нового знания в математике.

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

Конструктивизм - концепция обоснования оснований математики, с точки зрения которой синтез формализма и інтуїціонізму является основанием для построения математических теорий (конструктивное направление в математике). Конструктивизм отделяет творческое начало математического ума, его изобретательность и является синтетической концепцией (синтез формализма и інтуїціонізму). Концепция конструктивизма сформулирована в трудах А. Маркова, Ю. Ершова и других математиков.

Итак, определены математиками и логиками основания математики свидетельствуют, что на современном этапе развития математики не существует монистического взгляда на основании математики. Выделены основания - формализм, logicism, інтуїціонізм, конструктивизм определяют множественность оснований, каждая из которых акцентирует внимание на сложной природе математики как науки.

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

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

Гносеологізм - концепция обоснования логики теории познания, согласно которой логику рассматривают частью гносеологии. Онтологізм и гносеологізм в неявной форме определяется в произведениях античных философов, которые развивали логику как науку в контексте онтологических и гносеологічних проблем, в произведениях философов XVII-XVIII вв.

Психологизм - концепция обоснования логики психологией, согласно которой логику рассматривают частью психологии. Концепция психологизма была главной в XIX в. и создавалась по такой схеме: "Психология изучает мышление. Логика изучает мышление. Итак, логика является частью психологии".

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

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

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

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

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

Самообґрунтування оснований символической (математической) логики.

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

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

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

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

Список рекомендуемой литературы

Аристотель. Сочинения: В 4 т. - М., 1978.

Библер В. Кант - Галилей - Кант (Разум Нового времени в парадоксах самообоснования). - М., 1991.

Библер В. Вот наукоучения - к логике культуры. Два философских введения в 21 век. - М., 1990.

БэконФ. Сочинения: В 2 т. - М., 1971.

Вригт Г. X. фон. Объяснение и понимание // Логико-философские исследования. - М., 1986.

Гейтинг А. Интуиционизм. - М., 1965.

Гемпель К. Мотивы и "охватывающие" законы в историческом объяснении // Философия и методология истории. - М., 1977.

Декарт Р. Сочинения: В 2 т. - М., 1989.

Исследования по логике научного познания // Материалы международного симпозиумами. - М., 1990.

Кант И. Сочинения: В 6 т. - М., 1964.

Клайн М. Математика. Утрата определенности. - М., 1984.

Конверский А. Проблема обоснования в логике и методологии науки. - К., 1985.

Костада Н., Маркони Д. Развитие параконсистентной логики в 80-х годах XX века // Философские науки. - 1989. - № 9.

Лейбниц Г. Сочинения: В 4 т. - М., 1984.

Логические методы и формы научного познания. - К., 1984.

Мак-Лейн С. Математическая логика - ни основание, ни философия // Методологический анализ оснований математики. - М., 1988.

Поппер К. Логика и рост научного знания. - М., 1983.

Пуанкаре А. О науке. - М., 1983.

РакитовА. Курс лекций по логике науки. - М., 1971. Рассел Б. Философия логического атомизма. - Томск, 1999.

Смирнов В. Логические методы анализа научного знания. - М., 1987.

Смирнова Е. Логика и философия. - М., 1996. ХантГ. О природе сознания. - М., 2004. Хромой Я. Математическая лопка. - К., 1983. ЧерчА. Математика и логика // Математическая логика и ее применение. - М., 1965.

Шуман А. Современная логика. Теория и практика - М, 2004.

Шуман А. Философская логика. - М., 2001.

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