Магистерская диссертация на тему: Математическая логика (бессмысленная логика) и логика «здравого смысла»

Введение

Расширение области логических интересов связано с общими тенденциями развития научного знания. Так, возникновение математической логики в середине XIX века явилось итогом многовековых чаяний математиков и логиков о построении универсального символического языка, свободного от "недостатков" естественного языка (прежде всего его многозначности, т.е. полисемии).

Дальнейшее развитие логики связано с совокупным использованием классической и математической логики в прикладных областях. Неклассические логики (деонтическая, релевантная, логика права, логика принятия решений и др.) часто имеют дело с неопределенностью и нечеткостью исследуемых объектов, с нелинейным характером их развития. Так, при анализе достаточно сложных задач в системах искусственного интеллекта возникает проблема синергизма различных типов рассуждения при решении одной и той же задачи. Перспективы развития логики в русле сближения с информатикой связаны с созданием определенной иерархии возможных моделей рассуждения, включающих рассуждения на естественном языке, правдоподобные рассуждения и формализованные дедуктивные выводы. Это решается средствами классической, математической и неклассической логик. Таким образом, речь идет не о разных "логиках", а о разной степени формализации мышления и "размерности" логических значений (двузначная, многозначная и др. логика).

Выделение основных направлений современной логики:

1. общей, или классической логики;

2. символической, или математической логики;

3. неклассической логики.

Оглавление

- Введение 3

- Математическая логика бессмысленная логика и логика здравого смысла

- Математические суждения и умозаключения

- Математическая логика и Здравый смысл в XXI веке

- Неестественная логика в основаниях математики

- Заключение 17

- Список литературы 18

Заключение

Математическая логика немало способствовала бурному развитию информационных технологий в XX веке, но из ее поля зрения выпало понятие "суждение", которое появилось в логике еще во времена Аристотеля и на котором, как на фундаменте, держится логическая основа естественного языка. Такое упущение отнюдь не способствовало развитию логической культуры общества и у многих даже породило иллюзию, что компьютеры способны мыслить не хуже самого человека. Многих даже не смущает то обстоятельство, что на фоне всеобщей компьютеризации в преддверии третьего тысячелетия логические нелепости в пределах самой науки (я уж не говорю о политике, законотворческой деятельности и о псевдонауке) встречаются даже чаще, чем в конце XIX века. И для того, чтобы понять суть этих нелепостей, нет необходимости обращаться к сложным математическим структурам с многоместными отношениями и рекурсивными функциями, которые применяются в математической логике. Оказывается, для понимания и анализа этих нелепостей вполне достаточно применить намного более простую математическую структуру суждения, которая не только не противоречит математическим основам современной логики, но в чем-то дополняет и расширяет их.

Список литературы

1. Васильев Н. А. Воображаемая логика. Избранные труды. - М.: Наука. 1989; - стр. 94-123.

2. Кулик Б.А. Основные принципы философии здравого смысла (познавательный аспект) // Новости искусственного интеллекта, 1996, Nо 3, с. 7-92.

3. Кулик Б.А. Логические основы здравого смысла / Под редакцией Д.А. Поспелова. - СПб, Политехника, 1997. 131 с.

4. Кулик Б.А. Логика здравого смысла. - Здравый смысл, 1997, Nо 1(5), с. 44 - 48.

5. Стяжкин Н. И. Формирование математической логики. М.: Наука, 1967.

6. Соловьев А. Дискретная математика без формул. 2001// http://soloviev.nevod.ru/2001/dm/index.html