понять і дефініцій, правових презумпцій та припущень, правил докази і спростування. Вихідною клітинкою цієї мови виступають норми права, що об'єднуються в складні нормативно-правові системи.
Штучні мови успішно використовуються і логікою для точного теоретичного і практичного аналізу розумових структур.
Один з таких мов - мова логіки висловлювань. Він застосовується в логічній системі, званої обчисленням висловлювань, яка аналізує міркування, спираючись на істиннісні характеристики логічних зв'язок і відволікаючись від внутрішньої структури суджень. Принципи побудови цієї мови будуть викладені в розділі про дедуктивних умовиводах.
Другий мова - це мова логіки предикатів. Він застосовується в логічній системі, званої обчисленням предикатів, яка при аналізі міркувань враховує не тільки істиннісні характеристики логічних зв'язок, а й внутрішню структуру суджень. Розглянемо коротко склад і структуру цієї мови, окремі елементи якого будуть використані в процесі змістовного викладу курсу.
Важливе значення для виявлення логічної форми думок при аналізі природної мови має смислова або семантична характеристика мовних виразів. Основними його семантичними категоріями є: імена предикатів, імена властивостей, пропозиції.
Імена предикатів - це окремі слова або словосполучення, що позначають предмети. Імена, виступаючи умовними представниками предметів у мові, мають двояке значення. Безліч предметів, до яких відноситься дане ім'я, складає його предметне значення і називається денотатом. Спосіб, за допомогою якого виділяється така безліч предметів шляхом вказівки на властиві їм властивості, складає його смислове значення і називається концептом, або сенсом.
Ставлення між ім'ям, сенсом і денотатом (об'єктом) можна наступній семантичної схемою:
ІМ'Я в†’ СЕНС в†’ Об'єкт/денотате
Це значить, що ім'я денотірует, тобто позначає об'єкти тільки через сенс, а не безпосередньо. Мовне вираження, що не має сенсу, не може бути ім'ям, оскільки воно не осмислено, а значить і не опредмечено, тобто не має денотата.
По складу розрізняють імена прості, які не включають інших імен ("лінгвістика"), і складні, включають інші імена ("наука про мову"). За денотату імена бувають поодинокі та загальні. Одиничне ім'я позначає один предмет і буває представлено в мові ім'ям власним ("Улашин") або дається описово ("польська дослідник, який вперше використав термін "морфонема" "). Загальне ім'я позначає безліч, що складається більш ніж з одного предмета; в мові воно буває представлено прозивним словом ("Відмінок") або дається описово ("граматична категорія імені, виражає його синтаксичні відношення до інших словами висловлювання або до висловлення в цілому "). Естетичне сприйняття імен предикатів використаних у текстах, призвело до створення спеціальних дидактичних творів з теорії риторики, в яких описувалися "риторичні фігури ". Не випадково авторами перших риторик були і творці логіки як науки (Арістотель та ін.) Логічне протиставлення імен простих, складних і т. д. в теоріях риторики, а згодом і стилістики, культури мови, загострило дослідницький інтерес до універсальної класифікації семантичних і синтаксичних фігур мови.
Вирази мови, позначають властивості і відносини, - імена властивостей і відносин - називаються предікаторамі. У пропозиціях вони зазвичай виконують роль присудка (наприклад, "бути синім "," бігати "," дарувати "," любити "і т. д.). Число імен, до яких відноситься даний предікатори, називається його місцевістю. Предікатори, що виражають властивості, притаманні окремим предметам, називаються одномісними (Наприклад, "Небо синє", "Студент талановитий"). Предікатори, виражають відносини між двома і більше предметами, називаються багатомісними. Наприклад, предікатори "любити" відноситься до двомісним ("Марія любить Петра "), а предікатори" дарувати "- до тримісним (" Батько дарує книгу сину ").
Подальше вивчення імен властивостей - предікаторов - призвело до створення сучасної синтаксичної науки зі усім різноманіттям підходів опису мовного матеріалу всередині неї.
Пропозиції - це вирази мови, за допомогою яких стверджується чи заперечується щось про явища дійсності. Розповідні пропозиції щодо свого логічного значенням виражають істину або брехня.
Алфавіт мови логіки предикатів відображає семантичні категорії природної мови і включає наступні види знаків (символів):
1) a, b, c, ... - символи для одиничних імен предметів; їх називають предметними постійними (константами);
2) x, y, z, ... - Символи загальних імен предметів; їх називають предметними змінними;
3) P1, Q1, R1, ...; P2 , Q2, R2, ...; Pn, Qn, Rn - символи для предікаторов, індекси яких висловлюють їх місцевість: 1 - одномісний, 2 - двомісний, n - n-місцевий. Їх називають предикативними змінними;
4) p, q, r - символи для висловлювань, які назива...
