Формализация как метод теоретического исследования
Формализация — это представление самых разнообразных объектов путем отображения и изображения их содержания и структуры в знаковой форме, при помощи самых разнообразных «искусственных» языков, к числу которых относится язык математики, математической логики, химии и других наук. Использование специальной символики в этих науках является одним из необходимых методов отражения действительности человеком.
Понятие «формализация» находится в тесной связи с понятием «абстрагирование которое представляет собой процесс мысленного отвлечения от свойств исследуемых предметов их существенных признаков.
Формализация как метод исследования имеет, по мнению ученых, ряд достоинств:
1) обеспечивает полноту обозрения определенной области проблем, обобщенность подхода к их решению;
2) базируется на использовании специальной символики, которая обеспечивает краткость и четкость фиксации знания;
3) связана с приписыванием отдельным символам или их системам определенных значений, что позволяет избежать многозначности терминов, свойственной обычным языкам;
4) позволяет формировать знаковые модели объектов, а изучение
реальных вещей и процессов заменять изучением этих моделей.
Этим достигается упрощение объекта непосредственного исследования, что облегчает решение познавательных задач.
По предположению А.Я. Данилюка, первым среди отечественных педагогов, последовательно применившим процедуру формализации, был A. M. Coxop, который избирает объектом формализации учебный материал, т.е. все содержание, тем или иным образом включенное в процесс обучения. Формальными единицами выступают при этом понятия, которые определяются автором в качестве элементов логической структуры учебного материала. «Понятие» в таком представлении — чистейшая абстракция, знак, полученный путем абстрагирования от множества других составляющих учебного материала (знаний, научных понятий, текстов и т.д.). Затем автор устанавливает предельно общие правила оперирования формальными единицами, т.е. как бы отвечая на вопрос, какие связи и отношения между этими понятиями. Эти связи и отношения он определяет категориями «умозаключения», «обоснования», «решения». И более высокую ступень организации элементов логической структуры учебного материала автор представляет в виде последовательности познавательных задач.
Таким образом, процесс обучения в его содержательной части замещается однородным множеством понятий, а затем устанавливаются формы связи и отношений между ними.
Анализ и синтез
Метод исследования, или познания экономической действительности включает в себя целый набор способов и приемов, с помощью которых достигается раскрытие ее сущности и содержания. При анализе происходит мысленное разложение явления на составные части и выделение отдельных его сторон с целью выявить то специфическое, что отличает их друг от друга. Это важно для решения последующей задачи теоретического объяснения тех особенностей, от которых отвлекаются первоначально. При помощи анализа раскрывается существенное в явлении. Если говорить о процессе познания, то анализ используется при движении от созерцания действительности к абстрактному мышлению, т.е. от конкретного к абстрактному, и завершается выработкой экономических научных абстракций.
При синтезе происходит мысленное объединение расчлененных анализом частей, сторон с целью выявить то общее, что связывает эти части, стороны в единое целое. Синтез происходит при движении от абстрактного к конкретному. В процессе синтеза изучаемое явление исследуется во взаимосвязи составляющих его сторон, в целостности и единстве, в движении противоречий, благодаря чему открываются пути и формы их разрешения.
Для демонстрации использования анализа и синтеза обратимся к миру окружающих нас товаров. Например, хлеб, вино, костюм, туфли и прочие товары нас интересуют как объекты для выяснения того, что лежит в основе их обмена. Путем анализа, т.е. посредством расчленения каждого конкретного блага на составные части, можно выяснить следующее. Первая сторона — все блага приобретаются потому, что они способны удовлетворить ту или иную конкретную потребность человека. В результате получаем экономическую категорию — потребительную стоимость, которая представляет свойство товара удовлетворить определенную потребность. Таким образом, можно сделать первое заключение, что все товары обладают полезностью, или потребительной стоимостью.
Теперь сконцентрируем внимание на меновых пропорциях в процессе обмена. Предположим, что шесть буханок хлеба обмениваются на одну бутылку вина, один костюм — на две пары туфель. Следовательно, можно сказать, что все товары обладают меновой стоимостью, или способностью обмениваться в определенных пропорциях между собой. Итак, на уровне анализа выявлены две экономические категории: потребительная стоимость и меновая стоимость.
При этом необходимо воспринять данные товары не как расчлененные на отдельные свойства, а как единое целое. Эту функцию и выполняет синтез, устанавливая взаимосвязь между полезностью и меновой стоимостью. Эта взаимосвязь выражается в других категориях, а именно, в ценности и стоимости, которые отражают и полезность блага, и его меновую стоимость. Категория «ценность» свидетельствует о необходимости и полезности блага для общества, а «стоимость» — об его оценке обществом относительно других благ или денег. Иными словами, происходит определение, «чего оно стоит» на самом деле в едином товарном мире.
Индукция и дедукция
Индукция представляет собой исследование, при котором познание действительности совершается в процессе выработки единичных утверждений, обеспечивающих возможность сделать обобщающие выводы и сформулировать общие положения. Индукция характеризуется познанием действительности путем движения от конкретного к абстрактному. А как известно, на уровне абстрактного мышления вырабатываются экономические категории. Для наглядности рассмотрим индуктивный метод на примере. Предположим, человек начинает анализировать окружающий его мир благ. Он видит, что хлеб обменивается на другой продукт или деньги, следовательно, это позволяет ему сделать единичное заключение: хлеб обладает меновой стоимостью, т.е. способностью обмениваться на другие блага в определенных пропорциях. Затем он рассматривает другое благо — вино, применительно к которому можно сделать такое же единичное заключение, как и в отношении хлеба: вино способно обмениваться на другие блага, и, следовательно, оно тоже обладает меновой стоимостью. Расширив круг благ с целью выявления у них данного свойства (меновой стоимости), человек приходит к обобщающему выводу: все блага, вступающие в обмен на другие, обладают меновой стоимостью. Отсюда дается определение меновой стоимости как способности одного блага обмениваться в определенных пропорциях на другие блага. Таким образом, от единичных, частных случаев мы пришли к обобщающему заключению.
Дедукция представляет собой способ исследования, при котором знания о процессах и явлениях формируются в ходе перехода от общих положений к частным и единичным суждениям. Дедукция характеризуется восхождением от абстрактного к конкретному. Для лучшего восприятия обратимся к только что рассмотренному выше примеру. Но логика рассуждений направлена в обратном направлении: не от конкретных единичных случаев к общему положению, а от абстрактного, общего, уже сформулированного умозаключения к единичным конкретным случаям. Таковым обобщающим положением является «меновая стоимость». Для демонстрации дедуктивного метода достаточно взять общее положение и применить его к тем же или совершенно новым благам.Взяв поочередно вышеупомянутые блага, мы видим, что все они обладают свойством обмениваться на другие блага, откуда можно сделать заключение, что они обладают меновой стоимостью. Теперь предположим, что мы только что сделали «научное открытие»: любой товар обладает меновой стоимостью.Данная идея не может быть обменена на другие блага, и, следовательно, она не обладает меновой стоимостью, хотя, несомненно, имеет важное значение для экономических исследований, для которых она стала уже аксиомой.
Дата добавления: 2018-08-06 ; просмотров: 3427 ; Мы поможем в написании вашей работы!
Источник
Формализация как метод теоретического познания. Язык науки
Под формализацией понимается особый подход в научном познании, который заключается в использовании специальной символики, позволяющей отвлечься от изучения реальных объектов, от содержания описывающих их теоретических положений и оперировать вместо этого некоторым множеством символом (знаков).
Для построения любой формальной системы необходимо:
а) задание алфавита, т.е. определенного набора знаков;
б) задание правил, по которым из исходных знаков этого алфавита могут быть получены «слова», «формулы»;
в) задание правил, по которым от одних слов, формул данной системы можно переходить к другим словам и формулам (так называемые правила вывода).
В результате создается формальная знаковая система в виде определенного искусственного языка. Важным достоинством этой системы является возможность проведения в ее рамках исследования какого-либо объекта чисто формальным путем (оперирование знаками) без непосредственного обращения к этому объекту.
Другое достоинство формализации состоит в обеспечении краткости и четкости записи научной информации, что открывает большие возможности для оперирования ею.
Математические описания различных объектов, процессов являются ярким примером формализации. При этом используемая математическая символика не только помогает закрепить уже имеющиеся знания об исследуемых объектах, явлениях, но и выступает своего рода инструментом в процессе дальнейшего их познания. Но расширяющееся использование формализации как метода теоретического познания связано не только с развитием математики. В химии, например, соответствующая химическая символика вместе с правилами оперирования ею явилась одним из вариантов формализованного искусственного языка. Все более важное место метод формализации занимал в логике по мере ее развития. Труды Лейбница положили начало созданию метода логических исчислений. Последний привел к формированию в середине XIX в. математической логики, которая во второй половине нашего столетия сыграла важную роль в развитии кибернетики, в появлении электронных вычислительных машин, в решении задач автоматизации производства и т.д.
Возможность представить те или иные теоретические положения науки в виде формализованной знаковой системы имеет большое значение для познания. Но при этом следует иметь в виду, что формализация той или иной теории возможна только при учете ее содержательной стороны. Только в этом случае могут быть правильно применены те или иные формализмы. Голое математическое уравнение еще не представляет физической теории, чтобы получить физическую теорию необходимо придать математическим символам конкретное эмпирическое содержание.
Язык современной науки существенно отличается от естественного человеческого языка. Он содержит много специальных терминов, выражений, в нем широко используются средства формализации, среди которых центральное место принадлежит математической формализации. Исходя из потребностей науки, создаются различные искусственные языки, предназначенные для решения тех или иных задач.
Формализованные искусственные языки не обладают гибкостью и богатством языка естественного. Зато в них отсутствует многозначность терминов (полисемия), свойственная естественным языкам. Они характеризуются точно построенным синтаксисом (устанавливающим правила связи между знаками безотносительно их содержания) и однозначной семантикой (семантические правила формализованного языка вполне однозначно определяют соотнесенность знаковой системы с определенной предметной областью). Таким образом, формализованный язык обладает свойством моносемичности. Все множество созданных и создаваемых искусственных формализованных языков входит в язык науки, образуя мощное средство научного познания.
Создание какого-то единого формализованного языка науки не представляется возможным. Даже достаточно богатые формализованные языки не удовлетворяют требованию полноты, т.е. некоторое множество правильно сформулированных предложений такого языка (в том числе и истинных) не может быть выведено чисто формальным путем внутри этого языка. Данное положение вытекает из результатов, полученных в начале 30-х годов
XX столетия австрийским логиком и математиком Куртом Геделем.
Формализованные языки не могут быть единственной формой языка современной науки, ибо стремление к максимальной адекватности требует использовать и неформализованные системы. Но в той мере, в какой адекватность немыслима без точности, тенденция к возрастающей формализации языков всех и особенно естественных наук является объективной и прогрессивной.
Источник
1.5. Формализация как метод теоретического познания. Язык науки
Под формализацией понимается особый подход в научном познании, который заключается в использовании специальной символики, позволяющей отвлечься от изучения реальных объектов, от содержания описывающих их теоретических положений и оперировать вместо этого некоторым множеством символом (знаков).
Для построения любой формальной системы необходимо:
а) задание алфавита, т.е. определенного набора знаков;
б) задание правил, по которым из исходных знаков этого алфавита могут быть получены «слова», «формулы»;
в) задание правил, по которым от одних слов, формул данной системы можно переходить к другим словам и формулам (так называемые правила вывода).
В результате создается формальная знаковая система в виде определенного искусственного языка. Важным достоинством этой системы является возможность проведения в ее рамках исследования какого-либо объекта чисто формальным путем (оперирование знаками) без непосредственного обращения к этому объекту.
Другое достоинство формализации состоит в обеспечении краткости и четкости записи научной информации, что открывает большие возможности для оперирования ею.
Математические описания различных объектов, процессов являются ярким примером формализации. При этом используемая математическая символика не только помогает закрепить уже имеющиеся знания об исследуемых объектах, явлениях, но и выступает своего рода инструментом в процессе дальнейшего их познания. Но расширяющееся использование формализации как метода теоретического познания связано не только с развитием математики. В химии, например, соответствующая химическая символика вместе с правилами оперирования ею явилась одним из вариантов формализованного искусственного языка. Все более важное место метод формализации занимал в логике по мере ее развития. Труды Лейбница положили начало созданию метода логических исчислений. Последний привел к формированию в середине XIX в. математической логики, которая во второй половине нашего столетия сыграла важную роль в развитии кибернетики, в появлении электронных вычислительных машин, в решении задач автоматизации производства и т.д.
Возможность представить те или иные теоретические положения науки в виде формализованной знаковой системы имеет большое значение для познания. Но при этом следует иметь в виду, что формализация той или иной теории возможна только при учете ее содержательной стороны. Только в этом случае могут быть правильно применены те или иные формализмы. Голое математическое уравнение еще не представляет физической теории, чтобы получить физическую теорию необходимо придать математическим символам конкретное эмпирическое содержание.
Язык современной науки существенно отличается от естественного человеческого языка. Он содержит много специальных терминов, выражений, в нем широко используются средства формализации, среди которых центральное место принадлежит математической формализации. Исходя из потребностей науки, создаются различные искусственные языки, предназначенные для решения тех или иных задач.
Формализованные искусственные языки не обладают гибкостью и богатством языка естественного. Зато в них отсутствует многозначность терминов (полисемия), свойственная естественным языкам. Они характеризуются точно построенным синтаксисом (устанавливающим правила связи между знаками безотносительно их содержания) и однозначной семантикой (семантические правила формализованного языка вполне однозначно определяют соотнесенность знаковой системы с определенной предметной областью). Таким образом, формализованный язык обладает свойством моносемичности. Все множество созданных и создаваемых искусственных формализованных языков входит в язык науки, образуя мощное средство научного познания.
Создание какого-то единого формализованного языка науки не представляется возможным. Даже достаточно богатые формализованные языки не удовлетворяют требованию полноты, т.е. некоторое множество правильно сформулированных предложений такого языка (в том числе и истинных) не может быть выведено чисто формальным путем внутри этого языка. Данное положение вытекает из результатов, полученных в начале 30-х годов XX столетия австрийским логиком и математиком Куртом Геделем.
Формализованные языки не могут быть единственной формой языка современной науки, ибо стремление к максимальной адекватности требует использовать и неформализованные системы. Но в той мере, в какой адекватность немыслима без точности, тенденция к возрастающей формализации языков всех и особенно естественных наук является объективной и прогрессивной.
Источник
