Саме такого роду оператори та предикати визначають інтенсіональні контексти. Але які їхні семантичні категорії, як їх встановлювати? При інтерпретації цих предикатів і операторів ми не тільки звертаємося до положень справ в даному світі, але в розгляд вводяться класи можливих світів, «сполучених» з даними світом, і задаються функції і відносини на такого роду об'єктах. Семантичний аналіз інтенсіональних предикатів і операторів припускає введення такого роду абстрактних сутностей. І це визначає особливий тип зв'язку даних предикатів і операторів з їх аргументами і тим самим їх семантичні категорії.
По суті, побудова системи семантичної категорії - глибоко філософський, теоретико-пізнавальний питання. Ухвалення тієї чи іншої системи коррелятивно прийняття певних теоретико-пізнавальних припущень, визначеної «сітки» логічного аналізу. Іншими словами, питання полягає в тому, про сутності якого типу може йти мова в даній мові, якого роду абстракції та ідеалізації приймаються. Саме система семантичної категорії визначає те, що називають «світом мови», його онтологією.
На базі теорії семантичної категорії можливо уточнення поняття логічної форми, для виявлення якої необхідно вказівку семантичної категорії логічних констант і дескриптивних термінів розглянутих виразів.
Ієрархія семантичної категорії, покладена в основу формалізованої мови, зумовлює спосіб аналізу логічної структури виразів цієї мови і тим самим допустимі способи міркування. Так, мова стандартної логіки (систем Фреге-расселовского типу) і мову системи онтології Лесневський відрізняються, насамперед, тим, що в їх основі лежать різні системи семантичної категорії. В якості основних категорій в мовах Фреге-расселовского типу виступають власні імена (імена предметів индивидной області) і висловлювання. Загальні імена, типу «метал», «людина», «електропровідне речовина» і т.д., відносяться не до категорії імен, а до категорії sin, тобто розглядаються як одномісні предикати. У силогістиці і онтології Лесневський загальні імена виступають в якості основної, вихідної категорії.
Побудова теорії семантичної категорії. стає базою для розробки певної типології самих мов. Мови, по-перше, можуть різнитися вихідними категоріями і способами конструювання похідних. Далі, вони можуть відрізнятися тим, як співвідносяться синтаксичні та семантичної категорії. Нарешті, мови можуть розрізнятися по числу і порядку (рівню в ієрархії) семантичної категорії (класифікація Тарського).
Ухвалення (або неприйняття) основного принципу теорії семантичної категорії пов'язано з розмежуванням стабільних і контекстно залежних значень. Зазначений принцип прийнятний для формалізованих мов, оскільки семантичні правила інтерпретації жорстко приписують заданих в синтаксисі категоріям знаків певні значення.
Ухвалення основного принципу стосовно до природних мов, принаймні, сумнівно. Для природних мов роль основного принципу - це питання контекстуальної залежності значень виразів мови. Можна досліджувати «стабільні» значення. Це план «референциального», репрезентативного аспекту мови. Інша справа - функціонування мови як системи, і роль правил вживання виразів в цій системі. У мові доводиться розрізняти два плани значень: значення, пов'язані з референціальним аспектом мови, і контекстно залежні значення. «Суперечка» пізнього Вітгенштейна з раннім - це суперечка про двох різних аспектах функціонування мови. Теорія семантичної категорії дозволяє розмежовувати ці два аспекти значення. На її базі встановлюються категорії стабільних значень виразів природних мов. Типологія значень виразів в природних мовах зберігається. Більше того, ті методи логіко-семантичного аналізу, які розроблені для штучних мов, дозволяють більш точно репрезентувати структуру виразів, дозволяють виявляти і характеризувати семантичні типи виразів природної мови (напр., Виділяти предметні функтори п/п: «вага тіла», «король Франції »,« швидкість світла »; предікатори - sin, s/nn, ..;.« бел »,« старші »,« король »,« батько »).
Але з логічної точки зору, вираз «мати» в контекстах «Анна - мати Петра» і «Анна - мати» (аналогічно, і вираз «король» в контекстах «Людовик XIV - король» і « король Франції ») належить до різних семантичним категоріям (бінарний і унарний предикати, відповідно; предметний функтор і одномісний предикат - у другому прикладі). Якщо приймається основний принцип теорії семантичної категорії, то слово «мати» (аналогічно, «король») в цих двох контекстах належить до двох різних семантичним категоріям, має різні типи значення і як би представляє, з логічної точки зору, два різних за типом вираження. Якщо ж не береться основний принцип, тоді одне і те ж вираз (слово) в різних контекстах може належати до різних семантичним категоріям, а це означає семантичну неоднозначність вираження.
