Основные формально - логические законы.

Основные логические законы.

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

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

2) Закон противоречия. Сформулирован Аристотелем. Если одно суждение что-то утверждает, а другое тоже самое отрицает об одном и том же объекте в одно и, тоже время и в одном и том же отношении то они не могут быть одновременно истинными >(a^>a) неверно, что А и не А

ПРОТИВОРЕЧИЯ:
а) контактные (одно и тоже утверждается и сразу же утверждается и сразу же отрицается)
б) дискантные (когда между противоречащими друг другу суждениями находится значительный интервал в речи или в тексте)

ПРОТИВОРЕЧИЯ:
а) явные (одна мысль непосредственно противоречит другой)
б) неявные (противоречие вытекает из контекста, оно не сформулировано, но подразумевается).
4 вида противоречии:

контактные-явные

контактные-неявные

дискантные-явные
дискантные-неявные

20 октября 2010 года. (7 лекция)

3) Закон исключённого третьего. Основывается на разнице между противоположными и противоречащими суждениями. Противоположные суждения предполагают третий, средний, промежуточный вариант. Противоречащие суждения не допускают промежуточного варианта.
Н: Серёжа высокий / Серёжа не высокий.
В силу наличия третьего варианта противоположные суждения могут быть одновременно ложными.
Н: Сократ высокий / Сократ низкий (суждения ложны)
Н: Сократ среднего роста (суждение истинно)
Противоречащие суждения не могут быть одновременно ложными, противоположные и противоречащие суждения не могут быть одновременно истинными. Закон противоречия запрещает одновременную истинность двух суждении, но не запрещает их одновременную ложность, а противоречащие суждения не могут быть одновременно ложными. Для противоречащих суждений существует закон исключённого третьего, который говорит о том, что два противоречащих суждения об одном и том же предмете, в одно и тоже время, и в одном и том же отношении не могут быть одновременно истинными и не могут быть одновременно ложными (истинность одного из них, обязательно означает ложность другого, наоборот).

4) Закон достаточного основания. Закон утверждает что любая мысль (тезис) для того чтобы иметь силу обязательно должна быть доказана, обоснована какими-либо аргументами, основаниями, причём эти аргументы должны быть достаточными для доказательства исходной мысли, т.е. она должна вытекать из них с необходимостью. На законе достаточного основания базируется важный юридический принцип презумпции невиновности, который предписывает считать человека невиновным, пока его вина не будет достоверно доказана какими-либо фактами. Закон достаточного основания один из главных принципов науки. Наука выработала два критерия, по которым можно отличить научные знания от псевдонаучного:
а) принцип верификации, который предписывает только то знание расценивать как научное, которое можно подтвердить (так или иначе, прямо или косвенно, раньше или позже)

б) принцип фальсификации, в силу которого только то знание возможно считать научным, которые можно (так или иначе, прямо или косвенно, раньше или позже) опровергнуть.

 

17. Определение умозаключения. Части: предпосылки и вывод.

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

Все углерода горючи. Алмаз — углерод.

Алмаз горюч.

Структура всякого умозаключения включает посылки, заклю­чение и логическую связь между посылками и заключением. Логический переход от посылок к заключению называется выво­дом. В приведенном примере два первых суждения, стоящих над чертой, являются посылками; суждение: «Алмаз горюч» является заключением. Для того чтобы проверить истинность заключения «Алмаз горюч», вовсе не нужно обращаться к непосредственному опыту, т. е. сжигать алмаз. Заключение о горючести алмаза с полной достоверностью можно получить с помощью умозак­лючения, опираясь на истинность посылок и соблюдение правил вывода.

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

Процесс получения заключений из посылок по правилам деду­ктивных умозаключений называется выведением следствий.

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

Структура умозаключения:

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

б) заключение (суждение, выводимое из посылок)

в) связка (союз, демонстрирующий смысловое отношение между посылками и заключением, правомерность перехода от посылок к заключению)

Н: все люди, долго жившие в Англии, владеют разговорным английским языком (первая посылка)
Иванов долго жил в Англии
Иванов владеет, разговорным английским языком
Связка может выражаться словами: поэтому, вследствие этого, значит, другие.

Классификация умозаключении:

УМОЗАКЛЮЧЕНИЯ:
а) дедуктивные (умозаключения в которых посылки по степени общности превосходят заключение, и, следовательно, мысль движется от общего к частному)
б) индуктивные (умозаключения, в которых заключение представляет собой суждение в большей степени общности, чем посылки, следовательно, мысль движется от частного к общему).

УМОЗАКЛЮЧЕНИЯ:
а) демонстративные (доказательные). Выводы, в которых заключение с необходимостью следует из посылок. Эта необходимая зависимость называется логическим следованием и проявляется в несовместимости истинных посылок с ложным заключением.
Н: если Белов редактор, то он знаком с системой корректурных знаков
Белов редактор
Белов знаком с системой корректурных знаков.
б) вероятностные. Связь посылок с заключение является ослабленной. Истинные посылки совместимы не только с истинным, но и с ложным заключением, поэтому заключение характеризуется как суждение, обладающее определённой степенью вероятности.
Н: если Белов редактор, то он знаком с системой корректурных знаков
Белов знаком с системой корректурных знаков
Вероятно Белов редактор.

 

 

18. Виды непосредственных умозаключений: по “логическому квадрату”, превращения, обращения, противопоставления предикату, по модальности.