141054 (726037), страница 3

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 3)

Таким образом, соотношение языка и мышления разнообразно и существенно. Главное в этом соотношении: как для мышлениянеобходим язык, так и для языка необходимо мышление.

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

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

Основными недостатками естественного языка являются:

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

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

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

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

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

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

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

Дескриптивные термины (лат. descriptic - описание) - это имена предметов, предикаторы и функциональные знаки. Онивыражаются словами естественного языка и на данный момент речемыслительной деятельности адекватно отражают предмет мышления.

Имена предметов - это слова или словосочетания, которые обозначают отдельные предметы или классы однородных предметов.

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

Функциональные знаки - это принятые обозначения предметных функций, операций (Sin a , "+" и др.).

Логические термины заменяют в естественном языке определенные союзы (логические постоянные, или логические константы).

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

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

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

Литература

1. Бузук Г.Л., Ивин А.А., Панов М.И. Наука убеждать: логика и риторика в вопросах и ответах. М., 1992.

2. Гжегорчик А. Популярная логика. М., 1979.

3. Зегет В. Элементарная логика. М., 1985.

4. Гетманова А.Д. Учебник по логике. М., 1994.

5. Ивин А.А. По законам логики. М., 1983.

6. Кириллов В.И., Старченко А.А. Логика. Учебник. М., 1987.

7. Краткий словарь по логике. М., 1991.

8. Уемов А.И. Логические ошибки: как они мешают правильно мыслить. М., 1958.

9. Упражнения по логике. М., 1993.

Характеристики

Список файлов реферата