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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

А. Г. Кислов

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


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



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

 

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

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

Последние результаты
(ПДТСіОС) Тема 09.0 Загал. дані про статистику на транспорті (28 тест.завдань) 82.14 %
(ПДТСіОС) Тема 09.0 Загал. дані про статистику на транспорті (28 тест.завдань) 75.00 %
(ОНИиТС) Тема 01. Сущность науч. познания, знаний и науч. иссл.(18 тест.заданий) 50.00 %
Перейти к тестам
Африканская организация интеллектуальной собственности 1) предоставляет защиту франкоговорящим африканским государствам, которые раньше были колониями,...
Библиотека президентского центра культуры республики Казахстан 1) структурное подразделение Президентского центра культуры...
Пространственно-временной континуум 1) основной онтологический конструкт частной теории относительности, соединивший пространство (три его измерения) и...
Научная философия 1) философия, ориентированная на науку и научное знание, как на одну из существенных областей своего развития, обоснования и...
Философия социально-гуманитарных наук 1) раздел философии науки, предметом которого является комплекс социально-гуманитарных наук (история, политология,...
Классификация (от лат. classis - группа, facio - делаю) - система иерархически взаимосвязанных понятий (классов, объектов, явлений) в прикладных и...
Паранаука Древнегреческая приставка «пара-» означает «около, подле, возле»; соответственно паранаучные знания - это околонаучные знания. Понятие...
Традиция в науке это способ перевода индивидуальной познавательной деятельности в социально заданную форму. Науку и традицию часто противопоставляют,...
Естественный объект 1) то, что в совокупности своих сторон, свойств и отношений противостоит субъекту познания; 2) все, что может быть описано как...
Предмет философии науки Объектом исследования философии науки по определению является наука. Но наука выступает объектом изучения многих конкретных...

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

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