Семінар

План семінарського заняття

1. Онтологічні підстави теорії висловлювань і суджень су­часної та традиційної логіки.

2. Аналітика складних описових висловлювань засобами логіки висловлювань та їх виклад як складних предикативних суджень традиційної логіки.

3. Аналітика простих предикативних суджень засобами традиційної логіки.

4. Переклад простих предикативних суджень з мови тради­ційної логіки на мову логіки предикатів.

5. Табличні методи в логіці висловлювань і логіці предикатів.

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

Антонова О. А. Табличные методы в логике / О. А. Антонова. - СПб.: Изд-во СПбУ, 2003.

Горский Д. П. Краткий словарь по логике / Д. П. Горский, А. А. Ивин, А. Л. Никифоров. - М.: Просвещение, 1991.

Ивин А. А. Словарь по логике / А. А. Ивин, А. Л. Никифоров. - М.: ВЛАДОС, 1997.

Логіка: словник-довідник / авт.-уклад. М. Г. Тофтул. - К.: ВЦ Академія, 2012.

Повторева С. М. Словник з логіки / С. М. Повторева. - Львів: Магнолія-2006, 2009.

Цалін С. Д. Логічний словник-довідник / С. Д. Цалін. - Харків: Факт, 2006.