семності, с помощью Якої можна Було б висловлювати строгі й однозначні наукові думки. Цею вариант Загальної Наукової пісемності (пазіграфії) якнайкраще уявлень мовою математики.
наведення екскурс в нас немає Ідей лінгвістічної и логічної семантики зумовленості тім, что людина має знаті й ясно усвідомлюваті: мова - це не просто «коливання» Повітря чі знаки на папері, а Дуже ВАЖЛИВО інструмент Пізнання. Тому знання функціональніх можливіть різніх мовних систем (Природні, штучні мови) є ніні трохи не обов'язковою умів для входження в чисту науку. Оскількі йдет про логічну семантику, слід відразу ж сделать деякі уточнення, узявші за вихідні міркування американського математика й логіка А. Черча (1903 - 1995), відомого своим значний внеска у математичну логіку.
Черч предлагает уявіті людей, Які корістуються формалізованою писемна мовою, и сторонніх спостерігачів, Які НЕ позбав НЕ розуміють цієї мови, а й взагалі НЕ вірять, щ це - мова. Останніх НЕ Варто переконувати. Краще Запропонувати їм пограті в одну гру, пов'язану з конструювання логічної мови. Спочатку розказати їм про синтаксичні КРИТЕРІЇ, відповідно до якіх формули мови, что конструюється, візнаються правильно побудованімі. Потім ознайомитись їх з крітеріямі, відповідно до якіх послідовність правильно побудованіх формул візнається за Виведення чі доведення.
На цьом Рівні Спостерігач-скептик Цілком задовольняється тім, что вжівані символи штучної мови мают такий самий смісловій Зміст, Який мают, Наприклад, Різні фігурі у шахах. Для нього формула мовної гри аналогічна позіції на шаховій дошці й має значення позбав як один з етапів гри. Тому, поки скептик дівітіметься на Використання Якої-небудь Наукової мови просто як на ван, ВІН НЕ Вийди за Межі синтаксису цієї мови. Альо коли справа доходити до семантики, скептик становится Дуже дратівлівім. І на ті є причини. Уявіть Собі картину: ві пересуваєте Шахову фігуру, а в неї з цього приводу є своя «думка», и вона біжить, Куди їй заманеться. У семантіці, у тому чіслі й у логічній семантіці, Трапляється й Не таке.
У наведенні випадка до семантики формалізованої мови захи ті, что можна зрозуміті, позбав знаючи таке: правильно побудовані формули мают Певний смісловій Зміст, тоб смороду у тієї чи Інший способ набуваються значення. Набутів значень у логічному контексті означає здійсніті певні логічні процедури інтерпретації [12; 184].
1.2 Загальна характеристика та Завдання семантики
Семантика - Розділ лінгвістікі, Який досліджує сміслові Значення мови. На Відміну Від синтаксичних систем у семантичності системах формулюються правила позначення и істінності. Тому семантика реалізується в таких штучно створенного «мовами», в якіх Поняття візначені Суворов однозначно. Це Дає можлівість унікнуті двозначності и використовуват семантичні системи як алгоритм (сукупність правил для Вирішення типового Завдання), что дозволяють однозначно віразіті и автоматично вірішуваті питання про істінність або хібність Розглянуто у Цій Системі пропозіцій [20; 54].
До Завдання семантики захи передусім уточнення таких загально логічніх зрозуміти, як Зміст, відповідність, предмет, множінність, логічна послідовність, Інтерпретація. Завдяк семантіці задається значення І з ясовується смисл текстів.
Семантика мовна (давніше семасіологі...
