«Применение методов математической логики и других разделов высшей математики в задачах прикладной лингвистики при анализе устной или звучащей речи на русском и английском языках в сравнении.»

Математическая логика с внешней стороны отличается от "обычной" тем, что она широко пользуется языком математических и логических знаков, исходя из того, что в принципе они могут совсем заменить слова обычного языка и принятые в обычных живых языках способы объединения слов в предложения. Довольно рано возникла идея о том, что, записав все исходные допущения на языке специальных знаков, похожих на математические, можно заменять рассуждение вычислением. Точно же сформулированные правила таких логических вычислений можно перевести на язык вычислительной машины, которая тогда будет способна автоматически выдавать интересующие нас следствия из введенных в нее исходных допущений. Своего рода «логическую машину» сконструировал еще в средние века Раймунд Луллий (1235-1315), дав ей, впрочем, лишь совершенно фантастические применения. Более определенный и близкий к реально осуществленному впоследствии замысел универсального логического исчисления развивал Лейбниц (1646-1716). Лейбниц надеялся даже, что в будущем философы вместо того, чтобы бесплодно спорить, будут брать бумагу и вычислять, кто из них прав.

Логика - не только сугубо математическая, но также и философская наука. В XX веке эти две взаимосвязанные ипостаси логики оказались разведенными в разные стороны. С одной стороны логика понимается как наука о законах правильного мышления, а с другой - она преподносится как совокупность слабо связанных друг с другом искусственных языков, которые называются формальными логическими системами.

Для многих очевидно, что мышление - это некий сложный процесс, с помощью которого решаются житейские, научные или философские проблемы и рождаются гениальные идеи или роковые заблуждения. Язык же понимается многими просто как средство, с помощью которого результаты мышления можно передать современникам или оставить потомкам. Но, связав в своем сознании мышление с понятием «процесс», а язык с понятием «средство», мы по сути перестаем замечать тот непреложный факт, что в данном случае «средство» не подчинено полностью «процессу», а в зависимости от нашего целенаправленного или неосознанного выбора тех или словесных штампов оказывает сильнейшее влияние на ход и результат самого «процесса». Причем известно немало случаев, когда такое «обратное влияние» оказывается не только тормозом для правильного мышления, но порою даже его разрушителем.

1. Клини Ст. К. Математическая логика. – М.: Наука, 1973. – 400 с.

2. Колмогоров А.Н. Драгалин А.Г. Математическая логика. Учебник для студентов вузов. – М.: Изд-во Московского университета, 1984. – 120 с.

3. Новиков П. Элементиы математической логики. Учебник для студентов вузов. – М.: Наука, 1973. – 400 с.

4. Стол Р.Р. Множества. Логика. Аксиоматические теории./ Под ред. Ю.А.Шихановича – М.: Изд-во Просвещение, 1968. – 231 с.