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

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

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

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

Формализация

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

Метки (тэги, tags):

Формализация

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

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

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

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

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

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

В математике и логике, где формализация наиболее развита, современные разделы наук строятся именно как формализованные теории. Особый интерес представляет такой вид научной формализации, как логическая формализация. Мышление выражается посредством знаковых структур какого-либо языка - естественного или искусственного. Умозаключение - как переход от одних мыслей к другим - по своей форме выглядит как переход от одних последовательностей знаков к другим. Символизация устанавливает только взаимооднозначное соответствие между мыслями и последовательностями символов в искусственном языке. Формализация же идет далее и устанавливает такое соответствие между логическими операциями и манипуляциями символами. Таким образом, при формализации процесс мышления трансформируется в процесс исчисления. Исчислением является знаковая система, построенная следующим образом: 1) задан алфавит, т. е. множество элементарных знаков символического языка; 2) заданы правила образования правильно построенных выражений из элементов алфавита; 3) заданы правила преобразования («вывода») одних правильно построенных выражений в другие.

Любое знание может оказаться объектом логической формализации, которая уточнит и систематизирует содержательные представления, поможет сформулировать новые проблемы и обеспечит эффективный поиск их решений. Традиционно для построения формализованной теории используют аксиоматическии метод (хотя имеются и иные способы), благодаря которому удается получать утверждения теории из небольшого числа постулатов. Здесь строгая формализация теории достигается лишь тогда, когда полностью отвлекаются от содержания (смысла) самих исходных понятий и аксиом. Великий математик Д. Гильберт однажды выразил основную идею формализации следующим образом: «Надо, чтобы такие слова, как точка, прямая, плоскость, во всех предложениях геометрии можно было заменить, напр., словами стол, стул, пивная кружка». Использование аксиоматического метода в процессе формализации обеспечивает такую систематизацию знания, при которой его отдельные элементы не просто координируют друг с другом, а находятся в отношении субординации. Поиски аксиом, из которых можно чисто логическим путем вывести теоремы, составляют одну из важнейших творческих задач. Однако адекватная логическая формализация достаточно сложных теорий имеет нетривиальный характер и в целом ряде случаев затруднена различного рода антиномиями и парадоксами; возникают принципиальные ограничения для такой формализации, напр., теорема К. Гёделя о неполноте формализованной арифметики, теорема А. Тарского о неформализуемости понятия истины посредством формализмов и др. Известна и критика ограничительных теорем. Трудности логической формализации не умаляют ее значения и не являются причиной отказа от широкого практического применения этого метода в различных областях знания. Методологическое значение формализации заключается в том, что она является средством анализа содержания научного знания и экспликации научных понятий. В этом смысле формализацию традиционно противопоставляют интуитивному мышлению, понятия которого имеют мнимую ясность и не предназначены для научной деятельности.

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

А. Г. Кислов

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


Метки (тэги, tags):



Подобные материалы:
  • Формализация - 02/07/2013 18:55
    Формализация 1) представление некоторого содержания путем его отображения в некоторую формальную систему и рассмотрение его с позиций этой формальной…
  • Формализация научных знаний - 03/03/2012 11:53
    Формализация научных знаний отождествление определенного фрагмента научного языка, фактически используемого научным сообществом, для ведения дискусси…
Последние похожие материалы:
  • Ценность - 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:46
    Философия науки это: 1) особый тип философского мировоззрения, рассматривающий науку в качестве основного (высшего, единственно адекватного) способа …
  • Феноменологическая концепция науки - 03/03/2012 11:39
    Феноменологическая концепция науки это одно из направлений философии науки, созданное в первые десятилетия XX в. математиком и философом Э. Гуссерлем…
  • Фальсификация - 03/03/2012 09:00
    Фальсификация (от пал. falsus - ложный vifacio - делаю) - а) в обычном смысле - подделка, б) в логике и методологии науки - процесс сокращения границ…
  • Факт - 03/03/2012 08:56
    Факт (от лат. factum - сделанное, совершившееся) - 1) в широком смысле - синоним понятий «данность», «действительность», «реальность», «истина», «соб…
  • Ученые - 02/03/2012 13:14
    Ученые 1. Это люди, профессионально занимающиеся научно-исследовательской или научно-педагогической деятельностью. Как таковое, понятие «ученый» форм…

 

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

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

Последние результаты
(ОНИиТС) Тема 01. Сущность науч. познания, знаний и науч. иссл.(18 тест.заданий) 0.00 %
(ПДТСіОС) Тема 05.3 Робота над гіпотезою наук. дослідж. (12 тест.завдань) 33.33 %
(ПДТСіОС) Тема 09.0 Загал. дані про статистику на транспорті (28 тест.завдань) 46.43 %
Перейти к тестам
Анонс 1) [фр. annonce] – краткое объявление, извещение.
Аксиологические основания классической науки 1) ценностные предпосылки науки XVII — XIX вв. В частности, что наука — это исключительно источник блага и...
Инварианты 1) величины, отношения, законы, остающиеся неизменными (абсолютными) при переходе от одной системы отсчета к другой относительно некоторого...
Энергия 1) общая количественная мера движения. В зависимости от содержания процессов движения различают разные виды энергии (механическую, тепловую,...
Данные 1) (1) факты, не связанные друг с другом: имена, даты, числа; (2) сведения, обработанные специальным образом для принятия решений,...
Искусственный интеллект это понятие, обозначающее системы созданных людьми средств, воспроизводящих определенные функции человеческого мышления. В 1969...
Математизация науки процесс проникновения математических методов в науку. Принято выделять три этапа математизации науки. Первый состоит в том, что...
Операционализм (от лат. operatio - действие) одно из направлений в современной философии и психологии, согласно которому содержание какого-либо...
Наука и власть Соотношение науки и власти определяется в первую очередь соотношением науки и идеологии: именно государственная идеология во многом...
Правдоподобные рассуждения получивший распространение в настоящее время термин для охвата всех рассуждений недедуктивного характера. В правдоподобных...

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