Сообщение про естественные языки

Обновлено: 02.07.2024

Характеристики естественных языков

Лингвист Чарльз Ф. Хокетт говорит о пятнадцати определяющих чертах языка:

Естественные языки и язык

Естественные языки отличаются от других форм языка, как человеческих, так и нечеловеческих. Таким образом, вместе с естественными человеческими языками мы имеем:

Животный язык , обладающий интенциональностью, экспрессивностью, репрезентативностью и даже доходящий до симуляции и притворства; но в которых не обнаружено присутствия того, что мы можем назвать синтаксическими структурами .
Формальные языки , используемые человеком , среди которых математическая логика или языки программирования . Которые представляют собой структуры, наделенные чем-то похожим на синтаксис человеческих языков, но имеющие меньшую область применения, чем естественные человеческие языки.

Различия с формальными языками

Лингвистика — это отрасль знаний, которая отвечает за изучение языка, понимаемого как набор правил, регулирующих любой процесс общения .

Допустив существование коммуникативных правил, структурная лингвистика пришла к широкому определению определенного естественного языка как набора фраз , которые могут быть воспроизведены и использованы на этом языке.

В конце 1950 -х годов Ноам Хомский предложил включить естественные языки в тип языков, которые можно изучать с помощью формальных систем посредством порождающих грамматик , которые будут порождать действительные строки или фразы на данном языке.

Отличия от языка животных

В 20 веке системы коммуникации и социального взаимодействия многих животных были детально изучены. Это привело к открытию того, что многие характеристики, присутствующие в естественных языках человека, также присутствовали в языке животных. Однако небольшое количество характеристик кажется уникальным для человеческих языков, в том числе:

Происхождение языков у человека

Относительно происхождения языков существуют две основные позиции:

Моногенез или гипотеза о том, что в конечном счете все языки мира произошли от единого предкового языка, то есть гипотеза о том, что человеческие языки возникли путем диверсификации праязыка , возникшего в определенный эволюционный момент вида, из какие человеческие языки продолжали существовать. В древности эта теория находит параллели с басней о Вавилоне, содержащейся в Библии .
Полигенезис утверждает, что процесс, породивший человеческие языки, мог происходить в разных местах и в разное время. [ 1 ]

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

Лингвистическая теория креольского и пиджинского языков предполагает, что процесс формирования подлинного естественного языка на основе правильного лингвистического ввода может занять всего одно поколение. Случай никарагуанского жестового языка, созданного из непоследовательной семиотической системы, является парадигматическим примером того, как последовательный язык с устоявшейся грамматикой может быть сформирован из противоречивых элементов.

Естественные языки являются языками, на которых говорят люди, такие как английский, испанский, и французский языки. Они не были разработаны людьми (хотя люди пытаются навязать какие-то правила для них); они развивались естественным путем.

Формальные языки являются языками, которые разработаны людьми для конкретных применений. Например, нотация, которую математики используют как формальный язык, которая особенно хороша для обозначения отношений между числами и символами. Химики используют формальный язык для представления химической структуры молекул. И самое важное:

Языки программирования являются формальными языками, которые были разработаны для расчетных выражений.

Формальные языки, как правило, имеют строгие правила синтаксиса. Например, 3+3=6 является синтаксически правильным математическим утверждением, но 3=+$6 — нет. H2O является синтаксически правильным химическим названием, но 2ZZ — нет.

Правила синтаксиса бывают двух видов: относящихся к лексемам и структуре. Лексемы являются основными элементами языка, такими как слова, цифры и химические элементы. Одна из проблем, с 3 = + 6 $ в том, что $ не является юридической лексемой в математике (по крайней мере, насколько мы знаем). Аналогичным образом, 2Zz не является законным, потому что нет ни одного элемента с аббревиатурой Zz.

Второй тип ошибок синтаксиса относится к структуре оператора, который устроен подобно лексеме. Утверждение 3 = + 6 $ структурно неверно, потому что вы не можете поместить знак плюс сразу после знака равенства. Аналогичным образом, молекулярные формулы должны иметь нижние индексы после имени элемента, а не раньше.

В качестве упражнения создайте то, что выглядит хорошо структурированным английским предложением с неузнаваемыми лексемами в нем. Затем напишите еще одно предложение со всеми действующими лексемами, но с недопустимой структурой.

Когда вы читаете предложение на английском языке или оператор на формальном языке, вы должны выяснить, какова структура предложения присутствует (хотя на естественном языке вы делаете это подсознательно). Этот процесс называется синтаксическим анализом.

Хотя у формальных и естественных языков есть много особенностей в общих лексемах, структуре, синтаксисе и семантике, там много различий:

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

избыточность — Для компенсации двусмысленности и уменьшения недопонимания естественные языки используют много избыточности. В результате они часто многословны. Формальные языки являются менее избыточными и более краткими.

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

— слова используются для их впечатления, а также для их смысла, и все стихотворение вместе создает эффект или эмоциональный отклик. Неоднозначность не только общепринята, но часто является преднамеренной.

— буквальное значение слова является более важным, а структура способствует большему пониманию. Проза более поддается анализу, чем поэзия, но до сих пор часто неоднозначна.

— значение компьютерной программы однозначно и буквально, и может быть осознано полностью посредством анализа лексем и структуры.

Вот несколько советов для чтения программ (и других формальных языков). Во-первых, помните, что формальные языки являются гораздо более плотными, чем естественные языки, так что понадобится больше времени, чтобы прочитать их. Кроме того, структура очень важна, так что поэтому не очень хорошая идея читать сверху вниз, слева направо. Вместо этого, научитесь анализировать программу в вашей голове, идентифицируя лексемы и интерпретируя структуру. В довершение ко всему, детали имеют значение. Мелочи, такие как орфографические ошибки и плохая пунктуация, которые могут вам сойти с рук в естественных языках, могут иметь большое значение в формальном языке.

Это пример оператора печати, который на самом деле не печатает ничего на бумаге. Он отображает значение на экране. В этом случае результатом являются слова:

Кавычки в программе отмечают начало и конец значения; они не появляются в результате.

Решение проблемы — процесс разработки проблемы, нахождение решения и отражение решения.

Язык программирования высокого уровня — язык программирования, подобный Python, который задуман быть легким для людей, чтобы читать и писать.

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

Компиляция — одноразовый перевод программы, написанной на языке высокого уровня, на язык низкого уровня в рамках подготовки для последующего выполнения.

Программа — набор инструкций, который определяет вычисления. алгоритм — общий процесс решения класса проблем.

Баг — ошибка в программе. отладка — процесс поиска и удаления любой из трех типов ошибок программирования.

Синтаксис — структуры программы. синтаксическая ошибка — ошибка в программе, которая делает невозможным анализ (и, следовательно, невозможность интерпретации).

Ошибка выполнения — ошибка, которая не встречается, пока программа не начнет выполняться, но которая предотвращает продолжение программы.

Исключение — другое название ошибки выполнения. семантическая ошибка — ошибка в программе, которая заставляет ее делать что-то другое, чем то, что подразумевалось программистом.

Семантика — смысл программы. естественный язык — любой из языков, на котором говорят люди и которые развивались естественным образом.

Формальный язык — любой из языков, который люди разработали для определенных целей, таких как представление математических идей или компьютерных программ; все языки программирования являются формальными языками.

Лексема — один из основных элементов синтаксической структуры программы, аналогичный слову на естественном языке.

Синтаксический анализ — изучение программы и анализ синтаксической структуры.

Оператор печати — инструкция, которая вызывает интерпретатор Python для отображения значения на экране.

Статьи к прочтению:

Содержание

Предпосылки возникновения систем понимания естественного языка

Мало кто знает, как человек общался с первыми вычислительными машинами. Происходило это так: оператор, используя провода с разъемами на концах, соединял между собой триггеры (из которых, собственно, и состояла машина) таким образом, чтобы при запуске выполнялась нужная последовательность команд. Внешне это очень напоминало манипуляции телефонных АТС начала века, а по сути - было очень квалифицированной работой. Можно сказать, программирование тогда осуществлялось даже не в машинных командах, а на аппаратном уровне.Потом задача упростилась:последовательность нужных команд стали записывать непосредственно в память машины. Для ввода информации стали применяться более производительные устройства. Сначала это были группы тумблеров, переключая которые, оператор (или программист - тогда эти понятия означали одно и то же) мог набрать нужную команду и ввести ее в память машины. Затем появились перфокарты. Следом - перфоленты. Скорость общения с машиной возросла, число ошибок, возникающих при вводе, резко уменьшилось. Но сущность этого общения, его характер - не изменились. Возможность впервые пообщаться напрямую появилась на так называемых малых машинах. Неизгладимы впечатления от знакомства с диалоговым интерфейсом. Это было чудовищное порождение советской промышленности под поэтическим названием "Наири". Тогда диковинная возможность отстучать на клавиатуре адресованную непосредственно машине команду и получить осмысленный отклик казалась чудом. Особенно если до тех пор весь процесс общения с машиной заключался в передаче в руки лаборанта колоды перфокарт. С тем чтобы через пару дней получить назад эту колоду с комментарием: "У вас тут ошибка, программа не пошла".Измученным такого рода пользователям скудный диалоговый режим командной строки казался верхом совершенства. Именно ему сначала малые ЭВМ, а потом и персоналки во многом обязаны своим триумфальным шествием. Любой потребитель компьютерных услуг мог, не вдаваясь в технические трудности и выучив всего пару десятков команд операционной системы, общаться с компьютером без посредников. Тогда впервые возникло такое понятие, как "юзер", и именно появлению диалогового режима история приписывает взлет и расцвет многих компьютерных компаний, таких, например, как DEC.А потом появился его величество интерфейс графический: отпала нужда в знании вообще каких-либо команд, и юзер стал общаться со своим железным другом на интуитивно понятном языке жестов. На горизонте замаячил призрак звукового интерфейса.Особенности естественного языка, языка математики и формализованных языков накладывают отпечаток на построение и восприятие информационных моделей, созданных с использованием этих языков.

Особенности естественного языка с точки зрения моделирования

Основные функции естественного языка с точки зрения моделирования

Основными функциями естественного языка являются:

коммуникативная (функция общения);
когнитивная (познавательная функция);
эмоциональная (функция формирования личности);
директивная (функция воздействия).

С точки зрения использования компьютера наибольший интерес для нас представляют коммуникативная и директивная функции языка. Достаточно долго, вплоть до появления графического интерфейса, общение с компьютером сводилось к некоторой системе команд, ключевые слова для которых выбирались из английского языка: Delete (удалить), Edit (редактировать), MakeDirectory (создать каталог), Rename (переименовать) и т.п. То же самое справедливо и для большинства процедурных языков программирования. Конечно же, языки программирования – строго формализованные языки, но в качестве элементов их конструкций используются слова и словосочетания обычных разговорных языков.

Особенности информационного моделирования в форме словесного описания на естественном языке

Естественный язык теснейшим образом связан с культурой народа – носителя языка. Языковые образы могут многое сказать о характерных чертах, мировосприятии и истории народа. Основой языка являются языковые знаки. (В главе, посвященной формализации, мы уже рассматривали это понятие, но в более узком смысле.) Точное определение языкового знака, способы его образования, формы применения подробно рассматриваются в лингвистике. В качестве языкового знака могут выступать: в устной речи – звук; слово или словосочетание, обозначающее предмет, событие, эмоцию, чувство, явление; фраза; текст (последовательность связанных по смыслу фраз) и пр.; в письменной речи – буква; слово; предложение; текст и пр. Строго говоря, изучать языковые знаки имеет смысл только в рамках некоторой знаковой системы. В конкретной знаковой ситуации знак условен, но в рамках знаковой системы можно обнаружить регулярность употребления знаков [1] .

Аспекты изучения и использования знаковой системы естественного языка

Выделятся три аспекта изучения и использования любой знаковой системы, в том числе естественного языка: синтаксис, семантика, прагматика. С этой триадой мы уже сталкивались, изучая различные аспекты информации.

Синтаксис

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

Семантика

Прагматика

Прагматика отражает особенности восприятия знака адресатом, т.е. тем, для кого этот знак предназначался его автором. Один и тот же знак может восприниматься по-разному в зависимости от установки адресата. Современная лингвистика, находясь в русле западноевропейской научной мысли, провозглашает автономию знака от обозначаемого объекта. При этом лингвистика понимает произвольность знака не так будто, он свободно может выбираться говорящим или пишущим. Произвольность языкового знака означает, что между знаком и означаемым нет никакой естественной связи. Однако это всего лишь первый шаг, ведущий к основному тезису формализации, т.е. утверждению о том, что человек может создавать языковые знаки по своему усмотрению и наделять их необходимым ему смыслом.

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

Язык - это знаковая система, выполняющая функцию формирования, хранения и передачи информации в процессе познания действительности и общения между людьми.

Язык - необходимое условие существования абстрактного мышления. Поэтому мышление является отличительной особенностью человека.

Исходным конструктивным компонентом языка выступают используемые в нем знаки. Знак - это любой чувственно воспринимаемый (зрительно, на слух или иным способом) предмет, выступающий представителем другого предмета и носителем информации о последнем (знаки-образы: копии документов, отпечатки пальцев, фотоснимки; знаки-символы: нотные знаки, знаки азбуки Морзе, буквы в алфавите).

По своему происхождению языки бывают естественные и искусственные. Кириллов В.И., Старченко А.А. Логика. М., 1995. С. 10-11.

2.Основная часть

2.1 Естественные языки

Естественные языки - это исторически сложившиеся в обществе звуковые (речь), а затем и графические (письмо) информационные знаковые системы. Они возникли для закрепления и передачи накопленной информации в процессе общения между людьми. Естественные языки выступают носителями многовековой культуры и неотделимы от истории народа, владеющего им.

Повседневные рассуждения обычно ведутся на естественном языке. Но такой язык развивался в интересах легкости общения, обмена мыслями в ущерб точности и ясности. Естественные языки обладают богатыми выразительными возможностями: с их помощью можно выразить любые знания (как обыденные, так и научные), эмоции, чувства. Рузавин Г.И. Логика и аргументация. М., 1997. С. 111, 171.

Исходя из семантического статуса естественного языка можно отметить следующее:

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

Но какой бы совершенной ни была надстройка русского английского или немецкого языка, она не обеспечивает знания того, как осуществить трансляцию естественного языка в язык, например, машинных команд. Поэтому возникает необходимость создания искусственных языков.

2.2 Искусственные языки

Искусственные языки - это вспомогательные знаковые системы, создаваемые на базе естественных языков для точной и экономной передачи научной и другой информации. Они конструируются с помощью естественного языка или ранее построенного искусственного языка. Язык, выступающий средством построения или изучения другого языка, называют метаязыком, основой - языком-объектом. Метаязык, как правило, обладает более богатым по сравнению с языком-объектом выразительными возможностями. Кириллов В.И., Старченко А.А. Логика. М., 1995.

Всякий искусственный язык имеет три уровня организации:

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

· синематику, где исследуются отношения знака к его смыслу (значению, под которым понимается либо мысль, выражаемая знаком, либо объект, обозначаемый им);

· прагматику, где исследуются способы употребления знаков в данном сообществе, использующем искусственный язык.

Построение искусственного языка начинается с введения алфавита, т.е. набора символов, которыми обозначаются объект данной науки, и правил построения формул данного языка. Часть правильно построенных формул принимается за аксиомы. Таким образом, все знание, оформленное с помощью искусственного языка, приобретает аксиоматизированную форму, а вместе с нею доказательность и достоверность. Дмитриевская И.В. Логика. М., 2006. С. 20

Характерной особенностью искусственных языков является однозначная определенность их словаря, правил образования выражений и придания им значений. Во многих случаях эта особенность оказывается преимуществом таких языков в сравнении с естественными языками, аморфными как со стороны словаря, так и со стороны правил образования и значения. Ивин А.А. Логика. М., 1996. С. 17.

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

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

Это стало первым этапом уточнения математического языка: был создан символизм арифметических выражений, их равенств и неравенств. Язык математической логики, ставший символическим языком современной математики, возник в тот момент, когда неудобство математического языка для нужд математики было окончательно осознано. Новый символизм прояснил механическую природу многих преобразований, позволил дать простые алгоритмы их осуществления. Непейвода Н.Н. Прикладная логика. Ижевск, 1997. С.27-29.

Роль формализации естественного языка в научном познании и в логике в особенности:

1. Формализация дает возможность анализировать, уточнять, определять и разъяснять понятия. Многие понятия являются не подходящими для научного познания в силу их неопределенности, неоднозначности и неточности. Например, понятия непрерывности функции, геометрической фигуры в математике, одновременности событий в физике, наследственности в биологии существенно отличаются от тех представлений, которые они имеют в обыденном сознании. Кроме того, некоторые исходные понятия обозначаются в науке теми же словами, которые употребляются в разговорном языке для выражения совершенно других вещей и процессов. Такие понятия физики, как сила, работа, энергия, отображают вполне определенные и точно указанные процессы: например, сила рассматривается в физике как причина изменения скорости движущегося тела. В разговорной речи этим понятия придается более широкий, но неопределенный смысл, вследствие чего физическое понятие силы неприменимо к характеристике, например, человека.

2. Формализация приобретает особую роль при анализе доказательств. Представление доказательства в виде последовательности формул, получаемых из исходных с помощью точно указанных правил преобразования, придает ему необходимую строгость и точность. О том, какое значение имеет строгость доказательства, свидетельствует история попыток доказательства аксиомы о параллельных в геометрии, когда вместо такого доказательства сама аксиома заменялась эквивалентным утверждением. Именно неудача подобных попыток заставила Н.И. Лобачевского признать невозможным такое доказательство.

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

Общепринятый в современной логике искусственный язык - это язык логики предикатов. Основными семантическими категориями языка являются: имена предметов, имена признаков, предложения.

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

Предложения - это выражения языка, в котором нечто утверждается или отрицается. По своему логическому значению они выражают истину либо ложь.

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

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

Один из таких языков — язык логики высказываний. Он применяется в логической системе, называемой исчислением высказываний, которая анализирует рассуждения, опираясь на истинностные характеристики логических связок и отвлекаясь от внутренней структуры суждений. Принципы построения этого языка будут изложены в главе о дедуктивных умозаключениях.

Второй язык — это язык логики предикатов. Он применяется в логической системе, называемой исчислением предикатов, которая при анализе рассуждений учитывает не только истинностные характеристики логических связок, но и внутреннюю структуру суждений. Рассмотрим кратко состав и структуру этого языка, отдельные элементы которого будут использованы в процессе содержательного изложения курса.

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

Имя — это имеющее определенный смысл языковое выражение в виде отдельного слова или словосочетания, обозначающее или именующее какой-либо внеязыковой объект. Имя как языковая категория имеет таким образом две обязательные характеристики или значения: предметное значение и смысловое значение.

Отношение между именем, смыслом и денотатом (объектом) можно представить следующей семантической схемой:

Это значит, что имя денотирует, т.е. обозначает объекты только через смысл, а не непосредственно. Языковое выражение, не имеющее смысла, не может быть именем, поскольку оно не осмысленно, а значит и не опредмечено, т.е. не имеет денотата.

Типы имен языка логики предикатов, определяемые спецификой объектов именования и представляющие собою его основные семантические категории, это имена: 1) предметов, 2) признаков и 3) предложений.

Имена предметов обозначают единичные предметы, явления, события иди их множества. Объектом исследования в этом случае могут быть как материальные (самолет, молния, сосна), так и идеальные (воля, правоспособность, мечта) предметы.

По составу различают имена простые, которые не включают других имен (государство), и сложные, включающие другие имена (спутник Земли). По денотату имена бывают единичные и общие. Единичное имя обозначает один объект и бывает представлено в языке именем собственным (Аристотель) или дается описательно (самая большая река в Европе). Общее имя обозначает множество, состоящее более чем из одного объекта; в языке оно бывает представлено нарицательным именем (закон) либо дается описательно (большой деревянный дом).

Предложения — это имена для выражений языка, в которых нечто утверждается или отрицается. По своему логическому значению они выражают истину либо ложь.

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

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

2) х, y, z, . — символы общих имен предметов, принимающие значения в той или другой области; их называют предметными переменными;

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

5) — символы для количественной характеристики высказываний; их называют кванторами: — квантор общности; он символизирует выражения — все, каждый, всякий, всегда и т.п.; — квантор существования; он символизирует выражения — некоторый, иногда, бывает, встречается, существует и т.п.;

6) логические связки:

Технические знаки языка: (,) — левая и правая скобки.

Других знаков данный алфавит не включает. Допустимые, т.е. имеющие смысл в языке логики предикатов выражения называются правильно построенными формулами —ППФ. Понятие ППФ вводится следующими определениями:

1. Всякая пропозициональная переменная — р, q, r, . есть ППФ.

2. Всякая предикатная переменная, взятая с последовательностью предметных переменных или констант, число которых соответствует ее местности, является ППФ: А1 (х), А2 (х, у), А3(х, у, z), А" (х, у. n), где А1, А2, А3. Аn — знаки метаязыка для предикаторов.

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 с.

Читайте также: