|
Читайте также: |
По своему происхождению языки бывают естественные и искусственные.
Естественные языки - это исторически сложившиеся в обществе звуковые, а затем и графические информационные знаковые системы. Они возникли для закрепления и передачи накопленной информации в процессе общения между людьми. Естественные языки выступают носителями многовековой культуры народов. Они отличаются богатыми выразительными возможностями и универсальным охватом самых различных областей жизни.
Искусственные языки – это вспомогательные знаковые системы, создаваемы е на базе естественных языков для точной и экономной передачи научной и другой информации. Они конструируются с помощью естественного языка или ранее построенного искусственного языка. Язык, выступающий средством построения или изучения другого языка называют мета языком, основной – языком-объектом. Метаязык, как правило, обладает более богатыми по сравнению с языком-объектом выразительными возможностями.
Искусственные языки различной широты строгости широко используются в современной науке и технике: химии, математике и т.д. Искусственный язык используется логической наукой для теоретической или практического анализа мыслительных структур.
Формализованный язык – искусственный язык формальных логических исчислений. От обычного языка, выполняющего познавательную и коммуникативную функцию и представляющего систему букв и звуков, формализованный язык отличается тем, что он является системой таких знаков, операции с которыми совершаются по правилам, которые определяются только формой выражения, составленного из символов.
Главной отличительной чертой формализованного языка является наличие в нем теории или системы логического анализа. В формализованном языке слова заменяются буквами и специальными символами. Разработка системы логического анализа является фундаментом формализованного языка. Из этого следуют такие требования к построению формализованного языка: тщательность в формулировке правил, отсутствие неправильностей и исключений, наличие системы логического анализа.
Дата добавления: 2015-07-19; просмотров: 206 | Нарушение авторских прав
| <== предыдущая страница | | | следующая страница ==> |
| Имя. Виды имен. | | | Закон исключения третьего. |