<<
>>

Теория типов Б. Рассела.

Данная теория должна была устранить возможность появления парадоксов в теории множеств. В книге «Принципы математики», которая вышла в соавторстве с Уайтхедом, Рассел предложил разработанную им теорию типов.

Суть теории: в иерархии типов Рассел установил строго соблюдающееся правило подставки (в классическом виде правило подставки: вместо любой буквы в формуле можно подставить любую формулу всюду, где это буква встречается в данной формуле.

К примеру, А—>(В^А) вместо А можно подставить (AVB) и получить: (AVB) —BV(AVB)|. Если формула, в которой производится подставка, истинна, то и полученная формула также будет

истинной). С расселовской поправкой же в запись следующей функции «А - студент» вместо А разрешается подставлять только имена индивидуальных объектов из нулевого типа. Если подставить объект из более высокого типа, то получится бессмыслица: «общество - студент».

<< | >>
Источник: М.Д. Купарашвиди. Неклассическая логика: учебное пособие Сост. М.Д. Купарашвиди . - Омск: Изд-во ОмГУ,2006. - 74 с.. 2006

Еще по теме Теория типов Б. Рассела.:

  1. 2.2.3 Теория типов
  2. Теория типов
  3. Теория двух типов действия закона во времени.
  4. Теория трех типов действия закона во времени1
  5. Характеристика типов склонения существительных, представленная в учебнике «Современный русский язык: Теория. Анализ языковых единиц» / Под ред. Е.И. Дибровой (М., 2002).
  6. Атеизм Б. Рассела
  7. 1. «Логический атомизм» Б. Рассела
  8. 3. Логический анализ (Б. Рассел)
  9. 2.1.1 Расселов анализ связей фактов
  10. § 1. Логический атомизм Б. Рассела
  11. РАССЕЛ
  12. 2.2 Онтология, эпистемология и философия языка Рассела
  13. БЕРТРАН РАССЕЛ О ПСИХОЛОГИИ СТАРОЙ ДЕВЫ
  14. Основатели движения: Фреге, Рассел, Мур
  15. Бертран Рассел