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

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

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

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

Язык как аналитический метод. Роль искусственных языков в логике

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

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

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

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

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

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

Г. Фреге об особенностях и роли искусственных языков в логике

Именно как инструмент исследования рассматривал Фреге искусственные языки. Сопоставляя роль искусственных и естественных языков, он сравнивал их отношение с отношением микроскопа к глазу. Он считал, что отношение построенного им языка "исчисления понятий" – специального языка формул для чистого мышления – к естественному языку лучше всего можно пояснить, если сравнить всего с отношением микроскопа к глазу. "Глаз в силу широкой сферы его применения, в силу его способности приспосабливаться к различным обстоятельствам, обладает большим преимуществом по сравнению с микроскопом… Но как только научные задачи предъявляют более сильные требования к остроте различения, оказывается, что глаз не в состоянии с ними справиться. Напротив, микроскоп самым совершенным образом подходит для решения именно таких задач, и как раз поэтому непригоден для решения всех иных. Так и данное исчисление понятий является созданным для определенных научных целей вспомогательным средством, которое поэтому не следует осуждать за то, что для других целей оно не подходит".

3. Семиотика и ее разделы. Исторические предпосылки возникновения общей теории знаковых систем.

Дата добавления: 2015-07-16