 |
Схема строгой аналогии такова.
|
|
|
|
Предмет X обладает признаками а, b, с, d, e.
Предмет У обладает признаками а, b, с, d.
Из совокупности признаков а, e, с, d необходимо следует аналогия.
Строгая аналогия находит применение в научных исследованиях, а также в математических доказательствах. На свойствах умозаключения по строгой аналогии основан метод моделирования.
Моделирование — это разновидность аналогии, при которой один из аналогичных объектов подвергается исследованию в качестве имитации другого. Эти объекты называются моделью и оригиналом. Знания, полученные о модели, переносятся на оригинал. При этом модель является одновременно объектом изучения и средством познания.
Нестрогая аналогия дает не достоверное, а лишь вероятностное заключение. Это связано с тем, что разница между моделью и оригиналом бывает не только количественной, но и качественной и велики различия между лабораторными и естественными условиями.
Для того чтобы повысить степень достоверности гипотезы, необходимо соблюдать ряд правил. Первое — это всестороннее изучение предметов и их свойств. Второе — выявление сходных признаков между рассматриваемыми предметами. Третье — выявление взаимосвязей между предметами с целью найти между ними переносимое свойство.
Гипотеза
Гипотезой называют предположение о каком-либо предмете или явлении, его причинах, связях, закономерностях природы, общества и государства, основанных на научных данных.
Основанные на научных знаниях доказанные гипотезы можно называть научно обоснованными. Не обоснованные таким образом гипотезы не должны приниматься в расчет. Среди таких необоснованных гипотез можно выделить гипотезы ложные. Они могут создаваться преднамеренно или в силу незнания.
|
|
|
Все гипотезы можно разделить на общие, частные и единичные. Общие гипотезы применяются для того, чтобы объяснить, охватить весь класс явлений. Примером общей гипотезы может выступать, например, гипотеза о происхождении жизни или возникновении мира, гипотеза Чарльза Дарвина о происхождении человека. После доказательства гипотеза становится теорией.
Частные гипотезы в отличие от общих охватывают своим вниманием не весь класс однородных объектов, а лишь его часть. При этом из всего класса однородных предметов выделяется интересующий предмет и рассматривается в дальнейшем отдельно от этого класса.
Единичные гипотезы затрагивают лишь один предмет однородного класса, остальные из рассмотрения исключаются (необходимо учитывать, что весь класс может состоять только из одного предмета). Такие гипотезы возникают в случае, когда сам предмет единичен или необходимо рассмотреть его свойства без учета влияния предметов того же класса.
В качестве примера единичной гипотезы можно привести научно обоснованные предположения о явлении тунгусского метеорита и других подобных явлениях.
Необходимо упомянуть также о таком виде гипотез, как рабочие гипотезы. Их совокупность представляет собой промежуточный этап между гипотезой и теорией. То есть построение рабочих гипотез применяется для доказательства гипотезы основной. Чаще всего рабочие гипотезы возникают в начале исследования. Они имеют не очень большую глубину исследования, не охватывают весь спектр вопросов, но позволяют получить необходимую информацию, установить часть свойств и связей предмета. Рабочие гипотезы не носят окончательного характера и в процессе работы могут изменяться и заменяться другими или просто отбрасываться.
Необходимо упомянуть также об особом виде гипотез — ложных гипотезах. Они могут создаваться из-за нехватки информации, непредумышленно или для достижения своих целей, с умыслом. Если вероятностное заключение возводить в ранг гипотезы, она может оказаться как истинной, так и ложной, в зависимости от того, истинно или ложно заключение. Несмотря на то что ложная гипотеза передает неверную информацию о рассматриваемом предмете, нельзя не сказать о том, что она имеет достаточно большое познавательное значение. Например, ложная гипотеза, если она содержит здравое зерно, может направить исследования в новое русло, добавить, так сказать, свежей крови застоявшемуся исследованию и тем самым привести к научному открытию. Также ложная гипотеза, когда доказана ее ложность, показывает исследователям (особенно следующего поколения) направление, в котором точно двигаться не следует. То есть новые исследователи избавлены от необходимости проверять догадку, лежащую в основе ложной гипотезы.
|
|
|
Аргументация и доказательство
Доказательство
Мы познаем мир посредством органов чувств, и такое познание чаще всего не нуждается в доказательстве, так как вполне очевидно. Например, не требует доказательства то, что огонь — горячий. Достаточно протянуть к нему руку.
Однако не все явления, предметы окружающего мира понятны настолько, что доказывать их нет необходимости. В научной деятельности и даже в повседневной жизни очень часто приходится сталкиваться с необходимостью доказывать, отстаивать свою точку зрения. Доказательность — важное качество правильного мышления.
Теории, доказательства и опровержения являются средствами в руках человека для создания новых обоснованных знаний. Доказательство необходимо в научном мире, оно определяет истинность того или иного явления, суждения, умозаключения. Без доказательства любая гипотеза навсегда останется гипотезой и не приобретет значение теории. Это хорошо, ведь цель доказательства — получение истинных знаний. Любое новое явление, догадку необходимо доказывать, будь то тайны, связанные с космическим пространством или глубинами океана, математические изыскания и т. д.
С этих позиций можно определить доказательство как совокупность логических приемов обоснования истинности какого-либо суждения с помощью других истинных и связанных с ним суждений.
|
|
|
В обыденном смысле доказательство часто отождествляют с убеждением, что недопустимо. Эти два понятия могут совпадать в части, но слишком во многом различны. Так, доказательство основано исключительно на научно обоснованных фактах, изысканиях, теориях и т. д. Убеждение же зачастую не зависит от того, доказано научным путем утверждаемое или нет. Убеждение возможно в отношении теорий вероятностных или вообще ложных.
Структуру доказательства составляют тезис, аргументы и демонстрация. Тезис — это положение, требующее доказательства. Аргументы — это истинные суждения, используемые в процессе доказательства. Демонстрация — это способ логической связи между тезисом и аргументами.
Существуют правила доказательного рассуждения. Нарушение этих правил ведет к ошибкам, относящимся к доказываемому тезису, аргументам или к самой форме доказательства.
Доказательство бывает прямым и непрямым. Прямое доказательство идет от рассмотрения аргументов к доказательству тезиса, т. е. истинность доказательства непосредственно обосновывается аргументами.
Можно сказать, что при прямом доказательстве из аргументов (a, b, c…) обязательно следуют истинные суждения (k, m, l…), а из последних следует доказываемый тезис q. По этому типу проводятся доказательства в судебной практике, в науке, в полемике. Широко используется прямое доказательство в статистических отчетах, в различного рода документах, в постановлениях.
При непрямом доказательстве истинность выдвинутого суждения обосновывается путем доказательства ложности исключающего его суждения. Применение такого доказательства обосновано, когда нет аргументов для прямого доказательства.
В зависимости от формы антитезиса можно выделить два вида непрямого доказательства — от противного и разделительное. Доказательство от противного (апагогическое) осуществляется путем установления ложности противоречащего тезису суждения. Этот метод часто используется в математике. Разделительное доказательство производится на основе отрицания антитезиса. При условии перечисления всех антитезисов и их последовательном отрицании (и отбрасывании) можно говорить об установлении истинности утверждаемого суждения.
|
|
|
Аргументация
Как уже было сказано, любое доказательство нуждается в аргументах. На них доказывающий опирается, они несут в себе информацию, позволяющую с достоверностью говорить о том или ином предмете. В логике выделяется несколько аргументов. К ним относятся удостоверенные единичные факты, аксиомы и постулаты, ранее доказанные положения и определения.
Удостоверенные факты представляют собой информацию, закрепленную в каких-либо документах, произведениях, базах данных и на различных носителях. Можно определить эту группу аргументов как фактические данные. К таким данным можно отнести сведения статистики, факты из жизни, свидетельства, документы и документальные хроники и т. д. Такие аргументы играют важную роль в процессе доказательства, так как тверды, неопровержимы, уже доказаны. Они могут нести информацию о прошлом, что также делает удостоверенные факты важными в познавательном плане.
Аксиомы. Многие из нас при слове «постулаты» вспоминают школу и уроки математики. И действительно, аксиомы широко используются в математических построениях, математическая логика часто опирается на них. Подтвержденные опытом, ранее доказанными фактами, неоднократным повторением доказывания, эти суждения не нуждаются в доказывании и принимаются в качестве аргументов.
Положения законов, теоремы, которые были доказаны в прошлом, принимаются в качестве аргументов доказательства, так как истинность их уже определена и принята. Эта группа аргументов напоминает о том, что все аргументы, положенные в основу доказательства, должны быть доказаны. Доказывание аргументов этой группы может производиться как непосредственно перед доказыванием аксиомы, так и задолго до этого. К этой группе можно отнести научно доказанные законы (например, природы) и теоремы.
Последняя группа аргументов — это определения. Они создаются в рамках всех наук относительно рассматриваемых предметов и раскрывают суть последних. В доказательстве можно опираться на определения, принятые и применяемые в какой-либо науке. Однако не следует забывать о том, что относительно многих определений ведутся дискуссии и доказательство на их основе может быть не принято оппонентом. Здесь же необходимо сказать о недопустимости использования ненаучных определений, так как основная мысль в них может быть искажена, а сами определения могут быть неполными или даже ложными.
|
|
|
При доказательстве тезиса можно использовать несколько видов аргументов — это приведет к большей убедительности.
Не стоит забывать также и о том, что главным фактором в доказательстве теории является все же практическое применение. Если на практике теория была подтверждена, другого доказательства или обоснования она не требует.
Понятие умозаключения
Умозаключение — это форма абстрактного мышления, посредством которой из ранее имевшейся информации выводится новая. При этом не задействуются органы чувств, т. е. весь процесс умозаключения проходит на уровне мышления и независим от получаемой в данный момент извне информации. Визуально умозаключение отражается в виде столбца, в котором присутствует как минимум три элемента. Два из них — это посылки, третье называют заключением. Друг от друга посылки и заключение принято отделять горизонтальной чертой. Заключение всегда пишется снизу, посылки — сверху. И посылки, и заключение представляют собой суждения. Причем эти суждения могут быть как истинными, так и ложными. Например:
Все млекопитающие — животные.
Все кошки — млекопитающие.
Все кошки — животные.
Это умозаключение является истинным.
Умозаключение имеет ряд преимуществ перед формами чувственного познания и опытными исследованиями. Так как процесс умозаключения проходит только в области мышления, он не затрагивает реальных предметов. Это очень важное свойство, так как зачастую у исследователя нет возможности получить для наблюдения или опытов реальный предмет в силу его дороговизны, размеров или удаленности. Некоторые предметы на данный момент вообще можно считать недоступными для прямого исследования. Например, к такой группе предметов можно отнести космические объекты. Как известно, исследование человеком даже ближайших к Земле планет представляется проблематичным.
Другим преимуществом умозаключений является то, что они позволяют получить достоверную информацию об изучаемом объекте. Например, именно посредством умозаключения Д. И. Менделеев создал свою периодическую систему химических элементов. В области астрономии зачастую положение планет определяется без любого видимого контакта, исходя только из уже имеющейся информации о закономерностях положения небесных тел.
Недостатком умозаключения можно назвать то, что зачастую заключения характеризуются абстрактностью и не отражают многих конкретных свойств предмета. Это не относится, например, к упомянутой выше периодической таблице химических элементов. Доказано, что при ее помощи были открыты элементы и их свойства, которые на тот момент еще не были известны ученым. Однако так бывает не во всех случаях. Например, при определении положения планеты астрономами свойства ее отражаются лишь приблизительно. Также зачастую нельзя говорить о правильности заключения до тех пор, пока оно не прошло проверку на практике.
Умозаключения могут быть истинными и вероятностными. Первые с достоверностью отражают реальное положение вещей, вторые носят неопределенный характер. Видами умозаключения являются: индукция, дедукция и заключение по аналогии.
Умозаключение — это прежде всего выведение следствий, оно применяется повсеместно. Каждый человек в своей жизни независимо от профессии строил умозаключения и получал следствия из этих заключений. И здесь встает вопрос истинности таких следствий. Человек, который не знаком с логикой, пользуется ею обывательским уровнем. То есть судит о вещах, строит умозаключения, делает выводы, исходя из того, что накопил в процессе жизни.
Несмотря на то что практически каждый человек проходит обучение основам логики в школе, учится у родителей, обывательский уровень знания нельзя считать достаточным. Конечно, в большинстве ситуаций достаточно и этого уровня, но есть процент случаев, когда логической подготовки просто не хватает, хотя именно в таких ситуациях она больше всего нужна. Как известно, существует такой вид преступлений, как мошенничество. Чаще всего мошенники пользуются простыми и проверенными схемами, однако некоторый процент их занимается высококвалифицированным обманом. Такие преступники знают логику едва ли не в совершенстве и, кроме того, обладают способностями в области психологии. Поэтому им зачастую ничего не стоит обмануть человека, который не подготовлен. Все это говорит о необходимости изучения логики как науки.
Выведение следствия — очень распространенная логическая операция. По общему правилу, для получения истинного суждения необходимо, чтобы и посылки были истинны. Однако данное правило не относится к доказательству от обратного. В этом случае намеренно берутся заведомо ложные посылки, которые необходимы, чтобы через отрицание их определить необходимый объект. Другими словами, ложные посылки в процессе выведения следствия отбрасываются.
Дедуктивные умозаключения
Как и многое в классической логике, теория дедукции обязана своим появлением древнегреческому философу Аристотелю. Он разработал большую часть вопросов, связанных с этим видом умозаключений.
Согласно работам Аристотеля дедукция — это переход в процессе умозаключения от общего к частному. Другими словами, дедукцией является постепенная конкретизация более абстрактного понятия. Она проходит через несколько ступеней, каждый раз выводя следствие из нескольких посылок.
Необходимо сказать, что в процессе дедуктивного умозаключения должно получаться истинное знание. Такой цели можно добиться только при соблюдении необходимых условий, правил. Правила вывода бывают двух видов: правила прямого и правила косвенного вывода. Прямой вывод означает получение из двух посылок заключения, которое будет истинным при условии соблюдения правил прямого вывода.
Так, должны быть истинны посылки и соблюдены правила получения следствий. При соблюдении этих правил можно говорить о правильности мышления относительно взятого предмета. Это означает, что для получения истинного суждения, нового знания не обязательно иметь всю информацию. Часть сведений может быть воссоздана логическим путем и закреплена. Закрепление необходимо, так как без него сам процесс получения новой информации становится бессмысленным. Ни передать такую информацию, ни как-либо иначе использовать ее не представляется возможным. Естественно, что такое закрепление происходит посредством языка (разговорный, письменный, язык программирования и т. д.). Закрепление в логике происходит прежде всего при помощи символов. Например, это могут быть символы конъюнкции, дизъюнкции, импликации, буквенные выражения, скобки и др.
Дедуктивными являются следующие типы умозаключений: выводы логических связей и субъектно-предикатные выводы.
Также дедуктивные умозаключения бывают непосредственными.
Они делаются из одной посылки и называются превращением, обращением и противопоставлением предикату, отдельно рассматриваются умозаключения по логическому квадрату. Выводятся такие умозаключения из категорических суждений.
Рассмотрим эти умозаключения. Превращение имеет схему:
S есть Р
S не есть не-Р.
По этой схеме видно, что посылка только одна. Это категорическое суждение. Превращение характеризуется тем, что при изменении качества посылки в процессе вывода не происходит изменения ее количества, а предикат следствия отрицает предикат посылки. Есть два способа превращения — двойное отрицание и замена отрицания в предикате отрицанием в связке. Первый случай отражен на схеме, приведенной выше. Во втором превращение отражается на схеме как S есть не-Р — S не есть Р.
|
|
|
