Автор: Пользователь скрыл имя, 20 Марта 2012 в 15:04, реферат
Вначале логика возникла и развивалась в недрах философии как единой науки, объединявшей всю совокупность представлений людей об окружающем мире и самом человеке, его мышлении. При этом первоначально законы и формы правильного мышления изучались в границах ораторского искусства, как одного из средств воздействия на умы людей, убеждения их в целесообразности определенного поведения. Так было в Древней Индии, Древнем Китае, Древней Греции, Древнем Риме, а также средневековой России. Однако в искусстве красноречия логический аспект представляет пока еще как подчиненный, ибо логические приемы служат не столько цели достижения истины, сколько цели убеждения аудитории.
Формальная логика пытается искоренить данные недостатки в своей области. Это достигается на основе введения специального символического языка. Внутри формальной логики операции с мыслями заменяются действиями со знаками. Общепринятым в современной логике является так называемый язык логики предикатов. Рассмотрим кратко принципы построения и структуру этого языка.
Важное значение для выявления логической формы мыслей при анализе естественного языка имеет смысловая или семантическая характеристика языковых выражений. В этом плане в формальной логике используются две группы терминов дескриптивные и логические.
Дескриптивные термины (лат. 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.
7