22.Эквивалентное суждение (двойная импликация) его строение и условие истинности.

Эквивалентные суждения – взаимная обусловленность событий при помощи союза «если и только если… то… »

Схема: «pq»

Истинность:

p	q	pq
И	И	И
И	Л	Л
Л	И	Л
Л	Л	И

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

Закон тождества, его роль в процессе рассуждения.

Закон тождества: всякая мысль в процессе рассуждения должна быть тождественна самой себе. (т.е. предмет мысли рассматривается в одном и том же содержании своих признаков на всём протяжении рассуждении или доказательства)

Формулы:

р есть р – «р равно р»

р - «если р, то р»

р р – «р эквивалентно р»

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

При невыполнении требования определённости мышления образуется путаница, неясность, происходит логическая ошибка (подмена понятий - подмена предмета мышления)

4.Закон непротиворечия, его роль в процессе рассуждения.

Непротиворечия: высказывание и его отрицание не могут быть одновременно истинными; по крайней мере одно из них необходимо ложно (т.е. не должно быть противоречивых мыслей о предмете в данное время в данном отношении)

Формулы:

«неверно, что р и не-р» или (рр)

Требование: непротиворечивость мышления.

Сознательное использование закона непротиворечия помогает обнаружить и устранить противоречия в своих и чужих рассуждениях.

5.Закон исключённого третьего, его роль в процессе рассуждения.

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

Формула: (pp) – «или р или не-р»

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

(Противоречащими – суждения, где сначала утверждается признак предмета, а затем отрицается этот же признак)

Закон достаточного основания, его роль в процессе рассуждения.

Закон достаточного основания – всякая истинная мысль должна быть обоснована другими мыслями, истинность которых доказана.

Формула: «если есть q, то и есть его основание p»

Мысли, приводящиеся для обоснования других мыслей – лог. Основание.

Мысль, вытекающая из других суждений – лог. Следствие

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

24. Дедуктивные умозаключения

Дедуктивные умозаключения — это умозаключения, в которых из общего правила выводится частный случай

Например:

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

Несомненное достоинство дедукции, конечно же, заключается в достоверности ее выводов.