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

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

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

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

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

4. Войшвилло, Е.К. Понятие как форма мышления: логико-гносеологический анализ. – Изд. 2-е. – М. : ЛКИ, 2007.

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

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

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

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

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

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

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

11. Светлов, В.А. Современная логика : учебное пособие / В.А. Светлов. – СПб. : Питер, 2006. – С. 37–113.

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

13. Черняк, Н.А. Логика : учебное пособие / Н.А. Черняк. – Омск : ОмГУ, 2004. – С. 11–24.

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

14. Горский, Д.П. Определение : монография / Д.П. Горский. – М. : Просвещение, 1974.

15. Зиновьев, А.А. Очерки комплексной логики / А.А. Зиновьев ; под ред. Е.А. Сидоренко. – М. : Эдиториал УРСС, 2000. – С. 307–330.

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

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

18. Попа, К. Теория определения. – М., 1972.

19. Френкель, А.А. Основания теории множеств / А.А. Френкель, И. Бар-Хилел ; под ред. и со вступ. ст. А.С. Есенина-Вольпина ; пер. с англ. – Изд. 3-е. – М. : Книжный дом «ЛИБРОКОМ», 2010.

20. Хаусдорф, Ф. Теория множеств / Ф. Хаусдорф ; под ред., с предисл. и доп. П.С. Александрова, А.Н. Колмогорова ; пер. с нем. – Изд. 5-е. – М. : ЛКИ, 2010.

5 Классическая логика высказываний

План

1. Язык классической логики высказываний (ЯКЛВ):

а) алфавит ЯКЛВ;

б) формулы ЯКЛВ.

2. Таблицы истинности. Виды формул:

а) интерпретация пропозициональных переменных;

б) табличные определения пропозициональных связок;

в) алгоритм построения таблиц истинности;

г) виды формул.

3. Логические отношения между формулами:

а) фундаментальные логические отношения: совместимость по истинности, совместимость по ложности, логическое следование;

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

4. Законы логики и принципы правильного мышления:

а) принципы «правильного мышления», сформулированные в традиционной логике;

б) тождественно-истинные (общезначимые) формулы как законы логики;

в) схемы наиболее общих законов логики;

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

5. Метод эквивалентных преобразований.