Текст книги "Мир науки Метод. Парадигмы. Творчество."

Автор книги: Лёвин Гаврилович

сообщить о нарушении

Текущая страница: 6 (всего у книги 13 страниц)

Давно установлено, что наряду с естественными (содержательными) языками и на их основе рождаются искусственные (формальные) языки. Это особые знаковые системы, которые не возникают стихийно, а создаются специально, например математикой. Особый язык использует кибернетика.

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

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

Но между ними есть и различия, с которыми мы постоянно ставки наемся.

Во-первых, не всякое понятие выражается одним словом. Многие понятая выражаются совокупностью слов – словосочетаниями.

Во– вторых, понятие и слово не всегда однозначно соответствуют друг другу, что связано с существованием синонимов.

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

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

Совершенствование научного мышления связано с выявлением логических характеристик понятия, с разработкой логических отношений между понятиями и т.д.

С логической точки зрения научные понятия имеют содержание – т.е. систему признаков, на основе которой произведено обобщение и выделяют предметы в понятии. Так, содержанием понятия четное число» является признак «делимость на 2». Содержание понятия на языке современной логики выражается предикатом. Если использовать язык логики предикатов, то содержание вышеуказанного понятия выражается формулой (R(x,2)). Отметим, что есть логическое и фактическое содержание понятия. Логическое содержание – это та информация, которую несет логическая форма понятия. По логическому содержанию можно установить, является ли понятие универсальным, т.е. выделен ли в нем весь универсум рассуждения (род); можно также установить, является ли понятие пустым в том смысле, что в нем не выделяется ни один предмет из универсума и т.п.

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

Очевидно, что основное и полное содержания одного и того же понятия могут не совпадать. Так, основное содержание понятия «товар» связано с признаком «обладать меновой стоимостью». Но товар имеет еще «потребительную стоимость», и она учитывается в полном фактическом содержании данного понятия.

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

В современной логике символически объем понятия хА(х) обозначается так: WxA(x) – класс х, таких, что х есть А. В общем случае Wx, ..., х А(х, ..., х_п) – множество п-ок предметов, находящихся в отношении А.

Применение понятий в науке требует различения их видов. Понятия бывают: единичными, общими и универсальными (по своему объему). Есть понятия с пустым (нулевым) и непустым объемом; Различают также понятия собирательные и несобирательные. Есть понятия конкретные (обобщение предметов) и абстрактные (обобщение свойств); положительные (есть признак) и отрицательные (нет признака), относительные и безотносительные (предмет характеризуется или не характеризуется в отношении с другим предметом: гражданин – к стране, сын – к матери). Понятия могут быть противоречивыми и непротиворечивыми по охватываемым ими признакам. Например, «неэлектропроводный металл» – понятие противоре-

Многие теоретические операции в науке учитывают разнообразные логические отношения между самими научными понятиями. Так, вводя новое понятие в теорию, важно выявить его соотношение с другими понятиями (эквивалентность, противоречивость, противоположность, независимость, совместимость и др.). Устанавливая « помощью логических средств те или иные отношения, ученые полу чают материал для достаточно строгой квалификации понятийных перестроек в науке. Рождаются и четкие ответы на вопросы: С каким знанием совместима новая система понятий? Какому знанию она противоречит? Сохранилась ли эквивалентность прежней системы понятий? И т.д.

В практике научного мышления широкое применение находят операции обобщения и ограничения понятий. Здесь осуществляется опора на закон обратного отношения между объемом и содержанием понятия. В процессе обобщения осуществляется переход от данного понятия к понятию с большим объемом, но с меньшим содержанием. Так, цепь обобщений в биологии: млекопитающее животное – живой организм. В истории познания есть такая цепь обобщения: арифметика – математика – научная дисциплина. Ограничение – это логическая операция, обратная обобщению. Ее осуществление ведет к нахождению понятия В, объем которого содержится в объеме родового понятия А (т.е. В становится подчиненным А). Пределом ограничения являются единичные понятия. Например, понятие «животное, производящее орудие труда» является ограничением понятия «жи-

Для науки важное значение имеет также операция делении понятий. Различают деления двух типов – мереологическое и таксономическое (С. Левсневский, Ю.В. Ивлев). Операция, при которой целое расчленяется на части, называется мереологическим делением. Операция, посредством которой объем понятия (род) распределяется по классам (видам) в соответствии с некоторым признаком, называется таксономическим делением (В.Ф Берков, И.И. Терлюкович). При этом род называют также делимым понятием, виды – членами деления, а признак – его основанием (иногда – точкой зрения, аспектом рассмотрения). Таксономическое деление может быть классическим и неклассическим. При классическом делении как род, так и виды – понятия с четким объемом, при неклассическом они представляют собой нечеткие, расплывчатые понятия, или типы. Члены неклассического деления могут находиться в отношении пересечения и некоторые из предметов оказываются в «спорной зоне». Например, деление людей по росту на высоких, средних и низких не исключает того, что некоторые люди попадут в рядом расположенные разряды. (Берков В.Ф., Терлюкович И.И. Логика: Практикум. Минск, 2003. С. 57-58).

При таксономическом делении возможна ситуация, когда в качестве основания деления выступает признак, присущий лишь части предметов некоторого класса. В таком случае предметы делятся на группы, которые этим признаком обладают, и которые им не обладают. Например, числа делятся на четные и нечетные. Такое деление называется дихотомическим (греч. dicho – на две части, tome – сечение). В отличие от него деление по признаку, которым обладают все предметы рода и который варьируется в видах, называется политомическим (греч. polis – много). Дихотомическое деление является более простым. Оно используется, как правило, на начальной стадии изучения предметов, когда есть знания относительно части предметов, обозначенных делимым понятием.

В логике разработан ряд правил деления, которые применяются в научном познании:

1) деление должно быть соразмерным. Это значит, что при таксономическом делении объединение объемов членов деления должно совпадать с объемом делимого понятия. В случае мереологического деления соединение членов значений членов деления должно составить делимый предмет. Ошибочным является «неполное деление», а также «деление с излишними членами».

2) деление должно проводится по одному основанию (признаку). Этот признак нельзя менять в ходе деления. Ошибкой является «сбивчатое деление».

3) члены деления должны исключать друг друга (их объемы не должны иметь общих элементов). В отношении неклассического деления (неточные понятия) это правило не действует.

4) деление должно идти от родового понятия к видовым понятиям одного уровня. Ошибка – это «скачок в делении».

Особой разновидностью деления является классификация, которая часто выступает как специальная задача научного познания. Обычно это – многоступенчатое, разветвленное таксономическое деление. Здесь каждый из членов, полученный в процессе этой операции, становится предметом дальнейшего деления. Результатом Развернутой классификации является система («дерево») соподчиненных понятий: делимое понятие обозначает некоторый род, новые понятия – виды, видов (подвиды) и т. д. Но существуют и другие способы классификации (Субботин А. Л.)

Неклассическая классификация часто называется типологией. А многоступенчатое разветвленное мереологическое деление именуют иерархизацией. Частным случаем мереологического деления является периодизация – установление качественно различных промежутков времени в ходе развития какого-либо объекта или системы.

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

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

Логика указывает способы и правила определения, систематизирует типичные ошибки, возникающие при нарушении этих правил. Выделение системы существенных признаков тех или иных предметов – задача конкретных наук, причем задача нетривиальная. Часто с определением соседствуют сходные приемы: остенсивное указание, разъяснение посредством примеров, описание, характеристика, сравнение.

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

Характеристика. Давая характеристику, раскрывают все стороны предмета, важные в каком-то отношении, но не обязательно отличающие предмет от других предметов. Выражения языка могут разъясняться также при помощи такого приема, как сравнение. Пример: «злость сходна с кратковременным помешательством».

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

В структуре определения выделяется три части: а) определяемое имя или выражение, его содержащее (обозначается знаком Dfd сокращением от лат. definiendum); б) выражение, раскрывающее, уточняющее или формирующее значение определяемого имени (обозначается знаком Dfii – сокращением лат. definiens); в) дефинитивная связка, соотносящая Dfd и Dfn по их значению (обозначается знаком ). Формально структура определения представляется выражением: Did = Dfn. (В.Ф Берков, И.И. Терлюкович).

В логике различаются несколько вводов определений. Они подразделяются на явные и неявные. Явным называется определение, в котором определяемое понятие синтаксически совпадает с Dfd и непосредственно приравнивается к значению Dfn.

Среди явных определений наиболее известно классическое определение. Оно строится по схеме: «А есть В и С», где A Dfd, В и С – Dfn, «есть» – дефинитивная связка. При этом В является родовым именем но отношению к А (А В), а С фиксирует отличительный признак, которым А выделяется среди видов, подчиненных В. Классическое определение сводится к определению через род и видовое отличие. Есть также генетические (или индуктивные – в другой терминологии) определения, описывающие предметы в соответствии со способами их образования, возникновения, построения. (Берков В., Терлюкович И. Логика. Минск, 2003. С. 61). Однако не всякому понятию определение дается в явном виде. В частности, многие математические понятия не определяются явно. Здесь используется, например, система аксиом.

Определения через отношение к противоположному. Эти определения широко распространены в философии. В них определяются сразу два термина путем указания отношения предметов, обозначаемых одним термином, к предметам, обозначаемым другим термином. Приведем пример: «причина – это явление, которое при определенных условиях обязательно вызывает другое явление, называемое следствием».

Контекстуальные определения. В контекстуальных определениях выясняется смысл контекста, в который входит определяемый термин. В качестве примера укажем на такое определение: «Предложение «р» истинно, если и только если р». Контекстуальные определения имеют форму: К(а) = Т, где а – определяемое выражение (в приведенном выше примере «быть истинным»), входящее в сложное выражение К (а). (Если в качестве дефиниендума рассматривать все выражение К(а), то это определение можно будет считать явным.) (Ю.В. Ивлев)

Определение требует выполнения ряда правил. В.Ф. Берков, И.И. Терлюкович формулируют их следующим образом:

1. Правило соразмерности. Dfd и Dfn должны быть равнообъемны. Выполнение этого правила позволяет взаимозаменять Dfd и Dfn в одних и тех же контекстах. Отклонение от правила соразмерности приводит к различного рода дефектам. Если объем Dfh больше объема Dfd, то говорят об ошибке «слишком широкого определения». В случаях, если объем Dfn меньше объема Dfd, имеет место ошибка «слишком узкого определения».

2. Правило запрета порочного круга. Запрещается Dfd определять через Dfn, который в свою очередь определен через Dfd. Допускаемое при этом нарушение называется «порочный круг в определении». Частным случаем «порочного круга» является тавтология – повторение Dfd в Dfn.

3. Правило однозначности. Каждому Dfh в точности должен соответствовать один единственный Dfd и наоборот. Это правило устраняет явления синонимии и омонимии, запрещает использование метафор, художественных образов в качестве научного определения.

4. Правило минимальности. Dfn должен выражаться описательным (явным) способом, когда определяемые предметы вводятся лишь своими основными признаками. В противном случае определение будет избыточным.

5. Правило компетентности. В Dfn могут входить лишь выражения, значения которых уже приняты или ранее определены. Отклонение от этого правила называется «определением неизвестного через неизвестное» – ошибка, весьма частая в процессах обучения.

2.3. Вопросы. Проблемное поле науки

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

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

Традиционно грамматической формой выражения запроса мысли в языке выступает вопросительное предложение (но вопросительное предложение не всегда – вопрос (пример: риторический вопрос)). Иногда вопрос ставится не в форме вопрошания (экзаменационный вопрос, темы научной работы).

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

Итак, постановка вопроса побуждает к поиску новой информации и введет к формированию ответа на поставленный вопрос.

Вопрос имеет особую структуру:

1) в нем обозначена область неизвестного, нечто искомое;

2) в вопросе содержатся знания (часто в неявном виде – гипотетично) о предпосылках самого вопроса;

3) в вопросе представлено требование перехода от незнания к знанию, от уже данного – к искомому.

Логики выделяют разные по структуре и функциям вопросы. Среди них: Правильно и неправильно поставленные вопросы. Вопрос явно или неявно включает либо опирается на определенное исходное, или базисное знание, выступающее предпосылкой вопроса. Качество базисного знания существенно влияет на логический статус вопроса, определяя правильность и неправильность постановки вопроса. Правильно поставленным считается вопрос, предпосылка которого представляет собой истинное и непротиворечивое знание. Неправильно поставленным считается вопрос с ложным или противоречивым базисом (напр., "Какой цвет может иметь энергия: светлый, темный?) В том случае, когда неправильно поставленный вопрос умышленно используется с целью запутать отвечающего, такой вопрос квалифицируют как улавливающий, или "провокационный».

Вопросы могут быть закрытыми и открытыми. Открытые вопросы предполагают возможность неограниченного количества ответов. Закрытые вопросы – это вопросы, на которые возможно дать ограниченное количество ответов. Это учитывают составители разных опросных анкет.

По логической структуре и познавательной функции вопросы подразделяются на два основных типа: уточняющие и восполняющие вопросы.

Уточняющий, или ли-вопрос – это вопрос, направленный на выявление истинности выраженного в нем суждения. Грамматический признак уточняющих вопросов – наличие в предложении частицы "ли". Схема ли-вопроса в символической записи выглядит следующим образом ?(р), где "?" – оператор вопроса, "р" – суждение, истинность которого выясняется. Явно выраженная в ли-вопросе предпосылка – это знание о предмете и знание о возможном признаке этого предмета. Неизвестным в ли-вопросе является принадлежность предмету указанного признака. Область поиска ответа в ли-вопросе ограничена выбором одной из альтернатив: р v -р. Отсюда другое название этого вопроса – закрытый или альтернативный вопрос.

Восполняющий, или что-вопрос – это вопрос, направленный на выявление новых свойств у исследуемых предметов. Примером может служить вопрос космологии: что представляет собой сингулярное состояние?

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

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

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

Логики среди ответов различают: истинные и ложные, прямые и косвенные, краткие и развернутые, полные и неполные и др. По гносеологическому статусу, т. е. по отношению к действительности, ответы бывают истинными и ложными. Ответ расценивается как истинный, если выраженное в нем суждение адекватно отражает действительность. Ответ расценивается как ложный, если выраженное в нем суждение неверно, или неадекватно отражает положение дел в действительности.

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

По грамматической форме ответы могут быть краткими и развернутыми. Краткие – это односложные – утвердительный и отрицательный ответы: "да" или "нет". Развернутые – это ответы, в каждом из которых повторяются все элементы вопроса. Краткие ответы наиболее подходящие для простых вопросов; при сложных вопросах целесообразно пользоваться развернутыми ответами, поскольку односложные ответы в этом случае нередко оказываются двусмысленными.

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

Полный ответ включает информацию по всем элементам или составным частям вопроса. Неполный ответ включает информацию относительно лишь отдельных элементов или составных частей вопроса (Ю.В. Ивлев).

Логическая зависимость между вопросом и ответом означает, что качество ответа во многом определяется качеством вопроса. Не случайно в полемике действует правило: каков вопрос, таков ответ. Это значит, что на расплывчатый и двусмысленный вопрос трудно получить ясный ответ; если хочешь получить точный и определенный ответ, то сформулируй точный и определенный вопрос.

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

Двусмысленные понятия нередко используются в улавливающих или "провокационных" вопросах, в которых содержится скрытая информация. К таким вопросам прибегали древнегреческие софисты, т. е. люди, использующие логические уловки. Один из них – софизм "рогатый" ("Продолжаешь ли ты носить рога?"). Скрытые в этих вопросах утверждения приводят к тому, что независимо от характера ответа на них – "да" или "нет", отвечающий в обоих случаях неявно признает, что у него есть или были раньше рога.

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

Точность ответа на восполняющий вопрос зависит от степени определенности вопросительных слов – кто? что? где? когда? как? и т.п., которые сами по себе не отличаются достаточной точностью. Особые трудности могут возникать при ответах на сложные вопросы. Неопределенность в ответе возникает в случае краткого утверждения на дизъюнктивный вопрос (форма вопроса: или – или).

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

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

В XX столетии усилился интерес к логико-методологическому содержанию проблемного характера научного мышления. Весь ход развития человеческого познания может быть представлен как переход от постановки одних проблем к их решению, а затем к постановке новых проблем. Жизненный, конструктивный характер содержания проблем отличает их от «псевдопроблем» – вопросов, обладающих лишь кажущейся значимостью. Своеобразной формой решения проблемы может служить доказательство ее неразрешимости, которое стимулирует пересмотр оснований, служивших базой постановки проблемы (например, доказательство неразрешимости проблемы построения вечного двигателя было тесно связано с формулировкой закона сохранения энергии).

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

Вот одна из современных проблем: Что вызывает большие перемены в климате Земли наподобие повсеместного потепления и ледниковых периодов?

Ледниковые периоды, свойственные Земле последние 35 млн лет, наступали примерно каждые 100 тыс. лет. Ледники надвигаются и отступают по всему северному умеренному поясу, оставляя памятные знаки в виде рек, озер и морей. 30 млн лет назад, когда по Земле бродили динозавры, климат был значительно теплее нынешнего, так что деревья росли даже вблизи Северного полюса. Как уже говорилось в гл. 5, температура земной поверхности зависит от равновесного состояния приходящей и уходящей энергий. Многие факторы влияют на это равновесие, включая излучаемую Солнцем энергию, обломки в космосе, между которыми пробирается Земля, падающее излучение, изменения земной орбиты, атмосферные изменения и колебания в количестве излучаемой Землей энергии (альбедо).

Вот в каком направлении ведутся исследования, особенно с учетом разгоревшихся в последнее время споров по поводу парникового эффекта. Теорий много, а истинного понимания происходящего нет до сих пор.

Или другая проблема: Можно ли предсказывать извержения вулканов или землетрясения?

Некоторые вулканические извержения поддаются прогнозу, например недавнее (1991) извержение вулкана Пинатубо на Филиппинах, но другие недоступны для современных средств, по-прежнему (вставая вулканологов врасплох (например, извержение вулкана Сент-Хеленс, штат Вашингтон, 18 мая 1980 года). Трудности возникают от того, что многие факторы вызывают извержения вулканов. Сегодня в науке нет единого теоретического подхода, который был бы верен для всех вулканов. (Уиггинс А., Уинн Ч. Пять нерешенных проблем науки. М., 2005. С. 228-229).

Абсолютизация момента проблемности или неразрешимости познавательной ситуации приводит к различным формам скептицизма, прагматизма, релятивизма (напр., «проблематизм» У. Спирите, учение о «проблемном сознании» Г. Вайна).

Основы логико-семантического истолкования и классификации проблем были заложены в работах А.Н. Колмогорова по исчислению задач (1932), а также в работах С.К. Клини (1945), Дж. Роуза (1953) и др. Определенные классы проблем получили подробную разработку в современной формальной логике (например, задачи с параметрами, имеющие свое решение в некоторой формуле, содержащей эти параметры,– т. н. массовая проблема).

Ю.В. Ивлев различает проблемы двух видов: неразвитые и развитые.

Неразвитая проблема – это задача, которая характеризуется следующими чертами.

Во-первых, это нестандартная задача, т.е. задача, для решения которой нет алгоритма (алгоритм неизвестен или даже невозможен). Чаще всего это трудная задача.