Логика как самостоятельная наука. История становления классической математической логики. Виды и направления в развитии неклассической логики. Учение о силлогизме. Становление неформальной логики. Основные разделы современной математической логики.
В логике Аристотеля содержались элементы математической (символической) логики, в его работах прослеживаются начала исчисления высказываний, а его учение о силлогизме составило основу логики предикатов - одного из направлений современной математической логики. Во второй половине XIX в. подлинную революцию в логике совершило широкое применение разработанных в математике методов: алгебраических, аксиоматического метода, метода формализованных языков, исчислений и формальных семантик. Введение символических обозначений в логику имело для этой науки такое же решающее значение, как и введение буквенных обозначений для математики. Именно благодаря введению символов в логику была получена основа для создания новой науки - математической логики. Он, по сути дела, изобрел и аксиоматизировал логику предикатов , благодаря своему открытию кванторов , использование которых постепенно распространилось на всю математику , тем самым сделав попытку свести математику к логике.
Список литературы
1. Ивин А.А. Логика норм - М.: Издательство Московского ун-та, 1973. - 121 c.
2. Ивин А.А. Логика: Учебник для гуманитарных вузов. - М.: "ФАИР-ПРЕСС", 1999. - 320 с.
3. Ивин А.А. Логика. Учебное пособие. Издание 2-е. - М.: Знание, 1998. - 240 с
4. Ивин А.А. Импликации и модальности / РАН. Ин-т философии. - М.: ИФ РАН, 2004. - 126 с.
5. Ивин А.А. Основания логики оценок - М.: Издательствово Московского ун-та, 1970. - 230 с.
6. Ивин А. А. Логика: Учеб. пособие для студентов вузов - М.: ООО «Издательство Оникс»: ООО «Издательство «Мир и Образование», 2008. - 336 с.
7. Ивин А. А., Никифоров А. Л. Словарь по логике - М.: Туманит, изд. центр ВЛАДОС, 1997. - 384 с.
8. Философия. Энциклопедический словарь. Под ред. А.А. Ивина. - М., Гардарики, 2004. - 1072 с.
