<<
>>

Современная логика

II 213

"Теория типов" РАССЕЛА и УАЙТХЕДА пытается разрешить проблемы, возникающие из наложения различных уровней предикатов и классов, как, напр., парадокс классов (рис. В).

При этом каждой переменной присваивается номер, означающий ее тип. Выражения формы "а есть элемент Ь" построены правильно лишь тогда, когда номер типа "а" меньше номера типа "Ь".

Напр., тип с меньшим номером образован из индивидуальных предметов, с большим — из свойств этих предметов, а каждый следующий — из свойств свойств предметов. В разветвленной (ramified) теории типов каждой переменной даже присвоен особый уровень и введены специальные правила для уровней переменных.

Другая ветвь современной логики —

<< | >>
Источник: Кунцман П., Буркард Ф.-П., Видман Ф.. Философия: dtv-Atlas. 2002

Еще по теме Современная логика:

  1. ЛОГИКА
  2. Модальная логика
  3. МАТЕМАТИЧЕСКАЯ ЛОГИКА
  4. Логика
  5. КИТАЙСКАЯ ЛОГИКА
  6. ЛОГИКА
  7. ком-бинаторная логика
  8. СОДЕРЖАТЕЛЬНО-ГЕНЕТИЧЕСКАЯ ЛОГИКА
  9. Преступление логики
  10. ЛОГИКА АРИСТОТЕЛЯ И ЕГО УЧЕНИЕ О МЕТОДЕ
  11. Две логики мышления
  12. СОДЕРЖАТЕЛЬНО-ГЕНЕТИЧЕСКАЯ ЛОГИКА
  13. ЛОГИКА, ФИЗИКА, ЭТИКА.. У ГРЕКОВ ЕСТЬ ВСЕ
  14. ЛОГИКА . Теория познания
  15. ИНДИЙСКАЯ, или БУДДИСТСКАЯ ЛОГИКА
  16. Фронт развития формальной логики
  17. 2. Культурные основания экономической логики рынка
  18. Научная база логики и теории познания Аристотеля