символическая логика

символическая логика
символи́ческая ло́гика
* * *
СИМВОЛИЧЕСКАЯ ЛОГИКА
СИМВОЛИ́ЧЕСКАЯ ЛО́ГИКА, то же, что математическая логика (см. МАТЕМАТИЧЕСКАЯ ЛОГИКА).

Энциклопедический словарь. 2009.

Игры ⚽ Поможем сделать НИР

Смотреть что такое "символическая логика" в других словарях:

  • СИМВОЛИЧЕСКАЯ ЛОГИКА — одно из названий современного этапа в развитии формальной логики. Символы применял в ряде случаев еще Аристотель, а затем и все последующие логики. Однако в современной С.л. был сделан качественно новый шаг: стали использовать языки, содержащие… …   Философская энциклопедия

  • СИМВОЛИЧЕСКАЯ ЛОГИКА — то же, что математическая логика …   Большой Энциклопедический словарь

  • символическая логика — современная разновидность формальной логики (см. логика 1), заменяющая логические понятия и их отношения, выраженные словами, условными (символическими) обозначениями, наподобие алгебраических знаков. Большой словарь иностранных слов.… …   Словарь иностранных слов русского языка

  • символическая логика — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN symbolic logic …   Справочник технического переводчика

  • Символическая логика — направление в математической логике, изучающее формальные системы: «логика по предмету, математика по методу» (П. С. Порецкий), или «логика, изучаемая посредством построения формализованных языков» (А. Чёрч). Термин «символическая логика»… …   Википедия

  • символическая логика — simbolinė logika statusas T sritis fizika atitikmenys: angl. symbolic logic vok. symbolische Logik, f rus. символическая логика, f pranc. logique symbolique, f …   Fizikos terminų žodynas

  • Символическая логика —         то же, что математическая Логика, т. с. «логика по предмету, математика по методу» (П. С. Порецкий), или «логика, изучаемая посредством построения формализованных языков» (Л. Чёрч). Термин «С. л.» акцентирует внимание на том… …   Большая советская энциклопедия

  • символическая логика — одно из названий современного этапа в развитии формальной логики. Символы применял в ряде случаев еще Аристотель (384 322 до н. э.), а затем и все последующие ученые логики. Однако в современной С. л. был сделан качественно новый шаг в… …   Словарь терминов логики

  • ЛОГИКА СИМВОЛИЧЕСКАЯ —     ЛОГИКА СИМВОЛИЧЕСКАЯ математическая логика. теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин “символическая логика” был, по видимому …   Философская энциклопедия

  • логика —         ЛОГИКА (от греч. logik (logos) слово, разум, рассуждение) наука о правильных (корректных) рассуждениях. Традиционно рассуждение состоит из последовательности предложений, названных посылками, из которых следует единственное предложение,… …   Энциклопедия эпистемологии и философии науки


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»