Заключение

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

В пособии не затрагиваются проблемы, связанные с логикой вопросов и ответов, с многозначными логиками, с модальными логиками; эти проблемы могут быть изучены по источникам, перечисленным в списке рекомендованной литературы, или требуют обращения к литературе, выходящей за пределы этого списка.

^ Первое и второе издания см.: Мануйлов В.Т., Мороз В.В. Логика: Учебно-методическое пособие. Часть первая. – Изд. 2-е, перераб. и доп. – Курск: Изд-во Курск. гос. ун-та, 2004. – 124 с..; Мануйлов В.Т., Мороз В.В. Логика: Учебно-методическое пособие. Часть вторая. – Изд. 2-е, перераб. и доп. – Курск: Изд-во Курск. гос. ун-та, 2004. – 112 с.; Мануйлов В.Т., Мороз В.В. Логика: Учебно-методическое пособие. Часть первая. – Курск: Изд-во КГПУ, 2000. – 82 с.; Мануйлов В.Т., Мороз В.В. Логика: Учебно-методическое пособие. Часть вторая. – Курск: Изд-во КГПУ, 2000. – 95 с.

*^* Цифра в квадратных скобках указывает номер источника в списке основной литературы, помещенном на странице 111 части второй настоящего издания. Обозначение [Доп. лит-ра, №] указывает номер источника в списке дополнительной литературы, также помещенном на странице 111 части второй настоящего издания.

*^* В данном пособии авторы используют с небольшими вариациями терминологию и теоретические концепции, изложенные в учебном пособии Е.Д. Смирновой [Доп. лит-ра, 13], в спецкурсе по логической семантике Е.Д. Смирновой на философском факультете МГУ им. М.В. Ломоносова, в книге Х. Карри «Основания математической логики». – М.: Мир, 1969. Ограниченные кванторы вводятся по Handbook of philosophical logic. Vol. I. D. Reidel Publ. Co.: Dordrecht u. a., 1983; абстрактор и классообразователь – по Lorenzen P. Konstruktive Wissenschaftstheorie. – Frankfurt a. M.: Suhrkamp Verlag , 1974.

*^* Лукасевич Ян (1878-1956) – известный польский логик, один из создателей современной символической логики.

*^* В данном разделе используется материал учебника Бочарова В.А. и Маркина В. И. [1], а также монографии Смирнова В. А. [Доп. лит-ра, 12] и учебного пособия Смирновой Е.Д. [доп. лит-ра, 13]. При первоначальном изучении логики данный раздел (с. 68-76) может быть опущен.

** Основные понятия теории графов даны по учебному пособию: В. А. Горбатов. Основы дискретной математики. – М.: Высш. шк., 1986.