Формальні і природні мови: приклади

Що таке мова? Це питання можна задати різним людям і отримати абсолютно несподівані відповіді. Але навряд чи хтось одразу скаже про мови природні і формальні. Визначення та приклади подібних систем рідко приходять в голову при такому питанні. І все ж - що це за класифікація? І що тоді вважати мовою?

Про історію мов і їх вивченні

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

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

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

Сутність

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

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

Завдання та функції

Для чого ж потрібні мови? Лінгвісти виділяють ряд базових функцій:

• Номінативна, тобто називние. Мова використовується для найменування різних об`єктів, подій, явищ і т. Д.
• Комунікативна, тобто функція спілкування. Під цим розуміють виконання мети передачі інформації.
• Експресивна. Тобто мова служить також для вираження емоційного стану мовця.

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

Класифікація

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

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

Природні

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

Вся ця велика категорія поділяється на три великих частини:

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

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

Формальні

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

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

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

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

Приклади

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

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

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

Використання

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

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