Дефініція мови. Мова як знакова система
Здається, що в звичайній мові немає таких жорстких меж між мовними зворотами, як ті, що передбачаються теорією семантичних категорій. Крім того, може статися так, що в мовах різних народів межі між висловами проводяться по-різному. Так, в українській мові говорити про «кожного Арістотеля» не зовсім природно. Але з цього ще не випливає, що у якійсь іншій мові цей зворот буде різати слух.
Обмежене застосування теорії семантичних категорій до природних мов не виключає, зрозуміло, того, що з її допомогою можна одержати цікаві спостереження і висновки щодо цих мов.
Імена — це мовні вислови, підставлення яких у форму «S є Р» замість змінних S і Р дає осмислене речення.
Іменами є, наприклад, «зоряна ніч», «Дніпро», «Київ» та «вечірній Хрещатик». Підставлення цих висловів у зазначену форму дає осмислені (хоча й не обов'язково істинні) речення: «Дніпро є Київ», «вечірній Хрещатик є зоряна ніч», «зоряна ніч є Дніпро» тощо.
Речення (висловлювання) — це мовний вираз, який є істинним або хибним.
Висловлюваннями є, наприклад, вислови «ніобій — це інертний газ», «5 — просте число», «якщо металевий стрижень нагрівається, його довжина збільшується». Перший з цих висловів хибний, два інші — істинні.Функтор — це мовний вислів, який не є ні іменем, ні висловлюванням і слугує для утворення нових імен або висловлювань з тих, що вже є. Наприклад, слово «є» — це функтор, оскільки воно не являє собою імені або висловлювання, але дозволяє з двох імен одержати висловлювання (наприклад, вислів «Ньютон є фізик»). Вислови «все... є...», «дехто... є...», «все... не є...» і «дехто... не є...» також є функторами: це не імена і не висловлювання, але з їхньою допомогою, підставляючи замість крапок якісь імена, можна одержати вислови (наприклад, «усі інертні гази є летючими», «деякі метали є рідинами», «усі кити не є рибами» і «деякі музиканти не є композиторами») тощо.
Вислови «... і...», «... чи...», «або.., або...», «якщо.., то...», «.., якщо і тільки якщо...» — це функтори, що дають з двох висловлювань нове («йде сніг і віє вітер», «ми йдемо у кіно чи ми залишаємося вдома», «або Київ стоїть на Дніпрі, або Київ стоїть на Сені», «якщо є причина, то є й наслідок», «число ділиться на 6, якщо і тільки якщо число ділиться на 2 і на 3» тощо).
Вислів «неправильно, що...» (або просто «не»), не будучи іменем або висловом, дозволяє одержати з одного вислову інший (наприклад, з вислову «всі вчені неуважні», «неправильно, що всі вчені неуважні» або «всі вчені не є неуважними»).
Функтори, що дозволяють з імен або висловлювань одержувати інші вислови, називаються пропозиційними (від лат. слова ргороsitio — висловлювання, міркування). У подальшому з усіх можливих функторів особливу увагу буде приділено саме їм.
4. Мова як знакова система
Отже, з визначення мови випливає, що головним її елементом є знак. Природно виникає запитання: що таке знак?
Під знаком розуміють матеріальний об'єкт, який символічно, умовно представляє і відсилає до означуваного ним предмета, явища, події, властивості, відношення.
Щодо мови, то в ній знаками виступають слова і словосполучення. Справді, слова і словосполучення є матеріальними об'єктами (при усній мові — коливання повітря, при письмовій — сліди чорнила, фарби). При цьому слова і словосполучення завжди мають певні предметні значення, тобто вказують на відповідні об'єкти.
Застосування знаків властиве різноманітним формам людської діяльності. Предметом спеціального вивчення знак стає за часів античності. У Новий час до цієї проблеми зверталися Локк, Гоббс, Лейбніц.
Лейбніц вказував на те, що знак своєю чуттєвою наочністю полегшує логічні операції. Використовуючи знаки, люди не тільки передають думки один одному, а й підвищують ефективність процесу мислення. Лейбніц вважав, що знаки повинні відповідати двом основним вимогам:
по-перше, бути короткими і стислими за формою і містити максимум смислу в мінімумі протяжності;