Ідея семантичних категорій була висунута на початку цього сторіччя Е.Гуссерлем, який назвав їх «категоріями значення». Як логіко-філософська доктрина, що широко застосовується у дос-лідженнях мови, теорія категорій була детально розвинута поль-ськими логіками С.Лесневським, К.Айдукевичем та А.Тарським.

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

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

Наприклад, імена «Сократ» і «Платон» належать до однієї й тієї ж семантичної категорії: заміна одного з них другим, у будь-якому осмисленні речення, дає знов-таки осмислене речен-ня. Скажімо, речення «Платон був учителем Арістотеля» є ос-мисленим і істинним. Речення, яке одержуємо з нього шляхом заміни, «Сократ був учителем Арістотеля» буде хибним, але ос-мисленим.

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

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

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

Очевидно, що осмисленість не тотожна істинності. Мають смисл, а отже, є осмисленими, не лише істинні, а й хибні вислови.

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

До неї входять дві головні категорії і нескінченна сукупність так званих функторних категорій. До головних належать кате-горія імен та категорія речень (висловів), що включають також імена і речення зі змінними (подібні до «брат якогось S» і «як-що Арістотель був учнем Платона, то А», де S — якесь ім'я, а А — речення). Функторні категорії різняться залежно від того, до чого застосовується операція, яка називається функтором і яка виникає у результаті її застосування.

Наприклад, «Сонце» — це ім'я, «Сонце гріє» — речення. Слово «є» — функтор, що утворює речення з двох імен і т.п.

Існують функтори, що перетворюють імена у речення, речення у речення, імена у імена та речення у імена. Існують також більш складні функтори, що перетворюють одні функтори у інші.

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

Теорія семантичних категорій накладає суворі обмеження на структуру мов. Наскільки ж природна й інтуїтивна така «логіч-на граматика», що розподіляє усі мовні вислови у строго відме-жовані один від одного і упорядковані у нескінченну ієрархію категорії?

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

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

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

Насамперед, вислови природних мов не вдається підрозділи-ти на «чисті» семантичні категорії. Більшість з них мають ри-си, характерні для різних, причому несумісних, категорій. Так, деякі вислови мають якоюсь мірою властивості описів (невизначених, наприклад, «верхівка Альп», або визначених — «найви-ща верхівка Альп») і одночасно властивостями власних імен (наприклад, «Монблан»). У теорії категорії описи і власні іме-на повинні підрозділятися за різними рубриками, змішання яких неприпустиме.

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

Спробуємо, наприклад, вирішити, чи належать імена «Аріс-тотель» і «людина», взяті у своїх звичайних значеннях, до од-нієї семантичної категорії чи до різних. Вислів «кожна людина є смертною»,