3) правила, относящиеся к демонстрации. Формализованное доказательство – это доказательство, записанное на специальном искусственном – формализованном – языке. Он имеет точно установленную структуру, благодаря чему процесс доказательства сводится к элементарным операциям со знаками. Формализованное доказательство – это идеальное и неоспоримое доказательство.
Формализация может осуществляться с разной степенью полноты. Полная формализация теории имеет место тогда, когда совершенно отвлекаются от содержательного смысла исходных понятий и положений теорий и перечисляют все правила логического вывода, используемые в доказательствах. В формализованной теории доказательство не требует обращения к каким-либо интуитивным представлениям. Оно является последовательностью формул, каждая из которых либо аксиома, либо получается из аксиомы по правилам вывода. Проверка такого доказательства превращается в механическую процедуру и может быть передана вычислительной машине.
Формализация играет существенную роль в уточнении научных понятий. Многие проблемы не могут быть не только решены, но даже сформулированы и поставлены, пока не будут формализованы связанные с ними рассуждения.
36. ФОРМИРОВАНИЕ НАУЧНОГО ЗНАНИЯ И ЕГО ПРИНЦИПЫ
Возникновение теоретического знания относят к IX–IV гг. до н. э. Возникновение областей теоретического знания может быть представлено как построение особых идеализированных структур с помощью принципов мышления.
Данный процесс был бы невозможен, если бы не получила развития его внутренняя основа – ориентирующая функция речи. Она является основой возникновения теоретической науки.
Постепенное формирование естественного языка привело к перевороту в процессах общения между людьми, что позволило открыть ряд новых возможностей. Например, моделировать события на основе речевых и знаковых средств.
Интерпретация событий и явлений, выбор различных смысловых значений, использование простейших логических методов доказательства, включая дедукцию (когда речь шла о подведении конкретных случаев под установленную норму или, наоборот, о выведении из нормы, предназначенной для решения конкретного случая, некоторого общего правового принципа), и, наконец, способ рассуждения от противного, когда утверждается одно и тем самым отрицается другое, – все эти методы аргументации многократно применялись и стали общепринятыми.
Доказав свою необходимость, приемы логической аргументации нашли свое применение в практике и использовались в качестве средства объяснения всей окружающей человека природы. Поэтому ничто не мешало разъяснить данные приемы как законы мышления.
В настоящее время наука стала основой, на которой базируются большинство сфер человеческой жизнедеятельности. Изобретение новых и улучшение старых технологий, построение высокой индустрии знаний, преобразование жизненной среды человека и другие процессы имеют своим источником развитие научного знания.
Современная наука строится на позициях, которые были выражены еще Декартом. Это онтологические, методологические и социальные принципы.
В онтологии говорится, что:
1) природа стабильна и универсальна, человеческий разум действует с помощью таких же устойчивых и идеализированных категорий мышления;
2) материя отличается от сознания, являющегося началом традиционной рациональной деятельности;
3) сознание находится в своем внутреннем мире каждого индивидуального тела.
К методическим принципам науки относятся следующие:
1) предметом науки является "общее". Науки об индивидуальном не существует;
2) открытые законы значимы всегда и для всех;
3) любая наука должна стремиться к математическому выражению данных законов;
К социологическим принципам относятся:
1) наука направлена на поиски истины с помощью собственной цели и ценности;
2) в ней преобладают рациональные принципы и аргументы;
3) субъект познания призван контролировать и подчинять себе ход ее процессов.
Существует также огромная сфера ненаучного знания – эзотеризм. Данную сферу знаний используют оккультные науки, мистицизм. Эзотеризм основывается на опыте поколений. Данный опыт действует на уровне подсознания, традиций.
Развитие любой науки начинается с накопления фактов, на основе которых выявляется обобщение и выдвижение гипотез для их объяснения.
37. ПОНЯТИЕ ГИПОТЕЗЫ И ЕЕ СТРУКТУРА. ВИДЫ ГИПОТЕЗ
Гипотеза – это научно обоснованное предположение о причинах или взаимосвязях каких-либо явлений или событий природы, общества и мышления.
Определить гипотезу можно через следующие черты:
1) гипотеза – это обязательная форма развития любого познавательного процесса. Она является связующим звеном между ранее достигнутым знанием и новыми фактами;
2) построение гипотезы обязательно должно сопровождаться выдвижением предположения;
3) данное предположение рождается на основе рассмотрения материала, на базе неоднократных наблюдений.
Гипотезы делятся на две большие группы: по познавательным функциям и объекту исследования. СО По познавательным функциям выделяют описательные и объяснительные гипотезы.
Описательная гипотеза – это предположение о том, что тому или иному исследуемому явлению присущи те или иные определенные свойства. Данные гипотезы выдвигаются с целью определения структуры предмета или особенностей его деятельности.
Среди описательных гипотез особое место занимают экзистенциальные гипотезы – гипотезы о существовании того или иного объекта.
Объяснительная гипотеза – это предположение о том, что послужило стимулом появления объекта исследования.
По объекту исследования выделяют общие и частные гипотезы.
Общая гипотеза – это научно обоснованное предположение о причинах, законах и взаимосвязях природных и общественных явлений, а также закономерностях психической деятельности человека. Данные гипотезы выдвигаются с целью объяснения всего класса описываемых явлений, выведения закономерного характера их взаимосвязей в любое время, в любом месте. Например: гипотеза Демокрита об атомистическом строении вещества, которая впоследствии превратилась в научную теорию.
Частная гипотеза – это научно обоснованное предположение о причинах, происхождении и взаимодействиях части объектов, выделенных из класса рассматриваемых объектов природы, общественной жизни или психической деятельности человека.
Частные гипотезы создаются для выяснения причин возникновения закономерностей у некоторой под-множественности элементов данного множества. Гипотезы в области вирусологии являются частными, а не общими, потому что они выдвигаются для уяснения закономерностей отдельных, только некоторых из организмов – вирусов, а иногда даже не всех вирусов, а их отдельных разновидностей.
Также выделяют такой вид гипотезы, как единичная. Она представляет собой научно обоснованное предположение о причинах, происхождении и взаимосвязях единичных фактов, конкретных событий или явлений.
В ходе доказательства тех или иных гипотез выдвигается особый вид предположения – рабочая гипотеза, т. е. предположение, выдвигаемое чаще всего на начальном этапе того или иного исследования и еще не ставящее задачу выяснения причины или закономерности. Рабочая гипотеза позволяет исследователю построить определенную группировку результатов наблюдения и дать согласующееся с ними предварительное описание изучаемого явления.
38. ТЕОРИЯ КАК СИСТЕМА НАУЧНОГО ЗНАНИЯ
Как правило, термин "теория" употребляется в двух смыслах: широком и узком.
В широком смысле под теорией понимается деятельность, связанная с познанием явлений природы, общества и мышления.
Теория в более узком смысле – это форма научного знания, которая дает целое представление об определенной области познания.
В данном тексте речь будет идти о теории в узком смысле. Сведение всех знаний определенной области исследования в определенную единую систему является основной целью построения теории.
Выделяют следующие функции теории:
1) информативная функция. В результате эмпирического познания выявляются факты и их обобщения; в ходе дальнейшего исследования открываются соответствующие законы. С их помощью выводятся результаты наблюдений. То есть данные законы в насыщенной форме выражают информацию, получаемую в результате исследования. Информация, находящаяся в законах и научных теориях, служит для предсказывания будущих событий или практического действия;
2) систематизирующая функция. Данная функция теории определяется синтетическим характером научного знания. Теория стремится так организовать и упорядочить эмпирический материал, чтобы его основная часть могла быть логически выведена из небольшого числа основных законов и принципов. Это является одним из важнейших результатов научного познания. Чем глубже развита наука, тем выше уровень систематизации. Теоретическая систематизация дает ряд преимуществ. Это установление связи между различными обобщениями, гипотезами в рамках теории помогает определению границ их применимости; с помощью этого процесса уточняются ранее установленные обобщения и законы; включение любого эмпирического обобщения связано с модификацией и другие преимущества;
3) прогностическая функция теории. Для создания теории, служащей практике, нужно предвидеть ход будущих событий, постараться выявить их тенденции и закономерности. Именно поэтому данная функция является важной для любой подлинной научной теории. Такие предсказания могут быть сделаны как на основе закона, так и гипотезы или научного обобщения;
4) объяснение как функция теории.
Структура и виды научных теорий. Научные теории весьма разнообразны по предмету исследования, глубине раскрытия, а также по функциям, что затрудняет обнаружение тех структурных элементов, из которых складывается теория.
Структура любой теории должна включать следующие элементы:
1) предшествие теории, ее основные факты;
2) первоначальный теоретический базис;
3) логический аппарат теории;
4) другие всевозможные следствия или выводы теории. Естественно, что в различных теориях разного типа и назначения или находящихся на различных ступенях развития данные элементы представлены по-разному отчетливо. В естественно-научных теориях исходные принципы обычно точно не формулируются, особенно когда данная теория еще только складывается. Обычно принципы и наиболее общие законы таких теорий обозначаются по мере их дальнейшего исследования и обоснования теории.
39. ПОНЯТИЕ РИТОРИКИ И ЕЕ СВЯЗЬ С ЛОГИКОЙ
Одной из главных причин формирования логики в Древней Греции была риторика, т. е. наука об ораторском искусстве. С учетом того, что в древнегреческих городах решения принимались простым большинством голосов, то требовалось много усилий для убеждения слушателей в своей правоте. На основании этого разрабатывались различные приемы и методы убеждения. Одним из главных элементов риторики является спор.
Эристика – это искусство ведения спора. Она учит умению убеждать в истинности высказываемых взглядов и склонению людей на свою сторону.
Спор имеет много разновидностей и вариантов. Рассмотрим два наиболее основных из этих видов – дискуссию и полемику.
Дискуссия представляет собой утверждения, которые высказываются несколькими лицами по очередности в результате общения между собой.
Чтобы придать общению связанность, заявления участников дискуссии должны относиться к одному предмету или теме. Началом дискуссии является именно тема, формулирующаяся в каком-либо утверждении. Целью дискуссии является достижение согласия участников.
Полемика по своей природе является дискуссией, но она является более острой и конфликтной. В отличие от дискуссии, целью полемики считается утверждение своей точки зрения.
Противоположная сторона в дискуссии называется "оппонентом", а в полемике – "противником".
Каждый участник дискуссии имеет соответствующее представление в отношении обсуждаемого предмета. Поэтому задачей дискуссии является найти общее представление о данном предмете, которое при-узнавалось всеми участниками дискуссии.
В большинстве случаев дискуссия проясняется в форме диалога.
Выделяют следующие требования к дискуссии и полемике:
1) необходимо определить, что именно следует дискутировать или полемизировать;
2) любая дискуссия или полемика должна иметь свою тему, свой предмет, на что направлен спор;
3) тема дискуссии или полемики не должна изменятся на протяжении спора.
Важным моментом спора является уточнение и конкретизация позиций спорящих сторон, так как нужно постоянно держаться линии спора и по возможности стараться далеко от нее не уходить.
Для наиболее успешного ведения спора необходимы определенные знания логики. Например, для того чтобы вывести следствие из своих и чужих утверждений. Требование быть логичным и последовательным в споре не предполагает, что спор должен разворачиваться как доказательство определенной точки зрения. В ходе уместны и шутки, и отступления, и многое другое, что может быть и не связано с логикой развития мысли.
Успех дискуссии зависит от аргументов, приводимых в поддержку тезиса.
Стратегия спора – это приведения одних высказываний для обоснования или подкрепления других.
Тактика спора – поиск наиболее убедительных с точки зрения темы и данной аудитории аргументов или доводов.
Тактические приемы в свою очередь можно разделить на допустимые и недопустимые. Допустимыми являются такие приемы, которые позволяют взять инициативу ведения дискуссии в свои руки. Недопустимыми являются приемы, в результате которых недостоверные сведения выдаются за истинные.
40. СОФИЗМЫ КАК ЭЛЕМЕНТ СПОРА
Софизм – это преднамеренное, но тщательно замаскированное нарушение требований логики. Его целью является выдача лжи за истину. Как преднамеренной ошибке ему противостоит паралогизм – непроизвольная логическая ошибка.
Китайский софист Гунсунь Лун верхом на белой лошади подъехал к пограничной страже. Начальник стражи заявил, что переходить границу могут только люди, переводить лошадей запрещено. На что Гунсунь Лун заметил: "Лошадь может быть рыжей, а белая лошадь не может быть рыжей, значит, это вовсе не лошадь". Удивленный таким доводом начальник стражи пропустил софиста вместе с лошадью. Софизм способен дезорганизовать другую сторону в споре.
Возникновение софизмов связывается с философией софистов. Софисты обучали за деньги искусству вести полемику. Для того чтобы доказать ту или иную точку зрения, они части прибегали к нарушению логических законов. Термин "софизм" был впервые введен Аристотелем, который охарактеризовал софистику как мнимую мудрость.
Условно софистов можно разделить на две группы:
1) старшие (вторая половина V в. до н. э. – Протагор, Антифронт и др.);
2) младшие (первая половина IV в. до н. э. – Алкидамант, Фразимах и др.).
Древние софизмы сформулированы в тот период, когда логики как таковой еще не было. И именно с софистов началось осмысление и изучение доказательства и опровержения.
В основном анализ софизма не может быть завершен раскрытием логической или фактической ошибки, которая в нем обязательно допущена. Еще нужно уяснить проблемы, стоящие за софизмом, а также выяснить, что послужило началом возникновения недоумения и беспокойства, которое он вызывает, и объяснить, что ему придает видимость убедительного рассуждения.
В развитии науки любое исследование начинается с постановки проблемы. "Проблема – исследование – решение", данная последовательность относится к любым стадиям развития теории и к различным видам деятельности человека. Отчетливая постановка задач является условием успеха исследования или иной деятельности. Но в теории, находящейся на начальном этапе своего развития, выдвижение проблем совпадает с процессом исследования и не может быть отделено от него.
Примером софизма может служить следующее выражение: "Знаешь ли ты человека под этим покрывалом? – "Нет". – "Это твой отец. Ты не знаешь своего отца?"
В том случае, когда нет еще твердой и развитой в деталях теории, принятой большинством исследователей, проблемы ставятся в расчете на будущую теорию. Данную форму выдвижения проблем называют парадоксальной, или софистической.
Парадоксы являются более серьезными по своему содержанию, чем софизмы. Появление в теории парадокса говорит о несовершенстве допущений, лежащих в ее основе. Пример парадокса: "Я убежден, что в мире нет никаких убеждений".
Грань между софизмами и парадоксами не является определенной. В случае многих рассуждений невозможно решить, к какому из этих двух классов, парадоксу или софизму, следует отнести данные рассуждения.
41. ПАРАДОКСЫ ЛОГИКИ КАК ЭЛЕМЕНТ ПРОЦЕССА ПОЗНАНИЯ
Парадокс – это логически неразрешимое, два противоположных утверждения, каждое из которых имеет убедительные аргументы.
Например: "Я знаю, что я ничего не знаю".
Более резкой формой парадокса является антиномия – рассуждение, которое доказывает равнозначность двух утверждений, одно из которых отрицает другое.
Наиболее известны парадоксы в строгих и точных науках – математике и логике.
В логике нет экспериментов и нет фактов, она является абстрактной наукой. Логика исходит из анализа реального мышления, но данные результаты носят неразделенный характер. Они не являются определением каких-либо процессов или событий, которые должна объяснить теория. Данный анализ нельзя назвать наблюдением, так как в этом процессе наблюдается конкретное явление.
При создании новой теории отталкиваются от фактов, т. е. от того, что можно наблюдать на опыте. Поскольку теория имеет смысл только в случае согласования с относящимися к ней фактами, в противном случае она является надуманной и ценности не имеет.
Несоответствие логической теории и практики мышления в своем большинстве возникает в форме парадокса, а иногда и в форме логической антиномии. Этим и объясняется то значение, которое придается парадоксам в логике. В данном случае была бы необходима классификация парадоксов, но успеха в этом достигнуто не было.
Ф. Рамсеем было предложено разделить парадоксы у на синтаксические и семантические. По его мнению, синтаксические парадоксы должны содержать те понятия, которые принадлежат логике или математике. Семантические парадоксы включают понятия, относящиеся больше к лингвистике или теории познания.
Первоначально данное деление парадоксов широко использовалось. Но с течением времени становится ясно, что это деление довольно-таки нечетко и в основном опирается на примеры, а не на анализ.