Кіріспе

Философияда, пікірдің бірлігі – жайттық райдағы сөйлемнің жеке есімдер тізімі ғана білдіретін нәрседен артық нәрсені қалай білдіріп тұратынын түсіндіру мәселесі.

Тарих

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

Фреге, Рассел, Витгенштейн

Мәселе жинақ теориясының ерте даму кезеңінде маңызды болды. Жинақ мүшелігі – бұл үсыныстың екі бөлігі арасындағы қатынастың формалды бейнесі, және Фреге ұғым мен объект арасындағы ерекшелікті зерттеген кезде түсінгендей, осыған байланысты белгілі бір философиялық мәселелер бар. «Шергар – жылқы» дегенді «Шергар» сөзінің атауын («Объект», Фреге бойынша) және «жылқы» сөзінің атауын («Ұғым») талдау деп қарастырайық. Объекттер ұғымдардан түбіртектей өзгеше, әйтпесе үсыныстың бірлігі мәселесі туындайды. Белгіше сөйлемнің тақырыбы бола алмайды. Бірақ «жылқы ұғымы» туралы сөйлескенде не істейміз? Біз «ұғым – жылқы» деген тіркесті қолданбаймыз ба, ал ол (Фреге есебі бойынша) Объектке сілтеме жасайтын тақырыптық өрнек емес пе? Иә, дейді Фреге, және осы себепті «ұғым – жылқы» мүлдем ұғым емес. Бұл догманы тіпті Фрегедің ең адал ізбасарлары да қабылдауға қиналды. Бұл қиындық Расселлдің «Математика принциптері» еңбегінде егжей-тегжейлі талқыланды, бірақ ол шешімін таппады. Етістікпен берілген нақтылаудың соңғы түсінігі осы болып көрінеді, ол сөздік есімді алмастырғанда жоғалады, ал сұрақталған үсыныс басқа үсыныстың тақырыбы болғанда да жоғалады. Осылайша, логикалық тақырыпқа айналдыруға болмайтын бірлікке қарама-қайшылық осы жерде сөзсіз туындайтын сияқты. Шындық пен жалғанның табиғатында жатқандай көрінетін бұл қиындыққа қанағаттанарлық шешім табудың жолын білмеймін. Сондықтан бұл мәселені логикамен айналысатын ғалымдарға жоғарыда қысқаша айтқан қиындықпен бірге қалдырамын. (§ 52)

Мысалы, «А, В-ден өзгеше» дегенді қарастырайық. Бұл үсыныстың құрамдас бөліктері – жай ғана А, айырмашылық және В. Үсыныс А мен В-ді «А, В-ден өзгеше» деген сөздерді пайдаланып байланыстырады. Бірақ егер біз бұл үлесті қатынастарды білдіретін сөздермен көрсететін болсақ, мысалы, «A <R> айырмашылық <R> B» түрінде, онда біз терминдер тізіміне оралып, Брэдлидің регресіне қайта ораламыз. Шындығында, үсыныс – бірлік, ал талдау бірлікті жойғаннан кейін, құрамдас бөліктерді тізімдеу үсынысты қалпына келтірмейді. Етістік, оны этистік ретінде қолданғанда, үсыныстың бірлігін білдіреді, сондықтан ол термин ретінде қарастырылған этистіктен ерекшеленеді, бірақ бұл ерекшелікті қалай анық түсіндіруді білмеймін. (§ 52)

Людвиг Витгенштейн «Логика-философиялық трактат» еңбегінде бұл мәселеге ертерек тоқталады. 2.01-бөлімінде ол «жағдайлардың жиынтығы» – бұл объектілердің бірігуі деп мәлімдейді. 2.03-бөлімінде ол объектілерді байланыстыруға ештеңе қажет емес екенін түсіндіреді, өйткені объектілер бір-бірімен байланысқан. Сөйлемдегі сөздердің орналасуы, сөйлемде бейнеленген жағдайлардағы объектілердің орналасуы немесе құрылымына сәйкес келеді. Бұл – үсыныстың суреттік теориясы деп аталады.