Вот одна из современных проблем: Что вызывает большие перемены в климате Земли наподобие повсеместного потепления и ледниковых периодов?
Ледниковые периоды, свойственные Земле последние 35 млн лет, наступали примерно каждые 100 тыс. лет. Ледники надвигаются и отступают по всему северному умеренному поясу, оставляя памятные знаки в виде рек, озер и морей. 30 млн лет назад, когда по Земле бродили динозавры, климат был значительно теплее нынешнего, так что деревья росли даже вблизи Северного полюса. Как уже говорилось в гл. 5, температура земной поверхности зависит от равновесного состояния приходящей и уходящей энергий. Многие факторы влияют на это равновесие, включая излучаемую Солнцем энергию, обломки в космосе, между которыми пробирается Земля, падающее излучение, изменения земной орбиты, атмосферные изменения и колебания в количестве излучаемой Землей энергии (альбедо).
Вот в каком направлении ведутся исследования, особенно с учетом разгоревшихся в последнее время споров по поводу парникового эффекта. Теорий много, а истинного понимания происходящего нет до сих пор.
Или другая проблема: Можно ли предсказывать извержения вулканов или землетрясения?
Некоторые вулканические извержения поддаются прогнозу, например недавнее (1991) извержение вулкана Пинатубо на Филиппинах, но другие недоступны для современных средств, по-прежнему (вставая вулканологов врасплох (например, извержение вулкана Сент-Хеленс, штат Вашингтон, 18 мая 1980 года). Трудности возникают от того, что многие факторы вызывают извержения вулканов. Сегодня в науке нет единого теоретического подхода, который был бы верен для всех вулканов. (Уиггинс А., Уинн Ч. Пять нерешенных проблем науки. М., 2005. С. 228-229).
Абсолютизация момента проблемности или неразрешимости познавательной ситуации приводит к различным формам скептицизма, прагматизма, релятивизма (напр., «проблематизм» У. Спирите, учение о «проблемном сознании» Г. Вайна).
Основы логико-семантического истолкования и классификации проблем были заложены в работах А.Н. Колмогорова по исчислению задач (1932), а также в работах С.К. Клини (1945), Дж. Роуза (1953) и др. Определенные классы проблем получили подробную разработку в современной формальной логике (например, задачи с параметрами, имеющие свое решение в некоторой формуле, содержащей эти параметры,— т. н. массовая проблема).
Ю.В. Ивлев различает проблемы двух видов: неразвитые и развитые.
Неразвитая проблема — это задача, которая характеризуется следующими чертами.
Во-первых, это нестандартная задача, т.е. задача, для решения которой нет алгоритма (алгоритм неизвестен или даже невозможен). Чаще всего это трудная задача.
Во-вторых, это задача, которая возникла на базе определенного знания (теории, концепции и т.д.), т.е. задача, которая возникла как закономерный результат процесса познания.
В-третьих, это задача, решение которой направлено на устранение противоречия, возникшего в познании. Это могут быть противоречия между отдельными положениями теории или концепции, положениями концепции и фактами, положениями теории и более фундаментальными теориями, между кажущейся завершенностью теории и наличием фактов, которые теория не может объяснить. Проблема может быть связана также с устранением несоответствия между потребностями и наличием средств для их удовлетворения.
В-четвертых, это задача, путей решения которой не видно.
Чтобы подчеркнуть незавершенный характер неразвитых проблем, их иногда называют предпроблемами.
Задача, которая характеризуется тремя первыми из указанных выше черт, а также содержит более или менее конкретные указания на пути решения, называется развитой проблемой, или собственно проблемой. Собственно проблемы делятся на виды по степени конкретности указаний на пути их решения. Таким образом, развитая проблема — это «знание о некотором незнании», дополненное более или менее конкретным указанием путей устранения этого незнания.
По Ю.В. Ивлев, формулировка проблемы включает в себя, как правило, три части: систему утверждений (описание исходного знания — того, что дано); вопрос или побуждение (как установить то-то и то-то, найти то-то и то-то); систему указаний на возможные пути решения. В формулировке неразвитой проблемы последняя часть отсутствует. Проблемой называется не только знание указанных видов, но и процесс познания, который заключается в формировании неразвитой проблемы, превращении последней в развитую, а затем развитой проблемы первой степени в развитую проблему второй степени и т.д. вплоть до решения проблемы. Проблема как процесс развития знания состоит из ступеней: формирования неразвитой проблемы (предпроблемы); развития проблемы — формирования развитой проблемы первой степени, затем второй и т.д. путем постепенной конкретизации путей ее решения; наконец, ступень разрешения (или установления неразрешимости) проблемы. (Ивлев Ю.В. Логика. М., 2000. С. 239).
2.4. Доказательство и опровержение. Аргументация в науке
Доказательство в науке нацелено на приближение знаний к исто не. В ней применяется процедура вывода в пользу определенного высказывания, принуждающая признать его истинность.
Доказываемое выражение логики называют тезисом. Высказывания, с помощью которых доказывается тезис, называются основаниями (аргументами, доводами). Форма логической связи между основаниями и тезисом называется демонстрацией. В науке доказательства применяются как в ходе исследования проблемы, так и в процесс изложения результатов проведенного исследования.
Специалисты отвечают, что в качестве аргументов могут выступать различные по своему содержанию суждения: теоретические или эмпирические обобщения; утверждения о фактах; аксиомы; определения и конвенции. Так, физические законы служат аргументами (доводами) для разнообразных расчетов (аэродинамической подъемной силы, дальности стрельбы, выделяемой теплоты при прохождении тока через проводник и т.д.). Суждения о твердо установленных фактах также выступают в роли аргументов. Указание на зафиксированное время, место события важно для многих выводов в социологическом, либо историческом исследовании.
Логически обоснованный переход от аргументов к тезису осуществляется в форме умозаключения. Это может быть отдельное умозаключение, но чаще берется цепочка умозаключений. Посылками в выводе являются суждения, в которых выражена информация об аргументах, а заключением служит суждение о тезисе. С научной точки зрения демонстрация означает показ, что тезис логически следует из принятых аргументов по правилам соответствующих умозаключений.
Принято различать доказательства прямые и косвенные. В прямом доказательстве тезис непосредственно вытекает из найденных доводов. При косвенном доказательстве идут окольным путем, используя при этом ложность некоторых, высказываний, что, однако, приводит к признанию истинности тезиса. Наиболее распространенными разновидностями косвенного доказательства являются апагогическое (лат. apagoge — уводящий, отводящий) и разделительное доказательства.
При апагогическом доказательстве (оно называется также доказательством «от противного») устанавливается ложность антитезиса, т.е. высказывания, противоречащего тезису. Обычно это делается так. Сначала антитезис принимается за истинный, и из него выводятся следствия. Если хотя бы одно из полученных следствий вступает в противоречие с наличными истинными суждениями, то следствие признается ложным, а вслед за ним и сам антитезис, породивший данное следствие. Следовательно, тезис является истинным. При разделительном доказательстве истинность тезиса устанавливается путем исключения всех противостоящих ему альтернатив. Разделительное обоснование состоятельно лишь в том случае, если дизъюнктивное суждение является полным, или закрытым. Если же рассматриваются не все варианты решения, то метод исключения не обеспечивает достоверность тезиса, а дает лишь проблематичное за-