Ақиқатты қайта қарау теориясы

Тексеру ақиқат теориясы[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; R. Martin (ed.) Recent Essays on Truth and the Liar Paradox. Oxford: Oxford University Press, 1984.
[45] орыс логикалық терминоглогии қабылданды орнына «бикондиционал» пайда «термині эквиваленттілік».

Добавить комментарий

Your email address will not be published.