3. Понятие логической формы. Истинность и правильность мысли.

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

Например, если в предложении «Все люди смертны» мы отвлечемся от конкретного содержания дескриптивных терминов «люди» и «смертны» и обозначим их соответственно S и P, то получим суждение «Все S есть P», которое и будет логической формой вышеприведенного высказывания. Такую же логическую форму будут иметь и высказывания «Все законы обязательны для исполнения», «Все планеты вращаются вокруг Солнца» и т. п. Таким образом, мы получаем целый класс выражений, имеющих одинаковую логическую форму.

Логическая форма – это способ связи содержательных частей некоторого контекста, при отвлечении от конкретного содержания этих частей.

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

Так, если мы имеем истинные посылки «Все А есть В» и «Все В есть С», то из этого следует, что «Все А есть С», что бы мы ни понимали под А, В, С.

Логическая форма записи приведенного умозаключения будет выглядеть так:

Все А есть В

Все В есть С

__________

Все А есть С

Теперь мы можем различить такие важные понятия, как правильность и истинность мысли.

Формальная правильность мысли – это соответствие структуры мысли определенным правилам и законам логики. Отсюда вытекает критерий правильности умозаключений

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

Истинность мысли – это соответствие результатов мышления действительности.

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

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

4. Язык как знаковая система. Требования к языку права.

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

В основе современного логического анализа языка лежат принципы семиотики – общей теории знаковых систем.

Основные идеи семиотики были разработаны американским логиком, математиком и философом Ч.С. Пирсом, а впоследствии в гораздо более четком и приемлемом для широкой публики виде изложены Ч. Моррисом.

Ч. Пирс выделяет три типа знаков: иконы, индексы и символы.

Иконический знак представляет объект главным образом в силу сходства с ним (например, карта местности или фотография человека), но иногда это сходство может поддерживаться конвенциональными (т. е. установленными по конвенции, договоренности, условно) правилами – например, алгебраическая или любая другая формула. Логическая запись умозаключений в виде системы посылок и заключения является иконическим знаком. Дорожные знаки в виде различных стрелок являются иконическими знаками. Ярлыки программ на экране компьютера являются иконическими знаками («иконкой»).

Знаки-индексы, или индексальные знаки присутствуют в суждениях в качестве местоимений или наречий, они обеспечивают пространственно-временную идентификацию предметов, определяемых при помощи предикатов. Это – знаки-указатели (местоимение «он», «она», «тот самый» указывают на конкретного человека или объект). Знаки-индексы указывают на определенные причинные связи.

Так, дым есть знак-индекс огня, осколки стекла – знак-индекс удара по стеклу (Сакраментальный вопрос школьного учителя: «Кто разбил стекло?»), повышенная температура – знак-индекс воспалительного процесса и т. п.

Знак-символ – это конвенциональный знак, используемый в результате неявного (но иногда и явного) соглашения между людьми. С помощью таких знаков мы можем говорить как о реально существующих, так и о несуществующих объектах. К ним относится большая часть слов нашего языка, никоим образом не указывающих на наличие какой-либо физической или структурной связи со своим объектом (что общего между красным цветом и словом «красный», между словом «бегемот» и соответствующим животным?).

Любые знаки нуждаются в интерпретации. Интерпретация знака состоит в закреплении, утверждении тех или иных следствий, вытекающих из употребления знака (буквально: «Я имею в виду то-то и то-то»). Но, в принципе, интерпретация может принадлежать как говорящему (автору), так и слушателю (воспринимающему), который и выступает в качестве интерпретатора.

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

Знаки-индексы и знаки-иконы ближе к реальности. Так, знаками-индексами пользуются многие биологические виды. Но знаки-символы – это чисто человеческое достояние. Именно со знаками-символами связаны проблемы взаимопонимания людей, разговаривающих (и мыслящих) на разных языках, проблемы перевода с одного языка на другой (при этом смыслы часто утрачиваются или искажаются), проблема лжи – именно с помощью знаков-символов создаются вымышленные персонажи, описывается нечто, не имевшее места в действительности. В то же время знаки-символы составляют мощное средство языка науки.

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