- •Понятие о логической форме мысли и логическом законе. Предмет логики.
- •Основные этапы развития логики. Значение логики для юристов.
- •Язык как знаковая система. Специфика языка права.
- •4. Учение логики об именах.
- •5. Основные семантические категории выражений языка.
- •6. Суждение. Простые суждения: атрибутивные и суждения об отношениях.
- •7. Сложные суждения.
- •Отрицательное суждение позволяет из конкресного высказывания образовывать противоречащее ему высказывание.
- •8. Отношения между суждениями.
- •9. Отрицание суждений.
- •10. Логическая и прагматическая характеристика вопросов и ответов.
- •11. Аргументация и логическое доказательство (доказывание). Состав, виды.
- •12. Критика и опровержение. Состав и виды.
- •13. Основные стратегии аргументации и критики.
- •14. Тактические приемы аргументации и критики.
- •15. Правила аргументации и критики по отношению к тезису. Ошибки и уловки.
- •16. Правила аргументации и критики по отношению к аргументам. Ошибки и уловки.
- •17. Условно-категорические и разделительно-категорические умозаключения. Дилемма.
- •18. Язык логики высказываний. Табличные определения логических терминов.
- •19. Способ построения таблиц истинности для формул логики высказываний.
- •20. Метод исследования рассуждений посредством таблично построенной логики высказываний.
- •21. Способ установления отношений между суждениями посредством таблично построенной логики высказываний.
- •22. Выводы из категорических суждений: умозаключения по логическому квадрату, обращение и превращение.
- •23. Выводы из категорических суждений: противопоставление предикату и противопоставление субъекту.
- •24. Категорический силлогизм. Состав, общие правила силлогизма.
- •25. Категорический силлогизм. Фигуры. Графический способ анализа. Энтимема силлогизма.
- •27. Методы установления причинных связей между явлениями.
- •28. Умозаключение по аналогии.
- •29. Понятие. Объем понятия. Содержание понятия. Закон обратного отношения.
- •30. Виды понятий.
- •По содержанию:
- •По объему:
- •31. Отношения между понятиями по содержаниям и объемам. Обобщение и ограничение понятий.
- •33. Деление: таксономическое и мереологическое. Правила деления. Ошибки.
- •34. Проблема и теория.
- •35. Гипотеза и следственная версия.
20. Метод исследования рассуждений посредством таблично построенной логики высказываний.
Логика высказываний, построенная табличным способом, дает эффективную процедуру для выявления законов логики, а также метод проверки правильности рассуждении. Рассуждение считается правильным, если между его посылками и заключением имеет место отношение логического следования. Определяем последнее: из посылок Г следует заключение В, если импликация, имеющая антецедентом конъюнкцию формул, соответствующих посылкам, а консеквентом — формулу, соответствующую заключению, является тождественно-истинной.
Пусть дано рассуждение: “Если Иванов является участником этого преступления, то он знал потерпевшего. Иванов не знал потерпевшего, но знал его жену. Потерпевший знал Иванова. Следовательно, Иванов является участником этого преступления”.
Для определения правильности рассуждения требуется:
во-первых, обозначить различными символами различные простые высказывания, входящие в рассуждение. В приведенном рассуждении встречаются следующие простые высказывания: “Иванов является участником этого преступления”, “Иванов знал потерпевшего”, “Иванов знал жену потерпевшего”. “Потерпевший знал Иванова”. Обозначим их соответственно символами p,q, r, s;
во-вторых, перевести на язык логики высказываний посылки и заключение. Переводом посылок являются формулы р q, q r, s, а переводом заключения — формула р (союз “но” соответствует в данном случае союзу “и”);
в-третьих, формулы, являющиеся переводом посылок, последовательно соединить знаком конъюнкции.
Получаем формулу:
((p q) ( q r )) s;
в-четвертых, к полученной формуле присоединить справа знаком импликации формулу, являющуюся
переводом заключения.
Получаем формулу: ((р q) ( q r)) s р;
в-пятых, для полученной формулы построить таблицу истинности.
Если формула, являющаяся переводом рассуждения на язык символов, оказывается тождественно-истинной, то можно сделать вывод о том, что рассуждение правильное, если тождественно-ложной, то рассуждение неправильное. Может оказаться, что формула является выполнимой, но не тождественно-истинной. В том случае нет оснований считать рассуждение правильным. Необходимо продолжить анализ рассуждения, но уже средствами более богатого раздела логики — средствами логики предикатов.
Вернемся к рассматриваемому рассуждению.
Построим таблицу истинности для формулы, являющейся переводом этого рассуждения на язык символов:
((р q) ( q r)) s р
и и и л л и л и л и и и
и и и л л и л и л л и и
и и и л л и л л л и и и
и и и л л и л л л л и и
и л л л и л и и л и и и
и л л л и л и и л л и и
и л л л и л л л л и и и
и л л л и л л л л л и и
л и и л л и л и л и и л
л и и л л и л и л л и л
л и и л л и л л л и и л
л и и л л и л л л л и л
л и л и и л и и и и л л
л и л и и л и и л л и л
л и л л и л л л л и и л
л и л л и л л л л л и л .
Формула является выполнимой, но не общезначимой. Следовательно, нет оснований считать рассматриваемое рассуждение правильным.