Главная | Обратная связь | Поможем написать вашу работу!

Язык формальной логики

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

Язык есть непосредственная деятельность мысли, утверждали К.Маркс и Ф.Энгельс в "Немецкой идеологии". Это положение развил советский психолог С.Л.Рубинштейн, назвав языковую действительность, звучащее и беззвучное говорение, "формой существования сознания". Мышление и язык неразрывно связаны друг с другом и образуют диалектическое единство.

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

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

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

- изменение значения слов с развитием общественной практики и по истечении определенного времени;

- многозначность некоторых слов;

- расплывчатость, неопределенность отдельных слов, не всегда позволяющая с их помощью достаточно точно определить предмет науки;

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

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

Ряд наук использует в своих специальных языках символы. К таким наукам принадлежат математика, физика, химия и др., которые совместно со словами естественного языка используют искусственно созданные знаки: +; 2; -; ´; p; √; и т.д. Возможны и такие обозначения, в совокупности выражающие новое понятие, как, например, Н₂О. Преимущество символического языка заключается в том, что он более точен и краток, чем его перевод на естественный язык даже с помощью научных понятий и категорий.

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

Знак – это материальный объект, используемый в процессе познания или общения в качестве представителя какого-либо объекта

Можно выделить знаки следующих трех типов: знаки-индексы; знаки-образы; знаки-символы. Знаки–индексы раскрывают связь с предметом в рамках причинно-следственных связей. Так, например, дым в определенной степени связан с наличием огня, а преступление с наказанием. Знаки-образы несут информацию о представляемых ими объектах, так как они находятся в отношении подобия с обозначаемыми объектами: карта местности, картина, чертеж. Знаки-символы причинно не связаны и не сходны с представляемыми ими объектами. Они отражают смысл и значение материального объекта.

Смысл – это выражаемая знаком характеристика объекта, представителем которого является знак.

Значение – это выражаемый знаком реальный объект, который и обозначается этим знаком.

Некоторые знаки не имеют значения, то есть представляют несуществующие объекты. Например, «вечный двигатель», «баба- Яга».

Некоторые знаки не имеют смысла. Например, «холодно».

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

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

Термин (от лат. terminus – граница, предел, конец чего-либо) в логике - это слово, имя предметов универсума для обозначения субъекта и предиката суждения, а также для обозначения элементов посылок силлогизма.

К дескриптивным терминам (лат. descriptic – описание) относятся: единичные имена; общие имена; знаки свойств и отношений; знаки предметных функций; знаки признаков.

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

Имена предметов - это слова или словосочетания, которые обозначают отдельные предметы или классы однородных предметов. Поскольку имя является знаком, то оно имеет смысл и значение. Различают имена двух типов. Имя первого типа обозначает предмет. Имя второго типа является общим для предметов некоторого класса. Имена первого типа называют единичными (например: Луна; столица России), а второго – общими (например: животное, имеющее хвост; судья). Класс, который составляют предметы, являющиеся значениями имени, называются объемом имени.

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

Функциональные знаки или знаки предметных функций - это принятые обозначения некоторого соответствия, соотнесения сути предмета с его проявлением или одного предмета с другими предметами. Например: ∫; ¦; <; >; å; Sinb и т.д.

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

В логике предикатов, в дополнение к средствам логики высказываний, вводятся логические операторы " («для всех») и $ («для некоторых» или «существует»), называемые кванторами общности и существования соответственно. Квантор общности соответствует местоимениям: «все», «всякий», «каждый», «ни один». В качестве символа квантора общности взята перевернутая буква «А» первая буква немецкого слова alle – все. Обозначается он так: «"х». Читается эта запись следующим образом: логическое выражение "х () истинно, если () принимает значение "истина" для всех значений переменной «х», и "х () ложно, если существует хотя бы одно значение «х», для которого () принимает значение "ложь". Например, высказывание: «Все офицеры Вооруженных сил РФ принимают военную присягу» с помощью квантора общности записывается так: "х («х» - офицеры ВС РФ). Это означает, что все офицеры, если они в составе ВС РФ, приняли военную присягу.

Квантор существования соответствует словам «некоторые», «существует». В качестве символа квантора существования взята перевернутая буква «Е», первая буква немецкого слова existiren - существовать. Обозначается он так: «$х». Читается эта запись следующим образом: «Логическое выражение $х () истинно, если () принимает значение «истина» хотя бы для одного значения переменной «х», и $х () ложно, если () для всех значений переменной «х» принимает значение «ложь». Например, высказывание «Некоторые судьи работают по убеждению» с помощью квантора существования записывается так: $х («х» - судьи, работающие по убеждению). Это означает, что существуют люди, которые становятся судьями и работают, при этом, по убеждению.

В формальной логике используются также следующие логические термины, которые заменяют в естественном языке определенные союзы:

- конъюнкция - соответствует союзу "и". Обозначается она следующим образом:

а ^ в, а & в;

- дизъюнкция - соответствует союзу “или”. Нестрогая дизъюнкция обозначается:

а V в, а строгая: а V в;

- отрицание обозначается следующим образом: Øа;` а;

- импликация соответствует союзу: «если..., то...». Обозначается она следующим образом: а ® в; а É в;

- эквиваленция соответствует словам: "если и только если", "эквивалентно". Обозначается так: а «в; а º в.

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

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

⇐ Предыдущая 1 2 345 6 7 8 9 10 Следующая ⇒