Кіріспе

Сәйкестік теориясы немесе тарихи тізбек теориясы – терминдердің нақты анықтамаларын дәлелдер негізінде қалай иеленетінін түсіндіретін теория. Мұндай теориялар көптеген сілтеме жасайтын терминдерді, әсіресе логикалық терминдерді, есімдерді және табиғи түрлерге жататын терминдерді сипаттау үшін қолданылған. Мысалы, есімдер жағдайында, сілтеме жасаудың себептік теориясы әдетте мынадай талаптарды қамтиды: есімнің анықтамасы бастапқы атау актісімен (кейде «дублеттеу» деп те аталады немесе Саул Крипке айтқандай, «алғашқы тойыстыру») бекітіледі, осыдан кейін есім сол объектінің қатаң белгішесіне айналады. Есімді кейін пайдалану, себеп-салдар тізбегі арқылы сол бастапқы актіге байланысты болып, анықтамаға сілтеме жасауға мүмкіндік береді. Бұл ұстанымның әлсіз нұсқалары (бәлкім, толыққанды «себептік теориялар» деп атауға болмайды) көптеген жағдайларда, сөйлеушінің терминді қолдануының себептік тарихындағы оқиғаларды, соның ішінде термин алғаш рет қалай игерілгенін ескеру қажет деп мәлімдейді, бұл сөйлеушінің сөздеріне дұрыс анықтама беру үшін маңызды. Есімдердің себептік теориясы 1970-ші жылдары Саул Крипке мен Кит Доннелланның еңбектерінің ықпалымен танымал болды. Крипке мен Хилари Путнам да табиғи түрлерге жататын терминдердің ұқсас себептік түсіндірмесін қорғады.

Крипке есімдердің себеп-салдарлық есебі

Кейіннен "Атау және қажеттілік" деп жарияланған дәрістерінде Крипке атаулардың себептік анықтама теориясының шамамен жоспасын ұсынды. Ол мұндай теорияны ашық түрде қолдамаса да, Расселл ұсынған сол кездегі танымал сипаттамалық теориядан гөрі оның перспективасы әлдеқайда үміт беретінін көрсетті, сол теория бойынша атаулар – жасырылған нақты сипаттамалар. Крипке атауды сәтті қолданып бір нәрсені көрсету үшін, сол нәрсенің бірегей сипаттамасын білудің қажеті жоқ деп талас жүргізді. Керісінше, сіздің атауды қолдануыңыз сол нәрсенің аты қоюымен (тиісті тәсілмен) себептелеуі керек. Мұндай себептік процесс былай жүруі мүмкін: жаңа туған сәбидің ата-анасы балаға қарап, "біз оны Джейн деп атаймыз" деп айтып, оған ат қояды. Содан кейін барлығы оны "Джейн" деп атайды. Осы әрекетпен ата-ана қызға есімін береді. Жиналған отбасы мен достар енді "Джейн" – Джейнге сілтеме жасайтын есім екенін біледі. Бұл Джейннің атының берілуі, аталуы немесе алғашқы крещениесі деп аталады. Дегенмен, Джейнды білетін және оны "Джейн" деп атайтындардың барлығы да осы ат қою рәсімінде болған жоқ. Олай болса, олар "Джейн" деген есімді қолданғанда, қалайша Джейнге сілтеме жасайды? Себептік теориялардың жауабы мынадай: Джейннің атын қолданушылардың барлығына дейін себептік тізбе жалғасады, ол Джейннің атын бірінші рет естігендерден басталады. Мысалы, Джилл ат қою рәсімінде болмаған болуы мүмкін, бірақ ол Джейн туралы және оның атының "Джейн" екенін Джейннің анасынан біледі, ол сол жерде болған. Содан кейін ол Джейннің анасы айтқан баланы көрсету үшін "Джейн" деген есімді қолданады. Енді Джилл осы есімді қолдана алады, ал оның қолдануы өз кезегінде басқа да сөйлеушілерге Джейнге сілтеме жасау мүмкіндігін береді. Гарет Эванс сияқты философтар теорияның атының берілуі туралы есебін "көп негіздер" деп аталатындарды қамту үшін кеңейту қажет деп талап етеді. Оның алғашқы крещениесінен кейін, Джейннің қатысуымен "Джейн" есімін қолдану, дұрыс жағдайларда, оның атын (Джейн) өзінің анықтамасында одан әрі бекітуі мүмкін. Яғни, егер мен Джейнмен тікелей байланыста болсам, "Джейн" есімін айтуымның анықтамасы тек оны бұрын кездескен адамдар арқылы себептік тізбемен ғана емес, сонымен қатар мен айтқан кезде Джейнге тікелей сілтеме жасау арқылы да бекітілуі мүмкін. Осылайша, біздің заманауи қолданысымыздағы "Кристофер Колумб" сияқты есімді Колумбқа сілтеме жасайтын себептік тізбе ретінде қарастыруға болады, ол оның атымен аталуының бір ғана жағдайында емес, оның өмірі бойында оның атын бекітетін бірнеше жағдайларда аяқталады. Шатасудың кейбір жағдайларында бұл есімнің анықтамасының өзгеруіне әкелуі мүмкін (мұның қалай болуы мүмкін екендігінің мысалы үшін, "Екі Жер" ой экспериментін қараңыз).

Мотивация

Сәйкестендіру теориялары Расселдің сипаттамалық теорияларының кеңінен қабылдануына жауап ретінде пайда болды. Рассел кейбір логикалық қайшылықтарды болдырмау үшін есімдердің жасырылған нақты сипаттамалар екенін көрсетті (осындай көзқарас Готтлоб Фрегеге де жиі жатады, көбінесе «Мағына және сілтеме» еңбегіндегі түсіндірмеге сүйене отырып, бірақ көптеген Фреге зерттеушілері бұл тұжырымды дұрыс емес деп санайды). Осыған сәйкес, «Аристотель» деген есім «Платонның шәкірті және Ұлы Александрдың ұстазы» деген мағынаны білдіруі мүмкін. Кейінгі сипаттама теориялары бұл тұжырымды кеңейтіп, есімнің бір ғана сипаттаманы емес, көптегенін (мүмкін, аталған тұлға туралы барлық маңызды білімді құрайтынын) немесе осы сипаттамалардың салмақты орташасын білдіретінін ұсынды. Крипке бұл тұжырымды бірнеше себеппен терең қате деп тапты. Атап айтқанда:

Біз бірегей анықтамасы жоқ тұлғаларды сәтті атауға қабілеттіміз. (Мысалы, сөйлеуші Филли Софик туралы айта алады, тіпті оны тек «бір ақын» деп білсе де.) Біздің анықтамалық сенімдеріміз дұрыс еместігіне қарамастан, біз сәтті атауға қабілеттіміз. (Көптеген адамдар Кристофер Колумб туралы «Солтүстік Америкаға алғаш келген еуропалық» немесе «жердің дөңгелек екеніне алғаш сенген адам» дегеннен басқа ешқандай сенімге ие емес. Бұл екі тұжырым да дұрыс емес. Дегенмен, мұндай адам «Кристофер Колумб» десе, біз оның осы сипаттамалардың біреуіне сәйкес келетін кез келген адамды емес, Кристофер Колумбты атап отырғанын мойындаймыз.) Біз есімдерді адамға не болуы мүмкін еді деген гипотетикалық сұрақтарды талқылау үшін қолданамыз. Есім қатаң белгілегіш ретінде жұмыс істейді, ал нақты сипаттама – жоқ. (Бір адам «Егер Аристотель жас кезінде қайтыс болғанда, ол Ұлы Александрға ешқашан білім бермес еді» дей алады. Бірақ егер «Ұлы Александрдың ұстазы» «Аристотель» есімінің мағынасының бір бөлігі болса, онда бұл сөздің мағынасы болмайды.) Себептік теория осы қиындықтарды болдырмайды. Есім, оған себептік байланысы бар тұлғаға қатаң түрде сілтеме жасайды, оның ешқандай нақты ерекшеліктеріне қарамастан, және барлық мүмкін әлемдерде, егер ол тұлға болса. Басқа терминдерге қатысты себептік теорияларды қолдануға да осындай себептер бар. Мысалы, Путнам «су» сөзінің біз шындығында «су» деп атайтын нәрсені ғана білдіретінін, біз себептік байланысы жоқ, бірақ суға ұқсас кез келген затты емес екенін көрсетуге тырысты. Бұл ойлар семантикалық сыртқылықты тудырады. Сөйлеушілер су сияқты табиғи түрлермен үнемі қарым-қатынаста болады және олардың есімдері ресми рәсімдер арқылы бекітілмейді, сондықтан жоғарыда сипатталған көптеген себептер мұндай терминдердің себептік теориясына одан да маңызды. Ортасы өзгерген сөйлеуші өзінің терминдерінің сілтемелерінің өзгеретінін байқауы мүмкін, бұл «Екі Жер» және «Болоқ адам» ой эксперименттерінде көрсетілген.