Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Скворцов Э.Г. Введение в логику.doc
Скачиваний:
26
Добавлен:
22.11.2018
Размер:
1.31 Mб
Скачать

Глава 3. Логика и язык права

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

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

Основным строительным материалом при конструировании языка выступают используемые в нем знаки. Знак – это любой чувственно воспринимаемый предмет, выступающий представителем другого предмета. Комплексное изучение языка осуществляется общей теорией знаковых систем – семиотикой. Она анализирует язык в синтаксическом, семантическом и прагматическом аспектах.

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

По происхождению языки бывают естественными, искусственными и смешанными. Естественные языки – это исторически сложившиеся в обществе звуковые (речь) графические (письмо) информационные знаковые системы, возникшие для закрепления и передачи накопленной информации в процессе общения между людьми. Искусственные языки – это вспомогательные знаковые системы, создаваемые на базе естественных языков для точной и экономной передачи информации. Они широко используются в современной науке и технике, в том числе логикой.

3.1. Язык логики

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

Логика использует искусственные языки для анализа мыслительных структур – язык логики высказываний (ЯЛВ) и язык логики предикатов (ЯЛП). Основной семантической (смысловой) категорией языка логики предикатов является понятие имени. Имя – это выражение языка, обозначающее отдельный предмет, совокупность сходных предметов или свойства, отношения и т. п. Имя имеет предметное значение (денотат) и смысловое значение (концепт), но оно обозначает объекты только через смысл, а не непосредственно.

Отношение между именем, смыслом и объектом следующее: Имя → смысл (концепт) → объект (денотат). Языковое выражение, не имеющее смысла, не может быть именем. Имя можно определить по его роли в структуре предложения. Выражение языка является именем в простом предложении «S есть Р», где S подлежащее, Рсказуемое.

Имена предметов S (субъект) обозначают единичные предметы, явления, события или их множества.

Имена признаков Р (предикат) обозначающие качества, свойства, отношения.

Алфавит языка логики предикатов:

а, Ь, с, ... – символы единичных имен предметов (предметные постоянные, или константы);

х, у, z, ... – символы общих имен предметов (предметными переменными);

Р1, Q1, R1, … – символы предикатов (предикатные переменные);

р, q, г, ... – символы высказываний (пропозициональные переменные).

Символы количественной характеристики высказываний:

– квантор общности (все, каждый, всякий, всегда и т.п.);

– квантор существования (некоторый, иногда, встречается, т.п.).

Логические связки:

/\ – конъюнкция (союз «и»);

\/ – дизъюнкция (союз «или»);

→ – импликация (союз «если..., то...»);

↔ – эквиваленция (союз «если и только если..., то...»);

┐ – отрицание («неверно, что...»);

(,) – левая и правая скобки (технические знаки языка).