Лекция 1. Логика и язык права

Перенос и копирование текста

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

Для переноса текстов можно также воспользоваться мышью. Данный способ в оригинале имеет название Drag & Drop («перетащить и положить»). Текст, который будет перенесен, тоже необходимо предварительно выделить. Выделив фрагмент текста, поместите курсор мышина нем, нажмите левую кнопку мыши и, удерживая ее нажатой, перетащите выбранный текст на новое место. Точную новую позицию перемещаемого текста вы узнаете по пунктирной вертикальной линии рядом с указателем мыши. После того как нужная позиция будет достигнута, отпустите кнопку мыши и текст будет вставлен в указанное место документа.

1. Понятие и виды языков
2. Основные логические законы

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.

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