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

Знаки—символы – знаки, не имеющие естественной связи с обозначаемым, а представляющие его в силу соглашения.

Знаки—копии, знаки—индексы и знаки—символы, в свою очередь, подразделяются на языковые и неязыковые знаки. Первый тип знаков отличается тем, что является элементом системы знаков. Второй тип знаков включает знаки, существующие изолированно, вне системы.

Употребление знаков строго упорядочено и подчинено некоторым фундаментальным принципам.

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

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

Логика использует в своих построениях два типа искусственных языков: язык логики высказываний и язык логики предикатов.

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

Конец ознакомительного фрагмента.