Виды языков

Языки, включающие эмпирические правила значения, называются эмпирическими.

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

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

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

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

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

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

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

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

Дата добавления: 2015-05-08