Логічні категорії

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

Результатом розкладання пропозиції на прості, далі нерозкладних частини будуть вираження двох типів: змістовні та логічні.

Змістовні частини - це вираження мови, що мають зміст навіть у тому випадку, якщо вони взяті самі по собі.

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

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

Логічні символи називаються також логічними постійними.

Різниця між змістовними і логічними частинами пропозиції можна уподібнити відмінності між числами і арифметичними операціями над ними. Числа володіють якимось змістом, навіть коли розглядаються самі по собі. Операції ж, такі, як додавання і віднімання, не мають самостійного змісту, але вони з одних чисел дозволяють отримувати інші числа. Скажімо, з чисел 7 і 3 за допомогою додавання отримуємо нове число 10, а за допомогою віднімання другого числа з першого - нове число 4.

До змістовним частинам виразів мови відносяться імена (поняття) і висловлювання. Імена позначають якісь об'єкти, висловлювання описують або оцінюють деякі ситуації, або стану справ. Іменами є, наприклад, «Олександр Македонський», «полководець», «стіл», «живопис» і т.д. До висловлювань відносяться: «Олександр Македонський здобув перемогу над царем Дарієм», «Стало холодно, і піднявся вітер» і т.п.

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

З багатьох видів логічних символів виділимо наступні:

  • • логічні зв'язки, що дозволяють з наявних висловлювань утворювати нові висловлювання: «... і ...», «... або ...», «якщо ..., то ...», «невірно, що .. ." і т.п.;
  • • логічні зв'язки, що дозволяють з двох понять отримати вислів: «... є ...», «все ... є ...», «деякі ... є ...», «все ... не є ... »,« деякі ... не є ... ».

За допомогою логічних зв'язок з висловлювань «Лист відправлено» і «Лист спалено» можна отримати нові висловлювання: «Лист відправлено, і воно спалено» (явно суперечливе висловлювання), «Лист відправлено, або воно спалено», «Лист ні відправлено, ні спалено »,« Невірно, що лист відправлено »і т.п.

З допомогою зв'язок «... є ...», «все ... є ...» і їм подібних з понять «метал» і «провідник електрики» можна отримати висловлювання: «Метал є провідник електрики»; «Всякий метал - провідник електрики»; «Деякі метали - провідники електрики» і т.п.

Змістові частини пропозиції визначають зміст наших думок, логічні - їх логічну форму, тобто спосіб зв'язку входять до них змістовних частин. Якщо думка уподібнити дому, побудованому з цеглин і цементного розчину, то змістовні вирази будуть цеглинами, а логічні символи - таким розчином. Сам по собі цементний розчин не має просторової форми, але він дозволяє отримати з елементів, які мають формою, нові елементи, що мають просторову форму. Наше мислення спрямоване зазвичай тільки на утримання. Логічні символи не мають власного змісту і відносяться до логічної формі. Вони починають якось цікавити нас лише в тих рідкісних випадках, коли ми сумніваємося в правильності міркувань і маємо намір проконтролювати їх.

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

Щоб виявити логічну форму міркування, слід відволіктися від його змісту. З цією метою в логіці прийнято заміняти змістовні елементи міркування (поняття і висловлювання) змінними, тобто знаками, що не мають ніякого змісту і вказують тільки вид, або категорію, замінного вираження.

В якості змінних для понять зазвичай використовуються літери 5, Р, <2 листопада т.д. Змінними для висловлювань зазвичай служать букви А, В, С і т.д. Самі букви 5 і Р не несуть конкретного змісту. Вони тільки вказують, що в виразу «5 є Р» або «Деякі 5 не їсти Р» замість даних букв повинні підставлятися якісь конкретні поняття, щоб вийшло змістовне висловлювання. Букви А і В точно так само беззмістовні. Вони вказують лише на те, що замість них у вирази типу «А і В», «якщо Л, то В» і т.п. слід підставляти конкретні висловлювання, щоб отримати нове змістовне висловлювання.

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

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

 
< Попер   ЗМІСТ   Наст >