Реферат: Ревизионная теория истины - текст реферата. Скачать бесплатно.
Банк рефератов, курсовых и дипломных работ. Много и бесплатно. # | Правила оформления работ | Добавить в избранное
 
 
   
Меню Меню Меню Меню Меню
   
Napishem.com Napishem.com Napishem.com

Реферат

Ревизионная теория истины

Банк рефератов / Философия

Рубрики  Рубрики реферат банка

закрыть
Категория: Реферат
Язык реферата: Русский
Дата добавления:   
 
Скачать
Архив Zip, 13 kb, скачать бесплатно
Заказать
Узнать стоимость написания уникального реферата

Узнайте стоимость написания уникальной работы

Ревизионная т еория истины Блинов А.К. Ревизионная теория истины[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 . Интуитивно "нормальные", не содержащие противоречий предложения стабил изируются в каждой последовательности; постольку, поскольку теория име ет дело с последовательностями классических моделей, каждая логическа я истина стабилизируется как истина в каждой последовательности, а кажд ая логическая ложь — как ложь в каждой последовательности. В то же время предложения типа предложения лжеца показывают непостоянное поведение в процедуре пересмотра: они изменяют свое значение с истинного на ложное в пересмотрах в каждой последовательности. Возможны и другие классифик ации предложений относительно их поведения в различных последовательн остях пересмотра: некоторые стабилизируются как ложные во всех последо вательностях; некоторые стабилизируются как истинные в некоторых, но не во всех последовательностях; некоторые стабилизируются как истинные в некоторых последовательностях и как ложные в остальных. Таким образом, а ппарат ревизионной теории дает средства для классификации различных т ипов предложений по различным семантическим категориям. Так же, как прагматическая теория истины, ревизионная теория использует идею постепенного приближения к истине, хотя гораздо более полно и явно использует свои математические источники и аналоги — понятие предела, исчисление бесконечных величин и т.д. Однако, в отличие от прагматическо й, ревизионная теория не включает в себя представления об абсолютной, ок ончательной, не подлежащей дальнейшему пересмотру истине — что позвол яет ей избежать интенсионализма и соблюсти онтологическую нейтральнос ть. Очевидно, что Анил Гупта учел критику теории Тарского Хартри Филдом: р евизионной теории трудно вменить какие-либо онтологические обязательс тва; при этом она экстенсиональна. Но, как и теория Тарского, ревизионная т еория представляет собой не столько самостоятельную теорию истины, ско лько надстройку над той или иной теорией. В случае Тарского это корреспо ндентная интуиция, которую он называет классической аристотелевой кон цепцией истины. Гупта и Белнап не формулируют таких преференций и, хотя о ни позиционируют предложенный ими аппарат решения семантических парад оксов как самостоятельную теорию истины, очевидно, что ревизионная теор ия может быть рассмотрена именно как аппарат для применения той или иной концепции истины, заключающей о ее природе. Ничто не мешает ревизионной теории опереться, например, на дефляционный тезис. Однако сама по себе ид ея сравнения одних языковых выражений с другими представляет собой, стр ого говоря, не что иное, как когерентную концепцию истины. [44] См .: Gupta A. "Truth and Paradox" — Journal of Philosophical Logic, 1982, 11, рр . 1 – 60; Gupta A. and Belnap N. The Revision Theory of Truth. Cambridge MA: The MIT Press, 1993; Herzberger Н . "Notes on Naive Semantics" — Journal of Philosophical Logic, 1982, 11, рр . 61 – 102; Herzberger H. "Naive Semantics and the Liar Paradox" — Journal of Philosophy, 1982, 79, рр . 479 – 97; Martin R. (ed.) Recent Essays on Truth and the Liar Paradox. Oxford: Oxford University Press, 1984. [45] В русской логической терминог логии принято вместо "бикондиционал" употреблять термин "эквивалентнос ть".
1Архитектура и строительство
2Астрономия, авиация, космонавтика
 
3Безопасность жизнедеятельности
4Биология
 
5Военная кафедра, гражданская оборона
 
6География, экономическая география
7Геология и геодезия
8Государственное регулирование и налоги
 
9Естествознание
 
10Журналистика
 
11Законодательство и право
12Адвокатура
13Административное право
14Арбитражное процессуальное право
15Банковское право
16Государство и право
17Гражданское право и процесс
18Жилищное право
19Законодательство зарубежных стран
20Земельное право
21Конституционное право
22Конституционное право зарубежных стран
23Международное право
24Муниципальное право
25Налоговое право
26Римское право
27Семейное право
28Таможенное право
29Трудовое право
30Уголовное право и процесс
31Финансовое право
32Хозяйственное право
33Экологическое право
34Юриспруденция
 
35Иностранные языки
36Информатика, информационные технологии
37Базы данных
38Компьютерные сети
39Программирование
40Искусство и культура
41Краеведение
42Культурология
43Музыка
44История
45Биографии
46Историческая личность
47Литература
 
48Маркетинг и реклама
49Математика
50Медицина и здоровье
51Менеджмент
52Антикризисное управление
53Делопроизводство и документооборот
54Логистика
 
55Педагогика
56Политология
57Правоохранительные органы
58Криминалистика и криминология
59Прочее
60Психология
61Юридическая психология
 
62Радиоэлектроника
63Религия
 
64Сельское хозяйство и землепользование
65Социология
66Страхование
 
67Технологии
68Материаловедение
69Машиностроение
70Металлургия
71Транспорт
72Туризм
 
73Физика
74Физкультура и спорт
75Философия
 
76Химия
 
77Экология, охрана природы
78Экономика и финансы
79Анализ хозяйственной деятельности
80Банковское дело и кредитование
81Биржевое дело
82Бухгалтерский учет и аудит
83История экономических учений
84Международные отношения
85Предпринимательство, бизнес, микроэкономика
86Финансы
87Ценные бумаги и фондовый рынок
88Экономика предприятия
89Экономико-математическое моделирование
90Экономическая теория

 Анекдоты - это почти как рефераты, только короткие и смешные Следующий
Мы научились летать в небе, как птицы. Мы научились плавать в океане, как рыбы. Теперь осталось научиться жить на земле, как люди.
Anekdot.ru

Узнайте стоимость курсовой, диплома, реферата на заказ.

Обратите внимание, реферат по философии "Ревизионная теория истины", также как и все другие рефераты, курсовые, дипломные и другие работы вы можете скачать бесплатно.

Смотрите также:


Банк рефератов - РефератБанк.ру
© РефератБанк, 2002 - 2016
Рейтинг@Mail.ru