Умозаключения основанные на свойствах логики высказываний

План

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

а) чисто условные умозаключения;

б) простая контрапозиция;

в) условно-категорические умозаключения.

Разделительные умозаключения

а) разделительно-категорические умозаключения;

б) функции разделительно-категорических умозаключений.

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

а) понятие и виды лемм;

б) классификация лемм по количеству условных посылок;

в) простые и сложные леммы;

г) конструктивные и деструктивные леммы.

Упражнения по теме практического занятия

1. Определите, являются ли приведенные умозаключения правильными, выразите вывод в символической форме, назовите модус и установите правильность вывода:

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

б) Потерпевшим является лицо, которому уголовным правонарушением причинен физический или моральный вред или имущественный ущерб. Имуществу потерпевшего был причинен ущерб. Следовательно, ему не был причинен физический или моральный вред.

в) Если преступление совершено гражданином Н., то он знает, где находятся похищенные деньги. Если преступление совершено гражданином Н., то его должны были видеть свидетели на месте преступления. Однако гражданин Н. не знает, где находятся похищенные деньги и его не видели свидетели на месте совершения преступления. Следовательно, гражданин Н. непричастен к совершению преступления.

г) Гласные произносятся четко и ясно лишь тогда, когда они находятся под ударением. Эти гласные не находятся под ударением. Следовательно, они не произносятся четко и ясно.

д) Всякое атрибутивное суждение является или общим, или частным, или единичным. Это суждение – единичное. Значит, оно не является ни общим, ни частным.

2. Осуществите обоснование модусов условно-категорического, разделительно-категорического умозаключений при помощи таблиц истинности.

3. Произведите обоснование форм дилеммы при помощи таблиц истинности.

4. Приведите примеры умозаключений, основанных на свойствах логики высказываний (по 5 примеров каждой разновидности).

5. Какие выводы будут правомерны при условных посылках:

а) Если человек не знает физику, то он не может решать инженерных задач.

б) Если растет уровень зарплат и пенсий, то это подогревает инфляцию.

в) Если страна проводит агрессивную внешнюю политику, то у нее мало доброжелателей в мире.

6. Сформулируйте условные высказывания, из которых следовали бы следующие выводы:

а) Один из углов данного треугольника равен 90º. Значит, данный треугольник прямой.

б) На данное тело не действует никакая сила. Значит, ускорение этого тела равно нулю.

в) Через проводник электрический ток не проходит. Значит, проводник не находится в электромагнитном поле.

7. По виду следующих схем определите, какие из них соответствуют правильным выводам:

а) ;

б) ;

в) ;

г) .

Список литературы по теме практического занятия

Основная литература

1. Бочаров, В.А. Введение в логику: учебник / В.А. Бочаров, В.И. Маркин. – М.: ИД «ФОРУМ»: ИНФРА-М, 2008. – С. 242–273.

2. Войшвилло, Е.К. Логика: учебник для студентов высших учебных заведений / Е.К. Войшвилло, М.Г. Дегтярев. – М.: ВЛАДОС-ПРЕСС, 2001. – С. 277–386.

3. Гетманова, А.Д. Учебник логики. Со сборником задач / А.Д. Гетманова. –
6-е изд., перераб. – М.: КНОРУС, 2006. – С. 131–155.

4. Попов, Ю.П. Логика: учебное пособие / Ю.П. Попов. – 3-е изд., перераб.
и доп. – М.: КНОРУС, 2009. – С. 102–128.

Дополнительная литература

5. Арно, А. Логика, или Искусство мыслить / А. Арно, П. Николь. – М.: Наука, 1991.

6. Афанасьева, О.В. Логика: учебное пособие / О.В. Афанасьева. – М.: Проспект, 2009. – С. 60–118.

7. Иванов, Е.А. Логика: учебник для студентов юридических вузов и факультетов / Е.А. Иванов. – Изд. 3-е, перераб. и доп. – М.: Волтерс Клувер, 2005. – С. 94–194.

8. Ивлев, Ю.В. Логика: учебник / Ю.В. Ивлев. – Изд. 3-е, перераб. и доп. – М.: ООО «ТК Велби», 2002. – С. 88–100.

9. Никифоров, А.Л. Логика: учебник / А.Л. Никифоров. – М.: Весь мир, 2001.

10. Светлов, В.А. Современная логика: учебное пособие. – СПб.: Питер, 2006. –
С. 82–159.

11. Формальная логика: учебник / отв. ред. И.Я. Чупахин, И.Н. Бродский. – Л.: ЛГУ, 1977. – С. 87–113.

12. Хаггард, Г. Дискретная математика для программистов: учебное пособие /
Г. Хаггард, Дж. Шлипф, С. Уайтсайдс; пер. с англ. – М.: БИНОМ. Лаборатория знаний, 2010.

13. Черняк, Н.А. Логика: учебное пособие / Н.А. Черняк. – Омск: Омск. гос. ун-т, 2004. – С. 25–62.

Монографии, статьи, словари, сборники задач

14. Ивин, А. А. Словарь по логике / А.А. Ивин, А.Л. Никифоров. – М.: Гуманит. изд. центр ВЛАДОС, 1997.

15. Коэн, М. Введение в логику и научный метод / М. Коэн, Э. Нагель; пер. с англ. П.С. Куслия. – Челябинск: Социум, 2010. – С. 124–149.

16. Мельников, В.Н. Логические задачи / В.Н. Мельников. – К.; Одесса:
Выща шк., 1989. – С. 292–333.

Метод аналитических таблиц

План

⇐ Предыдущая23242526272829303132Следующая ⇒

Поделиться:

Популярное:

1. Аксиоматическое исчисление высказываний
2. База правил нечеткой логики. Блок вывода. Нечеткий вывод на основе правила композиции.
3. Вопрос 16. Основы формальной логики, сформулированные Аристотелем.
4. Другие разделы неклассической логики
5. ЕН.02 ЭЛЕМЕНТЫ МАТЕМАТИЧЕКОЙ ЛОГИКИ
6. ЕН.02 ЭЛЕМЕНТЫ МАТЕМАТИЧЕСКОЙ ЛОГИКИ
7. Из истории неклассической логики
8. Интерпретация категорических высказываний
9. Какое из высказываний, приведённых ниже, содержит ответ на вопрос: «Почему старушка не хотела отдавать Лёньке доски, называя их «народной ценностью»?»
10. Классическая логика высказываний
11. Контрольная работа по разделу «Основы логики»
12. Метатеоретические свойства исчисления высказываний