Види мов природні штучні. Природні та штучні мови

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

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

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

Виходячи з семантичного статусу природної мови можна відзначити таке:

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

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

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

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

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

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

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

Сутність

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

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

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

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

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

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

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

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

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

Природні

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

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

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

Формальні

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

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

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

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

Приклади

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

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

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

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

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

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

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

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

Функції природної мови

Природна мова як система знаків

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

За основою природи плану вираженняу своїй усній формі людська мова відноситься до слухових знакових систем, а в письмовій – до зорових.

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

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

Щодо структурної складності природної мови, то мову називають самою складною із знакових систем.

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

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

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

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

Згідно В. В. Налімова, природна мова займає серединне становище між «м'якими» і «жорсткими» системами. До м'яких систем належать знакові системи, що неоднозначно кодують і неоднозначно інтерпретуються, наприклад, мову музики, до жорстких - мову наукових символів.

Основна функція мови - конструювання суджень, можливість визначення сенсу діяльних реакцій, організації понять, що є деякі симетричні форми, організують простір відносин «комунікаторів»: [джерело не указано 1041 день]

комунікативна:

констатуюча(Для нейтрального повідомлення про факт),

запитальна(Для запиту про факт),

апелятивна(Для спонукання до дії),

експресивна(для вираження настрою та емоцій того, хто говорить),

контактовстановлююча(для створення та підтримки контакту між співрозмовниками);

метамовна(Для тлумачення мовних фактів);

естетична(Для естетичного впливу);

функція індикатора приналежності до певної групи людей(Нації, народності, професії);

інформаційна;

пізнавальна;

емоційна.

Штучні мови- спеціальні мови, які, на відміну природних, сконструйовані цілеспрямовано. Таких мов існує вже понад тисячу, і постійно створюються нові й нові.

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

Розрізняють такі види штучних мов:

Мови програмування та комп'ютерні мови- мови для автоматичного оброблення інформації за допомогою ЕОМ.

Інформаційні мови- мови, які у різних системах обробки інформації.

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

Мови неіснуючих народів, створені в белетристичних або розважальних цілях, наприклад: ельфійська мова, вигадана Дж. Толкіном, клінгонська мова, придумана Марком Окрандом для фантастичного серіалу «Star Trek» (див. Вигадані мови), мова Нави, створена для фільму «Аватар».

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

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

Наступним проектом міжнародної мови став волапюк, створений у 1880 році німецьким мовознавцем І. Шлейєром. Він викликав дуже великий резонанс у суспільстві.

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

Зі штучних мов найбільш відомі:

бейсік-інгліш

есперанто

інтерлінгва

латино-синьо-флексіоні

окциденталь

сільресоль

клінгонська мова

ельфійські мови

Також є мови, які спеціально були розроблені для спілкування із позаземним розумом. Наприклад – лінкос.

За метою створення штучні мови можна розділити на такі групи:

Філософські та логічні мови- мови, що мають чітку логічну структуру словотвору та синтаксису: ложбан, токіпона, іфкуїль, ілакш.

Допоміжні мови- призначені для практичного спілкування: есперанто, інтерлінгва, словіо, слов'янська.

Артистичні чи естетичні мови- створюються для творчого та естетичного задоволення: квенья.

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

За своєю структурою проекти штучної мови можуть бути поділені на такі групи:

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

Апостеріорні мови- мови, побудовані переважно на основі міжнародної лексики: інтерлінгва, окциденталь

Змішані мови- слова та словотворення частково запозичені з нештучних мов, частково створені на основі штучно вигаданих слів та словотвірних елементів: волапюк, ідо, есперанто, нео.

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

За рівнем практичного вживання штучні мови поділяють на проекти, що набули широкого поширення: ідо, інтерлінгва, есперанто. Такі мови, як і національні мови, називають «соціалізованими», серед штучних їх поєднують під терміном планові мови. Проміжне положення займають такі проекти штучної мови, які мають кілька прихильників, наприклад, логлан (і його нащадок ложбан), словіо та інші. Більшість штучних мов має єдиного носія – автора мови (з цієї причини їх коректніше називати «лінгвопроектами», а не мовами).

Ієрархія комунікативних цілей

Функції мови

Базові функції:

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

Комунікативнафункція полягає у забезпеченні взаємодії відправника вербального повідомлення та її одержувача.

Приватні мовні функції

Контактовстановлююча (фатична)

Впливи (волюнтативна)

Референтна- функція, пов'язана з предметом думки, з якою співвіднесено цей мовний вираз.

Оціночна

Емотивна (емоційно-експресивна)

Акумулятивна- то властивість мови накопичувати, акумулювати знання людей. Згодом ці знання сприймаються нащадками.

Метамовна

Естетична- Здатність мови бути засобом дослідження та опису в термінах самої мови.

Ритуальната ін.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

4. Принципи побудови формалізованих мов логіки

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

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

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

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

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

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

ФОРМА ТА МОВА ПОДАННЯ ІНФОРМАЦІЇ

Форма подання однієї і тієї ж інформації може бути різною

Таким чином, інформацію можна подати у різній формі:

знаковийписьмовій, що складається з різних знаків, серед яких прийнято виділяти:
символьнуу вигляді тексту, чисел, спеціальних символів (на
приклад, текст підручника);
графічну(Наприклад, географічна карта);
табличну(Наприклад, таблиця запису ходу фізичного експерименту);

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

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

Природні та формальні мови.

У процесі розвитку людського суспільства люди виробили багато мов. Приклади мов:

· Розмовні мови (нині у світі їх налічують понад 2000);
· мови міміки та жестів;
· мови креслень, малюнків, схем;
· мови науки (математики, хімії, біології тощо);
· мови мистецтва (живописи, музики, скульптури, архітектури тощо);
· Спеціальні мови (азбука Брайля для сліпих, азбука Морзе, Есперанто, морський семафор тощо);
· Алгоритмічні мови (блок-схеми, мови програмування).

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

Мова характеризується:

· Набором використовуваних знаків;
· Правилами освіти з цих знаків таких мовних конструкцій, як "слова", "фрази" і "тексти" (у широкому тлумаченні цих понять);
· Набір синтаксичних, семантичних і прагматичних правил використання цих мовних конструкцій.

Всі мови можна поділити на природні та штучні.

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

· Майже всі слова мають не одне, а кілька значень;
· Часто зустрічаються слова з неточним та неясним змістом;
· Значення окремих слів і виразів залежать не тільки від них самих, а й від їх оточення (контексту);
· Поширені синоніми (різне звучання - однаковий зміст) та омоніми (однакове звучання - різний зміст);
· одні й самі предмети можуть мати кілька назв;
· Є слова, які не позначають жодних предметів;
· Багато угод щодо вживання слів не формулюються явно, а лише передбачається і для кожного правила є винятки і т.д.

Основними функціямиприродної мови є:

· Комунікативна (функція спілкування);
· Когнітивна (пізнавальна функція);
· Емоційна (функція формування особистості);
· Директивна (функція впливу).

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

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

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

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

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

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

Виникнення мов програмуванняпосідає початок 50-х років ХХ століття.