Главная Общие проблемы Формализация научных знаний

Вопрос-ответ

Когда произошла первая научная революция и как она повлияла на формирование научного типа рациональности Первая научная революция произошла в XVII в. Ее...
Что такое общелогические методы и приемы исследования 1. Анализ — реальное или мысленное разделение объекта на составные части, и синтез — их объединение...
Каково соотношение понятий «теория», «предмет» и «метод» Любой научный метод разрабатывается на основе определенной теории, которая тем самым выступает...
Каковы главные характеристики современной постнеклассической науки 1. Широкое распространение идей и методов синергетики — теории самоорганизации и...

Разместить рекламу на сайте

Формализация научных знаний

Рейтинг пользователей: / 0
ХудшийЛучший 
Материал из категории  Общие проблемы
03.03.2012 11:53

Формализация научных знаний

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

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

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

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

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

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

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

Г. К. Ольховиков

Источник: Общие проблемы философии науки: Словарь для аспирантов и соискателей / сост. и общ. ред. Н. В. Бряник ; отв. ред. О. Н. Дьячкова. - Екатеринбург: Изд-во Урал. ун-та, 2007. – С. 278-280 (318 с.)




Подобные материалы:
  • Стыковка областей знаний диагностики и мониторинга (2014, 291с., SM091-013) - 23/03/2016 11:17
    2.1 Выделение общих свойств диагностического подхода для систем транспорта 2.1.3 Стыковка областей знаний диагностики и мониторинга   Появлени…
  • Язык науки - 03/07/2013 10:55
    Язык науки 1) язык, специально вырабатываемый учеными для фиксации и передачи максимально точной, однозначной, определенной и обоснованной информации…
  • Этика науки - 03/07/2013 10:41
    Этика науки 1) совокупность моральных норм, регулирующих поведение ученых по отношению к: 1) научному знанию (когнитивная свобода и когнитивная ответ…
  • Эмпирическое знание - 03/07/2013 10:26
    Эмпирическое знание 1) ступень (уровень) рационального знания; совокупность высказываний об эмпирических (абстрактных) объектах, получаемая с помощью…
  • Экстраординарная наука - 03/07/2013 10:14
    Экстраординарная наука 1) категория философии науки Т. Куна, обозначающая революционную стадию (состояние) развития научной дисциплины (или более кру…
Последние похожие материалы:
  • Ценность - 03/03/2012 12:19
    Ценность сложившаяся в условиях цивилизации и непосредственно переживаемая людьми форма их отношения к общезначимым образцам культуры и к тем предель…
  • Ценности - философские подходы - 03/03/2012 12:13
    Ценности: философские подходы В самом общем плане ценности - это все то, что обладает для людей особой значимостью в их обыденной жизни и чему отдает…
  • Ценности в науке - 03/03/2012 12:10
    Ценности в науке феномены, рассматриваемые в качестве наиболее значимых с точки зрения соответствия идеальному образу науки и связанные с основными ц…
  • Функции науки - 03/03/2012 12:06
    Функции науки роль и предназначение данной сферы деятельности человека (науки) в его жизни и обществе в целом. Функция (лат. function - исполнение, с…
  • Французская философия наук - 03/03/2012 11:57
    Французская философия наук связана с именами таких ученых, как П. Дюгем, Л. Бруншвиг, Э. Мейерсон, Г. Башляр, Ж. Кавайе, А. Койре, Ж. Кангилем, М. Фу…
Более поздние похожие материалы:
  • Формализация - 03/03/2012 11:50
    Формализация в широком смысле метод семиотического анализа объектов любой природы, направленный на выявление формы. Конкретнее под формализацией пони…
  • Философия науки - 03/03/2012 11:46
    Философия науки это: 1) особый тип философского мировоззрения, рассматривающий науку в качестве основного (высшего, единственно адекватного) способа …
  • Феноменологическая концепция науки - 03/03/2012 11:39
    Феноменологическая концепция науки это одно из направлений философии науки, созданное в первые десятилетия XX в. математиком и философом Э. Гуссерлем…
  • Фальсификация - 03/03/2012 09:00
    Фальсификация (от пал. falsus - ложный vifacio - делаю) - а) в обычном смысле - подделка, б) в логике и методологии науки - процесс сокращения границ…
  • Факт - 03/03/2012 08:56
    Факт (от лат. factum - сделанное, совершившееся) - 1) в широком смысле - синоним понятий «данность», «действительность», «реальность», «истина», «соб…

 

Случаные тэги (tags)

Результаты тестов

Последние результаты
(ПДТСіОС) Тема 05.3 Робота над гіпотезою наук. дослідж. (12 тест.завдань) 33.33 %
(ПДТСіОС) Тема 09.0 Загал. дані про статистику на транспорті (28 тест.завдань) 46.43 %
(ПДТСіОС) Тема 09.0 Загал. дані про статистику на транспорті (28 тест.завдань) 32.14 %
Перейти к тестам
Возможность логическая 1) то, что может быть теоретически (в принципе); критерием существования такой возможности является, во-первых, ее внутренняя...
Движение 1) любое изменение положения тела в пространстве — времени. Предельные, идеальные случаи движения — покой и перемещение с бесконечной...
График 1) [от гр. graphikos начертанный] — (1) чертеж, применяемый для наглядного изображения зависимости какой-л. величины (напр., пути) от другой...
Введение (вводная часть) 1) структурный элемент научной работы, содержащий формулировку темы; актуальность исследования; проблему исследования; объект,...
Социальная ответственность ученого 1) персональная ответственность отдельных ученых перед обществом за принятие решений, определяющих перспективу...
Наука как социальный институт один из основных аспектов бытия науки, раскрывающий особенности функционирования научного сообщества, регулирования...
Методология неклассической науки В современном научном познании сосуществует множество методологических стратегий исследования, которые тем более...
Преднаука и наука разграничение, принятое в истории и философии науки с целью разрешения проблемы корректного определения существенных и инвариантных...
Моделирование это метод познания, который предполагает построение и изучение модели, а затем перенос полученных данных на моделируемый объект - оригинал....
Неокантианская концепция науки одно из направлений философии науки послед, четверти XIX - пер. пол. XX в. Наиболее яркими представителями его являются В....

Научные исследования в логистике и на транспорте Copyright © 2011-2018. При использовании материалов сайта - гиперссылка обязательна. All Rights Reserved.

Бесплатный анализ сайта