- Понятие и виды языков
- Основные логические законы
1. Понятие и виды языков
Язык – это знаковая система, выполняющая функцию формирования, хранения и передачи информации в процессе познания действительности и общения между людьми.
Комплексное изучение языка осуществляется общей теорией знаковых систем – семиотикой.
По своему происхождению языки бывают естественные и искусственные.
Естественные языки – это исторически сложившиеся в обществе звуковые (речь) и графические (письмо) знаковые системы. Они являются носителями многовековой культуры народов.
Искусственные языки – это вспомогательные знаковые системы, создаваемые на базе естественных языков для точной и экономной передачи научной и другой информации.
Юридический язык или язык права является одним из искусственных языков.
Для современной логики общепринятым искусственным языком является язык логики предикатов. Алфавит этого языка включает следующие виды знаков:
1) a, b, c, … - символы для единичных имен предметов (предметные константы);
2) x, y, z, … - символы общих имен предметов (предметные переменные);
3) P, Q, R, … - символы для обозначения свойств предметов или отношений между ними (предикатные переменные);
4) p, q, r, … - символы для обозначения высказываний (пропозициональные переменные);
5) ", $ - символы для количественной характеристики высказываний (кванторы);
" - квантор общности, он символизирует выражения: все, каждый, всякий;
$ - квантор существования, он символизирует выражения: некоторый, иногда, бывает, встречается, существует и т.п.;
6) логические связки:
& - конъюнкция (союз «и»);
Ú - дизъюнкция (союз «или»);
- импликация (союз «если…, то…»);
«- эквиваленция (союз «если и только если…, то…»);
``p – отрицание («неверно, что…»).
Допустимые в языке логики предикатов выражения называются правильно построенными формулами (ППФ).
2. Основные логические законы
Логический закон – это необходимая существенная связь мыслей в процессе рассуждения.
Основными логическими законами являются законы тождества, противоречия, исключенного третьего и достаточного основания.
Первые три закона были выявлены и сформулированы древнегреческим философом Аристотелем, а закон достаточного основания – немецким философом Г.В. Лейбницем в XVIII веке.
1. Закон тождества
Сущность данного закона заключается в следующем: любая мысль в процессе рассуждения должна быть тождественна самой себе.
Обозначается это так: а есть а или а=а, где под а понимается любое понятие или p®p, где p – некоторое высказывание.
Нарушение этого закона выражается в отождествлении различных понятий и представляет собой логическую ошибку, называемую подменой понятий.
2. Закон противоречия
Два несовместимых друг с другом высказывания не могут быть одновременно истинными, одно из них должно быть ложным.
Обозначается это так: неверно, что p и 
одновременно истинны, где p – любое высказывание; p & =0.
3. Закон исключенного третьего
Два противоречащих высказывания не могут быть одновременно ложными, одно из них должно быть истинным.
Обозначается это так: (p или ) - истинно, где p – любое высказывание;
p Ú =1.
Согласно последним двум законам, одно из двух противоречащих высказываний должно быть истинным, а другое – ложным, третьего не дано.
