Прозрачная интенсиональная логика - Википедия - Transparent intensional logic

Прозрачная интенсиональная логика (часто сокращенно TIL) это логическая система сделано Павел Тихи. Благодаря богатому процедурная семантика TIL особенно подходит для логического анализа естественного языка. С формальной точки зрения TIL - это гиперинтенсивный, частичный, типизированное лямбда-исчисление.

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

Процедуры TIL, известные как конструкции, индивидуализированы с гиперинтензией. Конструирование - это единственное наиболее важное понятие прозрачной интенсиональной логики, являющееся философски хорошо мотивированной и формально разработанной концепцией. Фреге Понятие способа представления. Конструкции и создаваемые ими объекты организованы в разветвленную теорию типов, включающую простую теорию типов. Семантика адаптирована к самому сложному случаю, так как состоит из гиперинтенсивных контекстов и обобщается оттуда на интенсиональные и экстенсиональные контексты. Базовая логика - это функция / аргумент в стиле Фреге, рассматривающая функции, а не отношения или множества, как примитивные вместе с Церковь -стилевой логики, основанной на операциях функциональной абстракции и заявление.

Ключевые ограничения, определяющие подход TIL к семантическому анализу: композиционность и антиконтекстуализм. Присваивание конструкций выражениям в качестве их значений контекстно-инвариантно. В зависимости от вида логического контекста, в котором происходит конструкция, контекстно-зависимым является логическое манипулирование самим соответствующим значением, а не его присвоение.

Смотрите также

Библиография

внешняя ссылка