<<
>>

ИСЧИСЛЕНИЕ КЛАССОВ

, аксиоматич. (см. Аксиоматический метод) описание логики классов. И. к. рав-нообъёмно исчислению одноместных предикатов (см. Логика предикатов): у этих исчислений совпадают классы как исходных формул, так и выводимых формул (теорем); однако интерпретации этих исчислений различны: исчисление одноместных предикатов интерпретируется как логика содержаний понятий, а И. к.— как логика объёмов понятий. И. к. равносильно в определ. смысле исчислению высказываний и обладает (как и последнее) свойствами непротиворечивости, дедуктивной полноты и разрешимости.

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

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

  1. Познание, оценка и практика
  2. НАЧАЛО ФИЛОСОФИИ В КИТАЕ
  3. ГЛАВА 1. НАУКА: ПРЕДПОЛОЖЕНИЯ И ОПРОВЕРЖЕНИЯ[107]
  4. ИСЧИСЛЕНИЕ ЛОГИЧЕСКОЕ
  5. ОБ ИДЕЙНЫХ И СТИЛИСТИЧЕСКИХ ПРОБЛЕМАХ И МОТИВАХ ЛИТЕРАТУРНЫХ ПЕРЕДЕЛОК И ПОДДЕЛОК
  6. Неслужилые или жилецкие люди.
  7. Математика, естествознание и логика (0:0 От Марк[с]а)
  8. Рабы, пролетарии и капитализм
  9. ИСЧИСЛЕНИЕ
  10. ИСЧИСЛЕНИЕ КЛАССОВ