Реферат: Природна мова і штучні мови

Федеральне агентство з освіти

Державна освітня установа
вищої професійної освіти

Володимирський державний університет

Кафедра «Філософія і релігієзнавство»

РЕФЕРАТ

З дисципліни: «Логіка»

Тема: «Природна мова і штучні мови»

виконала:

студентка гр. 3Юуд-110

Усова О.І.

перевірив:

Зубков С.А.

Володимир, 2011

ЗМІСТ

1.Вступ ....................................................................................... ..3

2.Основні частина

2.1 Природні мови ........................................................................ 4

2.2 Штучні мови ..................................................................... .7

3. Висновок ............................................................ .. ..................... 14

4. Список використаної літератури ...................................................... 15

1. Введення

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

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

Мова - необхідна умова існування абстрактного мислення. Тому мислення є характерною рисою людини.

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

За своїм походженням мови бувають природні і штучні. Кирилов В.І., Старченко А.А. Логіка. М., 1995. С. 10-11.

2.Основні частина

2.1 Природні мови

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

Повсякденні міркування зазвичай ведуться на природній мові. Але така мова розвивався в інтересах легкості спілкування, обміну думками на шкоду точності і ясності. Природні мови мають багатими виразними можливостями: з їх допомогою можна висловити будь-які знання (як звичайні, так і наукові), емоції, почуття. Рузавин Г.І. Логіка і аргументація. М., 1997. С. 111, 171.

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

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

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

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

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

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

2.2 Штучні мови

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

Всякий штучна мова має три рівні організації:

· Синтаксис - рівень структури мови, де формуються і досліджуються відносини між знаками, способи освіти і перетворення знакових систем;

· Сінематіку, де досліджуються відносини знака до його змістом (значенням, під яким розуміється або думка, що виражається знаком, або об'єкт, що позначається їм);

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

Побудова штучної мови починається з введення алфавіту, тобто набору символів, якими позначаються об'єкт даної науки, і правил побудови формул даної мови. Частина правильно побудованих формул приймається за аксіоми. Таким чином, всі знання, оформлене за допомогою штучної мови, набуває аксіоматизована форму, а разом з нею доказовість і достовірність. Дмитрівська І.В. Логіка. М., 2006. С. 20

Характерною особливістю штучних мов є однозначна визначеність їх словника, правил утворення виразів і додання їм значень. У багатьох випадках ця особливість виявляється перевагою таких мов в порівнянні з природними мовами, аморфними як з боку словника, так і з боку правил освіти і значення. Івін А.А. Логіка. М., 1996. С. 17.

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

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

x2 + 2 xy + y2 = (x + y) 2

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

Роль формалізації природної мови в науковому пізнанні і в логіці особливо:

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

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

3. Формалізація, заснована на побудові штучних логічних мов, служить теоретичним фундаментом для процесів алгоритмізації і програмування обчислювальних пристроїв, а тим самим і комп'ютеризації не тільки науково-технічного, а й іншого знання. Рузавин Г.І. Логіка і аргументація. М., 1997. С.36-38.

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

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

Імена ознак - це якості, ознаки або відносини предметів. Зазвичай це присудки, наприклад, «бути червоним», «стрибати», «любити» і т.д.

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

Логічна мова також має свій алфавіт, що включає в себе певний набір знаків (символів), логічні зв'язки. За допомогою логічного мови будується формалізована логічна система, звана обчисленням предикатів. Кирилов В.І., Старченко А.А. Логіка. М., 1995. С. 11-13

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

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

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

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

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

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

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

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

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

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

Типи імен мови логіки предикатів, зумовлені специфікою об'єктів іменування і представляють собою його основні семантичні категорії, це імена: 1) предметів, 2) ознак і 3) пропозицій.

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

За складом розрізняють імена Прості, Які НЕ включаються других імен (держава), и СКЛАДНІ, что включаються інші імена (супутник Землі). За денотату імена бувають поодінокі и ЗАГАЛЬНІ. Одиничне ім'я позначає один об'єкт і буває представлено в мові ім'ям власним (Аристотель) або дається описово (найбільша річка в Європі). Загальна ім'я позначає безліч, що складається більш ніж з одного об'єкта; в мові воно буває представлено загальним ім'ям (закон) або дається описово (великий дерев'яний будинок).

Імена ознак - якостей, властивостей або відносин - називаються предікаторамі. У реченні вони зазвичай виконують роль присудка (наприклад, «бути синім», «бігати», «дарувати», «любити» і т.д.). Число імен предметів, до яких відноситься предікатори, називається його місцевістю. Предікатори, що виражають властивості, властиві окремим предметам, називаються одномісними (наприклад, «небо синє»). Предікатори, що виражають відносини між двома і більше предметами, називаються багатомісними. Наприклад, предікатори «любити» відноситься до двомісним ( «Марія любить Петра»), а предікатори «дарувати» - до тримісним ( «Батько дарує книгу сину»).

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

Алфавіт мови логіки предикатів включає наступні види знаків (символів): [2]

1) а, b, с, ... - символи для одиничних (власних або описових) імен предметів; їх називають предметними постійними, або константами;

2) х, y, z, ... - символи загальних імен предметів, що приймають значення в тій чи іншій області; їх називають предметними змінними;

3) Р1, Q1, R1, ... - символи для предикатів, індекси над якими висловлюють їх місцевість; їх називають предикативними змінними;

4) р, q, r, ... - символи для висловлювань, які називають висказивательной, або пропозіціональнимі змінними (від латинського рropositio - «висловлювання»);

5) 5) - символи для кількісної характеристики висловлювань; їх називаю т кванторами: - квантор спільності; він символізує вираження - все, кожен, всякий, завжди і т - символи для кількісної характеристики висловлювань; їх називаю т кванторами: - квантор спільності; він символізує вираження - все, кожен, всякий, завжди і т.п .; - квантор існування; він символізує вираження - деякий, іноді, буває, зустрічається, існує і т.п .;

6) логічні зв'язки:

- кон'юнкція (союз «і»); - кон'юнкція (союз «і»);

- диз'юнкція (союз «або»); - диз'юнкція (союз «або»);

- імплікація (союз «якщо - імплікація (союз «якщо ..., то ...»);

- еквіваленція, або подвійна імплікація (союз «якщо і тільки якщо - еквіваленція, або подвійна імплікація (союз «якщо і тільки якщо ..., то ...»);

┐- заперечення ( «невірно, що ...»).

Технічні знаки мови: (,) - ліва і права дужки.

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

1. Будь-яка пропозіціональная змінна - р, q 1 , R, ... є ППФ.

2. Будь-яка предикатна змінна, взята з послідовністю предметних змінних або констант, число яких відповідає її території, є ППФ: А1 (х), А2 (х, у), А3 (х, у, z), А "(х, у , ..., n), де А1, А2, А3, ..., Аn - знаки метамови для предікаторов.

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

4. Якщо А і В - формули (А і В - знаки метамови для вираження схем формул), то вирази:

А А В, В,

А А В, В,

А А В, В,

А А В, В,

┐А, ┐В

також є формулами.

5. Будь-які інші вирази, крім передбачених в п. 1-4,

не є ППФ даного мови.

3.Заключеніе

Мова, як відомо, являє собою засіб комунікації, спілкування між людьми, за допомогою якого вони обмінюються один з одним думками, інформацією. Думка знаходить своє вираження саме в мові, без такого вираження думки однієї людини виявляються недоступними іншому. За допомогою мови відбувається пізнання різних об'єктів. Успіх пізнання залежить від правильного вживання природних і штучних мов. Перші етапи пізнання пов'язане з використанням природної мови. Поступове поглиблення в сутність об'єкта вимагає точніших систем дослідження. Це призводить до створення штучних мов. Чим більшою точністю володіє знання, тим більш реальна можливість його практичного використання. Таким чином, проблема розвитку штучних мов науки не є суто теоретичною, вона має певний практичний зміст. Разом з тим, доміната природної мови в пізнанні безперечна. Як би не був розвинений, абстрактний і формалізований конкретний штучна мова, він має своїм джерелом певний природний мову і розвивається за єдиними природним законам мови. Дмитрівська І.В. Логіка. 2006. [3]

4. Список використаної літератури

1. Івін А.А. Логіка. - М .: Просвещение, 1996. - 206 с.

2. Непейвода М.М. Прикладна логіка. - Іжевськ: Вид-во Удмурт. ун-ту, 1997. - 384 с.

3. Дмитрівська І.В. Логіка. - М .: Флінта, 2006. - 383 с.

4. Петров В.В., Переверзєв В.М. Обробка мови і логіка предикатів. - Новосибірськ: Изд-во Новосибир. ун-ту, 1993. - 156 с.

5. Рузавин Г.І. Логіка і аргументація. - М .: Культура і спорт, ЮНИТИ, 1997. - 351 с.

6. Кирилов В.І., Старченко А.А. Логіка. - М .: МАУП, 1995. - 256 с.


[1] Рузавин Г.І. Логіка і аргументація. - М .: Культура і спорт, ЮНИТИ, 1997. - 351 с.

[2] Петров В.В., Переверзєв В.М. Обробка мови і логіка предикатів. - Новосибірськ Изд-во Новосибир. ун-ту, 1993. - 156 с.

[3] Петров В.В., Переверзєв В.М. Обробка мови і логіка предикатів. - Новосибірськ: Изд-во Новосибир. ун-ту, 1993. - 156 с.