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

Эта статья слишком полагается на Рекомендации к основные источники. Пожалуйста, улучшите это, добавив вторичные или третичные источники. (Февраль 2014) (Узнайте, как и когда удалить этот шаблон сообщения)

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

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

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

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

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

• Интенсиональная логика

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

• П. Тихи (1988): Основы логики Фреге. Де Грюйтер, Берлин и Нью-Йорк, 1988, 333 стр.
• М. Дужи, Б. Есперсен и П. Матерна: Процедурная семантика гиперинтенсивной логики. Основы и приложения TIL. Спрингер, 2010.

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

• Домашняя страница TIL

Этот лингвистика статья - это заглушка. Вы можете помочь Википедии расширяя это.

Этот логика -связанная статья является заглушка. Вы можете помочь Википедии расширяя это.