Семантичні категорії мови, і її поняття

Такими класами є імена, предікатори, предметні функтори, логічні терміни, розповідні речення.

Імена - слова і словосполучення, що є знаками предметів.

Предікатори - вираження мови (слова і словосполучення), предметними значеннями яких є властивості (одномісні предікатори) і відносини (багатомісні предікатори).

Властивостями в сучасній логіці називають характеристики окремих предметів ( «білий», «дивний», «мати спинку», «ходити» і т.п.). Відносини - це зв'язок між двома і більше предметами ( «перебувати між", "бути братом», «бути більше», «знати краще, ніж» і т.п.). Таким чином, відносини являють собою характеристики не окремих предметів, а деяких систем предметів.

Наявність або відсутність у будь-якого предмета властивості або відношення до інших предметів називається ознакою. Ознаки - це будь-які можливі характеристики предмета, все, що можна висловити про предмет.

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

Логічні терміни (логічні константи) - це знаки логічних відносин «і», «або», «якщо ..., то ...», «невірно, що» і операцій «всякий», «існує» ( «деякі»), «той ... , Котрий…".