Архитектура Аудит Военная наука Иностранные языки Медицина Металлургия Метрология Образование Политология Производство Психология Стандартизация Технологии |
КАК ИСХОДНЫЙ ПУНКТ ИССЛЕДОВАНИЯ
Организованная познавательная деятельность в науке осуществляется в форме исследования, преследующего решение научной проблемы. Проблема вообще, и научная проблема в частности, возникает в так называемой проблемной ситуации, связанной с обнаружением затруднения в познании. В науке это могут быть препятствия при осуществлении описания, объяснения, предсказания элементов предметной области познания. Препятствия могут быть связаны с безрезультатностью применения известных эмпирических или теоретических методов познавательной деятельности в процессе формирования понятий, научных концепций и теорий, обоснования, подкрепления, развития научной теории, теоретического отображения законов и закономерностей предметной области, доказательства теоретических высказываний и т. п. Препятствие создает проблему, если его преодоление служит удовлетворению значимой личной или социальной потребности. Смысл познавательной проблемы выражается проблемным вопросом, который формулируется с использованием имен элементов предметной области познания. Исследовательский вопрос «Существует ли магнитный монополь (частица с одним магнитным полюсом)? » сформулирован в терминах «монополь», «магнитный», «существует», относящихся к предметной области физики. Использование имен элементов предметной области познания показывает, что проблемный вопрос характеризует определенную меру знания соответствующей предметной области. В вопросе, однако, выражается и определенная мера незнания предметной области. В этом смысле иногда характеризуют познавательную проблему как «знание о незнании». В этом смысле проблемный исследовательский вопрос отличается от так называемых риторических и учебных вопросов. 111 Риторические вопросы являются формой утверждения или отрицания (то есть формой высказывания или суждения, выражаясь языком логики). Риторический вопрос «И кто сегодня не знает пользу науки? » имеет смысл общего утверждения «Сегодня всякий знает пользу науки», риторический вопрос «Стоит ли глобально разрушать природу? » имеет смысл отрицательного суждения «Глобально разрушать природу не стоит». Смысл учебного вопроса в простейшем случае состоит в требовании воспроизвести информацию, которая в той или иной форме (в ходе общения или отсылки к литературным источникам) дается учащемуся педагогом. Учебный вопрос задается с целью убедиться, что учащийся знает ответ на соответствующий вопрос. Примером учебного вопроса может служить вопрос «Каково расстояние от Земли до Луны? ». В отличие от учебного вопроса исследовательский вопрос является затребованием еще никому не известной информации, необходимой для преодоления обнаруженного затруднения. Научная проблема формулируется, как уже говорилось, с целью удовлетворения лично или социально значимой потребности. Значимость потребности определяет внешнюю актуальность научной проблемы, выраженной вопросом: чем более остра удовлетворяемая потребность, тем актуальнее научная проблема. Значимость научной проблемы определяется не просто остротой породившей проблему внешней потребности, но и масштабностью потребности, которая удовлетворяется решением проблемы. Кроме того, существует и внутренняя актуальность и значимость, определяемая масштабом вклада, который вносит в науку решение научной проблемы (ответ на соответствующий вопрос), ролью такого решения в продвижении научного познания вперед. В этом плане можно выделить проблемы, решение которых имеет общенаучное значение. Затем можно поставить проблемы, значимость которых ограничивается влиянием на продвижение познания вперед в пределах отдельной отрасли науки, отдельного направления отрасли науки, отдельной научной теории и т. д. Научную проблему имеет смысл формулировать, если предполагается существование гносеологических альтернатив. Гносеологические альтернативы представлены высказываниями, описывающими формально возможные «положения дел» в предметной области. Научный вопрос ставится тогда, когда неизвестно, какое из альтернативных высказываний действительно выполняется в предметной области. В случае вопроса о магнитном монополе формально возможными альтернативами являются две ситуации: 112 реальное существование монополя, во-первых, и несуществование (невозможность существования) монополя, во-вторых. Проблемный вопрос ставится с целью установления альтернативы, имеющей место в действительности. С соответствующими коррективами описанная ситуация может относиться к теоретическим сущностям и теоретически описываемым «положениям дел». Формулировка исследовательского вопроса свидетельствует о неопределенности в выборе истинного ответа на вопрос, другими словами — в установлении истинного высказывания, отражающего действительное положение вещей в предметной области. Исследовательский вопрос выражает требование устранить обнаруженную познавательную неопределенность путем получения нового знания, новой информации. Познавательная неопределенность, обнаруживаемая исследовательским вопросом, предполагает существование множества формально возможных альтернативных ответов на поставленный вопрос. Каждый из таких ответов «проецирует» в предметную область познания некоторое из возможных «положений дел». Ответом на исследовательский вопрос будет высказывание, указывающее на действительно реализованную в предметной области познания ситуацию. Более или менее полное представление о проблеме предполагает владение некоторым формально-логическим аппаратом анализа [8; 11]. К этому аппарату относятся, прежде всего, понятия первичных и вторичных предпосылок проблемного вопроса. К первичным предпосылкам относятся позитивная предпосылка, негативная предпосылка и предпосылка единственности. Позитивная предпосылка состоит из полного множества формально возможных альтернативных утвердительных ответов на вопрос; негативная предпосылка состоит из полного множества формально возможных альтернативных отрицательных ответов на вопрос; предпосылка единственности выражает условие, согласно которому только один из формально возможных альтернативных утвердительных ответов соответствует положению дел в предметной области (выполняется в предметной области). Предпосылка единственности не указывает, какая именно альтернатива реализуется. Позитивная предпосылка утверждает осуществимость в предметной области познания хотя бы одной возможной альтернативы, предполагаемой вопросом. Позитивная предпосылка может быть представлена дизъюнкцией формально возможных ответов на вопрос: или р,, или р2, или р3, .... или рп, где р|; р2, р3, ..., рп — множество формально возможных утвердительных ответов, называемых прямыми ответами на вопрос. Негативная предпосылка ИЗ утверждает, что в предметной области познания неосуществима, нереализуема хотя бы одна из формально возможных онтологических альтернатив. Негативная предпосылка выражается дизъюнкцией отрицаний прямых формально возможных ответов на вопрос (такие отрицания называются косвенными ответами на вопрос): -ipj, или —ip2, или —< р3, •••, или -ipn, где рР р,, р,, ..., рп —то же самое множество формально возможных прямых ответов, которые фигурировали в позитивной предпосылке, а знак —i является сокращением от «неверно, что». Предпосылку единственности можно символически представить в виде так называемой дизъюнктивной нормальной формы (дизъюнкции конъюнкций формально возможных прямых и косвенных ответов): (р A-ip„A-ip3A... А-1Р„)v bPi ЛР2Л-1Р»Л - л-1Рц)v Нч л-ф2лр3л... л-ipj v (-.р, л-, р2 л —1 р л р л... -1 pn) v (—I Pj л—1 р2 л—1 р л... л pri). Если вопрос в качестве предпосылок имеет все три указанных вида предпосылок, он называется вопросом к решению. Если же среди предпосылок вопроса отсутствует предпосылка единственности, вопрос назы-«• вается вопросом к пополнению. Такие вопросы допускают возможность одновременной выполнимости нескольких формально возможных прямых ответов на вопрос. Еще одним логическим инструментом анализа проблемного вопроса является понятие контекстуальных предпосылок, представленных высказываниями, указание на которые содержится в самой формулировке вопроса. В качестве примера возьмем вопрос, обращенный к человеку, не знающему о существовании русского языка: «Содержит ли словарь русского языка слова с. корнем " куздр"? ». Контекстуальными предпосылками этого вопроса будут предложения: «Существует язык»; «Существует русский язык»; «В русском языке есть слова»; «Слова русского языка образуют словарь языка»; «В словах русского языка существует основная часть, называемая корнем». Для анализа проблемного вопроса существенно подразделение контекстуальных предпосылок на фактические и формальные. К фактическим относятся предпосылки. выполнимость или невыполнимость которых устанавливается эмпирической проверкой. Предпосылка является формальной, если установление ее выполнимости или невыполнимости требует обращения к анализу лишь семантических (содержательных) смыслов терминологии. Для человека, не знающего о существовании русского языка, фактическими предпосылками вопроса «Содержит ли словарь русского языка слова с корнем " куздр"? » будут, например, утверждения «Существует русский язык» и «Слова в русском языке имеют основную часть, называемую корнем». Их 114 истинность надо проверять эмпирически. Предпосылки «В русском языке есть слова», «Слова русского языка образуют словарь языка» следует отнести к формальным предпосылкам, поскольку из самого понятия «русский язык» вытекает наличие в этом языке слов и словаря. Выполнимость этих предпосылок устанавливается на основе семантического анализа термина «русский язык». Множество контекстуальных предпосылок делится на первичные и вторичные. Контекстуальная предпосылка вопроса является первичной, если ее выполнимость не вытекает логически из выполнимости других контекстуальных предпосылок вопроса. Так, из выполнимой предпосылки «Существует язык» логически не вытекает выполнимость предпосылок «Существует русский язык», «Слова в русском языке имеют основную часть, называемую корнем». Эти предпосылки следует отнести к первичным предпосылкам относительно предпосылки «Существует язык». В то же время из выполнимости предпосылки «Слова в русском языке имеют основную часть, называемую корнем» логически выводится выполнимость предпосылок «В русском языке есть слова», «Слова русского языка образуют словарь языка». Эти предпосылки вторичны относительно предпосылки «Слова в русском языке имеют основную часть, называемую корнем». Мы несколько педантично изложили вопрос о предпосылках вопроса по той причине, что выделение фактических и формальных контекстуальных предпосылок имеет существенное значение для установления корректности или некорректности постановки проблемного вопроса. Исследовательский вопрос корректно поставлен (представляет корректно сформулированную проблему), если все контекстуальные предпосылки вопроса выполнимы. Исследовательский вопрос фактически некорректно поставлен (представляет некорректно сформулированную проблему), если невыполнима хотя бы одна из его фактических предпосылок. Исследовательский вопрос формально некорректно поставлен (представляет некорректно сформулированную проблему), если невыполнима, по меньшей мере, одна из его формальных предпосылок. Корректность, правильность или некорректность, неправильность постановки проблемного вопроса (и в конечном итоге формулировки проблемы) устанавливается, таким образом, проверкой выполнимости его предпосылок. Если корректность вопроса установлена, это означает, что существует выполнимый ответ на поставленный проблемный вопрос и проблема разрешима. Для решения научной проблемы существенно не только установление корректности или некорректности проблемного вопро- 115 са. Важно и то, насколько широко или узко сформулирован проблемный вопрос. Это особенно существенно для вопросов к пополнению. Дело в том, что имеются вопросы, которые явно не задают все формально возможные альтернативы (ответы) в отдельности. Множество альтернатив может задаваться обобщенно с помощью функции-высказывания (матрицы), в которой имеются переменные для индивидов или свойств из предметной области познания. Такой способ задания альтернатив особенно удобен в случае большого или бесконечного числа формально возможных альтернатив, не доступных практическому перебору. Поясним примером использование функции-высказывания как средства обобщенного задания альтернатив. В вопросе «Понедельником, вторником, средой, четвергом, пятницей, субботой или воскресеньем является 1 сентября 2100 года? » перечисление относительно большого числа альтернатив делает его громоздким. В иных случаях подобное перечисление делает вопрос и труднопонимаемым. По сути, тот же вопрос можно поставить проще: «Каким днем недели является 1 сентября 2100 года? ». Здесь альтернативы задаются не их перечислением, а обобщенно функцией-высказыванием «х является 1 сентября 2100 года», где областью значений переменной х является множество дней недели. Функция-высказывание вида «х есть Р» называется основой вопроса, а переменная к, входящая в функцию-высказывание, именуется переменной вопроса. Из основы вопроса можно получить суждения, выражающие отдельные альтернативные ответы, путем подстановки на место переменной х ее значений (в основу вопроса может входить одновременно и несколько различных переменных). Задание множества альтернатив через функцию-высказывание на практике осуществляется путем использования вопросительных местоимений и наречий (кто, что, какой, чей, который и т. п.). Вопрос «Кто является основателем логики как науки? » предполагает задание формально возможных прямых ответов функцией-высказыванием «х является основателем логики как науки». Вопросительное местоимение «кто» отсылает к области значений переменной х, состоящей из всех людей (местоимение «кто? » адресуется только к людям). Использование в вопросе ничем не ограниченных вопросительных местоимений и наречий — признак слишком широко поставленных вопросов (проблем). Вернемся к вопросу «Кто является основателем логики как науки? ». Множество онтологических альтернатив задается в нем функцией-высказыванием «х является основателем логики как науки», а вопросительное местоимение 116 «кто», используемое без каких-либо ограничений, определяет область значений переменной вопроса как множество всех живших и живущих людей, среди которых и надлежит отыскивать основателя логики. Ясно, что вопрос чрезмерно широко поставлен. Вопрос можно сделать более точным, сопроводив местоимение «кто» ограничением, суживающим область значений переменной вопроса: «Кто из древних греков является основателем логики как науки? ». Но даже и с этим ограничением вопрос остается все еще очень широким. Его можно существенно уточнить, наложив более жесткие ограничения: «Кто из выдающихся древнегреческих философов является основателем логики как науки? ». Подобное же уточнение вопроса получается введением ограничения к вопросительному наречию «сколько», к вопросительному местоимению «чей» и т. д. Подходящее уточнение проблемного вопроса в указанном смысле является существенным моментом поиска решения научной проблемы. Решение научной проблемы может состоять в формулировке прямых или косвенных ответов на исследовательский вопрос. Прямой ответ состоит в установлении выполнимости некоторых (в пределе одного) из формально возможных ответов, входящих в позитивную предпосылку. Косвенный ответ состоит в установлении выполнимости некоторых элементов негативной предпосылки (что равнозначно установлению невыполнимости соответствующих элементов позитивной предпосылки). Прямой ответ является полным (решение проблемы является полным), если он включает в себя все выполнимые элементы позитивной предпосылки или все выполнимые элементы негативной предпосылки. Исчерпывающим решением проблемы является множество всех выполнимых элементов позитивной и негативной предпосылок исследовательского вопроса. Решение масштабной научной проблемы достигается обычно введением новых научных понятий и принципов, открытием новых научных методов специальных наук и новых алгоритмов, созданием цельной новой теории исследуемых явлений. Если поиск и обоснование ответа на исследовательский вопрос осуществляется в рамках уже существующей теории без ее преобразования, то логики предпочитают говорить о научной задаче. Необходимо, однако, отметить, что разделение научной проблемы и научной задачи проводится и по иным основаниям [12. С. 49—50]. Существуют алгоритмически разрешимые (разрешимые общим стандартным методом) и неразрешимые (общим стандартным методом) проблемы. Решение проблемы может осуществляться и не на алгорит- 117 мической основе — например, в форме так называемой эвристической интуиции, которая будет рассмотрена ниже. Пока же отметим, что эвристическую интуицию не следует смешивать с эвристическим методом, опирающимся на предпочтения нормативно-ценностного характера при выборе проверяемых альтернатив проблемного вопроса. В постановке и решении научных проблем проявляется процессуальный характер науки, движущейся как в направлении углубления, так и в направлении расширения научного знания природы, социума и человека. ГИПОТЕЗА И ЕЕ МЕСТО В HAУЧ HOM ИССЛЕДОВАНИИ В ходе решения научной проблемы исследователь прибегает к формулировке различных гипотез, касающихся «положений дел» в предметной области познания. Термин «гипотеза» в логике, философии и методологии науки употребляется в узком и в широком смысле слова. В узком смысле слова гипотеза — это предположительно выполняющееся в некоторой предметной области высказывание. В этом смысле каждый отдельный элемент позитивной или негативной предпосылки исследовательского вопроса является гипотезой. Гипотеза в широком смысле слова трактуется как предположительная развернутая картина какого-либо положения вещей в предметной области исследования, выражаемая системой высказываний. В этом последнем смысле гипотеза по своему логическому строению и способу развертывания своего содержания (например, с помощью дедукции) приближается к теории (является теорией в «предположительном модусе»). Гипотезы в узком смысле слова обычно являются элементами или дополнениями к научной теории. Более сложный характер имеет соотношение между гипотезой в широком смысле слова и научной теорией. Общие теории включают в свой состав, как уже отмечалось, общие положения неограниченной квантификации. Такие положения не имеют строгого (логического) доказательства и появляются, как правило, в результате индуктивного обобщения. В силу этого обстоятельства универсальные положения теории являются по существу гипотетическими, и поэтому сама теория, в которой тесно увязаны друг с другом универсальные положения, может рассматриваться в качестве гипотетической картины предметной области познания. 118 Однако теория не характеризуется «банальной» гипотетичностью. Индуктивное обобщение, как отмечалось выше, дает правдоподобные обобщения, степень правдоподобия которых зависит в первую очередь от широты базиса индуктивного обобщения. Универсальные положения теории, как правило, и являются такого рода индуктивными обобщениями. Поэтому полное отождествление теории с гипотезой в широком смысле слова не является адекватным решением вопроса об их соотношении. Гипотеза в широком смысле слова и теория явно различаются в гносеологическом аспекте. Гносеологическая граница между гипотезой в широком смысле слова и теорией пролегает по линии оценки истинностных значений входящих в них положений. В теории эти положения прошли через некоторые этапы подкрепления (не обязательно только индуктивного) и принимаются за относительные истины. Положения гипотезы в широком смысле слова в момент ее выдвижения но значениям истинности, строго говоря, принципиально неопределенны. Им однозначно не приписывается ни значение истины, ни значение ложности, их истинность или ложность еще предстоит установить. Таким образом, можно сказать, что гипотеза в широком смысле слова является теорией лишь в потенции и при условии подтверждения ее положений в процессе проверки. В этой связи гипотеза в широком смысле слова может быть названа прототеорией. Неопределенность значений истинности положений заставляет развести гипотезу в широком смысле слова именно как гипотезу (конкретные значения истинности ее положений еще не «высветились») и теорию (исходные предпосылки которой уже определились со своими значениями истинности). Последующее подтверждение исходных положений гипотезы в широком смысле слова переводит ее в научную теорию: выражаемое гипотезой знание приобретает статус научной теории. Изложенная трактовка соотношения гипотезы и научной теории является формой их крайнего разведения (на момент выдвижения гипотезы). Динамический аспект соотношения гипотезы и теории более адекватно представляется «комбинированной» моделью теории. Указанная модель предполагает выделение в научной теории инвариантного ядра фундаментальных (для данной теории) положений, не доступных прямой эмпирической проверке и трактуемых в качестве относительных истин, и гипотез в узком смысле слова (а в отдельных случаях и в широком смысле слова), вопрос о значении истинности которых является открытым и которые в первую очередь должны «подкладываться иод пресс» проверочного эмпирического материала. Гипотезы пояса в случае 119 их несоответствия обнаруженным эмпирическим данным в определенных пределах допускают переформулировку. Существенную роль в процессе отбора ящерных положений теории и периферийных гипотез на стадии их первичного введения играет критерий простоты объяснения или описания явлений с их помощью. Таким образом, гипотезы, которые именуют периферийным поясом теории, в отличие от ядра принципиально принимаются за проблемно-гипотетическое знание. Конечно, изложенная структуризация научной теории не устраняет принципиальную гипотетичность строго универсальных положений ядра теории, так что отличие ядра от периферии достаточно условно и даже конвенционально. В силу этого обстоятельства теория с гносеологической точки зрения должна рассматриваться как одна из возможных точек зрения на явления предметной области. Другими словами, научное знание сложных объектов и сложно устроенных предметных областей содержит в себе неустранимый момент неполноты и гипотетичности, в силу чего оно и имеет дело не с реальными явлениями, а с мысленными моделями изучаемых явлений. Разграничение ядра и периферии позволяет', таким образом, выделить в теории элементы, имеющие разную степень гипотетичности и выполняющие различные гносеологические функции. В философии науки существует тенденция связывать периферийные гипотезы с более фундаментальными ядерными положениями теории отношением логического следования. В этом случае ядерные положения именуются положениями-основаниями, тогда как вытекающие из них периферийные гипотезы относятся к числу следствий. Подобная трактовка связи ядра с периферией теоретически допустима, но ее значение ограниченно. Эта трактовка рассчитана на «укорочение» процедуры эмпирической проверки ядерных положений теории путем сведения проверки к подтверждению или опровержению логически следующих из них гипотез-следствий. Подтверждение гипотезы-следствия трактуется как подкрепление соответствующих ядерных положений теории, эмпирическое опровержение гипотезы-следствия трактуется как однозначное свидетельство ложности релевантных положений теории. Подтверждение гипотезы-следствия демонстрирует правдоподобность (повышение правдоподобности) ядерных положений теории, опровержение гипотезы-следствия ниспровергает соответствующие ядерные положения. Один из способов селекции гипотез с использованием понятия вероятности рассмотрен нами в [90. С. 267—269]. По нашему мнению, практике реального использования гипотез больше соответствует трактовка соотношения ядерных 120 положений и периферийных гипотез в смысле содержательной конъюнктивной совместимости. В случае логического следования гипотезы-следствия из ядерных положений ложность первой является достоверным свидетельством ложности вторых. В случае отношения конъюнктивной совместимости периферийной гипотезы с ядерным положением ложность гипотезы не затрагивает значение истинности ядерного положения. Из истинности (ложности) периферийной гипотезы не вытекает истинность (ложность) ядерных положений. Иначе говоря, опровержение гипотезы непосредственно не затрагивает значения истинности ядерных положений теории и свидетельствует лишь о том, что гипотеза сама по себе должна быть отброшена. Опровергнутая гипотеза-следствие устраняется из комплекса «ядро + периферия», открывая возможность дополнения ядра новой периферийной гипотезой, предназначенной для дальнейшего испытания. Этот процесс дополнения не может продолжаться бесконечно. Рано или поздно обнаружится, что добавление периферийных гипотез в содержательном плане не повышает ни объяснительного, ни предсказательного потенциала комплекса «ядро + периферия». Соответствующая теория исчерпывает себя. Изложенная трактовка связи теории и гипотезы делает конструкцию «ядро + гипотеза» типично предположительной. Функционально гипотеза выдвигается как предварительное объяснение или описание некоторого явления или группы явлений. Она формулируется исходя из предположения об имплицитном существовании некоторого порядка, позволяющего делать заключения о структуре объектов, характере и тесноте (существенности) фиксируемых связей объектов, признаков, параметров и др., детерминированности одних явлений другими. В случае гипотезы в узком смысле слова ее проверка состоит в прямом сопоставлении с эмпирическими данными (наблюдение, измерение, эксперимент). Опровержение обладает большим эвристическим потенциалом, чем подтверждение, так как подтверждение всегда проблематично. Таким образом, эмпирическое обоснование гипотезы в узком смысле слова и простейших случаев гипотез в широком смысле слова предполагает или наблюдение явлений, описываемых гипотезой (что редко возможно, поскольку гипотезы могут выдвигаться по повод)7 скрытых факторов), или соотнесение следствий из гипотезы с наличными или вновь обнаруживаемыми данными oi 1ыта. В более сложных случаях гипотеза в широком смысле слова сохраняется до тех пор, пока работает объяснительный и предсказательный потенциал комплекса «ядро + периферия». 121 '■ Совпадение вытекающих из гипотезы предсказаний с факта- ми является самым эффективным способом обоснования гипотезы. Иногда это совпадение демонстрируют с. помощью «решающего эксперимента». Так было, например, в случае проверки гипотезы А. Эйнштейна об искривлении пространства в окрестностях больших концентраций масс вещества. В начале XX века наблюдением полного солнечного затмения было показано, что часть лучей полностью закрытого лунным диском Солнца «огибает» лунный диск и воспринимается наблюдателями на Земле (полностью закрытое лунным диском Солнце частично «наблюдаемо» в этот момент). Однако использование решающего эксперимента сталкивается с трудностью однозначной интерпретации его результатов. Теоретическое обоснование гипотезы предполагает также обычный порядок проверки ее на непротиворечивость, совместимость с принятыми, «известными» знаниями. Для обоснования гипотезы существенное значение имеет ее согласованность с принятыми научным сообществом знаниями. Однако не следует абсолютизировать эту согласованность, поскольку это может мешать выдвижению новых научных идей, выходящих из строя традиционных научных представлений. Дело в том, что гипотеза по своей сущности и является формой организации научного знания, обеспечивающей движение к новому знанию, выходящему за рамки наличного знания. Кроме того, необходимо очень корректно трактовать согласованность гипотезы с имеющимся знанием. Некоторые исследователи утверждают, что «гипотеза выглядит» как положение, которое с логической необходимостью следует из имеющегося знания. Согласно такой характеристике гипотезы как схемы условно-категорического умозаключения основанием условной посылки указанного умозаключения должно быть «известное знание», из которого логически и вытекает гипотеза (как заключение условной посылки). При таком подходе получается, что задачей указанного умозаключения является подтверждение или опровержение «имеющегося знания». Но по схеме условно-категорического умозаключения, как уже неоднократно отмечалось, подтвердить основание условной посылки («имеющееся знание») логически невозможно (из истинности гипотезы-следствия условной посылки логически не вытекает истинность основания импликации). Вряд ли согласованность гипотезы с «имеющимся знанием» адекватно выражается логическим следованием гипотезы из «имеющегося знания». Скорее, и здесь должна работать модель конъюнктивной согласованности. Целью проверки и обоснования гипотезы является перевод ее положений из статуса неопределенности их значений истинности в статус относительной истины. 122 Итак, гипотеза — такая форма нормативно-процессуальной организации знания, которая не может быть непосредственно оценена с точки зрения ее истинности или ложности. Она задает некоторое поле неопределенности. Снятие этой неопределенности и происходит в ходе теоретического (логического) обоснования гипотезы и (или) ее опытного подтверждения или опровержения. Предположения, оформленные как гипотезы, всегда в лучшем случае вероятностны (и в этом отношении в той или иной мере неопределенны); процедуры обоснования (проверки) исходных исследовательских гипотез всегда являются движением в сторону уменьшения этой неопределенности, в пределе — к ее снятию вообще. Зарождение метода гипотезы исторически связано с ранними этапами развития античной математики. Древнегреческие математики широко применяли выдвижение гипотез и вывод из них следствий с помощью аналитической дедукции с целью проверки правильности первоначальных догадок. Концепция Аристотеля исходила из невозможности использования гипотез как посылок силлогистического доказательства (поскольку в качестве посылок мыслились лишь общие, необходимые истины), что обусловило последующее негативное отношение к гипотезе как форме недостоверного или вероятного знания. Лишь в методологии и философии конца XVII — начала XIX в. в процессе осмысления успехов эмпирических исследований постепенно стала осознаваться эвристическая роль метода гипотез. Однако ни рационалистическому, ни эмпирическому направлениям в классической методологии и философии науки не удалось обосновать необходимость гипотезы в научном познании. Так, например, Кант пытался дать гносеологическое обоснование научным гипотезам и сформулировать критерий их отличия от гипотез чисто спекулятивного характера. Однако он ограничил сферу применения научных гипотез узкой областью сугубо эмпирических исследований, приписав методу гипотез вспомогательный, подчиненный статус по отношению к априорному знанию в форме безусловно всеобщих и необходимых истин. Пожалуй, лишь Ф. Энгельс обрисовал содержательную значимость научных гипотез: гипотеза есть форма развития науки, поскольку она мыслит. В основе этого положения лежит мысль об отсутствии обязательного подтверждения выдвинутой гипотезы. Гипотеза может оказаться ложной, и научное познание устремляется но пути выдвижения все более адекватных гипотез. Эвристическая роль метода гипотез в развитии современного научного знания нашла отражение в гипотетивно-дедуктивных теориях, представляющих собой дедуктивно организованные системы. 123 |
Последнее изменение этой страницы: 2019-05-17; Просмотров: 352; Нарушение авторского права страницы