Секция «Концепции современного естествознания»
этноса, которые могли бы их избежать, с другой стороны, неразрешение этих проблем приведет к гибели всего человечества.
Компьютерное моделирование, выполненное исследовательской группой под руководством Д. Медо-уза в рамках первого проекта Римского Клуба «Сложное положение человечества» [1] показало, что, если сохраняться сложившиеся во второй половине ХХ века тенденции в мировой экономике, то одним из результатов изменения ее состояния будет сокращение почти на треть численности населения мира. Из общей биологии известно, что если размер популяции какого-либо вида биосферы сокращается на одну треть в пределах одного поколения, то популяция может не восстановить свою численность и оказывается на грани исчезновения. Именно эта, кроме всего прочего, опасность грозит человечеству.
Поиск недраматических сценариев развития мирового хозяйства с использованием компьютерного моделирования показал, что технического или технологического решения этой проблемы не существует. Иными словами, нет возможности избежать катастрофы только за счет поиска новых сберегающих технологий и новых технических решений. Но в [1] было показано, что избежать катастрофического будущего можно только при условии смены критериев прогресса, критериев цивилизации.
Анализ сложившихся к настоящему времени мировых тенденций показывает, что вся деятельность современной цивилизации ориентирована на удовлетворение человеческих потребностей. Именно поэтому у философов современная цивилизация называется потребительской цивилизацией. Смена критериев прогресса означает, что показатели прямого, количественного роста необходимо дополнить критериями, отражающими повышение устойчивости человечества.
Полноценное решение глобальных проблем человечества научным путем становится возможны только после того, когда будет решена основная проблема, связанная с построением фундаментальной научной теории - будет определен адекватный человечеству абстрактный объект теории и характеристики его состояния [2].
Библиографические ссылки
1. Медоуз Д. Х., Медоуз Д. Л., Рэндерс Й, Беренс В. В. Пределы роста. Сложное положение человечества. М. : Изд-во МГУ, 1991. 208 с.
2. Жереб В. П., Снежко А. А., Ивасев С. С. Концепции современного естествознания ; СибГАУ. Красноярск, 2009. 121 с.
© Мандрусяк Е. Н., 2013
УДК 669.713.7
Н. Н. Пугачёв Научный руководитель - В. П. Жереб Сибирский государственный аэрокосмический университет имени академика М. Ф. Решетнева, Красноярск
ПРОБЛЕМА ВЫБОРА ЛОГИЧЕСКИХ ОСНОВАНИЙ В ДЕДУКТИВНЫХ ТЕОРИЯХ
ЕСТЕСТВОЗНАНИЯ
Показано, что логические основания научной теории составляют закономерности, обладающие не только максимальным уровнем общности, но и, прежде всего, очевидные по своей природе.
Наука ставит своей целью установление причинно-следственных закономерностей, которые можно представить в абстрактной аналитической форме как у =Лх), где аргумент х выступает в качестве причины, а функция состояния системы у - в качестве следствия. В наиболее развитой и продуктивной форме эти закономерности выражаются в научных теориях - дедуктивных логических конструкциях, состоящих из трех обязательных составляющих: логического освоения, логических средств получения из них следствий и иметь обязательную эмпирическую проверку полученных следствий. Рассмотрим их подробнее.
1. Теория должна иметь безупречное логическое основание, т. е. опираться на ограниченное число фундаментальных закономерностей - аксиом, постулатов, фундаментальных законов или фундаментальных принципов. Особенностью логического основания любой общности является его очевидность, не требующая доказательств. Это означает, что все научные теории по своей природе аксиоматичны.
2. Теория должна иметь логические средства (особый «язык», чаще всего математической формы), с помощью которых из закономерностей высокого уровня общности (логического фундамента) можно получить весь набор возможных частных следствий.
Обычный язык человеческого общения не всегда удовлетворяет требованию логической непротиворечивости. Обеспечить логически непротиворечивое получение частных следствий из некоторого ограниченного числа фундаментальных положений с помощью обычного литературного языка бывает затруднительно, например, из-за его метафоричности и большого числа синонимов, нередко порождающих некоторую неопределенность или многозначность понятий. Поэтому в науке утвердился особый способ перехода от общего к частному посредством математических доказательств. Только адекватный математический аппарат может в полной мере обеспечить научной теории внутреннюю логическую непротиворечивость: логическое единство между фундаментом и
Актуальные проблемы авиации и космонавтики. Социально-экономические и гуманитарные науки
любым положением теории, а также всеми следствиями из него. Вот почему часто математику рассматривают как особый язык науки, исключающий внутреннюю противоречивость теории. Выявление логического несоответствия или противоречия ставит под сомнение всю теорию и требует либо скорейшего его устранения (если это возможно), либо вообще отказа от теории.
3. Любые следствия теории должны получить эмпирическую проверку - во всех случаях соответствовать, в пределах погрешности наблюдения, экспериментальным результатам или результатам наблюдений.
Если третья условие - требование эмпирической проверки следствий - в силу каких-то объективных причин не может быть (пока) выполнено, но первое и второе условия выполняются, то такая логическая конструкция является гипотезой. После выполнения эмпирической проверки следствий гипотеза, в зависимости от результатов наблюдений и (или) экспериментов, либо переходит в статус теории, либо отбрасывается как несостоятельная.
Основой для построения таких логических обобщений являются закономерности причинно-следственных отношений, в зависимости от уровня общности, представляющиеся в форме аксиом или постулатов, которые либо очевидны и не требуют доказательств, либо являются обобщением всего жизненного опыта человечества, а также фундаментальных законов и фундаментальных принципов. Такой метод построения научной теории, когда в ее основу кладутся некоторые фундаментальные положения, из которых все остальные утверждения этой теории должны выводиться чисто логическим путем, посредством доказательств, называется аксиоматическим методом, а все научные теории являются по своей природе аксиоматичными.
Аксиома (от греч. удостоенное, принятое положение) - исходное положение научной теории, представляющее собой утверждение, принимаемое без логического доказательства в силу непосредственной убедительности, очевидности. Например, очевидность аксиомы о непересечении двух параллельных прямых, с которой знакомятся ученики старших классов средней школы, когда начинают изучать геометрию, не вызывает сомнения потому, что вытекает из определения параллельности прямых.
Постулат (от лат. ра^и1а(ит - требование) иногда рассматривают как синоним аксиомы. Однако чаще всего постулатом называют такое исходное положение теории, которое является обобщением всего жизненного опыта человечества. Например, известный из
курса физики средней школы первый постулат Н. Бора «Электрон, находясь на стационарной орбите, не излучает и не поглощает энергию» констатирует наблюдаемую в реальности устойчивость стационарного состояния атома водорода.
Фундаментальный закон - форма обобщения закономерности причинно-следственных отношений в отдельной области знания или ее раздела, которая образует логическую основу теоретических представлений в ней. Например, закон сохранения полной механической энергии является одним из фундаментальных законов классической механики, а закон постоянства состава химического соединения является фундаментальным законом химии.
Фундаментальный принцип - самый общий, сущностный уровень обобщения закономерностей причинно-следственных отношений, распространяющийся на всю реальность и лежащий в основе всего познания. В науке фундаментальный принцип имеет наддисциплинарный характер (т. е. относится не только к физике, химии и другим областям знания, но и ко всей реальности в целом) и ложится в основу всего процесса познания. Фундаментальные принципы выражают самые общие - сущностные отношения реальности, т. е. выделяют в реальности сущности, упомянутые в принципе Оккама, и характеризуют связанные с ними закономерности, что превращает их в логический фундамент моделей реальности.
Требование очевидности закономерностей, составляющих логический фундамент теории играет важнейшую роль в формировании всех получаемых с помощью этой теории результатов. Кроме того, неочевидность логических оснований является одним из критериев нетеоретичности и ненаучности любых, даже весьма интеллектуально изощренных и остроумных логических конструкций. Так, отвечающая, казалось, всем требованиям научной теории, астрология является лженаукой, прежде всего потому, что строится на явно неочевидном утверждении, что в момент рождения человека, расположение звезд на небосводе определяет всю его дальнейшую судьбу.
Библиографические ссылки
1. Медоуз Д. Х., Медоуз Д. Л., Рэндерс Й, Беренс В. В. Пределы роста. Сложное положение человечества. М. : Изд-во МГУ, 1991. 208 с.
2. Жереб В. П., Снежко А. А., Ивасев С. С. Концепции современного естествознания ; СибГАУ. Красноярск, 2009. 121 с.
© Пугачёв Н. Н., 2013