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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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




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

 

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

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

Последние результаты
(ОНИиТС) Тема 03. Эффективность и критер. науч. исслед. (9 тест.заданий) 55.56 %
(ОНИиТС) Тема 03. Эффективность и критер. науч. исслед. (9 тест.заданий) 55.56 %
(ОНИиТС) Тема 03. Эффективность и критер. науч. исслед. (9 тест.заданий) 55.56 %
Перейти к тестам
Аналитические истины 1) высказывания, истинность которых обусловлена не их соответствием некоторому объекту познания, а их логической и грамматической...
Архивоведение 1) комплексная дисциплина, изучающая историю и организацию, теорию и практику работы архивов в области учета, описания, обеспечения...
Научная экспертиза 1) согласованное мнение группы ученых — признанных специалистов в той или иной области науки — по оценке эмпирической обоснованности,...
Антитезис 1) суждение, противоречащее тезису некоторого построенного доказательства. Антитезис используется в косвенном доказательстве тезиса: мы...
Метатеоретическое знание 1) общенаучные и философские основания научных теорий, в первую очередь фундаментальных теорий («парадигмальных» — Т....
Наука и образование в данных понятиях фиксируются две важные сферы человеческой жизнедеятельности взаимного влияния развития науки и содержания...
Эвристика (от греч. heurisko - отыскиваю, открываю) - термин, описывающий метод или процесс, который управляет открытием или...
Концепция эволюции науки К. Поппера основана на критике позитивистской доктрины логического анализа научных знаний, их несостоятельности и...
Языческие источники революции в науке 1543-1687 гг. Началом научной революции обычно считают 1543 г., когда появилась работа Николая Коперника «Об...
Дифференциация и интеграция наук два полярных по своей сути процесса, происходящих в науке с к. XVIII в., из которых первый (дифференциация) связан с...

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

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