Философский энциклопедический словарь

МАТЕМАТИЧЕСКАЯ ЛОГИКА

область знания, к-рая сложилась в результате применения в логике формальных методов математики и логического исследования математических рассуждений и доказательств. В М. л. логические процессы изучаются посредством их отображения в формализованных языках, или логических исчислениях. Наряду с изучением формального строения логических исчислений (Логический синтаксис) в М. л. встает также задача рассмотрения отношений между исчислениями и теми содержательными областями, к-рые служат их интерпретациями и моделями. Эта задача обрисовывает проблематику логической семантики. Логический синтаксис и семантика включаются в металогику — теорию средств описания, предпосылок и свойств логических исчислений. Нек-рые исходные понятия М. л. содержатся уже в учении мегаростоической школы (3 в. до н. э.). Саму же идею логического исчисления, по-видимому, впервые сформулировал Лейбниц. Однако как самостоятельная дисциплина М. л. оформилась в середине 19 в. благодаря работам Буля. С Буля начинается развитие т. наз. алгебры логики. Др. направление разработки М. л., ставшее определяющим, начинается с конца 19 в. в связи с потребностями математики в обосновании своих понятий и способов доказательств. У истоков этого направления лежат труды Фреге. Значительный вклад в его развитие внесли Рассел и Уайтхед (“Principia Mathematica”, 1910—13) и Гельберт. В этот период создаются фундаментальные логические системы М. л.— классические исчисление высказываний и исчисление предикатов. Крупные результаты, определившие совр. состояние М. л., были получены в. 30-х гг. Геделем. Тарским, А. Черчем. Совр. этап М. л. характеризуется исследованием разнообразных видов логических исчислений, интересом к проблемам семантики и вообще металогики, к вопросам специальных математических и технических приложений логики. В связи с задачами обоснования математики наряду с работами в области классической М. л. разрабатывается интуиционистская и конструктивная логика. С анализом оснований логики связаны исследования по комбинаторной логике. Ведутся исследования в области многозначных, модальных и релевантных логик. М. л. оказала влияние на развитие ряда разделов совр. математики, общей алгебры, теории алгоритмов, рекурсивных функций, формальных систем. М. л. находит приложение в электротехнике (исследование релейно-контактных и электронных схем), вычислительной технике (программирование), кибернетике (теория автоматов), нейрофизиологии (моделирование нейронных сетей), языкознании (структурная лингвистика и семиотика).

  1. математическая логика—МАТЕМАТИЧЕСКАЯ ЛОГИКА логи ка развиваемая математич. методом. Характерным для М. л. является использование формальных языков с точным синтаксисом и чткой семантикой одноз...Большая советская энциклопедия
  2. математическая логика—логика развиваемая математическим методом. Характерным для М. л. является использование формальных языков с точным синтаксисом и чткой семантикой однозначно определяющими...Большая Советская энциклопедия II
  3. математическая логика—дедуктивная логика включающая математическиеметоды исследования способов рассуждений выводов математическая теориядедуктивных способов рассуждений. Математической логикой...Большой энциклопедический словарь II
  4. математическая логика—МАТЕМАТИЧЕСКАЯ ЛОГИКА дедуктивная логика включающая математические методы исследования способов рассуждений выводов математическая теория дедуктивных способов рассуждений...Большой энциклопедический словарь III
  5. математическая логика—МАТЕМАТИЧЕСКАЯ логика дедуктивная логика включающая математические методы исследования способов рассуждений выводов математическая теория дедуктивных способов рассуждени...Большой Энциклопедический словарь V
  6. математическая логика—дедуктивная логика включающая матем. методы иссл. способов рассуждений выводов математическая теория дедуктивных способов рассуждений. М. л. наз. также логику крой пользу...Естествознание. Энциклопедический словарь
  7. математическая логика—теоретическая логика символическая логика раздел математики посвященный изучению математич. доказательств и вопросов оснований математики. Исторический очерк. Идея постр...Математическая энциклопедия
  8. математическая логика—МАТЕМАТИЧЕСКАЯ ЛОГИКАstrong символическая логика аналитический раздел логики результат применения математических методов к проблемам классической логики. Рассматривает по...Научно-технический энциклопедический словарь
  9. математическая логика—МАТЕМАТИЧЕСКАЯ ЛОГИКА один из ведущих разделов современной логики и математики. Сформировался в ст. как реализация идеи о возможности записать все исходные допущения на...Новейший философский словарь
  10. математическая логика—математикалы логика...Орысша-қазақша «Математика» терминологиялық сөздік
  11. математическая логика—logique fu mathmatique...Политехнический русско-французский словарь
  12. математическая логика—математична логка...Російсько-український словник логіки
  13. математическая логика—исследование мышления с помощью исчислений и формализованных языков mathematical logic...Русско-английский машиностроительный словарь
  14. математическая логика—mathematical logic...Русско-английский морской словарь
  15. математическая логика—mathematical logic logic logic theory mathematical logic логистика...Русско-английский политехнический словарь
  16. математическая логика—symbolic logic logistics...Русско-английский психологический словарь
  17. математическая логика—mathematical logic логистика...Русско-английский словарь по машиностроению
  18. математическая логика—mathematics of logic...Русско-английский словарь по электронике
  19. математическая логика—mathematical logic логистика...Русско-английский технический словарь
  20. математическая логика—logistics...Русско-английский толковый словарь терминов по информатике
  21. математическая логика—матэматычная логка...Русско-белорусский математический словарь
  22. математическая логика—logica matematica...Русско-итальянский политехнический словарь
  23. математическая логика—математикалы логика...Русско-казахский терминологический словарь «Философия и политология»
  24. математическая логика—SymbolLogik...Русско-немецкий политехнический словарь
  25. математическая логика—математична логка Синонимы логистика...Русско-украинский политехнический словарь
  26. математическая логика—matematick logika...Русско-чешский словарь
  27. математическая логика—одно из названий современной формальной логики пришедшей во второй половине XIX начале XX в. на смену традиционной логике. В качестве другого названия современного этапа...Словарь логики
  28. математическая логика—МАТЕМАТИЧЕСКАЯ ЛОГИКА одно из названий современной формальной логики пришедшей во второй половине XIX начале XX в. на смену традиционной логикеi. iВ качестве другого на...Словарь по логике
  29. математическая логика—математическая логика сущ. колво синонимов логистика Словарь синонимов ASIS.В.Н. Тришин. . Синонимы логистика...Словарь синонимов II
  30. математическая логика—МАТЕМАТИЧЕСКАЯ логика дедуктивная логика использующая математические методы исследования способов рассуждений выводов математическая теория дедуктивных способов рассужден...Современная энциклопедия
  31. математическая логика—МАТЕМАТИЧЕСКАЯ ЛОГИКА дедуктивная логика включающая математические методы исследования способов рассуждений выводов математическая теория дедуктивных способов рассуждений...Современный энциклопедический словарь
  32. математическая логика—современная математическая модель формальной логики как науки о правильном рассуждении. По меткому выражению русского логика Порецкого математическая логика суть логика п...Философия науки
  33. математическая логика—МАТЕМАТИЧЕСКАЯ ЛОГИКА одно из названий современной логики пришедшей во втор. пол. нач. в. на смену традиционной логике. В качестве др. названия современного этапа в р...Философская энциклопедия
  34. математическая логика—логика развившаяся в точную науку применяющую математич. методы или согласно П. С. Порецкому логика по предмету математика по методам. Идея построения М. л. высказывалась...Философская Энциклопедия (в 5 томах)
  35. математическая логика—МАТЕМАТИЧЕСКАЯ ЛОГИКА дедуктивная логика включающая математические методы исследования способов рассуждений выводов математическая теория дедуктивных способов рассуждени...Энциклопедический словарь естествознания
  36. математическая логика—МАТЕМАТИЧЕСКАЯ ЛОГИКА Ее еще называют символической логикой. М. л. это та же самая Аристотелева силлогистическая логика но только громоздкие словесные выводы заменены в ...Энциклопедия культурологии
  37. математическая логика—ЛОГИКА СИМВОЛИЧЕСКАЯ математическая логика теоретическая логика область логики в которой логические выводы исследуются посредством логических исчислений на основе строго...Энциклопедия эпистемологии и философии науки