Автор: Пользователь скрыл имя, 02 Ноября 2011 в 02:07, реферат
Для выражения всех элементов рассуждения служат различные средства языка. Понятия выражаются посредством отдельных слов или словосочетаний, суждения и умозаключения - с помощью простых или сложных предложений. Поэтому логический анализ рассуждений тесно связан с анализом языка, хотя отнюдь не сводится к последнему.
1. Логика и язык.
Для выражения всех элементов рассуждения служат различные средства языка. Понятия выражаются посредством отдельных слов или словосочетаний, суждения и умозаключения - с помощью простых или сложных предложений. Поэтому логический анализ рассуждений тесно связан с анализом языка, хотя отнюдь не сводится к последнему.
· Поскольку
язык развивался как средство коммуникации
и взаимопонимания между
· Как универсальное средство для коммуникации и обмена мыслями и информацией, язык выполняет множество функций, которые не интересуют логику. Логика, напротив, стремится как можно точнее передать и преобразовать существующую информацию и тем самым устранить некоторые недостатки естественного языка путем создания искусственных формализованных языков. Такие искусственные языки используются прежде всего в научном познании, а в последние годы они нашли широкое распространение в программировании и алгоритмизации различных процессов с помощью компьютеров. Достоинство подобных языков состоит прежде всего в их точности, однозначности, а самое главное - в возможности представления обычного содержательного рассуждения посредством вычисления.
Необходимая связь мышления и языка, при которой язык выступает материальной оболочкой мыслей, означает, что выявление логических структур возможно лишь путем анализа языковых выражений. Подобно тому, как к ядру ореха можно добраться лишь вскрыв его скорлупу, так и логические формы могут быть выявлены лишь, путем анализа языка.
В целях овладения логико-языковым анализом рассмотрим кратко структуру и функции языка, соотношение логических и грамматических категорий, а также принципы построения особого языка логики.
Язык - это знаковая информационная система, выполняющая функцию формирования, хранения и передачи информации в процессе познания действительности и общения между людьми.
Основным строительным материалом при конструировании языка выступают используемые в нем знаки. Знак - это любой чувственно воспринимаемый (зрительно, на слух или иным способом) предмет, выступающий представителем другого предмета. Среди различных знаков выделим два вида: знаки-образы и знаки-символы.
Знаки-образы имеют определенное сходство с обозначаемыми предметами. Примеры таких знаков: копии документов; дактилоскопические отпечатки пальцев; фотоснимки; некоторые дорожные знаки с изображением детей, пешеходов и других объектов. Знаки-символы не имеют сходства с обозначаемыми предметами. Например: нотные знаки; знаки азбуки Морзе; буквы в алфавитах национальных языков.
Множество исходных знаков языка составляет его алфавит.
По происхождению языки бывают естественные и искусственные.
Естественные языки - это исторически сложившиеся в обществе звуковые (речь), а затем и графические (письмо) информационные знаковые системы. Они возникли для закрепления и передачи накопленной информации в процессе общения между людьми. Естественные языки выступают носителями многовековой культуры народов. Они отличаются богатыми выразительными возможностями и универсальным охватом самых различных областей жизни.
Искусственные языки - это вспомогательные знаковые системы, создаваемые на базе естественных языков для точной и экономной передачи научной и другой информации. Они конструируются с помощью естественного языка или ранее построенного искусственного языка. Язык, выступающий средством построения или изучения другого языка, называют метаязыком, основной - языком-объектом. Метаязык, как правило, обладает более богатыми по сравнению с языком-объектом выразительными возможностями.
Искусственные
языки различной степени
Особую группу составляют смешанные языки, базой в которых выступает естественный (национальный) язык, дополняемый символикой и условными обозначениями, относящимися к конкретной предметной области. К этой группе можно отнести язык, условно называемый «юридическим языком», или «языком права». Он строится на базе естественного (в нашем случае русского) языка, а также включает множество правовых понятий и дефиниций, правовых презумпций и допущений, правил доказательства и опровержения. Исходной клеточкой этого языка выступают нормы права, объединяемые в сложные нормативно-правовые системы.
Искусственные
языки успешно используются и
логикой для точного
Один из таких языков - язык логики высказываний. Он применяется в логической системе, называемой исчислением высказываний, которая анализирует рассуждения, опираясь на истинностные характеристики логических связок и отвлекаясь от внутренней структуры суждений. Принципы построения этого языка будут изложены в главе о дедуктивных умозаключениях.
Второй язык - это язык логики предикатов. Он применяется в логической системе, называемой исчислением предикатов, которая при анализе рассуждений учитывает не только истинностные характеристики логических связок, но и внутреннюю структуру суждений. Рассмотрим кратко состав и структуру этого языка, отдельные элементы которого будут использованы в процессе содержательного изложения курса.
Предназначенный для логического анализа рассуждений, язык логики предикатов структурно отражает и точно следует за смысловыми характеристиками естественного языка. Основной смысловой (семантической) категорией языка логики предикатов является понятие имени.
Имя - это имеющее определенный смысл языковое выражение в виде отдельного слова или словосочетания, обозначающее или именующее какой-либо внеязыковой объект.
Алфавит
языка логики предикатов
1) а, b, с,... - символы для единичных (собственных или описательных) имен предметов; их называют предметными постоянными, или константами;
2) х, y, z, ... - символы общих имен предметов, принимающие значения в той или другой области; их называют предметными переменными;
3) Р1,Q1, R1,... - символы для предикатов, индексы над которыми выражают их местность; их называют предикатными переменными;
4) р, q, r, ... - символы для высказываний, которые называют высказывательными, или пропозициональными переменными (от латинского рropositio -- «высказывание»);
5) символы для количественной характеристики высказываний; их называют кванторами: -- квантор общности; он символизирует выражения -- все, каждый, всякий, всегда и т.п.; -- квантор существования; он символизирует выражения -- некоторый, иногда, бывает, встречается, существует и т.п.;
6) логические связки:
- конъюнкция (союз «и»);
- дизъюнкция (союз «или»);
- импликация (союз «если..., то...»);
- эквиваленция, или двойная импликация (союз «если и только если..., то...»);
¬- отрицание («неверно, что...»).
Технические знаки языка: (,) - левая и правая скобки.
Других
знаков данный алфавит не включает.
Список используемой литературы:
1. Берков В.Ф. Логика: Уч. - Мн: НТООО «ТетраСистемс», 1997.
2. Бойко А. П. Логика: Учебное пособие / А. П. Бойко. - М., 2002.
3. Гетманова А. Д. Учебник по логике / А. Д. Гетманова. - М, 2004.
4. Иванов Е. А. Логика / Е. А. Иванов. - М., 2002.
5. Рузавин Г.И. Логика и аргументация: Уч.пос. - М: Культура и спорт, ЮНИТИ, 2000