19. Структура теоретического знания (методы и формы существования)

Основой этого уровня явл деят-ть разума (см. вопр 18). Формы познания: проблема, гипотеза, теория, научно-исследовательская программа. Предметной сферой этого уровня явл идеализированные объекты. Методы теоретического знания: 1-Идеализация– это мысленное конструирование объектовjне существуют и не могут сущ-ть в действительности, но при этом имеют в ней отдаленные аналогии. Механизм образования идеализированных объектов: 1-Фиксация исходных объектов (возд шарик, подшипник, яблоко). 2-Обобщение (сходство формы – округлая). 3-Абстрагирование (изолирующая абстракция), рассматриваем только как имеющую геометрическую форму – это шарообразная форма (удаление ненужных св-в, т.е. цвет, запах, плотность и т.д.) 4-Идеализация (геометрический шар; отсутствует в эмпирическом мире, т.е. довели до совершен. предела). В отличие от абстрагирования мы дополним объект такими св-миjнет в действительности, абсолютная шарообразность и получили идеализированный объект – геометрический шар. Сущ-ют 3 способа образования идеализир объектов: 1-Минимизация (точка, атом, фонема, кварк). 2-Максимизация абс. черное тело, математич маятник, идеальный газ и т.п.) 3-Свободное конструирование (просто придумали: иррациональные числа,n-мерное пространство, не евклидова геометрия) по поводу необход идеализ объектов сущ-ют 2 подхода: 1-Предложил Э.Мах – эти объекты нужны для «экономии мышления», они делают теорию проще. 2-Эссенциализм – он выработан в пост позитивистской фил-ии науки. Эссенция в переводе- сущность. Эти объекты нужны для фиксации сущности вещей, т.е. они концентрируют в себе ее качество. Критерии адекватности идеализации объектов – это принципиальная возм-ть нахождения хотя бы отдаленных эмпирических эквивалентов (сравнить на экзамене с идеей коммунизма). 2-Аксиоматизация– это способ дедуктивного построения теорий в основеj4 шага: 1-формулировка базовых понятий (впервые применил евклид-точка, прямая, угол). 2-образование из тих положений постулатов, аксиом, истиностьjникак не доказывается (сумма углов треугольника = , // прямые никогда не пересекаются). 3-разработка правил включение новых понятий в эти постулаты,а также переход от одной аксиомы (постулата) к др. 4-приобразование постулатов по этим правилам и формулировка всех возможных теорем. Требования к аксиомам: 1-полнота, 2-логическая непротиворечивость, 3-независимость др. от др. Впервые использовал евклид. На протяжении более чем тысячелетнего периода этот метод считался образцом научного построения теории и применяется Спинозой в этике (логико-матем науки).3-Формализация– это перевод содержательной информации в знаково-символич форму. Метод построен на разграничении естественных и искусственных языков. (произошло убийство Сидорова) ав,а |в (если Петров убил Сидорова, то он был на месте преступления). ав,в |а (Неверно). ав,а |в (неверно). ав,в |а (верно). Значение формализации: 1-Позволяет сократить запись результатов и процесса научного поиска. 2-Позволяет избежать многосмысленности высказывания естеств языка. 3-Облегчает процедуру алгоритмизации интеллектуального процесса и использования ЭВМ. 4-Однако важнейшая фун-я Эвристическая: она позволяет применять к формализованным системам матем аппарат. Получая тем самым прибавку к знаниямjнедостижимо иными методами. В структуре формализ систем выд 2 плоскости. 1-семантика систем – приписывание значений к элементам формализ языка. 2-синтаксис системы – это способы преобразований высказываний без относительной к их семантике. Принципы формализации были выявлены Куртом Гёделем в 1931г., когда он доказал невозможность построения непротиворечивых. Полностью формализованных систем, а тем самым невозможность полной формализации естеств языка.Математическое моделирование. Моделирование – это исследов объекта на его аналогах или моделях. Различают 2 вида моделей: 1-материальные-обладают физич, химич. Биологич св-ми оригинала. 2-Идеальные-графики, чертежи, схемы и т.д. Видом явл мат модели. Мат.модели в своем простейшем виде это формализ стр-раjпозволяет зная одни эмпирич пар-ры объекта переходить к др без обращения к эксперименту. Виды мат моделей: 1-модели описания (Учение о эпициклах и энциклах движения планет пталемея. Не предполагает формулировку законов, а просто фиксирует факты). 2-Модели объяснения (Механика Ньютона, базируется на законах и прдставляет собой разворачивание следствий из них в формализов виде). Каждая модель объяснения должна обладать 3 чертами: 1-Способность к обобщению и экстраполяции (может упасть не только яблоко но и мел, стол..) 2-Сп-ть к предсказанию (гадалки…). 3-Сп-ть к адаптации к новым условиям применения. Самой распространенной формой мат моделирования явл компьютерное моделирование в виде разработки сценариев.Гипотетико-дедуктивный метод.(См. вопрос 13, «5 положений Галилея»).Метод восхождения от абстрактного к конкретному.В классич виде был применен в работе К. Маркса «Капитал» и своей основой имеет диалектику Гегеля. Абстрактное (в этом методе) – это изолированное, вырванное из контекста, рассмотренное отдельно. Конкретное – рассм-е во взаимосвязи полное исчерпывающее описание чего-либо. Сущность метода заключ в выделении одной особенности выделяемого объектаjсчитается сущностной, а затем в исследовании ее варьирования форм проявления и т.п. в различных ситуациях. У этой выделенное особенности д.б. обязательно 3 св-ва: 1-она д.б. присуща всему классу однородных объектов. 2-Должна нести в себе фундаментальое противоречие опред-е качество объектов. 3-Иметь империч аналоги. (Пример-кенгуру). Теория этого метода была эксприцирована в работах Эвальда Васильевича Ильенкова посвященных диалектике книги «Капитал» К. Маркса.