Мова логіки

Мова логіки. Природні і штучні мови

Оскільки логіка вивчає форми мислення, а мислення нерозривно пов'язане з мовою, остільки логіка є також наукою про мову.

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

За походженням мови бувають природні і штучні.

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

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

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

В якості символів виступають певні знаки. Знак-будь чуттєво сприймається предмет, який замінює, представляє інший предмет, який використовується в процесі пізнання або спілкування в якості представника будь-якого об'єкта. Найбільш типові три види знаків: (1) знаки-індекси; (2) знаки-образи; (3) знаки-символи.

Знаки-індекси пов'язані з уявними ними об'єктами як слідства з причинами (симптоми, ознаки, показання приладів і т. П.). Так, дим - знак, що говорить про наявність вогню; підвищена температура людини - про захворювання; зміна висоти ртутного стовпа - про зміну атмосферного тиску і т. д.

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

Знаки-символи не мають подібності з позначаються предметами (емблеми, герби, прапори, художні та графічні символи, знаки-сигнали або знаки шифрів).

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

Це означає, що ім'я, поняття і предмет не збігаються, але тісно взаємопов'язані: ім'я позначає предмет і виражає поняття про предмет.

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

З іншого боку, в будь-якій мові є омоніми - слова, однакові за формою, звучанням, але різні за змістом, по поняттю (наприклад, «ключ», «коса», «бор», «світ»).

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

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

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

За складом розрізняють імена прості ( «держава») і складні, що складаються з декількох слів ( «супутник Землі», «українська держава»).

Імена можуть позначати і неіснуючі в об'єктивній реальності предмети. Наприклад, «кентавр», «русалка», «найвіддаленіша точка Всесвіту» і т. П. Ці імена є уявними, або порожніми.

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

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

Мова логіки предикатів використовується для опису внутрішньої структури висловлювань. Алфавіт мови логіки предикатів складається з наступних символів:

а) а, Ь, с. - постійні предметні терміни;

г) p. q, r. - пропозіціональние терміни (імена висловлювань);

д) квантори: - все, - деякі;

е). - логічні союзи, які відповідно Новомосковскются: «і», «або», «якщо ..., то. »,« Якщо, і тільки якщо, то. »І називаються знаком заперечення, кон'юнкції, диз'юнкції, імплікації і еквівалентності;

ж) технічні знаки. - кома; () - дужки.

За допомогою наведеного алфавіту будується формалізована логічна система, звана обчисленням предикатів. Вирази мови логіки предикатів називаються формулами. Формули можуть бути правильно побудовані і неправильно побудовані.

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

Синтаксисом називається розділ семіотики, в якому досліджуються відносини між самими знаками (правила побудови і перетворення виразів мови і т. Д.). В процесі цього дослідження відволікаються від смислів і значень знаків.

Семантикою називається розділ семіотики, в якому перш за все досліджуються відносини знаків до подаються ними об'єктів, а також смисли знаків, оскільки вони є одним із засобів встановлення зв'язку знаків і їх значень.

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

Мова формальної логіки дозволяє уникати неясності і двозначності природної мови і зводити процес перевірки правильності міркувань до «обчисленню».