Т-образная схема
- Т-схема используется для проверки правильности индуктивного определения истины в семантической теории истины Альфреда Тарского.
- Т-схема может быть выражена на естественном языке или формализована в многосортной логике предикатов или модальной логике.
- Т-теории составляют основу фундаментальных работ по философской логике и применяются в важных спорах в аналитической философии.
- Используя Т-схему, можно дать индуктивное определение истинности сложных предложений, присваивая значения истинности атомарным предложениям произвольно.
- Истинность более сложных предложений определяется в терминах компонентов предложения.
- Предикаты истинности, удовлетворяющие всем критериям, называются “классами удовлетворенности” и считаются приемлемыми определениями понятия истинности.
- Анализ предиката истинности с использованием Т-схемы не способен обработать все вхождения предиката истинности в естественном языке.
Полный текст статьи: