я його компоненти А виразом В, взятому в значенні y, при повному збереженні значень залишилися слів і синтаксису пропозиції Sa, перетворюється у вираз Sb, яке також є пропозицією (або висказивательной функцією). p> Сходи категорій значення є найближчою родичкою спрощеної ієрархії логічних типів, хоча і в значно більшою мірою розгалужена, і, в сутності, утворює її граматичну-семантичний еквівалент 3). p> Серед всіх категорій значень можна виділити два види, які ми назвемо підстановочних категоріями і функторні категоріями (термін "функтор" введений Котарбінським, поняття і термін "підстановлювальний категорія" - мною). До жаль, ми не можемо визначити ці поняття досить точно. Проте неважко зрозуміти, про що тут йдеться. Термін "функтор" означає те ж, що "Знак функції". Таким чином, це "ненасичений" знак, "Супроводжуваний лапками". Функторні категорії - це такі категорії значення, до яких належать функтори. Підстановлювальний категорією я називатиму таку категорію значення, яка не є функторні категорією. p> З наведеного вище визначення категорії значення безпосередньо випливає, що два довільних пропозиції належать до однієї і тієї ж категорії значення. Звичайно, пропозиції не є функторами, а тому категорія значення, куди входять пропозиції, належить до основних категорій. Крім категорій пропозицій можуть бути також інші основні категорії. У Лесьнєвського поряд з категорією пропозицій виступає тільки одна єдина основна категорія, а саме, категорія імен, причому до неї належать як поодинокі імена, так і загальні. Якщо дозволеним буде порівнювати спрощену теорію типів з теорією категорій значення, то потрібно було б в теорії типів тип пропозицій та тип власних імен віднести до основних категорій. Решта типи належали б до категорії функторів. Здається, що в звичайній мові не всі імена утворюють одну єдину категорію значень. На нашу думку, у звичайному мові можна серед імен виділити як мінімум дві категорії значення, а саме, категорію значення, до якої належать поодинокі імена індивідів, а також загальні імена індивідів, оскільки вони взяті in suppositione personali, і по-друге, категорію значення загальних імен, оскільки вони виступають in suppositione simplici (тобто як назви універсалій). p> Якщо прагнути виразити поняття синтаксичної зв'язності у всій повноті, то слід було б нічого не вирішувати наперед про числі і вигляді основних категорій значення і категорій функторів, оскільки вони можуть бути різними в різних мовах. Однак для простоти ми обмежимося такими мовами, в яких (як і у Леснєвського) виступають тільки дві основні категорії значення, а саме - категорії пропозицій та імен. Крім цих двох основних категорій значення приймемо слідом за Леснєвським в принципі необмежену вгору і розгалужену ієрархію функторні категорій, які характеризу ються двояко: по-перше, числом і категорією значення аргументів, а також їх послідовністю, по-друге, категорією значення всього складеного вираження, яке вони утворюють спільно зі своїми ар...
