Литература

1. Асмус В.Ф. Логика: Учебник. Изд. 2-е, стереотипное. М.: Едиторал УРСС, 2001

2. Абачиев С.К. Формальная логика с элементами теории познания. Ростов н/Д.: Феникс, 2012.

3. Афанасьева О.В. Логика: учеб. пособие. М.: Проспект, 2009.

4. Бочаров В.А., Маркин В.И. Основы логики: Учебник. М.: ИНФРА-М, 2002.

5. Вышивайло Е.К., Дегтярев М.Г. Логика: учеб. для вузов. М.: ВЛАДОС, 2010.

6. Гетманова А.Д. Логика для юристов. Со сборником задач: учебное пособие/А.Д. Гетманова . М.: КНОРУС, 2012.

7. Горбатов В.В. Логика. М.: МЭСИ,2008.

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

9. Ивин А.А. Логика. М.: Знание, 1997.

10. Ивин А.А. Логика и теория аргументации: элементарный курс: учеб. пособие М.: Гаардарики,2007.

11. Ивлев Ю.В. Логика для юристов. М.: Дело, 2005.

12. Ивлев Ю.В. Логика. Сборник упражнений. М.: Кн. дом «Университет», 1998.

13. Ивлева М.И. Логика: учеб. пособие / М.И. Ивлева. 2-е изд. перераб. и доп. М.: Маркет ДС, 2008.

14. Кириллов В.И., Орлов Г.А., Фокина Н.И. Упражнения по логике: учеб. пособие / под ред. В.И. Кириллова. 6-е изд., перераб. и доп. М.: Проспект, 2011.

15. Кириллов В.И., Старченко А.А. Логика. Учебник. М.: Проспект,2011.

16. Клини С.К. Математическая логика. М,1973.

17. Кобзарь В.И. Логика в вопросах и ответах: учеб. пособие / В.И. Кобзарь. М.: Проспект, 2010.

18. Курбатов В.И. Логика для юристов: Учебное пособие. М.: Изд-во «Дашков и К*», 2007.

19. Светлов Е.А. Современная логика: Учебное пособие. СПб,: Питер, 2006.

20. Фатиев Н.И. Логика: учебное пособие. 3-е изд. испр. и доп. СПб.: Изд-во СПбГУП, 2006.

21. Хоменко И.В. Логика: Конспект лекций / И.В. Хоменко. М.: Издательство Юрайт, 2010.

22. Ярощук Н.З. Логика: учебник для социологических факультетов и гуманитарных специальностей/Н.З. Ярощук М.: Волтерс Клувер, 2011.

Программное обеспечение и интернет - ресурсы

1. http://www.logic.ru/Russian/: ЛОГИКА РОССИИ

2 .http://www.logic.ru/Russian/LogStud/index.html: Электронный журнал «Логические исследования».

3. http://www.iph.ras.ru:8100/~logic/index.html: Сектор логики Института Философии РАН)

4. http://logic.radio-msu.net/Russian/depart/: Кафедра логики философского факультета МГУ им М.В. Ломоносова.

5. http://markov.math.msu.ru/rus/logic.htm: Кафедра мат. логики и теории алгорифмов (мехмат МГУ).

6. http://logic.pdmi.ras.ru/: Лаборатория логики Математического Института им. Стеклова, СПб.

7. http://www.math.nsc.ru/LBRT/logic/l1win.html: Лаборатория математической логики Математического Института им. Соболева, Новосибирск

8. http://www.csa.ru/diclirus/: Логика в России в XX веке (о тех, кто ею занимается).

9. http://www.rbjones.com/rbjpub/: Фактазия – энциклопедия по логике, эпистемологии, философии науки (на англ.яз.)

10.http://world.logic.at/: «Математическая логика по всему миру» – журналы и препринты по логике, логические группы, организации и т.п. (на англ.яз.)

11.http://ntl.narod.ru/logic/index.html: Логика для всех.

12.http://psi-logic.shadanakar.org/index.htmlПсихологика (сайт Мирослава Войнаровского). Выложены оригинальные учебники по алгебре логики, исчислению высказываний и др. – всё с точки зрения программиста)

13.http://logic.philos.msu.ru/texts/markin.pdf – В.И. Маркин «Логика предикатов», статья из «Новой философской энциклопедии» (в формате PDF).

14.http://ntl.narod.ru/logic/course/index.html: Учебные материалы по курсу логики (определения, задачи, примеры и т.д.).

15.http://www.lewiscarroll.org/carroll.html: Сайт, посвященный Льюису Кэрроллу.

16.http://ntl.narod.ru/logic/smullyan/name/index.html: Книги Р. Смаллиана (логические головоломки и парадоксы).

17.http://www.mccme.ru/mmmf-lectures/books/books/books.php?book=20Брошюра И.В. Ященко «Парадоксы теории множеств» из серии «Математическое просвещение».

18.http://golovolomka.hobby.ru/: Головоломки для умных людей.

19.http://golovolomka.narod.ru/Энциклопедия головоломок.

20.http://www.geocities.com/TimesSquare/Maze/8561/truefals.htm: Логические головоломки.

21.http://www.caravan.ru/~stepler/: Логические задачи и головоломки.

22.http://forum.academ.org/index.php?showtopic=108181Форум Новосибирского Академгородка «Логические парадоксы»

23.http://absolute.times.lv/psm/Парадоксы, софизмы и прочее.

1 Существует очень простой метод. Колонку под первой переменной делим пополам – одну половину пишем 1, другую половину – 0; для каждой следующей переменной чередование 1 и 0 в столбцах учащается в два раза.

2 Заметим, что в данной таблице нет правил, касающихся эквиваленции и строгой дизъюнкции. В практике рассуждения подобные связки встречаются реже остальных, а правила для них довольно громоздки. Поэтому будем рассматривать их как конъюнкции более простых, импликативных формул.

3Ивлева М.И. Логика: учеб. пособие. М.: Маркет ДС, 2008.С.153.

4Там же. С.160.

5Там же. С.162.

6Там же. С.163.

7Ивлева М.И. Логика: учеб. пособие. С.172.

8Там же. С.177.