<<
>>

ИСЧИСЛЕНИЕ ПРЕДИКАТОВ

, раздел математич. логики, совокупность логико-математич. исчислений, формализующих те разделы совр. логики, в к-рых отображаются и изучаются (в связи с рассмотрением субъ-ектно-предикатной структуры предложений) правила оперирования с кванторами. См. Логика предикатов.

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

Еще по теме ИСЧИСЛЕНИЕ ПРЕДИКАТОВ:

  1. Выражение силлогистики средствами логики предикатов
  2. § 1. Расчетливость (to loyiaxikov) как разумная способность человеческой души
  3. Теория доказательств классической логики предикатов
  4. Исчисление предикатов.
  5. ИСЧИСЛЕНИЕ КЛАССОВ
  6. ИСЧИСЛЕНИЕ ПРЕДИКАТОВ
  7. ЛОГИКА ПРЕДИКАТОВ
  8. НОМИНАЛИЗМ
  9. ПРЕДИКАТ
  10. СИЛЛОГИСТИКА
  11. 2. Создание символической логики
  12. Тема 3. Логика и исчисление предикатов
  13. 3.2. Исчисление предикатов