Искусственные языки и попытки их создания. Что такое искусственный язык и чем он отличается от естественного

Логика как наука о мышлении. Что же изучает логика как наука

Что же изучает логика как наука и почему она называется формальной?

Слово «логика» происходит от греческого logos, что означает «мысль», «слово», «разум», «закономерность». В современном языке это слово используется, как правило, в трех значениях:

1)для обозначения закономерностей и взаимосвязей между событиями или поступками людей в объективном мире; в этом смысле довольно часто говорят о «логике фактов», «логике вещей», «логике событий», «логике международных отношений», «логике политической борьбы» и т.д.;

2)для обозначения строгости, последовательности, закономерности процесса мышления; при этом употребляются выражения: «логика мышления», «логика рассуждения», «железная логика рассуждений», «в выводе отсутствует логика» и др.

3)для обозначения особой науки, которая изучает логические формы, операции с ними и законы мышления.

Объектом логики как науки является мышление человека. Но мышление - сложный, многосторонний процесс обобщенного отражения человеком вещей, их свойств и отношений окружающего его мира. Этот процесс изучается многими науками, например такими, как философия, психология, генетика, языкознание, кибернетика и др. Философия изучает происхождение и сущность мышления, его отношение к материальному миру и познанию. Психология изучает условия нормального (в соотношении с патологией) функционирования и развития мышления, влияние на него социально-психологической среды. Генетика стремится раскрыть механизм наследования людьми способностей к мыслительной деятельности. Языкознание интересуется взаимосвязью мышления с языком. Ученые-кибернетики пытаются сконструировать технические модели мозга и человеческого мышления. Логика же изучает процесс мышления с точки зрения его структуры мыслей, правильности и неправильности рассуждений, отвлекаясь от конкретного содержания мыслей и их развития.

Предметом логики являются логические формы, операции с ними и законы мышления.

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

1)чувственное познание - с помощью органов чувств и приборов;

2)рациональное (ratio - разум) - познание с помощью абстрактного мышления.

В основе материалистической теории познания лежит теория отражения: вещи, явления объективного мира воздействуют на органы чувств человека, заставляют работать всю систему передачи информации в мозг (а также сам мозг), в результате чего у человека создаются образы этих вещей и явлений. Чувственные образы - это знания о внешних свойствах, сторонах вещей и явлений (видимых, слышимых, осязаемых и т.д.). Таковы, например, наши знания о том, что «сегодня дождливая погода»; «на моих часах половина четвертого»; «эта роза - красная»; «Петр сидит слева от Павла» и т. д.

Чувственное познание протекает в трех основных формах: ощущение (отражение отдельных свойств предметов), восприятие (отражение предмета в целом, это целостный образ предмета) и представление (сохранившийся образ предметов).

Но на ступени чувственного познания человек не может познать сущность вещей и явлений, их внутренние свойства. Как говорил Маленький Принц из одноименной повести А. де Сент-Экзюпери, «самого главного глазами не увидишь». Поэтому на помощь органам чувств приходит разум, или абстрактное мышление, которое отражает действительность в главных и существенных свойствах и отношениях.

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

Одной из важнейших особенностей абстрактного мышления яв­ляются его взаимосвязь с языком: каждая мысль оформляется посредством слов и словосочетаний - «проговаривается» с помощью внутренней или внешней речи.

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

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

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

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

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

Имея понятия о предметах, человек может судить о них (высказывать суждения) и делать умозаключения. Например, имея понятие о человеке и зная, что все живое рано или поздно умирает, мы мо­жем высказать суждение: «Всякий человек - смертен».

Суждение - форма мышления, в которой о предмете мысли что-то утверждается или отрицается. Суждениями являются также следующие высказывания: «Всякий ученик сдает экзамен», «Если студент не сдаст экзамены за первый курс, то не будет переведен на второй курс» и т. д.

Из суждений мы можем получать новые суждения. Например: исходя из суждения «Всякий человек смертен», можно утверждать, что «Некоторые смертные - люди» или отрицать: «Ни один человек не бессмертен». Если же мы свяжем суждение «Всякий человек смертен» с суждением «Сократ - человек», то можем чисто умственным путем получить новое суждение: «Сократ - смертен». Такая взаимосвязь суждений называется умозаключением:

Всякий человек – смертен

Сократ - человек

Сократ – смертен.

В процессе построения понятий, суждений и умозаключений че­ловек может допускать сознательные и бессознательные ошибки. Чтобы избежать ошибок, необходимо знать правила мышления. Построенное по правилам (и законам) мышление называется правильным.

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

Например, исходя из суждений «Если шел дождь, то дорога будет мокрая» и «Шел дождь», можно с уверенностью сказать, что «Дорога будет мокрая». Но неправильно делать вывод: «Если шел " дождь, то дорога будет мокрая» и «Дорога мокрая», следовательно, «Шел дождь», так как дорогу могли просто полить. Неправильным будет рассуждение, когда из двух суждений «Если человек совершил кражу, то он совершил - преступление» и «Человек не совершил кражу» делается заключение «Человек не совершал преступление», так как человек мог совершить какое-либо другое преступление.

Вопрос о правильности умозаключений - это вопрос о правилах их построения, о правилах взаимосвязи отдельных мыслей (понятий, суждений, умозаключений). Именно этим интересуется логика как наука о мышлении. Поэтому ее называют «формальной логикой». Формальная логика отвлекается от конкретного содержания мыслей и их развития. Но она учитывает истинность или ложность исследуемых мыслей (в двузначной формальной логике учитываются два значения всякой мысли - «истина» и «ложь»; в многозначной формальной логике вводятся другие значения, например «неопределенно»). Иногда правильное мышление называют логичным - по названию науки, которая изучает эту сторону процесса мышления.

Вопрос об истинности (ложности) суждений - это вопрос о соответствии (несоответствии) того, что в нем утверждается или отрицается, объективному миру. Истинное суждение - такое, в котором верно отражается положение дел в объективной реальности (которое соответствует действительности). Например: «Москва - столица России», «Преступник - человек, который нарушает правовые и нравственные законы общества» и т. п. Ложное суждение такое, которое не соответствует действительности. Например: «Санкт-Петербург - столица России», «Преступник - праведный человек» и т. д. Вопросы о том, что такое истина вообще, как соотносится чувственное познание и абстрактное мышление в процессе достижения истины о предметах, изучает другая наука - философия.

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

Логическая форма и законы мышления

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

В естественном языке мысли выражаются с помощью слов и словосочетаний, имеют конкретное содержание (то, о чем говорится в них). Например, можно выразить понятие о первом человеке, побывавшем в космосе, как «Первый космонавт Юрий Гагарин». Внешней оболочкой простого суждения могут быть разные языковые выражения: снег - белый, snow is white и т. д.

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

Они отражают разные предметы и различны по своему содержанию. Но есть ли в них что-то общее?

Отвлечемся от конкретных предметов, которые отражаются в понятиях, и представим их как классы неопределенных предметов X. В первом случае под X понимается класс всех возможных столов, во втором - класс людей, в третьем - множество всевозможных пре­ступных деяний. Предметы могут обобщаться в классы потому, что они имеют какие-то общие свойства. В первом случае - свойство «быть предметом с горизонтальной поверхностью, предназначенной для какой-то деятельности человека», во втором - «способность мыслить» и «способность трудиться», в третьем - «быть антиобщественным, противоправным, виновным и наказуемым деянием»

Можно отвлечься от специфики этих свойств, объединить их и обозначить символом А (сумма общих признаков). Тогда связь между классами предметов и классом общих свойств этих предметов можно представить следующей формулой: X А (X). Читается: «класс таких предметов X, которые обладают признаками А». Эта связь между классом предметов и совокупностью признаков и является логической формой понятий. Можно сказать, что понятия о различных предметах (явлениях, процессах, свойствах предметов и т.п.) формируются в мышлении человека одинаковым способом - предметы обобщаются в классы по их существенным признакам. Логическая форма понятий - способ связи признаков предметов с самими предметами.

Чтобы выявить логическую форму суждений, рассмотрим различные по содержанию суждения: «Стол является мебелью», «Человек ходит на двух ногах» и «Преступление должно быть наказано».

Есть ли в них что-то общее? Отвлечемся от того, о чем говорит­ся в этих суждениях, заменим понятия стол, человек и преступление символом S (субъект), получим:

(1) S является мебелью,

(2) S ходит (есть ходящий) на двух ногах,

(3) S должно быть наказано.

Теперь отвлечемся от тех свойств, которые приписываются субъекту мысли, и заменим понятия, выражающие эти свойства, символом Р (предикат). Получим одинаковую форму взаимосвязи субъекта и предиката суждения: S суть Р. Под S и Р можно мыслить любые предметы и свойства, под суть - утвердительную связь между субъектом и предикатом. Эта формула связи между понятиями о предметах и понятиями о свойствах предметов и есть логическая форма суждений. Связь между понятиями в суждении может быть отрицательной: S не есть Р. Логическая форма суждений - способ связи понятий о предмете, о свойствах предметов или отношений между предметами, выраженный в форме утверждения или отрицания. Из простых суждений могут образовываться сложные суждения, которые имеют свои логические формы.

Логическая форма умозаключений более сложная и разнообразная. Рассмотрим следующие умозаключения:

(1)из суждений «Всякий преступник должен быть наказан» и «Петров - преступник» с необходимостью вытекает новое суждение «Петров должен быть наказан». Заключение получается потому, что исходные суждения связаны общим для них понятием «преступник» (обозначим буквой М - medium, средний);

(2)из суждений «Всякий человек смертен» и «Сократ - человек» можно получить новое суждение «Сократ - смертен».

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

Всякий М есть Р

S есть М

S есть Р.

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

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

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

Связи и отношения вещей и явлений многообразны, а потому многообразны и логические формы мыслей. Не все из них правильные. Например, из практики мы знаем, что две вещи могут иметь связь с третьей, но не быть связанными между собой. Допустим, мы знаем, что «Учащийся Иванов - спортсмен» и «Учащийся Петров - спортсмен». Но если у нас нет какой-то дополнительной информации о них, то данные суждения не дают оснований для новых суждений. В нашем сознании это рассуждение отражается в виде неправильной формы:

S 1 есть Р

S 2 есть Р

?

В неправильных по форме рассуждениях из истинных суждений могут получаться ложные заключения. Например, из истинных суждений «Если у человека повышенная температура, то он болен» и «Человек Н. - болен» иногда выводится суждение «У человека Н. - повышенная температура», которое может оказаться ложным, так как некоторые болезни протекают без повышения температуры.

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

В правильных рассуждениях должны соблюдаться два условия: 1) исходные суждения должны быть истинными; 2) способ связи частей мыслей должен быть правильно построен. Некоторые из правил построения мыслей имеют характер законов мышления.

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

Формальная логика изучает два типа законов:

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

Требования к мышлению, выраженные в основных законах логики, можно изобразить следующим образом:

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

Ко второму типу законов относятся правильно построенные высказывания, в которых истинность одних суждений с необходимостью заставляет признать истинность других. При правильно построенном мышлении мы «чувствуем принуждение» мыслить так, а не иначе. Например, если мы признали истинность суждений «Если человек совершил кражу, то он совершил преступление» и «Человек совершил кражу», то необходимо должны признать, что «Человек совершил преступление».

Чтобы проверить, является ли то или иное высказывание правильно построенным (т.е. законом), надо, во-первых, выявить его логическую форму и, во-вторых, проверить, следует ли с необходимостью истинность заключения из истинности посылок. Более подробно об этом мы будем говорить в теме «Умозаключение».

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

К софизмам прибегают те, кто сознательно пытается неправиль­ному рассуждению придать вид правильного путем сознательного нарушения правил и законов мышления. Например, софизмом является рассуждение, обосновывающее суждение «Все ученики хорошо усваивают уроки»:

Все внимательные хорошо усваивают уроки.

Некоторые ученики внимательны.

Все ученики хорошо усваивают уроки.

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

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

Рассмотрим более подробно основные законы мышления.

1. Закон тождества: всякая мысль в процессе рассуждения должна быть тождественной самой себе. Закон тождества может быть выражен в виде формулы: р есть р ; р → р или р ≡ р, где под р понимается любая мысль, а знаки: «есть», (заменяют союзы «если.., то...»), (заменяет союзы «если, и только если.., то... ») - выражают соответственно равенство, следование или тождество.

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

Невыполнение требования определенности мышления приводит к путанице, неясности, затрудняет выяснение существа разговора, спора, приводит к логической ошибке, которая называется «подменой понятий». Подмена понятий означает подмену предмета рассуждения. Народная мудрость выразила это в пословице: «Один - про Фому, другой - про Ерему». Так говорят о тех, кто в беседе, казалось бы, на одну тему, говорят или спорят о разных вещах.

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

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

Соблюдение требований закона тождества имеет большое значение в практической деятельности. Не случайно требование соблюдать закон тождества закреплено, например, в Уголовно-процессуальном кодексе Российской Федерации.

2. Закон непротиворечия говорит о том, что в рассуждении, доказательстве, теории не должно быть противоречивых мыслей об одном и том же предмете, взятом в одно и то же время и в одном и том же отношении. Этот закон формулируется следующим образом: высказывание и его отрицание (два противоречивых высказывания) не могут быть одновременно истинными", по крайней мере, одно из них необходимо ложно. Выражается закон непротиворечия формулой: «неверно, что р и не- р », т. е. не могут быть вместе истинными две мысли, одна из которых отрицает другую. Например, не могут быть одновременно истинными два противоречащих суждения: «Н. виновен в совершении преступления» и «Н. не виновен в совершении преступления».

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

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

3. Закон исключенного третьего гласит: из двух противоречащих суждений об одном и том же предмете, в одно и то же время, в одном и том же отношении одно - необходимо истинно, а другое - ложно, третьего не дано. Например, нельзя считать одновременно истинными такие мысли об определенном числе, как «это число простое» и «это число непростое», или: «Москва - столица России» и «Москва не есть столица России». Конечно, вопрос о том, какое суждение истинно, а какое ложно, решается на практике, устанавливающей соответствие или несоответствие между суждениями и объективной действительностью.

Формально-логический закон непротиворечия утверждает только, что противоречащие суждения о любых предметах, явлениях не могут быть одновременно ни истинными, ни ложными. Одно из них истинное, другое - ложное, и невозможно никакое третье, среднее, высказывание. Рассуждение ведется по формуле: «или - или» («либо – либо»).

Этот закон выражается формулами: «или р, или не-р»; «либо р, либо не-р» (истинно либо р, либо отрицание р). Так, если суждение «Все адвокаты - юристы» истинно, то отрицание этого суждения «Ни один адвокат не юрист» - ложно.

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

Закон выражает также требование так уточнять наши суждения, вопросы, чтобы можно было на один и тот же вопрос в одном и том же смысле ответить «да» или «нет», а не искать нечто среднее, неопределенное. Например: «Является ли это деяние преступлением или оно не является преступлением?» Если бы понятие «преступление» не было точно определено, то в некоторых случаях на этот вопрос невозможно было бы ответить. Поскольку можно точно определить понятие «преступление» как антиобщественное, противоправное, виновное и наказуемое деяние, то в каждом конкретном случае можно дать однозначный ответ на данный вопрос. Юристу часто приходится решать дело по форме «или - или»: данный факт или установлен или не установлен; данное преступление было совершено или не было совершено; обвиняемый или виновен, или не виновен, свидетель лжет или не лжет и т. п.

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

4. Закон достаточного основания утверждает следующее: всякая истинная мысль должна быть обоснована (иметь достаточные основания) другими мыслями, истинность которых, доказана. Формула закона: «Если есть q, то есть и его основание р».

Требование обоснованности мышления отображает одно из коренных свойств материального мира: в природе и в обществе каждый факт, каждый предмет, каждое явление подготовлено предшествующими фактами, предметами, явлениями. Более двухсот лет тому назад М. В. Ломоносов сформулировал закон объективного мира: «Ничто не происходит без достаточного основания». Озеро зимой замерзает, так как понижается температура окружающего воздуха; дым подымается вверх, так как он легче окружающей его атмосферы, и т. д.

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

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

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

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

Язык логики. Естественные и искусственные языки

Поскольку логика изучает формы мышления, а мышление неразрывно связано с языком, постольку логика является также наукой о языке.

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

По происхождению языки бывают естественные и искусственные.

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

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

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

В качестве символов выступают определенные знаки. Знак- любой чувственно воспринимаемый предмет, который заменяет, представляет другой предмет, используемый в процессе познания или общения в качестве представителя какого-либо объекта. Наиболее типичны три вида знаков: (1) знаки-индексы; (2) знаки-образы; (3) знаки-символы.

Знаки-индексы связаны с представляемыми ими объектами как следствия с причинами (симптомы, признаки, показания приборов и т. п.). Так, дым - знак, говорящий о наличии огня; повышенная температура человека - о заболевании; изменение высоты ртутного столба - об изменении атмосферного давления и т. д.

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

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

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

Это означает, что имя, понятие и предмет не совпадают, но тесно взаимосвязаны: имя обозначает предмет и выражает понятие о предмете.

Взаимосвязь мышления и языка (понятия и слова) не означает их тождества. Одно и то же понятие может выражаться разными словами. Например, словами из разных естественных языков или словами-синонимами в одном языке. Синонимы - слова, различные по звучанию, но тождественные или близкие по смыслу: «труд» и «работа»; «договор» и «контракт».

С другой стороны, в любом языке есть омонимы - слова, одинаковые по форме, звучанию, но разные по смыслу, по понятию (например, «ключ», «коса», «бор», «мир»).

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

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

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

По составу различают имена простые («государство») и сложные, состоящие из нескольких слов («спутник Земли», «Российское государство»).

Имена могут обозначать и несуществующие в объективной реальности предметы. Например, «кентавр», «русалка», «самая удаленная точка Вселенной» и т. п. Эти имена являются мнимыми, или пустыми.

Формальная логика использует знаки-символы. В данном языке нет омонимов и неясных выражений. Это позволяет строго фиксировать ход рассуждений и точно решать вопрос об их правильности или неправильности.

В логике различают языки логики высказываний и логики предикатов. Язык логики высказываний используется для описания структуры высказываний, рассуждений, предложений. Под высказываниями понимаются простые или сложные абстрактные символические выражения, обозначающие суждения. Простые высказывания, объединенные в сложные с помощью связок «и», «или», «если.., то» и др., называют пропозициональными высказываниями, а логику, с помощью которой описываются такие высказывания, иногда называют пропозициональной логикой, или пропозициональным исчислением. Логика высказываний может быть классической (двузначной) или многозначной.

Язык логики предикатов используется для описания внутренней структуры высказываний. Алфавит языка логики предикатов состоит из следующих символов:

а) а, Ь, с... - постоянные предметные термины;

б) x,y,z...- переменные предметные термины;

в) Р, Q, R ... - предикатные термины (имена свойств);

г) p , q, r ... - пропозициональные термины (имена высказываний);

д) кванторы: - все, - некоторые;

е) , - логические союзы, которые соответственно читаются: «и», «или», «если…,то...», «если, и только если, то...» и называются знаком отрицания, конъюнкции, дизъюнкции, импликации и эквивалентности;

ж) технические знаки: , - запятая; () - скобки.

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

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

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

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

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

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

Использование одного из национальных языков в качестве языка-посредника всегда давало преимущество той нации, для которой он был родным. Это обстоятельство породило многочисленные попытки создания международного искусственного языка, который, с одной стороны, был бы «ничьим», и, следовательно, не давал бы преимуществ ни одной нации, а с другой стороны, принадлежал бы всему человечеству.

Первая известная нам попытка создания искусственного языка была предпринята во II веке н.э. греческим врачом Галеном. Всего же за историю человечества было создано около тысячи проектов международного искусственного языка. Однако очень немногие из них получили хоть какое-то практическое применение.

Первым искусственным языком, который действительно стал средством общения между людьми, стал, созданный в 1879 г. в Германии Й.М. Шлейером, волапюк. Ввиду чрезвычайной сложности и детализованности своей грамматики, вопалюк широкого распространения в мире не получил и примерно к середине XX века окончательно вышел из употребления.

Гораздо более счастливая судьба ожидала изобретенный в 1887 г. Л.Л. Заменгофом язык эсперанто. Создавая свой язык, Л.Л. Заменгоф стремился сделать его как можно более простым и легким для изучения. Это ему удалось. Орфография эсперанто строится по принципу «один звук - одна буква». Именное словоизменение ограничивается четырьмя, а глагольное - семью формами. Склонение имен и спряжение глаголов - унифицировано, в отличие от естественных национальных языков, где, как правило, мы встречаемся с несколькими типами склонения и спряжения. Для овладения языком эсперанто обычно требуется не более нескольких месяцев.

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

К числу искусственных языков, получивших некоторое практическое употребление относятся также интерлингва (1903 г.), окциденталь (1922 г.), идо (1907 г.), новиаль (1928 г.), омо (1926) и некоторые другие. Однако, широкого распространения они не получили. Из всех существующих ныне искусственных языков только эсперанто имеет реальный шанс стать со временем основным средством международного общения.

Все искусственные языки делятся на апостериорные и априорные. Апостериорными называются такие искусственные языки, который составлен «по образцу и из материала естественных языков». Примерами апостериорных языков могут служить эсперанто, латино-сине-флексионе, новиаль, идиом-неутраль. Априорными называются такие искусственные языки, лексика и грамматика которых никак не связаны с лексикой и грамматикой естественных языков, но строятся на основе разработанных создателем языка принципов. Примерами апостериорных языков могут служить сольресоль и ро.

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

В качестве примера пазиграфии можно привести созданное голландцем К.Янсеном рисуночное письмо «пикто». Вот некоторые знаки этого письма: ⌂ “дом”, Λ “идти”, ∞ “говорить”, “любить”, I “я, мне, меня”, II “ты, тебе, тебя”, III “он, ему, его”, .□ “перед, спереди”, □. “сзади”, |- глагол “быть” в настоящем времени, .|- глагол “быть” в прошедшем времени, |-. глагол “быть” в будущем времени, |+ глагол “иметь” в личной форме, Ō “город”.

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

А.Ю. Мусорин. Основы науки о языке — Новосибирск, 2004 г.

Эсперанто - самый распространенный в мире искусственный язык. Сейчас, по разным данным, на нем говорят от нескольких сотен тысяч до миллиона человек. Он был придуман чешским окулистом Лазарем (Людвигом) Марковичем Заменгофом в 1887 году и получил свое название по псевдониму автора (Лазарь подписался в учебнике как Эсперанто - «надеющийся»).

Как и остальные искусственные языки (точнее, их большинство) обладает простой в изучении грамматикой. В алфавите 28 букв (23 согласные, 5 гласных), и построен он на основе латинского. Некоторые энтузиасты даже прозвали его «латынью нового тысячелетия».

Большая часть слов эсперанто состоит из романских и германских корней: корни заимствованы из французского, английского, немецкого и итальянского языков. Также в языке много интернациональных слов, понятных без перевода. 29 слов заимствованы из русского, среди них слово «борщ».

Гарри Гаррисон разговаривал на эсперанто и активно пропагандировал этот язык в своих романах. Так, в цикле «Мир Стальной Крысы» жители Галактики говорят в основном на эсперанто. На эсперанто выходят около 250 газет и журналов, вещают четыре радиостанции.

Интерлингва (окциденталь)

Появился в 1922 году в Европе благодаря лингвисту Эдгару де Валю. Во многом схож с эсперанто: в нем много заимствований из романо-германских языков и такая же, как и в них, система построения языка. Изначальное название языка - окциденталь - стало помехой для его распространения после Второй мировой войны. В странах коммунистического блока считали, что вслед за прозападным языком вползут и антиреволюционные идеи. Тогда окциденталь стал зваться интерлингвой.

Волапюк

Автору языка священнику Иоганну Мартину Шлейеру в 1879 году во сне явился Бог и приказал придумать и записать собственный язык, чем Шлейер безотлагательно и занялся. Всю ночь он записывал его грамматику, значения слов, предложения, а потом и целые стихи. Основой волапюка стал немецкий язык, Шлейер смело деформировал слова английского и французского языков, перекраивая их на новый лад. В волапюке он по какой-то причине решил отказаться от звука [р]. Точнее, даже не по какой-то причине, а по совершенно конкретной: ему казалось, что этот звук вызовет трудности у китайцев, решивших выучить волапюк.

Поначалу язык стал довольно популярным благодаря своей простоте. На нем издавалось 25 журналов, было написано 316 учебников на 25 языках и действовало 283 клуба. Для одного человека волапюк даже стал родным языком - это дочь профессора волапюка Генри Конна (о ее жизни, к сожалению, ничего не известно).

Постепенно интерес к языку стал снижаться, но в 1931 году группа волапюкистов во главе с ученым Ари де Йонгом провели реформу языка, и на некоторое время его популярность снова возросла. Но тут к власти пришли нацисты и запретили в Европе все иностранные языки. На сегодняшний день в мире насчитывается лишь два-три десятка человек, говорящих на волапюке. Тем не менее в Википедии есть раздел, написанный на волапюке.

Логлан

Лингвист Джон Кук придумал логлан (log ical lan guage) в 1955 году как альтернативу обычным, «неидеальным» языкам. И вдруг язык, который создавался по большей части для научных исследований, обрел своих поклонников. Еще бы! Ведь в нем нет таких понятий, как время у глаголов или число у существительных. Предполагается, что это и так понятно собеседникам из контекста разговора. Зато в языке очень много междометий, с помощью которых предполагается выражать оттенки эмоций. Их около двадцати, и они обозначают спектр чувств от любви до ненависти. А звучат они так: иу! (любовь), уе! (неожиданность), уи! (счастье) и т.д. А еще там нет запятых и других знаков пунктуации. Чудо, а не язык!

Разработан священником из Огайо Эдвардом Фостером. Сразу после появления язык стал очень популярным: в первые годы выходили даже две газеты, издавались пособия и словари. Фостеру удалось получить грант Ассоциации международного вспомогательного языка. Главная особенность языка ро: слова строились по категориальной схеме. Например, красный - bofoc, желтый - bofof, оранжевый - bofod. Минус такой системы: различить слова на слух практически невозможно. Вероятно, поэтому особого интереса у общественности язык не вызвал.

Сольресоль

Появился в 1817 году. Создатель француз Жан Франсуа Сюдр считал, что все в мире можно объяснить при помощи нот. Язык, собственно, из них и состоит. В нем всего 2660 слов: 7 односложных, 49 двусложных, 336 трехсложных и 2268 четырехсложных. Для обозначения противоположных понятий используется отзеркаливание слова: фаля - хорошо, ляфа - плохо.

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

Язык нашел массу поклонников, в том числе и среди известных людей. Знаменитыми последователями сольресоля были, например, Виктор Гюго, Александр Гумбольдт, Ламартин.

Ифкуиль

Специально придуманный язык, чтобы общаться на философские темы (впрочем, это с тем же успехом можно делать на любом другом языке, все равно будет непонятно!). Создание языка потребовало у его автора Джона Кихады почти 30 лет (с 1978 по 2004 год), да и то он считает, что еще не закончил со словарным набором. Кстати, в ифкуиле 81 падеж, а значения слов передаются при помощи морфем. Таким образом, очень коротко можно передать длинную мысль. Как если бы ты захотел заархивировать слова.

Токипона

Самый простой искусственный язык в мире был создан в 2011 году канадским лингвистом Соней Элен Киса (настоящее имя, впрочем, Кристофер Ришар). В словаре токипона всего 118 слов (каждое из них имеет несколько значений), и вообще предполагается, что говорящие будут понимать, о чем речь, из самого контекста разговора. Создатель токипоны считает, что приблизился к пониманию языка будущего, о котором говорил Тайлер Дерден в «Бойцовском клубе».

Клингонский

Лингвист Марк Окранд придумал клингонский по заказу компании Paramount Pictures, на нем должны были разговаривать инопланетяне в фильме Star Trek. Они, собственно, и разговаривали. Но помимо них язык переняли многочисленные поклонники сериала, и в настоящее время существует Институт клингонского языка в США, который издает периодику и переводы литературной классики, есть клингоноязычная рок-музыка (например, группа Stokovor исполняет свои песни в жанре дет-метал исключительно на клингонском), театральные постановки и даже раздел поисковой системы Google.

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

Различают следующие виды искусственных языков:

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

Информационные языки - языки, используемые в различных системах обработки информации.

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

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

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

По цели создания искусственные языки можно разделить на следующие группы :

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

Вспомогательные языки - предназначены для практического общения: эсперанто, интерлингва, словио, словянски.

искусственный язык естественный специализация

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

Также язык создается для постановки эксперимента, например для проверки гипотезы Сепира-Уорфа (о том, что язык, на котором говорит человек, ограничивает сознание, загоняет его в определённые рамки).

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

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

Апостериорные языки - языки, построенные преимущественно на основе интернациональной лексики: интерлингва, окциденталь

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

Из искусственных языков наиболее известны :

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

интерлингва

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

окциденталь

симлийский язык

сольресоль

эсперанто

Наиболее известным искусственным языком стал эсперанто (Л. Заменгоф, 1887) - единственный искусственный язык, получивший широкое распространение и объединивший вокруг себя довольно многих сторонников международного языка. Основу эсперанто составляют интернациональные слова, заимствованные из латыни и греческого языка, и 16 грамматических правил, не имеющих исключений. В данном языке отсутствует грамматический род, в нем всего два падежа - именительный и винительный, а значения остальных передаются при помощи предлогов. Алфавит построен на основе латинского. Все это делает эсперанто настолько простым языком, что неподготовленный человек может научиться достаточно свободно говорить на нем за несколько месяцев регулярных занятий. Для того, чтобы выучить на том же уровне любой из естественных языков, требуется хотя бы несколько лет. В настоящее время эсперанто активно используют, по разным оценкам, от нескольких десятков тысяч до нескольких миллионов человек. При этом считается, что для ~ 500-1000 человек данный язык - родной, то есть изучаемый с момента рождения. У эсперанто есть языки-потомки, в которых отсутствует ряд существующих в эсперанто недостатков. Наиболее известные среди этих языков - эсперантидо и новиаль. Впрочем, ни один из них не получит такого распространения, как эсперанто.

За или против искусственных языков?

Изучение искусственного языка имеет один большой недостаток - практически невозможность его применения в жизни. Это так. В заметке под названием "Искусственные языки", напечатанной в Большой Советской Энциклопедии утверждается, что: "Идея искусственного языка, общего для всего человечества, сама по себе утопична и неосуществима. Искусственные языки являются только несовершенными суррогатами живых языков; их проекты носят космополитический характер и потому порочны в принципе." Это писалось в начале 50-х годов. Но и в середине 60-х годов тот же скепсис свойствен некоторым ученым.

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

Автор книги "Звуки и знаки" А.М. Кондратов полагает, что все существующие родные языки никогда не смогут быть заменены "никаким искусственно придуманным "всеобщим" языком". Он все же допускает идею вспомогательного языка: "Речь может идти только о языке-посреднике. которым пользуются лишь при разговоре с иностранцами - и только"

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

За или против искусственных языков?

Изучение искусственного языка имеет один большой недостаток - практически невозможность его применения в жизни. Это так. В заметке под названием "Искусственные языки", напечатанной в Большой Советской Энциклопедии утверждается, что: "Идея искусственного языка, общего для всего человечества, сама по себе утопична и неосуществима. Искусственные языки являются только несовершенными суррогатами живых языков; их проекты носят космополитический характер и потому порочны в принципе." Это писалось в начале 50-х годов. Но и в середине 60-х годов тот же скепсис свойствен некоторым ученым.

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

Автор книги "Звуки и знаки" А.М. Кондратов полагает, что все существующие родные языки никогда не смогут быть заменены "никаким искусственно придуманным "всеобщим" языком". Он все же допускает идею вспомогательного языка: "Речь может идти только о языке-посреднике. которым пользуются лишь при разговоре с иностранцами - и только"

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