Генетический метод построения научной теории

Основные данные о работе

Версия шаблона	2.1
ЦДОР
Вид работы	Творческое эссе
Название дисциплины	Логика и методология  научного познания
Тема	Генетический метод  построения научной теории
Фамилия	Филиппова
Имя	Надежда
Отчество	Петровна
№ контракта	2270112402021127

 

Основная часть

Генетический метод построения научной теории

Основным и важным выводом, к которому пришел Смирнов Владимир Александрович в начале 60–х годов, заключается в необходимости расширительной трактовки логического включения в сферу логики и не только исследований в отношении между логическими объектами, но и также изучение систем действий с ними. Это нетривиальное расширение, поскольку теоретика–множественная и генетическая системы мышления строятся на различных и даже несовместимых концепциях истины. Эта система мышления реализована в аксиоматическом методе построения теории. Другая же система была основана на генетическом, конструктивном мышлении, которой соответствует генетический метод построения научной теории.

Отличия генетического метода от аксиоматического различают по способу введения объектов теории, а также и по логической технике, применяемой в теории. Объекты при аксиоматическом построении теории не являются исходными образованиями, в качестве их выступают высказывания об этих объектах. Соответственно логические операции осуществляются над высказываниями теории. Генетический же метод построения теории предполагает фиксацию определенной части совокупности конструктивно заданных объектов и системы эффективных преобразований объектов, а новые объекты теории строятся из исходных посредством таких преобразований.

Большинство исследователей подчеркивают, что основной из отличительных особенностей генетического подхода к построению теорий является способ введения их объектов. Конструктивное задание объекта не предполагает его физическую конкретизацию, а, наоборот, на практике объекты генетически строящейся теории являются пусть и эффективно определенными, но абстрактными объектами. Например, такими объектами могут быть, допустим, символы алфавита. В слове “алфавит” два вхождения буквы “а” физически различны, однако могут отождествляться как представители абстрактной буквы “а”. Действия над конструктивными объектами также рассматриваются с абстрактной точки зрения. Часто отвлекаются от возможности физической реализации таких действий. Тем не менее, не все разрешено, допустим, актуально бесконечные цепочки преобразований исключаются как недопустимые. Место актуальной бесконечности заменяет абстракция потенциальной осуществимости, в рамках которой можно производить эффективно определенные действия над объектами без ограничений на число шагов, лишь бы это число оставалось конечным на любом этапе преобразований. Если даны конструктивные объекты и имеется эффективный метод построения из них нового объекта, последний считается потенциально построенным и о нем можно рассуждать.

В научной практике генетический подход к построению и развертыванию теорий обнаруживается не только в математике, но и в других науках. Приводится ряд примеров из научной практики, которые наиболее адекватно описываются именно в терминах генетического стиля мышления. Законы классической механики содержат самое общее описание механического взаимодействия тел, представленных как материальные точки. Их можно применить и для анализа осцилляторов, но прежде необходимо выявить все элементы исследуемой модели и уточнить характер взаимодействия между ними.

Лишь после этого с использованием законов механики можно получить уравнение малых колебаний. В рассуждениях физика осциллятор играет примерно ту же роль, что и геометрическая фигура в рассуждениях математика. Он позволяет установить связь между силой и величиной отклонения материальной точки от положения равновесия, что, в свою очередь, приводит к конкретизации второго закона Ньютона и превращению его в уравнение колебаний.

Осцилляторную модель можно описать с помощью реляционного языка. Но для этого она должна быть представлена в виде некоторого мысленного конструкта. Поэтому более естественным способом описания модели является ее представление в языке, а именно в виде конструкта по аналогии с тем, как это делается в геометрии. После этого следует изучение характера взаимодействия элементов модели, где на основе данного делаются заключения о ее свойствах. Именно этот способ рассуждений, от мысленного конструкта к его свойствам, характерен для многих естественных наук.

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

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

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

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

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

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

Из разработанного в современной логике понятия теории, теорией называют множество утверждений, замкнутых относительно логического следования или логического вывода. В этих двух вариантах теория разворачивается посредством выведения суждений из суждений, образуя потенциально бесконечную систему выводов или доказательств. В основном считают, что выведение начинается с принимаемых без доказательств утверждений – аксиом. Однако, представление о бездоказательности аксиом является абсолютно неверным как в формальном, так и в эпистемологическом смысле, а во-вторых, аксиоматический метод вовсе не является единственным. Существует еще такой метод как генетический метод построения. Где в результате развертывания теорий, суждения выводятся на основании мысленных экспериментов с точно заданными формальными объектами. Планируется показать несостоятельность догмы о бездоказательности аксиом и продемонстрировать особенности работы генетического метода.

Во-первых, генетический метод отличен от аксиоматического по способу введения объектов теории, а во-вторых, еще и по логической технике, применяемой в теории. При аксиоматическом построении теории ее объекты не являются исходными образованиями. В качестве таковых выступают высказывания об этих объектах. Соответственно, логические операции осуществляются над высказываниями теории. Генетический же метод построения теории предполагает фиксацию некоторой совокупности объектов, а также системы правил преобразований объектов. Новые объекты теории строятся из исходных посредством таких преобразований. Обычно выдвигается требование, чтобы объекты были конструктивно заданы, а каждое правило преобразований объектов было эффективным. Существенное отличие предлагаемого здесь обобщенного генетического метода заключается в отказе от требования конструктивности исходных объектов, а также от требования эффективности правил их преобразования. Это будет связано с переходом от конструктивной логики и эффективной вычислимости к классической логике и нестандартным моделям вычислимости, в которых допускаются трансфинитные объекты. Такой переход позволяет значительно расширить область применения генетического метода. Ведь при этом не возбраняется использовать конструктивные объекты и эффективные правила преобразования. Вместе с тем, появляются принципиально новые возможности введения в генетическую теорию неконструктивных объектов и неэффективных правил.

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

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

 

 

 

 

 

Список использованных интернет-ресурсов

№ п/п	Наименование интернет-ресурса	Ссылка на конкретную используемую страницу интернет-ресурса
1	philosophy.ru	http://philosophy.ru/iphras/library/phnauk2/SCIENCE2.htm
2	osa.ucoz.net	http://osa.ucoz.net/forum/22-1446-1
3	iph.ras.ru	http://iph.ras.ru/uplfile/logic/log17/Li_17_Shalack2.pdf
4	credonew.ru	http://credonew.ru/content/view/1145/61/