- •Оглавление
- •Введение
- •Глава 1. Методы введения, развития и систематизации терминов
- •Методы введения термина
- •Метод введения термина состоит из выполнения нижеследующих требований и действий:
- •Правило (по). Все термины научной работы должны быть правильно определены.
- •(П1). Основные термины (научной работы, теории и т.П.) должны быть явно и ясно определены независимо от предположения об их знании реципиентом (тем, кому это утверждение адресуется).
- •(Т3) Разъяснять смысл или значение термина либо перед формулировкой содержащего этот термин суждения (принципа в том числе), либо непосредственно после этой формулировки.
- •(Т4) Не подменять задачу реального определения термина задачей его номинального определения, которое означает лишь переименование определяемого объекта.
- •(Т5) Использовать только необходимое и достаточное количество определений.
- •(Т6) Судить о смысле термина или соотношении терминов следует только на основе их вербальных определений.
- •(Т8) Вербальное определение должно быть логически правильным, а именно: (а) Вербальное определение не должно быть самопротиворечивым.
- •(Б) Вербальное определение не должно вводиться в работу, если совместно с другими положениями этой работы оно ведет к логическому противоречию.
- •(В) Вербальное определение не должно иметь логического круга.
- •(Г) в определении определяемый термин (тот, который определяется) и определяющий термин равнообъемны.
- •(Т9) Не принимать суждение за явное вербальное определение. Такая ситуация возникает особенно часто тогда, когда определение и суждение имеют одинаковую форму "а есть б".
- •(Т10) Дополнять вербальные определения остенсивными для большей ясности вербальных определений.
- •(П2) Из применимых для решения поставленной задачи вербальных определений выбирать более эффективное и в то же время познавательно более простое.
- •Б) Метод квантификации понятий.
- •(П3) Явное определение должно быть согласовано с контекстуальным (контекстом).
- •(П4) Специфика определения вводимого понятия должна соответствовать специфике задачи, решаемой с помощью этого понятия.
- •(П5) Введенный термин должен быть исключаем.
- •Методология развития и систематизации научных терминов
- •3. Метод научной классификации понятий
- •Список вопросов к первой главе.
- •Глава II. Методология вопросно-ответного мышления
- •I. Общие интеррогативные методы
- •2. Методы организации научной работы
- •А. Методологические требования к заглавию
- •Б. Методологические требования к постановке цели научной работы
- •В. Методологические требования к содержанию научной работы
- •В1. Методологические требования к введению в научную работу
- •В2. Методологические требования к основному содержанию научной работы
- •В3. Методологические требования к заключению научной работы
- •Список вопросов ко второй главе.
- •Глава III. Методы обоснования истинности суждений
- •1. Принципы истинности.
- •2. Безотносительное обоснование суждений
- •Метод обоснования эмпирической истинности:
- •Метод непосредственного обоснования логической истинности высказываний:
- •1. Метод анализа смысла только логических терминов.
- •2. Метод анализа значения дескриптивных эмпирических терминов.
- •3. Метод анализа смысла дескриптивных теоретических терминов.
- •3. Относительное обоснование суждений
- •4. Недозволенные приемы обоснования истинности (или правдоподобности)
- •5. Научно-практическое значение методологии обоснования суждений
- •Список вопросов к третьей главе.
- •Глава IV. Методы построения научных языков и теорий
- •1.Научные языки и методы их построения
- •Семиотическая типология научных языков
- •Метод построения специфицированного языка:
- •Метод построения формального языка следующий:
- •2.Научные теории и методы их построения
- •Метод построения теорий в любом из языков:
- •Метод формулировки принципов теории:
- •(А) Метод пролиферации, состоящий в следующем:
- •(Б) Метод эффективизации понятий, суть которого можно изложить так:
- •(В) Метод обобщения. Суть его в следующем:
- •Список вопросов к четвертой главе.
- •Глава V. Методы гносеологического анализа теорий
- •Гносеологический анализ законов теории состоит в том, чтобы:
- •В общем виде метод гносеологического подхода к сравнению теорий будет следующим:
- •Список вопросов к пятой главе.
- •Заключение
- •Терминологический указатель
- •Компьютерная верстка: о.Ю. Горшкова
(А) Метод пролиферации, состоящий в следующем:
Выбирается только фактуально истинная теория, которую будем далее именовать исходной теорией. Логически истинная теория для целей построения методом пролиферации не может быть использована по причинам, которые были изложены в главе III (вспомним, что если А логически истинно, то не-А не может быть истинным ни в какой теории). Допустим, мы выбрали содержательную (фактуально истинную) евклидову геометрию, так как на примере этой теории применение метода пролиферации представляет весьма простой случай.
Выявляются исходные принципы теории. Для евклидовой геометрии такими принципами являются 18 аксиом52. Последней в этом списке является аксиома о параллельных Евклида, которую обозначим через А18, а остальные аксиомы обозначим через А1, …, А17. Так как дальнейшие операции не зависят от содержания теории (от её интерпретации) и так как старое содержание все равно надо будет заменять новым на последнем этапе построения новой теории, то от содержания исходной теории следует отвлечься. Тогда теория будет выступать как чисто формальная теория, ее предложения будут рассматриваться просто как строчки символов (как формальные предложения). В нашем случае аксиомы А1 – А18 станут формальными аксиомами, не имеющими содержания. Но, повторяем, на содержание нам опираться уже будет не нужно.
Выбирается принцип, который логически не зависит от других исходных принципов теории. Это значит, что ни выбранный принцип не должен быть выводим из остальных принципов и ни его отрицание. В нашем случае выберем аксиому А18. В геометрии уже доказано, что ни А18, ни отрицание А18, из А1, …, А17 не выводимы.
Выбранный принцип из исходной теории удаляется и заменяется на его отрицание. В нашем примере из списка аксиом А1, …, А18 удаляется А18 и заменяется на отрицание А18, т.е. на не-А18, которая является аксиомой о параллельных Лобачевского.
Полученной в результате замены в системе формальных предложений интерпретации подыскивается новая интерпретация, так как старая интерпретация заведомо невозможна. Это потому, что при одной и той же интерпретации не могут быть истинны как некоторое предложение, так и его отрицание. Полученная система принципов должна быть так же фактуально истинной.
В нашем случае аксиомы А1 – А18 были истинны при интерпретации на евклидовом пространстве. От этой интерпретации мы отказались и построили систему аксиом А1-не-А18. Теперь этой системе надо придать новую интерпретацию. Такая интерпретация известна. Это пространство Лобачевского. На нем все аксиомы А1-не-А18 фактуально истинны.
В результате получается из исходной теории новая теория. У нас получилась теория А1, …, А17, не-А18, представляющая геометрию Лобачевского. Так как исходная геометрия Евклида была фактуально истинна, то геометрия Лобачевского, не совместимая с геометрией Евклида, тоже может быть только фактуально истинной. Что на самом деле и имеет место при упомянутой интерпретации.
Методом пролиферации можно построить многие теории в математике (не канторовская теория множеств, не архимедов математический анализ и т.п.) и физике (релятивистская механика, квантовая механика и др.).