Закон достаточного основания. Всякое свойство предмета, отличающее этот предмет от всех других предметов, существует в данном предмете не само по себе

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

Требования доказанности, обоснованности мысли выражает закон достаточного основания, который формулируется следующим образом: всякая мысль признаётся истинной, если она имеет достаточное основание. Формула закона: «Если есть В, то есть и его основание А»

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

Логическое основание надо отличать от реального основания и от причинно- следственной связи.

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

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

Лекция 5. УМОЗАКЛЮЧЕНИЕ

§1 Понятие умозаключения и его виды

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

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

Посылками умозаключения называются исходные известные суждения, из которых выводится новое суждение. Заключением называется новое суждение, полученное логическим путем из посылок. Логический переход от посылок к заключению называется выводом.

Например:

Все металлы – электропроводны

Медь – металл

Медь – электропроводна

В этом умозаключении 1^е и 2^е суждения являются посылками, 3^е суждение – заключением.

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

§ 2. Дедуктивные умозаключения. Выводы из простых суждений

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

В зависимости от количества посылок дедуктивные выводы из категорических суждений делятся на непосредственные и опосредствованные.