Закон достаточного основания.

Требование доказанности, обоснованности мысли выражает закон достаточного основания: всякая мысль признается истинной, если она имеет достаточное основание. Если есть b, то есть и его основание а.

Достаточным основанием мыслей может быть личный опыт человека. Истинность некоторых суждений подтверждается путем их непосредственного сопоставления с фактами действительности. Так, для человека, явившегося свидетелем преступления, обоснованием истинности суждения «Н. совершил преступление» будет сам факт преступления, очевидцем которого он был. Но личный опыт ограничен. Поэтому человеку в своей деятельности приходится опираться на опыт других людей, например на показания очевидцев того или иного события. 3 Истинность законов, аксиом подтверждена практикой человечества и не нуждается поэтому в новом подтверждении. Для подтверждения какого-либо частного случая нет необходимости обосновывать его при помощи личного опыта. Если, например, нам известен закон Архимеда (каждое тело, погруженное в жидкость, теряет в своем весе столько, сколько весит вытесненная им жидкость), то нет никакого смысла погружать в жидкость какой-либо предмет, чтобы выяснить, сколько он теряет в весе. Закон Архимеда будет достаточным основанием для подтверждения любого частного случая.

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

Если из истинности суждения а следует истинность суждения b, то а будет основанием для b, а b – следствием этого основания.

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

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

 

36.Умозаключение как форма мышления. Виды умозаключений.

Умозаключение – это форма мышления, в которой из одного или нескольких суждений на основании определенных правил вывода получается новое суждение.

Структура всякого умозаключения подразумевает посылки (исходные суждения), заключения (выводы из этих посылок) и логическую связь между посылками и заключением. Из этого можно сделать следующий вывод, что в посылках и умозаключении речь должна идти об одной и той же предметной области. Логический переход от посылок к заключению называется выводом. Все металлы проводят электрический ток. Железо – металл.

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

Умозаключение есть извлечение новой истины из ранее признанных и известных истин.

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

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

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

Непосредственными умозаключениями называются дедуктивные умозаключения, делаемые из одних посылок. К ним относятся следующие: превращение, обращение, противопоставление предикату и умозаключения по «логическому квадрату».

Превращение – вид непосредственного умозаключения, при котором изменяется качество посылки без изменения ее количества, при этом предикат заключения является отрицанием предиката посылки. Схема превращения: S есть Р; S не есть не-Р.

Обращением называется такое непосредственное умозаключение, в котором в заключении субъектом является предикат, а предикатом – субъект исходного суждения, т. е. происходит перемена мест субъекта и предиката при сохранении качества суждения. Схема обращения: S есть Р; Р есть S.

Противопоставление предикату – это непосредственное умозаключение, при котором предикатом является субъект, субъектом – понятие, противоречащее предикату исходного суждения, и связка меняется на противоположную. Его схема: S есть Р; не-Р не есть S.

Умозаключение по «логическому квадрату» – это определение истинности или ложности одного суждения из истинности или ложности другого.

Умозаключение – это форма мышления, посредством которой из одного или нескольких суждений выводится новое суждение. Например: “Все космонавты – мужественные люди”. Это означает: “Некоторые мужественные люди – космонавты”. Любое умозаключение состоит из посылок, заключения и вывода. Посылками умозаключения называются исходные суждения, из которых выводится новое суждение. Заключением называется новое суждение, полученное логическим путем из посылок. Логический переход от посылок к заключению называется выводом. Например: “Судья не может участвовать в рассмотрении дела, если он является потерпевшим (1). Судья Н. – потерпевший (2). Значит, он не может участвовать в рассмотрении дела (3)”. В этом умозаключении 1-е и 2-е суждения являются посылками, 3-е суждение – заключением. Поскольку всякое умозаключение вообще, безотносительно к его формам, представляет собой логическое следование одних знаний из других, то в зависимости от характера логического следования, от направленности хода мысли в умозаключении можно выделить три коренных, фундаментальных типа, которые и будут положены в основу всего последующего анализа выводного знания. Это дедукция, индукция и традукция. Дедукция– это умозаключение от более общего знания к менее общему. Типичный пример дедукции, идущий от древности: Все люди смертны. Сократ – человек. Следовательно, Сократ смертен. Индукция – умозаключение от менее общего знания к более общему. Например: наблюдая за движением каждой из планет Солнечной системы, можно сделать общий вывод: “Все планеты движутся с Запада на Восток”. Традукция – умозаключение, в котором посылки и заключение – одной и той же степени общности (умозаключение по аналогии). Пример: “На Земле, где есть атмосфера, смена дня и ночи, времен года, есть также и жизнь. На Марсе, подобно Земле, есть атмосфера, смена дня и ночи, смена времен года. Возможно, что на Марсе тоже есть жизнь”

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