Семантиката и нейните проблеми
Под общата научна редакция на М. В. Лебедев
Семантиката и нейните проблеми
В предговора към „Въведение в семантиката“ Карнап отбелязва, че анализът на науката, освен чисто „формален“ анализ на езика, изисква и анализ на сигнификативната функция на езика, тоест теория за значението и интерпретацията. Този раздел от философския анализ на езика се нарича логическа семантика. Семантиката, според Карнап, съдържа „не само теорията на обозначението, т.е. отношенията между изразите и тяхното значение“, но и „теорията на истината и теорията на логическата дедукция“. „Семантиката“, казва той, „съдържа теорията за това, което обикновено се нарича значението на изразите и следователно включва изследвания, водещи до създаването на речник, който превежда обектен език в метаезик. Ще видим обаче, че теориите от една привидно напълно различна област също принадлежат към семантиката, например теорията на истината и теорията на логическата дедукция. Оказва се, че истината и логическото следствие са понятия, основани на отношението на обозначение и следователно семантични понятия.
В рамките на самата семантика Карнап прави разлика между „дескриптивна“ семантика и „чиста“ семантика. Описателната семантика се занимава с описанието и анализа на семантичните свойства на исторически дадени езици, като френски или всички исторически дадени езици като цяло. Първата ще бъде специална дескриптивна семантика; втората е обща дескриптивна семантика. Така че описателната семантика описва факти; това е емпирична наука. От друга страна, можем да установим система от семантични правила, независимо дали са тясно свързани с исторически даден език или са измислени; наричаме я семантична система. Изграждането и анализирането на семантични системи се наричачиста семантика. Правилата на семантичната система S съставляват дефиницията на определени семантични контексти по отношение на S, като "обозначаване в S" и "вярно в S". Чистата семантика се състои от определения от този вид и техните последствия; следователно, за разлика от дескриптивната семантика, чистата семантика е изцяло аналитична и няма фактическо съдържание.
Съответно синтаксисът също е разделен от Карнап на описателен и чист синтаксис, а последните на специален и общ синтаксис. Описателният синтаксис е емпирично изследване на синтактичните характеристики на дадени езици. Чистият синтаксис се занимава със синтактични системи. Синтактичната система (или смятане) на K се състои от правила, които дефинират синтактични понятия, като "изречение в K", "доказуемо в K", "изведено в K" и т.н. Чистият синтаксис съдържа клаузите на метаезика, които следват от тези дефиниции. Както в семантиката, така и в синтаксиса връзката между чистата и описателната област е като тази между чистата или математическата геометрия, която е част от математиката и следователно има аналитичен характер, и физическата геометрия, която е част от физиката и следователно има емпиричен характер.
От време на време се обсъжда въпросът дали семантиката и синтаксисът зависят от прагматиката или не. Отговорът на Карнап на този въпрос е, че в един смисъл семантиката и синтаксисът зависят от прагматиката, в друг не. Описателната семантика и синтаксис се основават на прагматиката. Да предположим, че искаме да проучим семантичните и синтактични свойства на определен ескимосски език, който не е бил изучаван преди. Ясно е, че първоначално няма друг начин освен да се наблюдават говорните навици на хората,използване на езика. Само след като открием чрез наблюдение прагматичния факт, че хората имат навика да използват думата "иглу", когато възнамеряват да се отнасят до къща, сме в състояние да изложим семантичното предложение "иглу" означава (означава) къща", а синтактичното предложение ""иглу" е предикат. По същия начин всички познания по описателна семантика и описателен синтаксис се основават на предишни знания по прагматика. Лингвистиката, в най-широкия смисъл на думата, е този клон на науката, който включва всички емпирични изследвания, засягащи езиците. Това е описателната, емпирична част от семиотиката (устни или писмени езици); следователно се състои от прагматика, описателна семантика и описателен синтаксис. Тези три части обаче не са на едно ниво; прагматиката е в основата на цялата лингвистика. Това обаче не означава, че в рамките на лингвистиката изследователите са длъжни да се позовават на лица, използващи съответния език. След като семантичните и синтактичните характеристики на езика са установени от прагматиката, ние вече не можем да обръщаме внимание на потребителите на езика и да се фокусираме върху тези семантични и синтактични характеристики. Така например двете твърдения, споменати по-горе, вече не съдържат изрични прагматични препратки. В този смисъл описателната семантика и синтаксис са, строго погледнато, части от прагматиката.
При чиста семантика и чист синтаксис нещата са различни. Тези области не зависят от прагматиката, т.е. от използването на езика от неговите носители. „Тук даваме дефиниции на определени понятия, обикновено под формата на правила, и изучаваме аналитичните последици от тези понятия. При избора на правила сме напълно свободни. Понякога ниение можем да се ръководим в този избор от разглеждането на този език, тоест от прагматичните факти. Това обаче няма нищо общо с мотивацията на нашия избор и няма нищо общо с коректността на резултатите от нашия анализ на правилата. Философски релевантните изследвания на езика според Карнап са свързани именно с чистата семантика и чистия синтаксис.
Предметната област на чистата семантика и чистия синтаксис се оказва ограничена в още едно отношение в сравнение със семиотиката като цяло. Тези две дисциплини изучават изключително декларативни изречения, като пропускат всички други видове изречения, т.е. въпроси, императиви и т.н. Следователно те засягат само тези езикови системи (семантични системи), които се състоят от декларативни изречения. Следователно терминологията на логическата семантика трябва, според Карнап, да се разбира в този ограничен смисъл; "изречение" - като "декларативно изречение", "език" - като "език (система), състояща се от декларативни изречения", "английски" - като "тази част от английския език, която се състои от декларативни изречения", "интерпретация на изчислително изречение" - като "интерпретация на изречение като декларативно изречение" и т.н.
"индивидуални константи" (индивидуални константи),
"предикати от степен I" и
"предикати от степен 2 и по-висока",
които отговарят като "определени"
"свойства" (свойства) и
В допълнение, за комбинацията от знаци, които съставляват определено "изречение", има съответстващо "предложение" (предложение); изречението обозначава предложение. И накрая, към основните видове знацивключват също „функтори“, обозначаващи „функции“ (функции) (Примери за функтори: „prod“, „temp“; „prod (m, n)“ обозначава произведението на m и n, „temp (x)“ обозначава телесната температура x). Обърнете внимание, че всичко „обозначено“ – „индивиди“, „свойства“, „връзки“, „функции“ и „пропозиции“ – той нарича „същности“ (entity).
Индивидуалните знаци обозначават лица от съответната област на обекти; принадлежат към нулевото ниво. Техните свойства и отношения, както и предикатите, с които са обозначени, принадлежат към първото ниво. Атрибут (т.е. свойство или отношение), приписван на нещо на ниво n, и предикатът, който го обозначава, принадлежи на ниво n + 1. Предикат от степен I (наричан още едноместен предикат) обозначава свойство; предикат от степен n (n-аричен предикат) обозначава n-адична релация, т.е. връзка, която се осъществява между n членове.
Дефиницията има формата ". . . = Df – – -”; това означава: "". . .” трябва да са взаимозаменяеми с „– – -”“. Понякога вместо " = Df ", " ( " се използва за изречения или " = " за други изрази. ". . . " се нарича defeniendum, "- - -" е definiens.
Атомарните изречения са тези, които не съдържат нито връзки, нито променливи (например „R(a, b)“, „b = c“);
молекулярно изречение е изречение, което не съдържа променливи, но се състои от атомарни изречения (наречени негови компоненти) и копула (например "(P(a)", "A(B");
общото изречение е изречение, което съдържа променливи (например "((x)P(x)").
В изречение във формата "(x) (. )" или "((x) (. )" или в израз на формата "((x) (. x . )", "(x)", "((x)" и "((x)" се наричат оператори (оператор) (съответно общ, съществуващ и ламбда оператор); ". " се извикваоперанд (операнд), свързан с оператора. Променлива, която се появява на определено място в израз, се нарича обвързана, ако се появява на това място в оператор или в операнд, чийто оператор съдържа същата променлива; иначе се нарича безплатно. Един израз се нарича отворен, ако съдържа свободна променлива; иначе се нарича затворен. (Клас от изречения се нарича затворен, ако всички негови изречения са затворени; това понятие трябва да се разграничава от понятието за клас, който е затворен в определено отношение). Отвореният израз също ще се нарича експресивна функция; и, освен това, изразителна функция от степен n, ако наборът от различни променливи, включени в нея като свободни различни променливи, е равен на n. Експресивна функция, така че тя или затворени изрази, изградени от нея чрез заместване, са изречения, се нарича изреченска функция.
По-нататък Карнап посочва, че от знаците, обозначаващи същности, ние първо изграждаме атомарни изречения, а от тях, с помощта на съединители, на свой ред, молекулярни изречения, обобщения, теории и т.н. Броят на изреченията в такива семантични системи е безкраен. Такъв е случаят с практически всички семантични системи, с които трябва да имаме работа, и особено в естествените езици. Връзките обикновено се въвеждат с помощта на таблици на истината. Обикновените таблици на истината не са нищо повече от правила за семантична истина под формата на диаграми. Тяхната функция е да дават строги дефиниции на логическите връзки "и", "или" и т.н. Истинността на атомарните предложения зависи от това дали "същностите" действително са комбинирани по същия начин.начин, подобно на знаците в съответното изречение, и истинността на други, производни изречения зависи единствено от истинностните стойности на атомарните изречения, включени в тях и естеството на връзката между тях.