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

Естественный язык возникает спонтанно в процессе развития человека как необходимое средство общения и познания (национальные языки – русский, украинский, армянский и др.)

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

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

Предметное значение — это объект (отдельный предмет или некоторый класс предметов), представителем которого является знак.

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

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

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