Смотреть больше слов в «Философской Энциклопедии»
логика, развиваемая математическим методом. Характерным для М. л. является использование формальных языков с точным синтаксисом и чёткой семант... смотреть
математическая логика сущ., кол-во синонимов: 1 • логистика (9) Словарь синонимов ASIS.В.Н. Тришин.2013. . Синонимы: логистика
МАТЕМАТИЧЕСКАЯ ЛОГИКА, логи ка, развиваемая математич. методом. Характерным для М. л. является использование формальных языков с точным синтаксисом ... смотреть
теоретическая логика, символическая логика,- раздел математики, посвященный изучению математич. доказательств и вопросов оснований математики. Истор... смотреть
МАТЕМАТИЧЕСКАЯ ЛОГИКА — одно из названий современной логики, пришедшей во втор. пол. 19 — нач. 20 в. на смену традиционной логике. В качестве др. н... смотреть
ЛОГИКА СИМВОЛИЧЕСКАЯ, математическая логика, теоретическая логика — область логики, в которой логические выводы исследуются посредством логичес... смотреть
МАТЕМАТИЧЕСКАЯ ЛОГИКА Ее еще называют символической логикой. М. л. - это та же самая Аристотелева силлогистическая логика, но только гром... смотреть
МАТЕМАТИЧЕСКАЯ ЛОГИКА - один из ведущих разделов современной логики и математики. Сформировался в 19-20 ст. как реализация идеи о возможности записать ... смотреть
область знания, к-рая сложилась в результате применения в логике формальных методов математики и логического исследования математических рассуждений и доказательств. В М. л. логические процессы изучаются посредством их отображения в формализованных языках, или логических исчислениях. Наряду с изучением формального строения логических исчислений (Логический синтаксис) в М. л. встает также задача рассмотрения отношений между исчислениями и теми содержательными областями, к-рые служат их интерпретациями и моделями. Эта задача обрисовывает проблематику логической семантики. Логический синтаксис и семантика включаются в металогику — теорию средств описания, предпосылок и свойств логических исчислений. Нек-рые исходные понятия М. л. содержатся уже в учении мегаростоической школы (3 в. до н. э.). Саму же идею логического исчисления, по-видимому, впервые сформулировал Лейбниц. Однако как самостоятельная дисциплина М. л. оформилась в середине 19 в. благодаря работам Буля. С Буля начинается развитие т. наз. алгебры логики. Др. направление разработки М. л., ставшее определяющим, начинается с конца 19 в. в связи с потребностями математики в обосновании своих понятий и способов доказательств. У истоков этого направления лежат труды Фреге. Значительный вклад в его развитие внесли Рассел и Уайтхед (“Principia Mathematica”, 1910—13) и Гельберт. В этот период создаются фундаментальные логические системы М. л.— классические исчисление высказываний и исчисление предикатов. Крупные результаты, определившие совр. состояние М. л., были получены в. 30-х гг. Геделем. Тарским, А. Черчем. Совр. этап М. л. характеризуется исследованием разнообразных видов логических исчислений, интересом к проблемам семантики и вообще металогики, к вопросам специальных математических и технических приложений логики. В связи с задачами обоснования математики наряду с работами в области классической М. л. разрабатывается интуиционистская и конструктивная логика. С анализом оснований логики связаны исследования по комбинаторной логике. Ведутся исследования в области многозначных, модальных и релевантных логик. М. л. оказала влияние на развитие ряда разделов совр. математики, общей алгебры, теории алгоритмов, рекурсивных функций, формальных систем. М. л. находит приложение в электротехнике (исследование релейно-контактных и электронных схем), вычислительной технике (программирование), кибернетике (теория автоматов), нейрофизиологии (моделирование нейронных сетей), языкознании (структурная лингвистика и семиотика). ... смотреть
МАТЕМАТИЧЕСКАЯ ЛОГИКА — одно из названий современной формальной логики, пришедшей во второй половине XIX — начале XX в. на смену традиционной логике. ... смотреть
одно из названий современной формальной логики, пришедшей во второй половине XIX - начале XX в. на смену традиционной логике. В качестве другого назва... смотреть
современная математическая модель формальной логики как науки о правильном рассуждении. По меткому выражению русского логика Порецкого, математическая логика суть логика по предмету и математика — по методу решения своих проблем. Систематическая разработка математической логики началась с работ Больцано, Фреге, Рассела и Витгенштейна. Суть этой логики и рассмотрении большинства логических категорий (понятие, предикат, суждение, умозаключение, вывод, доказательство) как логических функций, областью значения которых являются истинностные значения. Как логические функции истолковываются и все логические операторы (термины «Все», «Существует», «Некоторые», «Один», «Ниодин», «и», «или», «если, то», «тождественно», «возможно», «необходимо» и т. д. и т. п.). Все логические функции задаются, в конечном счете, табличным способом с помощью всевозможных сочетаний введенного числа истинностных значений на «входе» и «выходе» этих функций. Так, например, логическое отношение «если, то...» моделируется с помощью функции =), называемой материальной импликацией.... смотреть
МАТЕМАТИЧЕСКАЯ ЛОГИКА (символическая логика), аналитический раздел логики, результат применения математических методов к проблемам классической логики.... смотреть
дедуктивная логика, включающая матем. методы иссл. способов рассуждений (выводов); математическая теория дедуктивных способов рассуждений. М. л. наз. т... смотреть
МАТЕМАТИЧЕСКАЯ ЛОГИКА, дедуктивная логика, включающая математические методы исследования способов рассуждений (выводов); математическая теория дедуктивных способов рассуждений. Математической логикой называют также логику, которой пользуются в математике.<br><br><br>... смотреть
МАТЕМАТИЧЕСКАЯ логика - дедуктивная логика, включающая математические методы исследования способов рассуждений (выводов); математическая теория дедуктивных способов рассуждений. Математической логикой называют также логику, которой пользуются в математике.<br>... смотреть
МАТЕМАТИЧЕСКАЯ ЛОГИКА , дедуктивная логика, включающая математические методы исследования способов рассуждений (выводов); математическая теория дедуктивных способов рассуждений. Математической логикой называют также логику, которой пользуются в математике.... смотреть
МАТЕМАТИЧЕСКАЯ ЛОГИКА, дедуктивная логика, включающая математические методы исследования способов рассуждений (выводов); математическая теория дедуктивных способов рассуждений. Математической логикой называют также логику, которой пользуются в математике.... смотреть
- дедуктивная логика, включающая математическиеметоды исследования способов рассуждений (выводов); математическая теориядедуктивных способов рассуждений. Математической логикой называют такжелогику, которой пользуются в математике.... смотреть
mathematical logic, logic, logic theory* * *mathematical logicСинонимы: логистика
МАТЕМАТИЧЕСКАЯ логика, дедуктивная логика, использующая математические методы исследования способов рассуждений (выводов); математическая теория дедуктивных способов рассуждений. <br>... смотреть
mathematical logicСинонимы: логистика
mathematical logicСинонимы: логистика
(исследование мышления с помощью исчислений и формализованных языков) mathematical logic
logica matematica
logique f mathématique
symbolic logic, logistics
математи́чна ло́гіка Синонимы: логистика
Symbol-Logik
• matematická logika
математикалық логика
математикалық логика
mathematics of logic
матэматычная логіка
математична логіка
mathematical logic
logistics