22) Отношения между сложными суждениями. Понятие логического следования.

Сложные суждения как и простые могут быть сравнимыми и несравнимыми. Несравнимые не имеют общих простых суждений, сравнимые имеют общие простые суждения и различаются логическими связками, включая отрицание. «Норвегия или Швеция имеет выход в Балтийское море», «Ни Норвегия, ни Швеция не имеют выхода в Балтийское море» (сравнимые).

Среди сравнимых различают совместимые и несовместимые суждения. Различают три вида совместимости:

• Эквивалентность (полная совместимость)

• Субконтрарность (частичная совместимость)

• Подчинение.

1. Эквивалентные – суждения, которые одновременно являются либо истинными, либо ложными.

2. Частичная совместимость характерна для суждений, которые могут быть одновременно истинными, но не могут быть одновременно ложными

3. Подчинение имеет место в том случае, когда при истинности подчиняющего подчинённое всегда будет истинным. Отношение логического подчинения, позволяющее по истинности подчиняющего суждения определить истинность подчинённого, составляет основу понятия логического следования.

Среди несовместимых выделяют

• Противоположность

• Противоречие (всё так же как в простых суждениях, см. вопрос 19)

23) Основные законы логики

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

• Закон тождества

• Закон непротиворечия

• Закон исключённого третьего

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

Закон тождества: всякая мысль в процессе рассуждения должна быть тождественна самой себе. A есть A, а=а, где под а понимается любая мысль. Символическая запись p→p. Следствия: нельзя отождествлять различные мысли, нельзя тождественные мысли принимать за нетождественные.

Закон непротиворечия: два несовместимых суждения не могут быть одновременно истинными; по крайней мере, одно из них ложно. ˥(p˄˥p) (неверно, что p и не p одновременно истинны)

Закон исключения третьего: два противоречащих суждения не могут быть одновременно ложными, одно из них необходимо истинно. p˅˥p

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

24) Рассуждение и его структура. Характеристика умозаключения и его виды.

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

Пример: Судья не может участвовать в рассмотрении дела, если он является потерпевшим.

Судья Н. — потерпевший

Судья Н. не может участвовать в рассмотрении дела.

Умозаключения делятся на следующие виды:

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

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

3. В зависимости от количества посылок дедуктивные выводы делятся на непосредственные (заключение выводится из одной посылки) и опосредованные (заключение выводится из двух посылок)