Логика и теория аргументации. Скачков А.С. - 68 стр.

   привлекает насекомых. Всё, привлекающее насекомых, служит им пищей. Ро-
   сянка привлекает насекомых. Следовательно, росянка служит насекомым пи-
   щей.

   X. Превратите полисиллогизм из задания IX в две разновидности сорита.

   XI. Образуйте из полисиллогизма, приведённого в задании IX, эпихейрему.

                    Список рекомендуемой литературы

   1. Брюшинкин В. Н. Практический курс логики для гуманитариев. — М.: Но-
   вая школа, 1996. — 320 с.
   2. Бочаров В. А. Аристотель и традиционная логика: Анализ силлогистических
   теорий. — М.: Изд-во МГУ, 1984. — 136 с.
   3. Войшвилло Е. К., Дегтярев М. Г. Логика: Учеб. для вузов. — М.: Гуманит.
   изд. центр ВЛАДОС, 1998. — 528 с.
   4. Гетманова А. Д. Логика. — М.: Новая школа, 1995. — 416 с.
   5. Ивлев Ю. В. Логика: Учеб. для высших учебных заведений. — М.: Изд. кор-
   порация «Логос», 1998. — 272 с.
   6. Лукасевич Я. Аристотелевская силлогистика с точки зрения современной
   формальной логики. — М.: Изд-во иностр. лит., 1959. — 311 с.
   7. Серебрянников О. Ф., Бродский И. Н. Дедуктивные умозаключения. — Л.:
   Изд-во ЛГУ, 1969. — 100 с.
   8. Субботин А. Л. Теория силлогистики в современной формальной логике. —
   М.: Наука, 1965. — 124 с.

                                Ч А С Т Ь III

                       ЛОГИКА ВЫСКАЗЫВАНИЙ
                           И ПРЕДИКАТОВ

                                  Введение

    В данном разделе рассматриваются основные содержательные теории матема-
тической логики: классическая логика высказываний и классическая логика пре-
дикатов, аппарат которых был частично затронут (в большей степени в связи с
анализом логических форм и прежде всего — дедуктивных умозаключений) в
предыдущих разделах. Подобного рода теории требуют сугубо символического
описания, поэтому их изучение необходимо начинать с освоения алфавита и язы-
ка, наиболее простой вариант которых представлен в классической логике выска-
зываний.
    И классическая логика высказываний и классическая логика предикатов, ис-
пользующие специфические алфавиты и языки, требуют прежде всего выработки
умения осуществлять правильные записи высказывательных форм естественного
языка (строить формулы высказываний и термы имён). Такие записи позволяют
                                     68