высказывание первого порядка


высказывание первого порядка
мат. first-order sentence

Большой англо-русский и русско-английский словарь. 2001.

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

  • ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… …   Философская энциклопедия

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

  • семантика возможных миров —         СЕМАНТИКА ВОЗМОЖНЫХ МИРОВ совокупность семантических конструкций для истинностной интерпретации неклассических (не булевых) логических связок, главной особенностью которых является введение в рассмотрение так называемых возможных миров.… …   Энциклопедия эпистемологии и философии науки

  • Макротекст — – совокупность высказываний или текстов, объединенных содержательно или ситуативно, а также связанных на основе структурно композиционного и культурного единства. Это целостное образование, единство которого зиждется на тематической общности… …   Стилистический энциклопедический словарь русского языка

  • Логика высказываний — Для улучшения этой статьи желательно?: Проставив сноски, внести более точные указания на источники. Логика высказываний (или пропозици …   Википедия

  • УНИВЕРСАЛИИ — (от лат. universalis общий) общие понятия. В филос. проблеме онтологического и гносеологического статуса У. ставится вопрос о том, что такое реальное бытие, каким образом существует идеальное, как возможно рациональное понятийное познание, как… …   Философская энциклопедия

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

  • Аксиоматика теории множеств — Сюда перенаправляется запрос «Теория Цермело Френкеля». На эту тему нужна отдельная статья. Современная теория множеств строится на системе аксиом  утверждений, принимаемых без доказательства,  из которых выводятся все теоремы и у …   Википедия

  • ZFC — Современная теория множеств строится на системе аксиом утверждений, принимаемых без доказательства, из которых выводятся все теоремы и утверждения теории множеств. Система аксиом Цермело Френкеля (ZF) является стандартной системой аксиом для… …   Википедия

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

  • мышление —         МЫШЛЕНИЕ процесс решения проблем, выражающийся в переходе от условий, задающих проблему, к получению результата. М. предполагает активную конструктивную деятельность по переструктурированию исходных данных, их расчленение, синтезирование… …   Энциклопедия эпистемологии и философии науки


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

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

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.