Таким образом, соотношение языка и мышления разнообразно и существенно. Главное в этом соотношении: как для мышления необходим язык, так и для языка необходимо мышление.
Язык формальной логики
С чем же связано наличие собственного языка логики как науки? Дело в том, что естественному языку присущи некоторые недостатки, которые не позволяют логике ограничиваться использованием только его.
Основными недостатками естественного языка являются:
· изменение значения слов с развитием общественной практики и по истечении определенного времени;
· многозначность некоторых слов;
· расплывчатость, неопределенность отдельных слов, не позволяющая с их помощью определить предмет науки;
· несовершенство правил построения выражений, которое в логическом смысле несет на себе печать многозначности понимания вербальной мысли;
· деление естественного языка на большое количество языков разных стран и народов, в результате чего одна и та же мысль может быть оформлена различными языками.
Формальная логика пытается искоренить данные недостатки в своей области. Это достигается на основе введения специального символического языка. Внутри формальной логики операции с мыслями заменяются действиями со знаками. Общепринятым в современной логике является так называемый язык логики предикатов. Рассмотрим кратко принципы построения и структуру этого языка.
Важное значение для выявления логической формы мыслей при анализе естественного языка имеет смысловая или семантическая характеристика языковых выражений. В этом плане в формальной логике используются две группы терминов дескриптивные и логические.
Дескриптивные термины (лат. descriptic - описание) - это имена предметов, предикаторы и функциональные знаки. Они выражаются словами естественного языка и на данный момент речемыслительной деятельности адекватно отражают предмет мышления.
Имена предметов - это слова или словосочетания, которые обозначают отдельные предметы или классы однородных предметов.
Предикаторы - это языковые выражения, которые обозначают свойства или отношения, наличие которых в суждениях утверждается или отрицается.
Функциональные знаки - это принятые обозначения предметных функций, операций (Sin a , "+" и др.).
Логические термины заменяют в естественном языке определенные союзы (логические постоянные, или логические константы).
На основе семантических категорий естественного языка создан специальный алфавит языка логики предикатов. Из соображений удобства сведем его основные символы в таблицу.
| Символ | Способ употребления | Название | Читается |
| x,y,z | предметные переменные | ||
| p,q,r | пропозиционные переменные | ||
| Р,Q,R | предикатные переменные | ||
| ^ | p ^ q | конъюнкция | p и q |
| v | p v q | дизъюнкция слабая | p или q |
| v | p v q | дизъюнкция сильная | либо p, либо q |
| -> | р -> q | импликация | если p, то q |
| <-> | р <-> q | эквиваленция (эквивалентность) | p тогда и только тогда, когда q |
| - | -p | отрицание | неверно, что р |
С помощью приведенного искусственного языка строится формализованная логическая система, называемая исчислением предикатов, систематическое изложение которой осуществляется в символической логике. Нами же элементы языка логики предикатов будут использоваться в дальнейшем изложении для анализа отдельных фрагментов естественного языка.
Таким образом, изучение логики мыслительного процесса, знание логических форм, выраженных в обычном словесном языке, и логических законов, ими управляющих, сохраняет свое значение и актуальность для формирования у человека его логической культуры.
Литература
1. Бузук Г.Л., Ивин А.А., Панов М.И. Наука убеждать: логика и риторика в вопросах и ответах. М., 1992.
2. Гжегорчик А. Популярная логика. М., 1979.
3. Зегет В. Элементарная логика. М., 1985.
4. Гетманова А.Д. Учебник по логике. М., 1994.
5. Ивин А.А. По законам логики. М., 1983.
6. Кириллов В.И., Старченко А.А. Логика. Учебник. М., 1987.
7. Краткий словарь по логике. М., 1991.
8. Уемов А.И. Логические ошибки: как они мешают правильно мыслить. М., 1958.
9. Упражнения по логике. М., 1993.