а потім і графічні (лист) інформаційні знакові системи . Вони виникли для задоволення соціальної потреби людей в закріпленні і передачі накопиченої в процесі матеріально-практичної діяльності інформації та для задоволення потреби в спілкуванні між людьми. Природні мови відрізняються багатими виразними можливостями і універсальним охопленням найрізноманітніших галузей життя.
Штучні мови - це допоміжні знакові системи, спеціально створювані на базі природних мов для точної і економною передачі наукової та іншої інформації. Вони конструюються не з власними засобами, а за допомогою іншого, як правило, природної мови або раніше побудованого штучної мови. Мова, який виступає засобом побудови або вивчення іншої мови, називається метамовою, а другий - мовою- об'єктом. Мотузки при цьому повинен володіти більш багатими в порівнянні з мовою-об'єктом виразними можливостями.
Штучні мови різного ступеня строгості широко використовуються в сучасній науці і техніці: хімії, математики, теоретичної фізики, обчислювальної техніки, кібернетики і т. д. Штучний формалізований мова використовується і логічною наукою для теоретичного аналізу розумових структур.
Загальноприйнятим у сучасній логіці є так званий мову логіки предикатів. Розглянемо коротко принципи побудови та структуру цієї мови.
Важливе значення для виявлення логічної форми думок при аналізі природної мови має смислова або семантична характеристика мовних виразів. Основними його семантичними категоріями є: імена предметів, імена властивостей, пропозиції.
Імена предметів - це окремі слова або словосполучення, що позначають предмети.
Імена, виступаючи умовними представниками предметів у мові, мають подвійне значення. Безліч предметів, до яких відноситься дане ім'я, складає його предметне значення і називається денотатом. Спосіб, за допомогою якого виділяється така безліч предметів шляхом вказівки на властиві їм властивості, складає його смислове значення і називається концептом, або глуздом.
По складу розрізняють імена прості, які йе включають інших імен (В«державаВ»), і складні, включають інші імена (В«супутник ЗемліВ»). За денотату імена бувають поодинокі і спільні. Одиничне ім'я позначає один предмет і буває представлено в мові ім'ям власним (Арістотель,) або дається описово (найбільша річка в Європі) .. Загальне ім'я позначає безліч, що складається більш ніж з одного предмета; в мові воно буває представлено прозивним словом (закон) або дається описово (європейське соціалістична держава).
Вирази мови, що позначають властивості і відносини, називаються предікаторамі. У пропозиціях вони зазвичай виконують роль присудка (наприклад, В«бути синімВ», В«бігатиВ», В«даруватиВ», В«любитиВ» і т. д.). Число імен, до яких відноситься даний предікатори, називається його місцевістю. предікатори, що виражають властивості, притаманні окремим предметам, називаються одномісними (наприклад, В«небо синєВ»). Предікатори, виражають відносини між двома і більше предметами, називаються багатомісними. Наприклад, предікатори В«любитиВ» відноситься до двомісним (В«Марія любить ПетраВ»), а предікатори В«даруватиВ» - до тримісним (В«Батько Дарує книгу синовіВ»).
Пропозиції - це вирази мови, за допомогою яких щось стверджується або заперечується про явища дійсності. Розповідні пропозиції щодо свого логічного значенням виражають істину або брехня.
Алфавіт мови логіки предикатів, відображаючи і слідуючи за семантичними категоріями природної мови, включає такі види знаків (символів):
) а, b, с, ... - символи для одиничних імен предметів; їх називають предметними постійними (константами) ;
2) х, у, z , ... - С...
