Особенности современной математической логики - Контрольная работа

бесплатно 0
4.5 87
Логика как самостоятельная наука. История становления классической математической логики. Виды и направления в развитии неклассической логики. Учение о силлогизме. Становление неформальной логики. Основные разделы современной математической логики.


Аннотация к работе
В логике Аристотеля содержались элементы математической (символической) логики, в его работах прослеживаются начала исчисления высказываний, а его учение о силлогизме составило основу логики предикатов - одного из направлений современной математической логики. Во второй половине 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 с.

9. Неклассическая логика: учебное пособие. Сост. М.Д. Купарашвили. - Омск: Изд-во ОМГУ, 2006. - 74 с.

10. Клини С.К. Математическая логика. - М.: издательство Мир, 1973. - 480 с.

11. Стяжкин Н.И. Становление идей математической логики - М.: издетельство "Наука", 1964. - 304с.

Размещено на .ru
Заказать написание новой работы



Дисциплины научных работ



Хотите, перезвоним вам?