Прозрачная интенсиональная логика
 |
Прозрачная интенсиональная логика (часто сокращенно TIL ) — логическая система, созданная Павлом Тихом . Благодаря своей богатой процедурной семантике TIL особенно пригоден для логического анализа естественного языка . С формальной точки зрения TIL — это гиперинтенсиональное частичное типизированное лямбда-исчисление .
Приложения TIL охватывают широкий спектр тем: от формальной семантики , философии языка , эпистемической логики , философской и формальной логики . TIL обеспечивает всеобъемлющую семантическую основу для всех видов дискурса, будь то разговорный, научный, математический или логический. Семантическая теория является процедурной, согласно которой смысл — это абстрактная, долингвистическая процедура, подробно описывающая, какие операции следует применить к каким процедурным компонентам, чтобы получить результат (если таковой имеется) процедуры.
Процедуры TIL, известные как конструкции , гиперинтенсионально индивидуализированы. Конструкция — единственное и наиболее важное понятие прозрачной интенсиональной логики, представляющее собой философски хорошо мотивированную и формально разработанную концепцию фрегевского понятия способа представления. Конструкции и объекты, которые они создают, организованы в разветвленную теорию типов, включающую простую теорию типов. Семантика адаптирована к самому сложному случаю, состоящему из гиперинтенсиональных контекстов, и затем обобщается на интенсиональные и экстенсиональные контексты . Базовая логика представляет собой функцию/аргумент в стиле Фреге, рассматривающую функции , а не отношения или множества , как примитивные, вместе с логикой в стиле Чёрча , сосредоточенной на операциях функциональной абстракции и применения .
Ключевыми ограничениями, определяющими подход TIL к семантическому анализу, являются композиционность и антиконтекстуализм . Присвоение конструкций выражениям как их значений не зависит от контекста. В зависимости от типа логического контекста, в котором происходит конструкция, контекстно-зависимым является логическое манипулирование самим соответствующим значением, а не присвоение значения.
См. также
[ редактировать ]Библиография
[ редактировать ]- П. Тихи (1988): Основы логики Фреге . Де Грютер, Берлин и Нью-Йорк, 1988, 333 стр.
- М. Дужи, Б. Есперсен и П. Матерна: процедурная семантика гиперинтенсиональной логики . Основы и применение TIL. Спрингер, 2010.
Внешние ссылки
[ редактировать ] | Эта лингвистическая статья незавершена . Вы можете помочь Википедии, расширив ее . |
 | Эта логике статья, посвященная , незавершена . Вы можете помочь Википедии, расширив ее . |