PhilosophyDay
Современная философия
2.2.3 Теория типовДругая философия / Аналитическая философия / 2. Программа
логического атомизма / 2.2 Онтология, эпистемология и
философия языка Рассела / 2.2.3 Теория типовСтраница 2
В применении к высказывательным функциям это означает, что ни одна функция не может быть применена к самой себе; то, что рассматривается в качестве аргумента, никогда не должно становиться функцией, и наоборот, на одном и том же уровне.
Теория типов становится для Рассела универсальным методом решения парадоксов, не только обнаруженных им самим, но и известных с давних времен. Возьмем, например, парадокс лжеца. Если некто высказывает утверждение “Я сейчас лгу”, то с традиционной точки зрения, при попытке определить истинностное значение этого утверждения мы всегда придем к противоречию. Действительно, поскольку он лжет, то ложным должно быть и высказанное им утверждение; но, учитывая его содержание, мы тогда должны сказать, что оно истинно. Если же его утверждение истинно, то, согласно утверждаемому содержанию, оно говорит о своей собственной ложности и, стало быть, является ложным. В любом случае возникает противоречие. Но, используя теорию типов, Рассел решает этот парадокс, разводя по разным уровням высказывания, о которых говорит это утверждение, и само это утверждение[79]. С точки зрения теории типов, человек, утверждающий, что он лжет, имеет в виду ложность по крайней мере одного высказывания из класса высказываний, охватываемых его утверждением. Но само его утверждение не должно включаться в этот класс, поскольку оно относится к более высокому типу. Поэтому истинностная оценка должна релятивизироваться относительно типа высказанных утверждений. Любое утверждение о высказываниях n
-го типа само будет относиться к n
+1 типу и не должно включаться в класс оцениваемых высказываний.
Символическая система Фреге не удовлетворяет требованиям теории типов, поэтому в ней и можно сформулировать парадоксальные утверждения.
Смотрите также
6.5 "Реализм с человеческим
лицом" Х.Патнэма
В предисловии к русскому изданию сборника классических статей
Патнэма Л.Б.Макеева пишет: "Непосредственно проблеме реализма[350] посвящена одна статья в
настоящем сборнике — «Философи ...
3.5 Формирование представлений о
конвенционализме в философии науки Венского кружка
Полемика
логических эмпиристов с неокантианцами была инициирована развитием точных наук
в начале ХХ века. Последнее сказалось не просто в появлении новых образцов
хорошей науки, которым н ...
3.4 Дискуссия о языке наблюдения
Исходной
точкой исследований венцев был "Трактат", согласно одному из
фундаментальных тезисов которого утверждение истинно, если факт или состояние
дел, выраженные этим утвержде ...