17. Условно-категорические и разделительно-категорические умозаключения. Дилемма.

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

Любое умозаключение состоит из посылок, заключения и вывода. Исходные суждения называются посылками умозаключения. Из них выводится новое знание в виде суждения. Новое суждение, полученное логическим путём из посылок к заключению называется выводом.

Дедуктиные умозаключения, основанные на связях между суждениями, или умозаключения логики суждений:

• условные умозаключения (чисто условные, условно категорически)

• разделительные (разделительно-категорические, условно-разделительные)

Условно-категорическое умозаключение (как и чисто условное) позволяет определить:

• «поле» причин при построении рассуждения отрицания следствия к отрицанию основания

• «поле» следствий при построении рассуждения от утверждения основания к утверждению следствия

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

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

Если «а», то «в» Например: Если гражданин совершает правонарушение, то он может быть

«а» привлечён к юридической ответственности

______________ к юридической ответственности.

«в»

Условно-категорическое умозаключение имеет только два правильных модуса или вида:

• Модус утверждающий

• Модус отрицающий

В разделительном умозаключении выделяют:

• разделительно-категорические

• условно-разделительные умозаключения

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

18. Язык логики высказываний. Табличные определения логических терминов.

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

Как и в естественных языках, в этом языке есть алфавит, а также сложные выражения.

Алфавит языка логики высказываний составляют следующие символы:

• а) р, q, r, s, p₁ , ... — пропозициональные переменные (символы для (повествовательных) предложений, выражающих суждения), при исследовании рассуждении этими символами заменяются целые предложения;

• б) ¬, , , ,  — логические термины, соответственно читаются “неверно, что” (“не”), “и”, “или”, “если..., то...”, “если и только если, то...” и называются знаком отрицания, конъюнкции, дизъюнкции, импликации и эквивалентности;

• в) (,) — скобки.

Выражения языка логики высказываний называются формулами. Среди формул выделяют правильно построенные (ППФ).

Определение правильно построенной формулы:

• а) пропозициональный символ является ППФ;

• б) если А и В — ППФ, то ¬ А, (В  С), (В  С), (А  В), (А  B) — ППФ;

• в) ничто иное не является ППФ.

Примеры формул: ((р  q) ¬ r ); ¬ r; (¬p  q).

Формулы (ППФ) языка логики высказываний соответствуют предложениям естественного языка, выражающим суждения.