О Н.Э.С. | О нас | Контакты
Социологическая энциклопедия β

ТЕОРИЯ ТИПОВ

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

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

Найдено научных статей по теме — 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
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
13.95 мб

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

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

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

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

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

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

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

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

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

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

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

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

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