Словарь по логике

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

МАТЕМАТИЧЕСКАЯ ЛОГИКА — одно из названий современной формальной логики, пришедшей во второй половине XIX — на­чале XX в. на сменутрадиционной логике.В качестве другого назва­ния современного этапа в развитии науки логики используется также терминлогика символическая.Определение "математичес­кая" подчеркивает сходство новой логики с математикой, осно­вывающееся прежде всего на применении особого символическо­го языка, аксиоматического метода, формализации. М. л. исследует предмет формальной логики методом построе­ния специальных формализованных языков, илиисчислений.Они позволяют избежать двусмысленной и логической неясности ес­тественного языка, которым пользовалась при описании правиль­ного мышления традиционная логика. Новые методы дали логике такие преимущества, как большая точность формулировок, воз­можность изучения более сложных с точки зрения логической формы объектов. Многие проблемы, исследуемые в М. л., вообще невозможно было сформулировать с использованием только тра­диционных методов. Иногда термин "М. л." употребляется в более широком смыс­ле, охватывая исследование свойствдедуктивных теорий,имену­емоеметалогикойилиметаматематикой.


  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. математическая логика—математическая логика сущ. колво синонимов логистика Словарь синонимов ASIS.В.Н. Тришин. . Синонимы логистика...Словарь синонимов II
  29. математическая логика—МАТЕМАТИЧЕСКАЯ логика дедуктивная логика использующая математические методы исследования способов рассуждений выводов математическая теория дедуктивных способов рассужден...Современная энциклопедия
  30. математическая логика—МАТЕМАТИЧЕСКАЯ ЛОГИКА дедуктивная логика включающая математические методы исследования способов рассуждений выводов математическая теория дедуктивных способов рассуждений...Современный энциклопедический словарь
  31. математическая логика—современная математическая модель формальной логики как науки о правильном рассуждении. По меткому выражению русского логика Порецкого математическая логика суть логика п...Философия науки
  32. математическая логика—МАТЕМАТИЧЕСКАЯ ЛОГИКА одно из названий современной логики пришедшей во втор. пол. нач. в. на смену традиционной логике. В качестве др. названия современного этапа в р...Философская энциклопедия
  33. математическая логика—логика развившаяся в точную науку применяющую математич. методы или согласно П. С. Порецкому логика по предмету математика по методам. Идея построения М. л. высказывалась...Философская Энциклопедия (в 5 томах)
  34. математическая логика—область знания края сложилась в результате применения в логике формальных методов математики и логического исследования математических рассуждений и доказательств. В М. л...Философский энциклопедический словарь
  35. математическая логика—МАТЕМАТИЧЕСКАЯ ЛОГИКА дедуктивная логика включающая математические методы исследования способов рассуждений выводов математическая теория дедуктивных способов рассуждени...Энциклопедический словарь естествознания
  36. математическая логика—МАТЕМАТИЧЕСКАЯ ЛОГИКА Ее еще называют символической логикой. М. л. это та же самая Аристотелева силлогистическая логика но только громоздкие словесные выводы заменены в ...Энциклопедия культурологии
  37. математическая логика—ЛОГИКА СИМВОЛИЧЕСКАЯ математическая логика теоретическая логика область логики в которой логические выводы исследуются посредством логических исчислений на основе строго...Энциклопедия эпистемологии и философии науки