Материала по это теме очень много - рассказано на лекции и рассмотренно на семинаре, и книг много(методичка Аль-Али и Степин). Видимо проблемой будет все это увязать.
Настоятельно рекомендована методичка.
Ответ
Лекция
Считается более высокой ступенью научного познания. Характеризуется тем, что он направлен на формирование теоретических законов, т.е. таких положений и тезисов которые отвечают требованиям всеобщности и необходимости, т.е. имеют значение для всех случаев и при любых условиях в рамках данной предметной области. Раньше, не было упора на предметную область, но потом поняли что все и везде объяснить невозможно. Так эта ветвь отмерла, и всеобщность стала не универсальной, но внутрипредметна.
Необходимость - истинность всех положений при всех возможных условиях(иначе чем есть быть не может).
Формы теоретического познания
1) Формулирование проблем
2) Формулирование гипотез
3) Формулирование теорий
Опр: Проблема - такая теоретическая форма мысли, которая свидетельствует о недостатке информации в данной предметной области, и о затруднении найти эту информацию на данный момент.
Проблема состоит из:
1) Базис проблемы - это имеющаяся у нас информация на данный момент. Пример: у лейбница - горизонт.
2) Затруднение
3) Ориентация - направление в котором мы намереваемся восполнить недостаток информации.
Проблема формулируется в виде вопроса. Они бывают:
- КА вопросы(восполняющие вопросы). Ответ на них содержательно восполняет недостаток информации. Это вопросы имеющие в качестве операторов "как", "для чего", "почему"
-
-
-
- Безусловные - без дополнительных условий
- Условные - содержат в себе гипотетическое суждение(если, то). Могут быть простыми и сложными
-
-
-
- Ли вопросы(уточняющие). На них возможен ответ да/нет.
-
-
-
- Простые - имеют только один оператор(одно вопросительное слово)
- Сложные - два и более
-
-
-
Другие классификации вопросов: осмысленные/бессмысленные(не верифицируемые). Каверзные вопросы - вопрос базис которого не определен или заведомо ложен.
Опр: Гипотеза - форма теоретического знания характеризующаяся проблематичностью и предположительностью, в которой высказывается некоторое знание о данной предметной области, могущее быть принятым на данный момент в качестве истины
Структура:
1) Базис - имеющаяся информация о данной области + затруднение
2) Формулировка самого предположения
3) Вывод - дедукция всех возможных и наиболее вероятных следствий из предложенного
4) Проверка следствий из гипотезы. Следствие - то что не содержит в себе противоречия: "То что возможно" Лейбниц(а не действительно).
Гипотезы:
1) Общие - предположения делаются о предметной области в целом
2) Частные("версии") - относительно части.
Опр: теория - достоверное знание об определенной области действительности представляющая собой систему понятий и утверждений и призванная объяснять и предстказывать явления данной области. Теория - является высшей обоснованной и логически непротиворечивой системой научных знаний, которая дает целостный взгляд на существенные свойства, закономерности, причинно-следственные связи определяющие характер существования и функционирования той или иной предметной области.
Структура:
1) Базис - набор основных понятий и первых положений теории, т.е. положений которые не обосновываются в рамках теории.
Пример:
- Аристотель: принцип исключенного третьего
- Декарт: если есть хоть одна ошибка в знании - все знание ложно. Принцип cogito ergo sum - первое положение.
2) Набор средств - метод. Следствия должны быть эмпирически проверяемы.
3) Совокупность обоснованных положений о данной предметной области.
Пример: физика "причины -> законы".
Теории так же делятся на общие и частные.
Научные методы теоретического исследования:
Формализация — отображение содержательного знания в знаково-символическом виде. Формализация базируется на различении естественных и искусственных языков. Символические языки математики и других точных наук преследуют не только цель сокращения записи — это можно сделать с помощью стенографии. Использование специальной символики позволяет устранить многозначность слов Значение формализации:
- дает возможность анализировать, уточнять, определять и разъяснять понятия.
- приобретает особую роль при анализе доказательств. придает ему необходимую строгость и точность.
- служит основой для процессов алгоритмизации и программирования
Но как показал Гедель, в теории всегда остается неформализованный остаток. Т.е. формализация внутренне ограничена в своих возможностях.
Аксиоматический метод — один из способов дедуктивного построения научных теорий, при котором:
- формулируется система основных терминов науки (например, в геометрии Эвклида — это понятия точки, прямой, угла, плоскости и др.);
- из этих терминов образуется некоторое множество аксиом (постулатов) — положений, не требующих доказательств и являющихся исходными, из которых выводятся все другие утверждения данной теории по определенным правилам (например, в геометрии Эвклида: «через две точ ки можно провести только одну прямую»; «целое больше части»);
- формулируется система правил вывода, позволяющая преобразовывать исходные положения и переходить от одних положений к другим, а также вводить новые термины (понятия) в теорию;
- осуществляется преобразование постулатов по правилам, дающим возможность из ограниченного числа аксиом получать множество доказуемых положений — теорем.
Доказательство в аксиоматическом методе — это некоторая последовательность формул, каждая из которых либо есть аксиома, либо получается из предыдущих формул по какому-либо правилу вывода.
Аксиоматический метод — лишь один из методов построения научного знания. Он имеет ограниченное применение, поскольку требует высокого уровня развития аксиоматизируемой содержательной теории.
Материал с семинара(частично по Аль-Али)
В процессе познавательной деятельности ученого взаимодействуют все три аспекта языка науки.
Что же касается текстов, фиксирующих результаты познания, то здесь также выражены все
указанные стороны языка. Однако исходя из поставленной задачи (анализ содержательной
структуры научных знаний) мы будем рассматривать данные тексты преимущественно в
семантическом и прагматическом аспектах, т.е. в высказываниях языка науки будем выявлять
типы идеальных объектов, а затем анализировать их внутриязыковые связи и их отношения к
практической деятельности.
Среди идеальных объектов, применяемых в научном исследовании, принято выделять по меньшей
мере две основные разновидности — эмпирические и теоретические объекты.
Эмпирические объекты представляют собой абстракции, фиксирующие признаки реальных предметов
опыта. Они являются определенными схематизациями фрагментов реального мира. Любой признак,
«носителем» которого является эмпирический объект, может быть найден у соответствующих ему
реальных предметов (но не наоборот, так как эмпирический объект репрезентирует не все, а
лишь некоторые признаки реальных предметов, абстрагированные из действительности в
соответствии с задачами познания и практики). Эмпирические объекты составляют смысл таких
терминов эмпирического языка, как «Земля», «провод с током», «расстояние между Землей
и Луной» и т. д.
Теоретические объекты, в отличие от эмпирических, являются идеализациями, «логическими
реконструкциями действительности». Они могут быть наделены не только признаками, которым
соответствуют свойства и отношения реальных объектов, но и признаками, которыми не обладает
ни один такой объект. Теоретические объекты образуют смысл таких терминов, как «точка»,
«идеальный газ», «абсолютно черное тело» и т. д.
В логико-методологических исследованиях теоретические объекты называют иногда теоретическими
конструктами, а также абстрактными объектами.
Высказывания теоретического языка строятся относительно абстрактных объектов, связи и
отношения которых образуют непосредственный смысл данных высказываний. Поэтому
теоретические высказывания становятся утверждениями о процессах природы лишь в той мере,
в какой отношения абстрактных объектов могут быть обоснованы как замещение тех или иных
реальных свойств и связей действительности, выявленных в практике.
Благодаря связи теоретических конструктов с реальностью высказывания механики,
сформулированные относительно упомянутых конструктов, предстают как описание объективных
процессов природы.
Существование абстрактных объектов, оправданных только благодаря их внутритеоретическим
связям, свидетельствует, что абстрактные объекты теории не могут быть простым конгломератом
не связанных между собой элементов. Они всегда образуют целостную систему. Взаимосвязь
элементов в этой системе обусловлена прежде всего тем, что развертывание теории сопряжено
с введением одних объектов на базе других.
Конструирование одних абстрактных объектов на основе других по правилам языка данной
теории должно удовлетворять принципу целостности создаваемой системы теоретических объектов.
Конструирование одних абстрактных объектов на основе других по правилам языка данной теории
должно удовлетворять принципу целостности создаваемой системы теоретических объектов.
И лишь потому, что отношения и связи абстрактных объектов каждой из упомянутых теорий
могут быть обоснованы в качестве изображения некоторой реальной предметной области,
высказывания этих теорий приобретают объективную ценность и значимость.
Отсюда, однако, не следует, что теория получает объективное обоснование только тогда, когда
каждый ее абстрактный объект может быть сопоставлен с некоторым реальным фрагментом
действительности, исследуемой в теории. Между фрагментами объективной реальности,
выделенными человеческой практикой, и системой абстрактных объектов теории существуют
более сложные связи. Известно, что лишь некоторые из теоретических объектов могут быть
самостоятельно спроецированы на действительность. Большая же их часть соотносится с
изучаемой действительностью только косвенно, благодаря связям с абстрактными объектами
первого типа.
В конечном счете все абстрактные объекты обосновываются внутри теории тем, что среди
них не появляется ни одного объекта, несовместимого с уже введенной системой. В результате
возникает представление о своеобразной сети теоретических конструктов, отдельные элементы
которой соединены с эмпирией, остальные же не имеют таких связей, но оправданы потому,
что играют роль вспомогательных элементов, благодаря которым существует вся сеть. Такого
рода связи теоретических объектов между собой и с эмпирически исследуемой действительностью
можно проиллюстрировать посредством схемы, предложенной
Таким образом, в основании сложившейся теории всегда можно обнаружить взаимосогласованную сеть
абстрактных объектов, определяющую специфику данной теории. Эту сеть объектов мы будем
называть фундаменталъной теоретической схемой.
Таким образом, можно заключить, что идеальные теоретические объекты и построенные из них
целостные теоретические модели (схемы) выступают существенной характеристикой структуры любой
научной теории, независимо от того, принадлежит ли она к сфере гуманитарных, социальных
или естественных наук.
Однако естественнонаучные теории (впрочем, как и многие из теоретических систем математики),
вообще говоря, лишь условно могут быть приняты за аксиоматико-дедуктивные системы. При
анализе теоретических текстов обнаруживается, что даже в высокоразвитых теориях, широко
использующих приемы формализованной аксиоматики, кроме формально-аксиоматической части
существует некоторый принципиальный неформальный остаток, причем организованный вовсе не
по нормам аксиоматико-дедуктивного построения.
Выясняется, что в процессе дедуктивного развертывания теории, наряду с аксиоматическими
приемами рассуждения, большую роль играет генетически-конструктивный метод построения
в форме своего содержательного варианта13. В отличие от аксиоматического метода, при
котором «за исходное берут некоторую систему высказываний, описывающих некоторую область
объектов, и систему логических действий над высказываниями»14, генетический метод
предполагает оперирование непосредственно с абстрактными объектами теории, зафиксированными
в соответствующих знаках15. Процесс рассуждения в этом случае предстает «в форме мысленного
эксперимента о предметах, которые взяты как конкретно наличные»16.знаний, причем выступающий
Возможно имеет смысл посмотреть что говорили на семинаре Милославова по тому же вопросу. Там же есть ссылки на книжки.
