Математическая логика и этапы ее становления

Логика по своей сути возникла в Древней Греции. Первое упоминание о логике, которое дошло до наших дней, датируется 384-322 гг. до н.э. Это упоминание было зафиксировано в сочинении Аристотеля «Аналитика». Такая логика просуществовала без каких-либо значимых изменений более двадцати столетий. Основоположником современной логики принято считать Джорджа Була, он открыл такое направление, как математическая логика. С развитием математики были выявлены недостаточности логики, которую создал Аристотель, в следствии чего ее необходимо было совершенствовать. Также отдельно от логики Аристотеля развивалась буддистская, однако признали ее относительно недавно.

---

Теперь не нужно думать, где заказать контрольную работу в спб . Просто заходите на Work5.

---

Поэтому, можно сделать заключение, что математическая логика берет начала от Аристотеля. Математическая логика – это наука о законах математического мышления, предметом которой являются математические теории, изучаемые с помощью математических языков. Математическая логика отличается тем, что пользуется языком математических и логических символов, исходя из того, что в принципе они могут совсем заменить слова обычного языка и принятые в обычных живых языках способы объединения слов в предложения. Особенности математического мышления объясняются особенностями математических абстракций и многообразием их взаимосвязей [4]. Целью данной работы является рассмотрение математической логике и этапов ее становления. В соответствии с целью были поставлены следующие задачи: 1. Рассмотреть понятие математической логики. 2. Привести этапы становления математической логики как науки.

Таким образом, математическая логика – это самостоятельная наука, в которых рассматриваются законы математического мышления. Применение математических вычислений в логике дало возможность представления различных логических теорий в более совершенной форме. Появились новые возможности благодаря математическим вычислениям, которые недоступны для решения человеку. С каждым годом расширяется сфера влияние математической логики на других научные сферы, происходит все более глубокое проникновение методов математической логики в научные знания. Средства математической логики стали эффективным рабочим инструментом для специалистов многих отраслей науки и техники. Для того, чтобы стать математической логикой такой, какой она сейчас есть, ей пришлось проделать громадный путь развития и становления. Эти этапы длились с далеких времен Древней Греции по настоящее время и, скорее всего, она и дальше будет развиваться под влиянием современных технологий. Сейчас благодаря математической логики существуют и работают практически все вычислительные машины, нет ни одной области, где не было бы влияния математической логики. Подводя итог можно сказать, что математическая логика претерпела большие изменения под влиянием целых эпох. Однако она смогла в себе вместить все те основы и учения, которые заложили в нее основоположники. Спустя время логика модернизировалась, но принципы все сохранились и перенеслись до наших дней.  

1. Гончаров, С. С. О роли математической логики в образовании по математическим направлениям / С. С. Гончаров, Б. Н. Дроботун // . – 2008. – Т. 8, № 1. – С. 15-25. 2. Кузичева, З. А. Влияние теории релейно-контактных схем на развитие математической логики / З. А. Кузичева // Вестник Московского университета. Серия 7: Философия. – 2009. – № 1. – С. 53-62. 3. Порецкий, П. С. Логические равенства. О способах решения логических равенств и об обратном способе математической логики / П. С. Порецкий ; Платон Порецкий. – Москва : Русская Правда, 2011. – 159 с. 4. Титов, А. В. Диалектика развития математики и математической логики / А. В. Титов // Революция и эволюция: модели развития в науке, культуре, обществе : труды II Всероссийской научной конференции, Нижний Новгород, 29 ноября – 01 2019 года. – Нижний Новгород: Общество с ограниченной ответственность "Красная ласточка", 2019. – С. 52-54. 5. Яйлеткан, А. А. История развития выразительных возможностей языка математической (символической) логики, анализ и обобщение / А. А. Яйлеткан, Л. В. Кравченко, А. А. Хайруллин. – Тюмень : Тюменский индустриальный университет, 2021. – 120 с.