ПРИРОДНІ МОВИ І ШТУЧНІ МОВИ

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

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

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

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

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

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

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

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

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

 
Переглянути оригінал
< Попер   ЗМІСТ   ОРИГІНАЛ   Наст >