тика, по Карнапом, містить В«Не тільки теорію позначення (designation), тобто відносини між виразами і їх значенням В», але також іВ« теорію істини і теорію логічної дедукції В». В«Семантика, - говорить він, - містить теорію того, що зазвичай називається значенням виразів і, отже, включає в себе дослідження, що призводять до створення словника, який переводить об'єктна мова в метамова. Однак ми побачимо, що теорії на перший погляд зовсім іншій області також відносяться до семантиці, наприклад, теорія істини і теорія логічної дедукції. Виявляється, що істина і логічний наслідок є поняттями, заснованими на ставленні позначення і, отже, семантичними поняттями В». p> У рамках самої семантики Карнапом проводить відмінність між В«описовоїВ» семантикою і В«чистоюВ» семантикою. Описова семантика займається описом і аналізом семантичних властивостей історично даних мов, наприклад, французького, або всіх історично даних мов взагалі. Перша буде спеціальної описової семантикою; друга - загальною описової семантикою. Отже, описова семантика описує факти; вона є емпіричною наукою. З іншого боку, ми можемо встановити систему семантичних правил, байдуже, тісно пов'язану Чи з історично даними мовою або винайденої; ми називаємо її семантичної системою. Побудова та аналіз семантичних систем називається чістойсемантікой. Правила семантичної системи S составл яют визначення певних семантичних контекстів щодо S, наприклад, В«позначення в SВ» і В«істинно в SВ». Чистий семантика складається з визначень цього виду та їх наслідків; тому на відміну від описової семантики чистий семантика є цілком аналітичної і не має фактичного змісту. p> Відповідно, синтаксис також поділяється Карнапом на описовий ічістийсінтаксіс, а ці останні - на спеціальний і загальний синтаксис. Описовий синтаксис являє собою емпіричне дослідження синтаксичних особливостей даних язиков.Чістий синтаксис має справу з синтаксичними системами. Синтаксична система (або числення) До складається з правил, які визначають синтаксичні поняття, наприклад, В«Пропозиція в КВ», В«доказовою в КВ», В«виводиться в КВ» і т.д. Чистий синтаксис містить пропозиції метамови, які слідують з цих визначень. Як у семантиці, так і в синтаксисі відношення між чистою і описової областями подібно відношенню між чистою або математичної геометрією, яка є частиною математики і в силу цього має аналітичний характер, і фізичної геометрією, яка є частиною фізики і в силу цього має емпіричний характер. p> Час від часу обговорюється питання, чи залежать семантика і синтаксис від прагматики чи ні. Відповідь, яку дає на це питання Карнап, полягає в наступному: у одному сенсі семантика і синтаксис залежать від прагматики, в іншому - ні. Описові семантика і синтаксис засновані на прагматиці. Припустимо, що ми хочемо вивчити семантичні та синтаксичні властивості певного ескімоського мови, який раніше не досліджувався. Ясно, що спочатку немає іншого шляху, крім спостереження мовних звичок людей, що вживають мову. Т...