ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ

Найдено 2 определения
Показать: [все] [проще] [сложнее]

Автор: [российский] Время: [советское]

ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ
раздел символич. логики, в к-ром изучаются логич. связи между высказываниями, рассматриваемыми в отвлечении от их субъектно-предикатного строения; необходимая часть исчисления предикатов. См. Логика высказываний.

Источник: Философская Энциклопедия. В 5-х т.

ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ
исчисление предложений, формализованная система, в к-рой задается способ доказательства нек-рых высказываний (формул), наз. теоремами. И. в. может быть формализовано различными способами: с помощью задания аксиом и правил вывода, т. е. посредством аксиоматического метода; с помощью одних только правил (натуральное исчисление) и др. Формализация И. в. (интуиционистского, классического, минимального и др.) является адекватной, если всякая истинная во всех интерпретациях формула доказуема в данном исчислении (в этом случае говорят, что соответств. исчисление полно относительно данной семантики; см. Полнота, Семантика). Так, в известных полных формализациях классич. (двузначной) логики все тавтологии являются доказуемыми формулами.

Источник: Советский философский словарь

Похожие термины:

  • ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЯ

    логическая система, формализующая рассуждения, основанные на структуре сложных высказываний в отвлечении от внутренней структуры элементарных высказываний. Классическое И. в. непротиворечиво (Н