Решение задачи
ТЕОРИЯ ИСТИННО-ЦЕНЫХ СТРУКТУР. К эмпирической логистики теоретико-семантических построений. Работа направлена на решение вопроса об эмпирич...
Условие:
ТЕОРИЯ ИСТИННО-ЦЕНЫХ СТРУКТУР. К эмпирической логистики теоретико-семантических построений. Работа направлена на решение вопроса об эмпирическом статусе теоретических терминов и их разграничении с метафизическими понятиями. Для Т-теории термины, вводимые Т-теорией, являются Т-терминами (теоретическими терминами); О-термины - это термины, которые предшествуют введению Т-терминов и заимствуются из обычного языка; требованием к Т-терминам является именование; О-термины должны пониматься независимо от вводимых теоретических терминов; первым шагом в определении Т-термина является, Фиксирование T таким образом, чтобы оно содержало T-термин: T (t1, ... , tn), где 't1', ... , 'tn' - термы T. Исходя из этого определения T, подставляются свободные переменные всех термов T. В результате получается формула реализации T: T (x1, ... , xn); сохраняя интерпретацию терминов O, можно сказать, что любое n-множество, удовлетворяющее формуле реализации T, является реализацией T или реализацией T. Применительно к теории реализаций логика высказываний указывает на следующие ограничения на терм T: (1) Если существует единственное n-множество, реализующее T, то каждый терм T называется компонентой соответствующего n-множества. (2) Если существует более одной реализации T, то термы T никак не называются, поскольку нет возможности произвольно выбрать одну из реализаций T. (3) Если реализаций T не существует, то терм T не имеет никакого имени. Таким образом, t1 - первый член единственного n-множества, реализующего T, а t2 - второй член единственного n-множества, реализующего T. Чтобы доказать, что не имеет значения неоднозначность определения, приведем следующие примеры, в которых состояние определения предположения F таково: Ty (y - да); Tn (n - нет); Tp (возможно - возможно) Пока Ty безусловно удовлетворяется только одним объектом, определение определено. И если Ty + Tp также удовлетворяется этим объектом (Ty), то, безусловно, имеется достаточно данных, чтобы гарантировать, что определение в целом безупречно. Таким образом, даже если F имеет неточное определение аналогичного типа, эта неточность несущественна, если Ty достаточно сильна, чтобы гарантировать определение F, а Ty + Tp недостаточно сильна. Тем не менее, Папино указывает на две опасности, которых следует избегать при таком подходе: Ty не должна быть настолько слабой, чтобы не определять F, и Ty не должна быть настолько сильной, чтобы исключать Tp. По итогу мы можем представить следующее дифференциальное уравнение:
Решение:
Научная статья: "Теория истинно-цензурных структур: эмпирический анализ и логистические построения"
Аннотация:
В данной статье рассматривается проблема эмпирического статуса теоретических терминов и их разграничение с метафизическими понятиями в контексте Т-теории. Т-термины, вводимые Т-теорией, являются теоретическими терминами, в то время как О-термины предшествуют введению Т-терминов и заимствуются из обычного языка. В данной работе предлагается методика определения Т-терминов, основанная на фиксации T таким образом, чтобы оно содержало T-термин: T (t1, ... , tn), где 't1', ... , 'tn' - термы T. Затем, подставляя свободные переменные всех термов T, получаем формулу реализации T: T (x1, ... , xn). Поддерживая интерпретацию О-терминов, можно сказать, что любое n-множество, удовлетворяющее формуле реализации T, является реализацией T.
Далее, в контексте теории реализаций, логика высказываний указывает на ограничения на терм T. Если существует единственное n-множество, реализующее T, то каждый терм T называется компонентой соответствующего n-множества. Если существует более одной реализации T, то термы T не называются, поскольку нет возможности произвольно выбрать одну из реализаций T. Если реализаций T не существует, то терм T не имеет никакого имени.
Для подтверждения того, что неоднозначность определения не имеет значения, приводятся примеры, в которых состояние определения предположения F таково: Ty (y - да); Tn (n - нет); Tp (возможно - возможно). Показывается, что даже если F имеет неточное определение аналогичного типа, эта неточность несущественна, если Ty достаточно сильна, чтобы гарантировать определение F, а Ty + Tp недостаточно сильна. Однако, следует избегать слишком слабой Ty, которая не определяет F, и слишком сильной Ty, которая исключает Tp.
В заключение, представлено дифференциальное уравнение, которое отражает полученные результаты исследования.
Ключевые слова: Т-теория, эмпирический статус, теоретические термины, метафизические понятия, реализация, логика высказываний, неоднозначность определения.
Похожие работы
Попробуй и другие функции
Решения по другим предметам
А
Б
В
М
П
С
Т
Э