Доклад: Ревизионная теория истины

Блинов А.К.

Ревизионная теория истины[44) призвана анализировать парадоксы типа парадокса лжеца (или парадокса Эпименида), которые показывают, что полагания здравого смысла относительно истины могут быть непоследовательны и противоречивы.

Рассмотрим следующее предложение лжеца:

( L ) Предложение ( L ) не истинно.

Предложение ( L ) утверждает о себе, что оно не истинно; его противоречивость следует из очевидно тривиальных принципов. Применение базовой (аристотелевой) интуиции относительно истины предложение является истинным, если и только если то, что оно утверждает, имеет место к предложению ( L ) дает:

(1) Предложение ( L ) истинно, если и только если предложение ( L ) не истинно.

При этом предложение ( L ) утверждает именно то, что оно не истинно; поэтому в силу корреспондентной интуиции оно истинно, если и только если оно не истинно.

Другое явное противоречие следует из принципа бивалентности:

(2) Предложение ( L ) либо истинно, либо нет.

Противоречие, заложенное в (1), может быть развито рассмотрением двух случаев, которые допускает (2): что ( L ) истинно или что ( L ) не истинно.

Случай 1. Предложение ( L ) истинно. Тогда в силу (1) предложение ( L ) не истинно. Таким образом, оно и истинно, и не истинно одновременно, что невозможно.

Случай 2. Предложение ( L ) не истинно. Тогда в силу (1) предложение ( L ) истинно. Снова оно и истинно, и не истинно одновременно, что невозможно.

Поэтому любой из этих двух случаев делает невозможным (1). Это подразумевает, что по крайней мере одна из этих основных интуиций, выраженных в (1) и (2), неправильна.

Ревизионная теория истины отталкивается от семантической теории истины Тарского, в которой значение истины для множества предложений ("языка") дается условными предложениями вида:

S истинен если и только если P ,

где P предложение языка, а S имя предложения

Гупта называет такие предложения "бикондиционалами Тарского"[45) . Хотя эквивалентности Тарского кажутся весьма тривиальными, они, как мы видим, ведут к явным противоречиям, когда применяются к предложениям типа предложения лжеца, потому что предложение (1) тоже пример именно такой эквивалентности.

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

В ревизионной теории эквивалентность типа (1) понимается как имеющий гипотетический характер. эквивалентности Тарского полностью определяют понятие истины, но только в силу специальной роли, отведенной им в соответствии с ревизионной теорией а именно, они дают метод для получения все лучших и лучших приближений экстенсионала предиката истины. Таким образом, они не просто дают экстенсионал предиката истины, но обеспечивают усовершенствование любого временного экстенсионала, который мог бы быть предложен.

Пусть М обычная модель первого порядка, которая назначает предикату истины произвольный экстенсионал. Эквивалентности Тарского обеспечивают метод получения улучшенной модели M * для любого предложения P , имеющего имя S следующим образом. S назначается экстенсионалу предиката истины в M *, если P истинно в М и при этом не назначено другому истинному экстенсионалу. Тогда для любой данной модели М с любым начальным экстенсионалом предиката истины, эквивалентности дают ряд моделей М*, М**, М*** и т.д., которые построены использованием эквивалентностей, оценивающих предложения в предыдущем члене ряда. При этом ряд может быть продлен до бесконечности путем обобщения значений предыдущих элементов последовательности. Один из методов такого обобщения состоит в том, чтобы принять экстенсионал истины в верхнем схождении последовательности за состоящий из (имен) всех предложений, стабилизировавшихся на том этапе, когда последовательность приблизилась к пределу иными словами, если на некоторой стадии последовательности предложение объявлено истинным в каждой подпоследовательности ниже стадии предела, то оно входит в экстенсионал истины в пределе.

"Последовательность пересмотра" является любой последовательностью моделей, начинающейся с произвольной модели М, которая произведена эквивалентностями Тарского согласно ревизионной теории истины.

Некоторые предложения стабилизируются в конечном счете в каждой последовательности пересмотра. Например, пусть S имя предложения

T ( T ( F ( b ))),

где " T " предикат истины, " F " произвольный одноместный предикат, и " b " произвольное имя. Модель М( T ) представляет экстенсионал, назначенный предикату T моделью М. Тогда

S находится в М**( T ), если и только если T ( F ( b )) принадлежит модели М*( T ).

Но

T ( F ( b )) находится в М*( T ), если и только если F ( b ) принадлежит М( T ).

Таким образом,

S находится в М**( T ), если и только если F ( b ) принадлежит М( T ), т.е. если и только если b принадлежит М( F ).

Аналогичным образом, от второго пересмотра "ревизии" ( revision ) и далее, S назначается экстенсионалу истины, если и только если b принадлежит экстенсионалу предиката F . Начиная с любой модели М, предложение S стабилизируется как или истинное, или ложное в каждой последовательности пересмотра в зависимости от того, оценивается ли F ( b ) как истинное или ложное в начальной модели M .

Интуитивно "нормальные", не содержащие противоречий предложения стабилизируются в каждой последовательности; постольку, поскольку теория имеет дело с последовательностями классических моделей, каждая логическая истина стабилизируется как истина в каждой последовательности, а каждая логическая ложь как ложь в каждой последовательности. В то же время предложения типа предложения лжеца показывают непостоянное поведение в процедуре пересмотра: они изменяют свое значение с истинного на ложное в пересмотрах в каждой последовательности. Возможны и другие классификации предложений относительно их поведения в различных последовательностях пересмотра: некоторые стабилизируются как ложные во всех последовательностях; некоторые стабилизируются как истинные в некоторых, но не во всех последовательностях; некоторые стабилизируются как истинные в некоторых последовательностях и как ложные в остальных. Таким образом, аппарат ревизионной теории дает средства для классификации различных типов предложений по различным семантическим категориям.

Так же, как прагматическая теория истины, ревизионная теория использует идею постепенного приближения к истине, хотя гораздо более полно и явно использует свои математические источники и аналоги понятие предела, исчисление бесконечных величин и т.д. Однако, в отличие от прагматической, ревизионная теория не включает в себя представления об абсолютной, окончательной, не подлежащей дальнейшему пересмотру истине что позволяет ей избежать интенсионализма и соблюсти онтологическую нейтральность. Очевидно, что Анил Гупта учел критику теории Тарского Хартри Филдом: ревизионной теории трудно вменить какие-либо онтологические обязательства; при этом она экстенсиональна. Но, как и теория Тарского, ревизионная теория представляет собой не столько самостоятельную теорию истины, сколько надстройку над той или иной теорией. В случае Тарского это корреспондентная интуиция, которую он называет классической аристотелевой концепцией истины. Гупта и Белнап не формулируют таких преференций и, хотя они позиционируют предложенный ими аппарат решения семантических парадоксов как самостоятельную теорию истины, очевидно, что ревизионная теория может быть рассмотрена именно как аппарат для применения той или иной концепции истины, заключающей о ее природе. Ничто не мешает ревизионной теории опереться, например, на дефляционный тезис. Однако сама по себе идея сравнения одних языковых выражений с другими представляет собой, строго говоря, не что иное, как когерентную концепцию истины.

Похожие рефераты:

Реферат на тему Когерентная теория истины Реферат на тему Концепция понимания языка М.Даммита Реферат на тему Конвенциональность истины и значения Реферат на тему Аналитические модели объяснения Реферат на тему Различение между истинностью и обоснованностью знания Курсовая работа на тему Каузальные теории референции Реферат на тему Гипотеза лингвистической относительности Сепира Уорфа Реферат на тему Проблема языка в современных исследованиях по искусственному интеллекту Реферат на тему Аналитическая философия и герменевтика (К.-О.Апель) Реферат на тему Физикализм Реферат на тему Функциональный анализ ментального Реферат на тему Бихевиористская редукция сознания Реферат на тему Критика психологии первого лица Реферат на тему Аналитическая философия сознания Реферат на тему Дефляционная теория истины Реферат на тему Концепция онтологической относительности и холистический тезис Куайна Реферат на тему "Реализм с человеческим лицом" Х.Патнэма Реферат на тему "Усовершенствованный реализм" А.Айера Курсовая работа на тему Прагматический анализ Доклад: Физикалистская метафизика Д.М.Армстронга Реферат на тему Холистичность теории интерпретации Д.Дэвидсона Реферат на тему Молекуляризм М.Даммита Реферат на тему Дескриптивная метафизика П.Ф.Стросона Реферат на тему Стандартная семантика Д.Дэвидсона Доклад: Теоретико-игровая семантика Я.Хинтикки Доклад: Эпистемическая логика Доклад: Инструменталистская семантика (М.Даммит, Г.Кастаньеда) Реферат на тему Знание и мнение. Проблема обоснованности знаний Реферат на тему Реализм и антиреализм: теоретико-познавательный аспект Реферат на тему Динамика знаний и убеждений Реферат на тему Парадокс познаваемости и кризис антиреализма Доклад: Аналитическое понятие истины Реферат на тему Корреспондентная теория истины Реферат на тему Философия языка и теория истины К.Твардовского Реферат на тему Дискуссия о языке наблюдения Реферат на тему Критика логико-позитивистского анализа Реферат на тему Формирование представлений о конвенционализме в философии науки Венского кружка Реферат на тему Многозначные логики Я. Лукасевича Реферат на тему Номинализм Ст.Лесьневского Доклад: Джон Уиздом Реферат на тему Номинализм в аналитической философии Реферат на тему Радикальный конвенционализм К.Айдукевича Реферат на тему Концепция "значение как употребление" и ее приложения Доклад: "Лингвистический поворот" в философии ХХ века Реферат на тему Анализ обыденного языка: общая характеристика направления Реферат на тему Гилберт Райл Реферат на тему Теория истинности А.Тарского Доклад: Карл Гемпель Курсовая работа на тему Основные положения физикализма в Венском кружке Реферат на тему Программа логического позитивизма. Критерий верификации Курсовая работа на тему Логический атомизм "Трактата": от синтаксиса к онтологии Реферат на тему Истоки формирования аналитической философии: Брентано Реферат на тему Основные положения феноменализма в Венском кружке Курсовая работа на тему Логико-семантические идеи Г.Фреге Реферат на тему Философия языка "Трактата": логика языка versus логика мышления Курсовая работа на тему Онтология, эпистемология и философия языка Рассела Реферат на тему Логический атомизм: язык как средство остановки регресса Реферат на тему "Опровержение идеализма" Дж.Э.Мура Курсовая работа на тему Методика анализа содержания текстов Курсовая работа на тему Цели обращения исследователя к методу анализа содержания Курсовая работа на тему Анализ содержания -социологический метод сбора социальной информации Реферат на тему Аналитическая психология К.Г. Юнга: к вопросу понимания самости Реферат на тему Эволюция и основные характеристики аналитической философии Реферат на тему Демографическое будущее России и миграционные процессы Реферат на тему Бытие и Закон. ОнтоТопоЛогия Реферат на тему Топологизация жизненного пространства (постмодернистский взгляд на социологию личности) Реферат на тему Движущие силы социального прогресса Реферат на тему Адаптивный механизм как основополагающий элемент концепции управления экономико-социальными системами Реферат на тему Базовые структуры анкетного метода Курсовая работа на тему Австрийская школа и ее представители Реферат на тему Абсолютные существования и их непредикативное определение в физике Реферат на тему Был ли Маркс утопистом? Реферат на тему Вавилонская башня и смешение языков Реферат на тему Взлет и падение аналитической философии Курсовая работа на тему Вероятность и правдоподобные рассуждения Реферат на тему Гражданское общество в России как сособственничество граждан Реферат на тему Гегель о философско-логических основаниях становления науки о праве Курсовая работа на тему Гендерная проблематика в философии Реферат на тему Демографическое будущее развитых обществ: между детерминизмом и свободой выбора Реферат на тему Новая русская утопия Реферат на тему Русский национализм и судьба российской государственности Реферат на тему Формирование консервативной политико-философской концепции М.Н. Каткова Реферат на тему Эпоха Возрождения и идеи гуманизма Статья: О значении и роли философии Реферат на тему По "лестнице наук" - к искусству Реферат на тему Творческая эволюция и социальная жизнь Курсовая работа на тему Наука и иррационализм или обобщённый принцип дополнительности Бора Реферат на тему Заметки о понятии страха в современной философии Реферат на тему Идея общественного прогресса: Содержание и становление Реферат на тему Рациональность и рационализация в философском дискурсе Реферат на тему Архетипы философского дискурса Реферат на тему Логика неопределенности и неопределенности во времени Доклад: Философия и наука античности Реферат на тему Формальная структура элиты Курсовая работа на тему Философская мысль и открытие космоса Курсовая работа на тему Происхождение человека (Логика антропогенеза) Реферат на тему Онтологические определения понятий культура и цивилизация, добро и зло, свобода и воля Реферат на тему Проблема абсолютности относительности научного познания и единый метод обоснования Реферат на тему Концептуальные противоречия специальной теории относительности Реферат на тему Философия: призвание или профессия?