Розділ IV. Семантичний аналіз виразів природної мови

Якщо терм іменує конкретний елемент із певної множини предметів, то його називають п о с т і й н и м і позначають буквами латинського алфавіту (а,в,с...).

Отже, оскільки терм може виконувати у суджені роль тільки логічного підмета, то об'єктом твердження у судженні може бути предмет, властивість і відношення. Зрозуміло, не просто реальні предмет, властивість і відношення, а їхні імена, зафіксовані відповідними термами.

Предикатор походить від латинського praedicatum - сказане - це слово або словосполучення, яке представляє властивість або відношення. Головна логічна функція предикатора - це виконувати роль логічного присудка в судженні. Підкреслюючи той факт, що терм може бути лише логічним підметом, а функцію логічного присудка здійснює предикатор, уточнимо терміни "логічний підмет" і "логічний присудок".

Логічним підметом - називається вираз, який позначає те, що є об'єктом судження у даному висловлюванні.

Логічним присудком - називається вираз, який позначає те, що стверджується про предмет у висловлюванні.

Перегляд різноманітних висловлювань свідчить про те, що судження може відноситися до одного або кількох предметів:

1. Венера є планетою Сонячної системи.

2. Граф Монте-Крісто є персонажем однойменного роману О.Дюма.

3 .Київ розташований між Москвою і Одесою. 4. 9 більше 7.

У 1 і 2 висловлюваннях логічним підметом відповідно є терми "Венера", "Граф Монте-Крісто", а логічним присудком предикатори "планета Сонячної системи", "персонаж однойменного роману О.Дюма". У 3 і 4 висловлюваннях логічним підметом відповідно є упорядкована трійка і двійка предметів. Логічним присудком є преди-катори "розташований між", "більше".

У наведених висловлюваннях логічним підметом виступають терми. Але необхідно враховувати і наявність таких висловлювань, де ствердження відноситься до усіх або деяких предметів певного класу.

1. Будь-яка мова є знаковою системою.

2. Усі мої приятелі знають одну з іноземних мов.

У першому висловлюванні логічним підметом виступає предикатор "мова", а у другому роль логічного підмета виконують два предикатори: "приятелі" та "іноземна мова". По суті, ці предикатори представляють класи предметів, до яких відносяться твердження, а слова "будь-яка", "всі", "одну із" вказують, стверджуємо ми щось відносно усього класу предметів чи тільки до певної його частини. Тобто, логічним присудком є предикатори "знакова система", "знають".

Висловлювання у яких предикатор у ролі присудка відноситься до одного окремого предмета або кількох окремих предметів, позначених постійними термами, називають одиничними

Наприклад, "Шекспір є видатним драматургом" , "Земля більша за Місяць". Терми, які є логічними підметами, у цих висловлюваннях вказують на предмети, що є аргументами предикаторів, тобто, виконують тут роль логічних присудків.

Слово "аргумент" походить від латинського argumentum - доказ, підстава. Є різні значення терміна "аргумент". У логіці під аргументом розуміють судження (або сукупність суджень), завдяки якому обґрунтовується істинність якого-небудь судження чи теорії. У доведеннях аргументи є засновками з яких виводять судження, істинність якого потрібно встановити.

Наприклад, нам потрібно обґрунтувати істинність судження "Марс має природний супутник". Для цього беремо за аргументи судження "Будь-яка планета Сонячної системи має природний супутник" і "Марс є планетою Сонячної системи". Отже, на підставі цих аргументів можна стверджувати, що "Марс має природний супутник".

Якщо наведені судження (аргументи) визнаються істинними, то із цього з необхідністю випливає істинність судження, що й "Марс має природний супутник".

За терміном "аргумент" закріплено й інше значення, яке свої витоки бере з математики і набуває своєрідного забарвлення в логіці. У цьому розумінні "аргумент" трактують як незалежну змінну, замість якої підставляють імена об'єктів із тієї предметної області, до якої має смисл застосування відповідного предикатора.