Поделиться Поделиться

Порівняльна характеристика природної і формалізованої мов

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

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

Природна мова не могла стати методом логіки з кількох причин. Головні із них такі:

а) багатозначність мовних виразів;

б) семантична замкненість;

в) аморфність, невизначеність правил побудови мовних виразів і правил надання значень мовним виразам.

Прокоментуємо кожну із названих причин.

З багатозначністю виразів природної мови ми зустрічаємося постійно.

Розглянемо, наприклад, кілька суджень:

1. Будь-котрий трикутник є геометричною фігурою.

2. Місяць є природним супутником Землі.

3. Є гіпотези, які не мають обґрунтування.

4. Платон є давньогрецьким філософом.

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

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

Явище семантичної замкненості природної мови дозволяється прослідкувати на парадоксі під назвою "Брехун", відкритому давньогрецьким філософом Евбулідом (ІУ ст. до н.е.).

Проте ніхто не забороняє продовжити міркування таким чином:

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

В історії логіки були численні спроби усунути це скрутне становище, до якого приводить дане міркування. Одна з них зводилася до того, що тут порушується закон достатньої підстави. Справді, висновок про те, що завжди сказане Епіменідом є брехнею, ми робимо виходячи із твердження "Епіменід - брехун". Проте ж насправді немає такого брехуна, котрий говорив би тільки брехню. А весь парадокс побудований на абстракції, що брехун говорить брехню, а не брехун говорить тільки правду. В житті так не буває. У брехуна істина перемішана з брехнею. В цьому вся складність.

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

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

Наприклад, через що слово "дім" має таку послідовність знаків, через що саме це слово позначає даний предмет. У мові ж науки кожен термін повинен мати суворе визначення. А в мові логіки, яка своїм предметом має мову науки (у широкому розумінні), і поготів.

← Предыдущая страница | Следующая страница →