План лекції
1. Основи теорії висловлювань і суджень.
2. Вивчення висловлювань засобами логіки висловлювань та їх виклад мовою традиційної логіки.
3. Дослідження суджень засобами традиційної логіки.
4. Тлумачення суджень мовою логіки предикатів.
5. Табличні методи у сучасній логіці.
Рекомендована література
Гнатюк Я. С. Основи логіки / Я. С. Гнатюк. - Івано-Франківськ: Видавець І. Я. Третяк, 2009.
Гнатюк Я. С. Сучасна символічна логіка / Я. С. Гнатюк. - Івано-Франківськ: Симфонія форте, 2010.
Дуцяк І. З. Логіка / І. З. Дуцяк. - К.: Знання, 2010.
Ивлев Ю. В. Логика / Ю. В. Ивлев. - М.: Проспект, 2009.
Ішмуратов А. Т. Вступ до філософської логіки / А. Т. Ішмура- тов. - К.: Абрис, 1997.
Карамишева Н. В. Логіка (теоретична і прикладна) / Н. В. Ка- рамишева. - К.: Знання, 2011.
Конверський А. Є. Логіка (традиційна та сучасна) / А. Є. Кон- верський. - К.: ЦУЛ, 2004.
Кохан Я. Символічна логіка: повернення до витоків. Функціональний погляд на світ / Я. Кохан // Практична філософія. - 2006. - №1.
Кузина Е. Б. Логика в кратком изложении и упражнениях / Е. Б. Кузина. - М.: Изд-во МГУ, 2000.
Мозгова Н. Г. Логіка / Н. Г. Мозгова. - К.: Каравела, 2011.
Ненашев М. И. Введение в логику / М. И. Ненашев. - М.: Гар- дарики, 2004.
Повторєва С. М. Логіка / С. М. Повторєва. - Львів: Магнолія Плюс, 2006.
Светлов В. А. Логика / В. А. Светлов. - СПб.: Питер, 2008.
Символическая логика: Учебник / Под ред. Я. А. Слинина,
Э. Ф. Караваева, А. И. Мигунова. - СПб.: Изд-во СПбУ, 2005.
Тофтул М. Г. Логіка / М. Г. Тофтул. - К.: Академія, 2006.
Уёмов А. И. Основы практической логики с задачами и упражнениями / А. И. Уёмов. - Одесса: ОГУ, 1997.
Фреге Г. Логика и логическая семантика: Сборник трудов / Г. Фреге. - М.: Аспект Пресс, 2000.
Хоменко І. В. Логіка / І. В. Хоменко. - К.: Абрис, 2004.
Nieznanski E. Logika. Podstawy - j^zyk - Uzasadnianie / E. Nieznanski. - Warszawa: Wydawnictwo C. H. Beck, 2006.
Zoglauer T. Einfrung in die formale Logik fur philosophen / T. Zoglauer. - Gottingen: Vandenhoeck & Ruprecht, 2008.
Виклад лекції
1.