ТИПОВ ТЕОРИЯ

Найдено 4 определения
Показать: [все] [проще] [сложнее]

Автор: [российский] Время: [советское] [постсоветское] [современное]

Теория типов
 (иерархия типов) — способ построения формальной (математической) логики, при к-ром вводится различение объектов различных уровней (типов); имеет целью исключение из логики и теории множеств парадоксов, или антиномий. Впервые Т. т. развил Э. Шредер в применении к логике классов (1890). В 1908—10 Рассел построил детальную систему Т. т. в применении к исчислению предикатов; ее смысл состоит в различении по типам: индивидов (тип 1), их свойств (тип 2), свойств свойств (тип 3) и т. д.; внутри типов вводится подразделение на порядки. Т. т. —- лишь один из способов устранения антиномий из теоретико-множественных и формально-логических построений.

Источник: Философский словарь. 1963

ТЕОРИЯ ТИПОВ
теория, созданная Б. Расселом (см.) и А. Уайтхедом с целью обоснования математики посредством логики в книге «Принципы математики» (1910—1913). Согласно определению к типу 0 относятся высказывания об индивидуумах, к типу 1 утверждения об их признаках, к типу 2 утверждения о признаках признаков объектов и т.д. Ограничения, введенные Расселом, не допускают использования высказываний, содержащих непредикативные элементы, т.е. предикатов, являющихся своими собственными свойствами. Но именно с непредикативными определениями связано большинство парадоксов логики и математики. К сожалению, Т. т. привела не только к преодолению ряда парадоксов, но и существенно усложнила логическую аргументацию, к тому же исключив из нее ряд важнейших истин. См. аксиома сводимости, логицизм.

Источник: Философия науки. Краткий энциклопедический словарь. 2008 г.

ТИПОВ ТЕОРИЯ

- система логики предикатов более высокого порядка, чем первый, включающая переменные различных уровней, типов (см.: Переменная) и ограничения на подстановку термов вместо переменных. В ней по меньшей мере имеются не только предметные переменные, но и переменные по множествам ( и соответствующим им предикатам), которые при этом относятся к различным типам. В частности, вместо предметных переменных запрещена подстановка предикатов и соответствующих им множеств, а вместо переменных по предикатам - индивидов. Предложения, построение которых связано с нарушением указанных ограничений, часто рассматриваются как бессмысленные. Существуют различные варианты Т. т. Соблюдение ограничений в Т. т. способствует устранению некоторых парадоксов в логике и теории множеств.

Источник: Словарь по логике

ТИПОВ ТЕОРИЯ
система расширенного предикатов исчисления или аксиоматич. теории множеств, включающая переменные различных типов (сортов, ступеней, порядков). Различные системы Т. т. были предложены (впервые – Б. Расселом в 1908) в качестве одной из альтернативных формализации классич. (теоретико-множественной) математики и логики, в к-рой известные парадоксы (в частности, парадокс Рассела) "наивной" теории множеств преодолеваются посредством ограничений на выразительные (а не дедуктивные, как, напр., в др. аксиоматич. системах) средства теории, т.е. пересматривается характерная для "наивного" подхода уверенность в том, что любая "грамматически правильная" фраза выражает нек-рое осмысл. условие (или – что равносильно – предъявляются более жесткие: критерии "грамматич. правильности"). Осуществлению такого, рода ограничений и служит упомянутое выше в дефиниции Т. т. расслоение алфавита переменных на "типы", в результате к-рого множества (классы) и их элементы (вообще – термины) следует рассматривать только в рамках определ. иерархии с условием, что тип элемента множества должен быть (на единицу) меньше типа самого множества, причем вместо переменной любого типа разрешается подставлять термы лишь т о г о же типа. В такой системе известные парадоксы не возникают, хотя ею и не исключается возможность непредикативных определений со всеми вытекающими отсюда последствиями. [Парадокс Рассела в Т. т. не может быть сформулирован из-за ограничения на правило подстановки терминов и требования, согласно к-рому в любой (правильно построенной) (под) формуле Т. т. вида xi?yj было бы i

Источник: Философская Энциклопедия. В 5-х т.

Найдено научных статей по теме — 15

Читать PDF
14.24 мб

Теория типов в семантике пропозициональных установок

Доманов О.А.
В статье описывается подход к анализу пропозициональных установок, опирающийся на теоретико-типовую семантику, предложенную А. Ранта и основанную на теории типов П. Мартин-Лёфа.
Читать PDF
251.51 кб

Теория культурно-исторических типов Н. Я. Данилевского

Асланов Ибрагим Кибар Оглы
Читать PDF
924.98 кб

«Онтологический квадрат» и теоретико-типовая семантика

Виталий Владимирович Долгоруков, Анастасия Олеговна Копылова
Настоящая статья посвящена конкретному эпизоду в большой дискуссии о соотношении семантики и онтологии, а именно поиску адекватной семантической интерпретации для набора сущностей, постулируемых так называемым «онтологическим квад
Читать PDF
133.24 кб

Исследование типов имплицитных теорий кадровой политики

Светлова Анна Сергеевна
В статье приводятся результаты теоретического анализа и практического исследования имплицитных теорий кадровой политики. Описывается кадровая политика как объект имплицитных теорий.
Читать PDF
209.16 кб

Основания математики. Приложение В. Теория типов § 497.

Рассел Бертран
The Appendix В. Russian translation of the Appendix B from the book of B. Russell «The Principles of Mathematics» (1903).
Читать PDF
183.44 кб

О простой теории типов Б. Рассела (предисловие к публикации)

Суровцев Валерий Александрович
Перевод на русский язык Приложения В из книги Б. Рассела «Основания математики» (1903). В предисловии рассматривается парадокс Рассела, анализируется простая теория типов, предложенная для его решения.
Читать PDF
89.40 кб

А. В. Белов теория культурно-исторических типов: Pro et contra

Галинская И. Л.
Белов А.В. Теория культурно-исторических типов: pro et contra. Ростов н/Д, 2002. 104 с.
Читать PDF
352.22 кб

Аналитическое определение числа, парадокс Рассела и теория типов

Ладов Всеволод Адольфович, Эннс Ирина Андреевна
Рассматривается определение числа у Г. Фреге. Подход Г. Фреге сравнивается со взглядами И. Канта. Демонстрируется оригинальность и приоритет фрегевского подхода. Рассматриваются недостатки определения числа у Г.
Читать PDF
13.99 мб

Замечания о теории типов в семантике пропозициональных установок

Доманов О.А.
The article contains concise comments on issues addressed in responses to the article “Type theory in the semantics of propositional attitudes”.
Читать PDF
256.07 кб

Аксиома сводимости, теория типов Ф. П. Рамсея и реализм в математике

Суровцев В. А.
В статье рассматриваются обоснованность аксиомы сводимости, метод её элиминации, предложенный Ф.П. Рамсеем, и онтологические основания этого метода.
Читать PDF
14.03 мб

Теоретико-типовая грамматика, интенсионалы и эпистемические установки

Микиртумов И.Б.
В статье я обсуждаю некоторые идеи теоретико-типовой грамматики Аарне Ранта и тот анализ проблемы Куайна (Ральф и Орткатт), который Олег Доманов осуществил средствами этой теории.
Читать PDF
62.33 кб

Н. Н. Страхов и В. С. Соловьев: спор о теории культурно-исторических типов

Атякшев Максим Валериевич
Представлен сравнительный анализ взглядов Н.Н. Страхова и В.С. Соловьева на соотношение национального и общечеловеческого начал в истории.
Читать PDF
13.95 мб

Теория типов Мартина-Лёфа как мультиагентная формальная эпистемическая система

Родин А.В.
Ранта безосновательно называет произвольные подстановки переменных из одних контекстов ТТМЛ в другие “расширениями контекстов”, предполагая при этом, что контексты всегда формируют частичный порядок.
Читать PDF
432.07 кб

К вопросу о формировании теории культурно-исторических типов Н. Я. Данилевского

Гердт Яна Владимировна
В статье рассматривается вопрос формирования теории культурно-исторических типов Н. Я. Данилевского, освещаются основные принципы теории, называются и анализируются факторы, оказавшие влияние на формирование тео-рии Данилевского.
Читать PDF
979.45 кб

Макс Вебер об университете, науке, образовании в контексте теории «Идеальных типов»

Манахова Ирина Анатольевна

Похожие термины:

  • КУЛЬТУРНО-ИСТОРИЧЕСКИХ ТИПОВ ТЕОРИЯ

    представление о культуре как самобытной органической целостности, возникающей и исчезающей. Н.Я.Данилевский, О.Шпенглер. А.Тойнби, П.Сорокин отрицают идею единой культуры, подчеркивается множеств