КОНСТРУКТИВНОЕ ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИИ

КОНСТРУКТИВНОЕ ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИИ

- логическое исчисление, описывающее способы вывода высказываний, истинных с точки зрения конструктивной математики. Обычно этот термин рассматривается как синоним термина интуиционистское исчисление высказываний. Однако, при нек-рых специальных интерпретациях конструктивизма интуиционистское исчисление высказываний оказывается неполным. Напр., известная формула Роуза:

где A -формула a p, q- пропозициональные переменные, не выводится в интуиционистском исчислении высказываний и в то же время тождественно истинна в интерпретации рекурсивной реализуемости К лини, по крайней мере, если признавать конструктивного подбора принцип. Актуальной задачей является исследование полноты К. п. в. для различных вариантов семантики конструктивной математики.

Лит.:[1] Клини С. К., Введение в метаматематику, пер. с англ., М., 1957; [2] Rоse G. F., "Trans. Amer. Math. Soc", 1953, v. 75, p. 1 - 19.

А. Г. Драгалин.


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Игры ⚽ Нужен реферат?

Смотреть что такое "КОНСТРУКТИВНОЕ ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИИ" в других словарях:

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

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

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

  • Парадокс — (от греч. parádoxes неожиданный, странный)         неожиданное, непривычное (хотя бы по форме) суждение (высказывание, предложение), резко расходящееся с общепринятым, традиционным мнением по данному вопросу. В этом смысле эпитет «парадоксальный» …   Большая советская энциклопедия


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

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