<<
>>

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

, исчисление предложений, формализованная система, в к-рой задаётся способ доказательства нек-рых высказываний (формул), наз. теоремами. И. в. может быть формализовано различными способами: с помощью задания аксиом и правил вывода, т. е. посредством аксиоматического метода; с помощью одних только правил (натуральное исчисление) и др. Формализация И. в. (интуиционистского, классического, минимального и др.) является адекватной, если всякая истинная во всех интерпретациях формула доказуема в данном исчислении (в этом случае говорят, что соответств. исчисление полно относительно данной семантики; см. Полнота, Семантика). Так, в известных полных формализациях классич. (двузначной) логики все тавтологии являются доказуемыми формулами.

<< | >>
Источник: Федосеев, Ильичев. Философский энциклопедический словарь. 1986

Еще по теме ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ:

  1. 4.5. Правила выводов логики высказываний
  2. Субъективизм в логике, теории вероятностей и физике
  3. «Разум и верное исчисление»: представления П.И. Шувалова о собственной деятельности
  4. 1.1. Исчисление высказываний и гибель формул
  5. Исчисление предикатов.
  6. ВЫСКАЗЫВАНИЕ
  7. ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ
  8. ИСЧИСЛЕНИЕ КЛАССОВ
  9. История логики
  10. ЛОГИКА ВЫСКАЗЫВАНИЙ
  11. ЛОГИКА
  12. 2. Создание символической логики
  13. 2.3. Исчисление высказываний
  14. 3.1 Исчисления высказывания (ИВ).
  15. Тема 2. Логические исчисления
  16. 2.6. Исчисление высказываний.
  17. Тема 3. Логика и исчисление предикатов
  18. 3.2. Исчисление предикатов