В данном разделе представлены словари и энциклопедии по философии и смежным отраслям знания, отражающие лучшие традиции энциклопедического дела в России и за рубежом. Вы также можете включиться в это дело, став одним из авторов Открытой философской энциклопедии. [Помощь]

Краткий философский словарь (алфавитный список) >>
Русская Британника (алфавитный список) >>
Открытая философская энциклопедия (алфавитный список) >>

Поиск:

 В заголовках, расширенный
 В заголовках, строгий
 Полнотекстовый поиск

 Краткий философский словарь
 Русская Британника
 Открытая философская энциклопедия

Найдено в Русской Британнике

типов теория
В логике, теория, сформулированная Бертраном Расселом и Алфредом Нортом Уайтхедом в “Principia Mathematica” (1910–13) для разрешения логических парадоксов, являющихся результатом произвольного использования пропозициональных функций в качестве переменных. Тип пропозициональной функции определяется числом и типом ее аргументов (содержащихся в ней отдельных переменных). Во избежание противоречий внутри системы следует не допускать применения пропозициональных функций к аргументам равного или более высокого типа.