Язык формальной логики
С чем же связано наличие собственного языка логики как науки? Дело в том, что естественному языку присущи некоторые недостатки,которые не позволяют логике ограничиваться использованием только его.
Основными недостатками естественного языка являются:
Формальная логика пытается искоренить данные недостатки в своей области. Это достигается на основе введения специальногосимволического языка. Внутри формальной логики операции с мыслями заменяются действиями со знаками. Общепринятым в современной логике является такназываемый язык логики предикатов. Рассмотрим кратко принципы построения и структуру этого языка.
Важное значение для выявления логической формы мыслей при анализе естественного языка имеет смысловая или семантическаяхарактеристика языковых выражений. В этом плане в формальной логике используются две группы терминов дескриптивные и логические.
Дескриптивные термины (лат. 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.