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

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

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

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

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

В-четвертых, это задача, путей решения которой не видно.

Чтобы подчеркнуть незавершенный характер неразвитых проблем, их иногда называют предпроблемами.

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

По Ю.В. Ивлев, формулировка проблемы включает в себя, как правило, три части: систему утверждений (описание исходного знания — того, что дано); вопрос или побуждение (как установить то-то и то-то, найти то-то и то-то); систему указаний на возможные пути решения. В формулировке неразвитой проблемы последняя часть отсутствует. Проблемой называется не только знание указанных видов, но и процесс познания, который заключается в формировании неразвитой проблемы, превращении последней в развитую, а затем развитой проблемы первой степени в развитую проблему второй степени и т.д. вплоть до решения проблемы. Проблема как процесс развития знания состоит из ступеней: формирования неразвитой проблемы (предпроблемы); развития проблемы — формирования развитой проблемы первой степени, затем второй и т.д. путем постепенной конкретизации путей ее решения; наконец, ступень разрешения (или установления неразрешимости) проблемы. (Ивлев Ю.В. Логика. М., 2000. С. 239).

2.4. Доказательство и опровержение. Аргументация в науке

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

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

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

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

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

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

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

Тезис может быть представлен количественно неопределенным высказыванием. Например: «Люди — эгоисты» или «Люди самонадеянны». В этом случае не ясно — обо всех или о некоторых людях идет речь в высказывании. Такого рода тезисы трудно отстаивать и не менее трудно опровергать именно в силу их логической неопределенности.

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

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

Существуют логические правила в отношении аргументов: достоверность; автономное от тезиса обоснование; непротиворечивость; достаточность.

В науке опираются на истинные аргументы. Иначе возникают две ошибки: одна называется «основное заблуждение»; другая - предвосхищение основания. Первая ошибка это использование в качестве аргумента несуществующего факта, ссылка на событие, которое в действительности не имело места, указание на несуществующих очевидцев и т.п. Другая ошибка — предвосхищение основания - заключается в том, что в качестве аргументов используются недоказанные, как правило, произвольно взятые положения: ссылаются на слухи, на ходячие мнения или высказанные кем-то предположения и выдают их за аргументы, якобы обосновывающие основной тезис. Такой подход недопустим в науке.

Автономное обоснование аргументов связано с тем, что прежде чем обосновывать тезис, следует проверить сами аргументы. Доводы должны опираться на основания, не зависимые от тезиса. Иначе может получиться, что недоказанным тезисом обосновываются недоказанные аргументы. Эта ошибка называется «круг в демонстрации».

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