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

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

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

Искусственным называется язык, выражения которого строятся по за­ранее сформулированным правилам.

Среди них выделяют содержательные (словесные) и формализованные (символические).

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

Формализованными называются искусственно построенная по заранее разработанным правилам знаковая система, в которой выражения естест­венного языка заменены буквенными символами. Кроме буквенных, формали­зованная система включает также операционные символы. К формализован­ным языкам относят языки программирования на ЭВМ. Образованные из буквенных и операционных символов по заданным правилам сложные символические конструкции называются формулами.

Не нашли, что искали? Воспользуйтесь поиском: