План лекції

1. Аналітика міркувань.

2. Логіка висловлювань як числення.

3. Виводи логіки висловлювань у традиційній логіці.

4. Традиційна логіка як силогістика.

5. Виводи традиційної логіки в логіці предикатів.

Логіка предикатів як числення.

Рекомендована література

Гнатюк Я. С. Основи логіки / Я. С. Гнатюк. - Івано-Франків­ськ: Видавець І. Я. Третяк, 2009.

Гнатюк Я. С. Сучасна символічна логіка / Я. С. Гнатюк. - Іва­но-Франківськ: Симфонія форте, 2010.

Дуцяк І. З. Логіка / І. З. Дуцяк. - К.: Знання, 2010.

Ивлев Ю. В. Логика / Ю. В. Ивлев. - М.: Проспект, 2009.

Карамишева Н. В. Логіка (теоретична і прикладна) / Н. В. Ка­рамишева. - К.: Знання, 2011.

Конверський А. Є. Логіка (традиційна та сучасна) / А. Є. Кон- верський. - К.: ЦУЛ, 2004.

Кузина Е. Б. Логика в кратком изложении и упражнениях / Е. Б. Кузина. - М.: Изд-во МГУ, 2000.

Мозгова Н. Г. Логіка / Н. Г. Мозгова. - К.: Каравела, 2011.

Повторева С. М. Логіка / С. М. Повторєва. - Львів: Магнолія Плюс, 2006.

Символическая логика: Учебник / Под ред. Я. А. Слинина,

Э. Ф. Караваева, А. И. Мигунова. - СПб.: Изд-во СПбУ, 2005.

Хоменко І. В. Логіка / І. В. Хоменко. - К.: Абрис, 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.