ТЕОРИЯ ТИПОВ

Найдено 1 определение
ТЕОРИЯ ТИПОВ
англ. theory, types; нем. Typentheorie. Способ построения формальной (математической) логики, при к-ром вводится различение объектов нескольких уровней (типов). Ее суть состоит в различении по типам: индивидов (тип 1), их свойств (тип 2), свойств свойств (тип 3) и т. д. Внутри типов вводится деление на порядки. Т. т. - один из способов исключения из логики и теории множеств парадоксов и антиномий.

Источник: Большой словарь по социологии, проект www.rusword.com.ua

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

Читать PDF

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Теоретические обоснования типов религиозного сознания как полисемантического понятия

Пудовкина И.М.
Рассматриваются теоретические подходы к классификации религиозного сознания, на основании которых предпринята попытка его типологии.
Читать PDF

Континуальность типов научения: динамическое моделирование на основе теории катастроф

Гавриков Владимир Леонидович, Хлебопрос Рем Григорьевич
Статья посвящена формулировке теоретических подходов для моделирования и сравнительного изучения феноменов научения у человека и животных.

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

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

    социологич. подход к анализу истории, в к-ром акцент делается на многолинейности развития об-ва и культуры, вычленяются определенные типы соц. и культурной систем, подчеркивается их своеобразие. О