астиною семантики. Проблема визначення L-понять не тільки для окремих систем (особлива L -Семантика), а й для системи взагалі (загальна L-семантика) поки ще не знайшла задовільного рішення. p> Логічні і дескриптивні знаки. У своєму дослідженні природи логічної дедукції і логічної істини Карнап виходить з переконання, що логіка є окремою частиною семантики, а тому поняття логічної виводимості і логічної істини є семантичними поняттями. Вони відносяться до особливого виду семантичних понять, які Карнап називає L-поняттями. Для логічної істини він використовує термін В«L-істинноВ», для логческой виводимості - В«L -Імплікація В». Якщо дані правила семантичної системи S і тим самим поняття істини в S, то L-поняття також визначені у відомому сенсі; проте завдання їх визначення на базі радикальних понять (а саме, В«позначенняВ» і В«ІстинноВ») зустрічається з певними труднощами. p> Перш всього Карнап проводить відмінність між двома видами виразів, які він називає дескриптивними і логічними виразами. При цьому він зазначає, що є тісний зв'язок між поняттями В«дескриптивнийВ» і В«логічнийВ» і L -Поняттями. Поняття В«дескриптивнийВ» і В«логічнийВ» відіграють величезну роль у логічному аналізі мови; однак для них також не відомо задовільного точного визначення в загальній семантиці. До дескріптівнимзнакам зазвичай відносять імена окремих предметів у світі, тобто окремих речей або частин речей або події (наприклад, В«НаполеонВ», В«озеро МічіганВ», В«Французька революціяВ»), знаки, що позначають емпіричні властивості, включаючи види субстанцій, і відносини речей, місць, подій і т.д. (Наприклад, В«чорнийВ», В«собакаВ», В«громадянинВ»), емпіричні функції речей, точки і т.д. (Наприклад, В«вагаВ», В«епохаВ», В«ТемператураВ», В«цінаВ»). Прикладом логіческіхзнаков є сентенціальних зв'язки (В«~В», В«UВ» і т.д.), знак оператора спільності (В«коженВ»), знак відношення включення елемента в клас (В«eВ», В«є якийсьВ»), додаткові знаки (дужки і крапка, зазвичай використовуються в символічній логіці), знак логічної необхідності в (Не-екстенсіональной) системі модальностей (В«NВ»). Крім того, логічними вважаються всі ті знаки, які определіми за допомогою перерахованих вище логічних знаків, наприклад, знак оператора існування (В« $ В», АбоВ« деякий В»), знаки для універсального та нульового класу всіх типів, знак тотожності (В«=В», В«є тим же самим, що іВ»), всі знаки системи Уайтхеда і Рассела і практично всі інші системи символічної логіки, всі знаки математики (включаючи арифметику, аналіз реальних чисел, інфінетезімальное числення, але не геометрію) зі значенням, яке вони мають, коли застосовуються в науці, всі логічні модальності (наприклад, В«сувора імплікаціяВ» Льюїса). Певний знак вважається дескриптивним, якщо його дефініенс містить дескриптивний знак; в іншому випадку він вважається логічним знаком. Вираз називається дескриптивним, якщо воно містить дескриптивний знак; в Інакше воно є логічним. p> Коли ми будуємо семантичну систему S, то зазвич...
