Логіка та мова

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

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

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

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

Серед різних знаків виділимо два ввда: знаки-образи і знаки-символи.

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

Безліч вихідних знаків мови складає його алфавіт. Комплексне вивчення мови здійснюється загальною теорією знакових систем - семіотикою, яка аналізує мову в трьох аспектах: синтаксичному, семантичному і прагматичному.

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

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

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

Штучні мови різного ступеня строгості широко використовуються в сучасній науці і техніці: хімії, математики, теоретичної фізики, обчислювальної техніки, кібернетики, зв'язку, стенографії.

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

Штучні мови успішно використовуються логікою для аналізу розумових структур.

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

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

Основний смисловий (семантичної) категорією мови логіки предикатів є поняття імені.

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

Предметне значення (денотат) імені - це один або безліч якихось об'єктів, які цим ім'ям позначаються. Наприклад, денотатом імені «дім» в російській мові буде все різноманіття споруд, які цим ім'ям позначаються.

Смислове значення {сенс, або концепт) імені - це інформація про предмети, тобто притаманні їм властивості, за допомогою яких виділяють безліч предметів. У наведеному прикладі сенсом слова «будинок» будуть наступні характеристики будь-якого будинку: 1) це споруда (будівля), 2) побудовано людиною, 3) призначено для навчання, роботи або житла.

Відношення між ім'ям, сенсом і денотатом (об'єктом) можна представити наступною семантичної схемою:

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