Придание выражению доп. смысла по сравнению с общепринятым (сфера приложения термина сужается):

• Совершённое впервые преступление – преступление, если:

➢Оно совершено факт. 1-ый раз

➢Истёк срок давности привлечения за предыдущее преступление

➢Судимость снята или погашена

3. Введение в качестве юр. Терминов выражений, кот. Не было в обыденном языке:

   • Лжепредпринимательство

   • Фиктив. Банкротство

Типы юр. терминов:

1. Термины, кот. определены в нормативных актах – созданных уполномоченными органами особых пис. документах, содержащих нормы права (в процессе правоприменения не могут интерпретироваться)

2. Термины, кот. разъяснены юр. наукой (в процессе правоприменения могут обсуждаться)

Логика – наука о формах мыслей => Логика изучает способы выражения мыслей в языке => Логика – наука о языке:

1. Естественные языки – языки, возникшие и развивающиеся стихийно

2. Искусственные языки – спец. языки логики. Напр., язык логики высказываний – для выявления связей между мыслями по их лог. формам

При лог. анализе язык рассматривается как знаковая система.

Знак – материальный объект, выступающий в процессе познания/общения как представитель к/л объекта.

Типы знаков:

1. Знаки-индексы - знаки, кот. связаны с представляемыми ими объектами материально, как следствия с причинами (дым – наличие огня)

2. Знаки-образы - знаки, кот. сами по себе несут информацию о представляемых ими объектах, поскольку они находятся в отношении подобия с обозначаемыми объектами (напр., карта местности, картина, чертёж)

3. Знаки-символы (изучаются логикой) - знаки, кот. не связаны материально и не сходны с представляемыми ими объектами

Знаки имеют значения:

1. Предметное – объект, кот. представляется (обозначается) знаком

2. Смысловое – выражаемая знаком хар-ка объекта, представителем кот. является знак – информация об этом объекте

Типы информации:

1. Смысл – выраженная в языке информация, кот. позволяет отличать предметы, являющиеся значением знака, от всех др. предметов 2. Идея (зрит. образ, интуит. представление)

Нек. знаки не имеют значения – представляют не существующие в области рассуждения объекты (напр., вечный двигатель), а нек. не имеют смысла – обозначают какие-то объекты, но не несут о них выраженной в языке информации, кот. позволяет однозначно выделять предметы, обозначаемые знаком.

Америк. философ Чарльз Пирс заложил основы особой науки о знаках – семиотики:

1. Синтаксис – исследование отношений между знаками (правила построения и преобразования выражений языка), с отвлечением от смыслов и значений знаков

2. Семантика – исследование отношений мат. объектов, выступающих в кач. знаков, поскольку они являются одним из ср-в установления связи знаков и их предмет. значений

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

4. Учение логики об именах

Имя – один из видов знаков; слово/словосочетание, обозначающее к/л предмет. Учение об именах – теория именования.

Т.к. имя – знак, то оно имеет значение:

1. Предметное (может не иметь) – предмет обозначаемый этим именем 2. Смысловое (обязательно имеет):

• Смысл – (концепт) – выраженная в языке информация о предметах, кот. позволяет однозначно выделять предметы, являющиеся значением имени

• Идея – зрит. образ (интуит. представление) предметов, обозначаемых именем

Типы имён:

1. Единичные имена – обозначают 1 предмет (напр., Луна, столица России):

   • Значение – единственный предмет

2. Общие имена – имена, общие для предметов нек. класса (напр., преступление против соб-ти, европ. гос-во):

   • Значения – предметы нек. класса, содержащего более 1 элемента

Объём имени – класс, кот. составляют предметы:

1. У единичного имени – класс, состоящий из 1 предмета

2. У общего имени – класс, состоящий из неск. предметов

• Универсальные имена – общие имена, объёмом кот. явл. весь универсум рассуждения – вся область предметов, о кот. ведётся рассуждение (напр., «ч-к, знающий нек. ин. языки или не знающий ни одного ин. языка» универсум – все люди). Универсум рассуждения определяется контекстом, в кот. употребляется имя

Могут быть имена с разными смыслами и одним и тем же объёмом (напр., «самый большой город Англии» и «столица Англии»), но не может быть имён с одним и тем же смыслом, но разными объёмами.

1. Мнимые имена – имена, обозначающие предметы, не существующие в универсуме рассуждения (напр., русалка, вечный двигатель):

   • Универсум рассуждения – предметы, существующие в объективной реальности

   • Объём имени – пустое множество

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

Осн. методологические принципы употребления имён:

1. Принцип однозначности:

   • Если единичное имя – выражение, используемое в качестве имени, должно быть именем только 1 предмета

   • Если это общее имя – выражение должно быть именем, общим для предметов 1 класса

2. Принцип взаимозаменимости – если в слож. имени заменить часть, в свою очередь являющуюся именем, др. именем с тем же значением, то значение полученного в результате такой замены слож. имени должно быть тем же, что и значение исходного слож. имени (напр., в предложении «Земля вращается вокруг Солнца» заменим имя «Солнце» на имя «центральное тело Солнечной системы» => значения этих имён совпадут)

3. Принцип предметности – в высказываниях должно утверждаться/ отрицаться нечто о значениях имён, входящих в предложения, а не о самих именах.

   • Кавычковые имена - значениями нек. имён могут являться имена. Такие случаи не противоречат принципу предметности (напр., в предложении «Материя первична, а сознание вторично» «материя» - это имя объект. реальности, а в предложении ««Материя» - философ. категория» «материя» - это имя имени, имя категории)

   • Автонимное употребление имён - именем имени является само исходное имя (напр., в предложении «Слово стол состоит из 4 букв» слово «стол» является именем самого этого слова)

Способы употребления имён:

1. Имя просто выделяет предмет (предметы)

2. Предметы, обозначаемые именем, рассматриваются в определённом аспекте

• Если имя употребляется в этом смысле, то его можно заменять др. именем с тем же значением, если только во 2-ом имени предметы рассматриваются в том же аспекте (напр., указанную замену можно было бы произвести, если бы Птолемей считал, что значения имён «Солнце» и «центральное тело Солнечной системы» совпадают => «Птолемей считал, что Солнце вращается вокруг Земли» - ложь)

5. Основные семантические категории выражения языка

Семантические категории – классы, на кот. делятся выражения языка в зависимости от типов:

1. Выражаемых ими смыслов

2. Объектов, кот. они обозначают/представляют

Прежде всего выделяют:

1. Предложения

2. Части предложений, играющие самост. роль в составе предложений Высказывание – предложение, выражающее суждение:

1. Дескриптивные (нелог.) термины:

   • Единичные имена

   • Общие имена

   • Знаки св-в и отношений

   • Знаки признаков • Знаки предметных ф-ций

2. Лог. термины:

   • Есть (суть)

   • И

   • Или

   • Если…, то…

   • Не

   • Неверно, что…

   • Всякий (каждый)

   • Все (ни один)

   • Некоторые

   • Тот…, который…

   • Следовательно

Св-во – то, чем отличаются друг от друга предметы и явления (напр., люди:

высокие – низкие, черноглазые - голубоглазые). Относя в мыслях св-во к предмету, мы получаем ист./лож. предложение.

Отношение - для получения ист./лож. предложения его (отношение) следует отнести в мыслях к предметам упорядоченной пары, тройки и т.д. (напр., «больший, чем» (2-местное), «расположенный между» (3-местное) и т.п.).

Признак – наличие/отсутствие у предмета того или иного св-ва или отношения к др. предметам. Признак пары, тройки, … n-ки предметов – наличие/ отсутствие к/л отношения между её элементами (напр., в предложении «этот стол жёлтый»: «является жёлтым» - 1-местный предикат, знак признака, а слово «желтый» - знак св-ва).

Знаки предметных ф-ций (функциональные знаки/предметные функторы) выражают предметные ф-ции.

Ф-ция – соответствие, в силу кот. объекты (предмет, n-ки предметов) из нек. множества, называемого областью определения ф-ции, соотносятся с объектами из др./того же самого множества, называемыми значениями фции.

Предметная ф-ция – ф-ция, значениями которой являются предметы (напр., sin, log, +, масса (Земли)).

6. Суждение. Простые суждения: атрибутивные и суждения об отношениях

Суждение – мысль, в которой утверждается наличие к/л ситуаций или связей между ситуациями. В языке суждение выражено предложением и может оцениваться в качестве истинного/ложного.

Простые суждения – суждения, в кот. нельзя выделить часть, являющуюся суждением:

1. Атрибутивные суждения – суждения, в кот. выражается принадлежность предметам или отсутствие у предметов к/л св-в;

• По качеству:

➢Утвердительные – полное/частичное включение класса предметов в класс предметов или принадлежность нек. предмета классу предметов

➢Отрицательные – полное/частичное невключение класса предметов в класс предметов или непринадлежность нек. предмета классу предметов

• По кол-ву:

➢Единичные – принадлежность/непринадлежность предмета классу предметов (Австрия – европейская страна)

➢Общие – включение/невключение класса предметов в класс предметов (Все звёзды не являются обитаемыми)

➢Частные – частичное включение/невключение класса предметов в класс предметов (Нек. преступления совершаются с косвенным умыслом)

В кажд. атрибутивном суждении есть:

• Термины суждения:

  • Субъект (S, s) – лог. подлежащее

  • Предикат (P) – лог. сказуемое • Связка

• *Кванторные (кол-венные) слова – нек., все и др.

При решении вопроса о правильности/неправильности рассуждения используется деление атрибутивных суждений по качеству и кол-ву на:

• Общеутвердительные (SaP)

• Общеотрицательные (SiP)

• Частноутвердительные (SeP)

• Частноотрицательные (SoP)

• *Единичноутвердительные (s есть/суть P)

• *Единичноотрицательные (s не есть/не суть P)

S и P суждения могут распределены (взяты в полном объёме)/не распределены (взяты не в полном объёме).

В общих и единичных суждениях распределены субъекты, а в отрицательных – предикаты. Остальные термины не распределены.

2. Суждения об отношениях – определённое отношение имеет место (или не имеет места) между n-ками предметов (напр., «Москва больше

Рязани» - отношение «больший» имеет место между Москвой и Рязанью)

• По качеству:

➢Утвердительные – предметы находятся в определённом отношении

➢Отрицательные – предметы не находятся в определённом отношении

• По кол-ву (в зависимости от n-местных):

➢Единично- единичные (Иванов выше Петрова) общие (Иванов знает всех преподов юрфака) частные (Иванов знает нек. чемпионов мира)

➢Обще- единичные (Все студенты юрфака знают Иванова) общие (Все студенты юрфака знают всех преподов юрфака)

частные (Все студенты юрфака знают нек. чемпионов мира)

➢Частно- единичные (Нек. студенты юрфака знают Иванова) общие (Нек. студенты юрфака знают всех преподов юрфака)

частные (Нек. студенты юрфака знают нек. чемпионов мира)

7. Сложные суждения

Слож. суждение – суждение, в кот. можно выделить часть, являющуюся суждением.

Способ образования:

1. Из прост. и слож. суждений

2. С помощью:

   • Лог. союзов (если…, то…; или; и)

   • Отрицания (неверно, что…)

   • Модальных терминов (возможно, что…; необходимо, что…; случайно, что…)

   • И т.д.

1. Соединительные суждения – суждения, в кот. утверждается наличие 2 или более ситуаций (напр., Понятые присутствуют и протокол составляется).

Чаще всего такие утверждения выражаются посредством предложений, содержащих союз «и». Он обозначается символом «&», называется знаком (неопределённой) конъюнкции. Суждения с этим союзом –

(неопределённо) конъюнктивные.

А & B – форма конъюнктивного суждения.

Последовательно-конъюнктивные суждения – суждения, в кот. утверждается последовательное возникновение или существование 2 или более ситуаций. Они образуются из 2 или более суждений, при помощи союзов, обозначаемых символами (знаками последовательной конъюнкции) (…, а затем…; …, а затем…, а затем…) и т.д. в зависимости от числа суждений, из кот. они образуются (напр., Были приглашены понятые, а затем составлен протокол).

А B – форма последовательно-конъюнктивного суждения.

Одновременно-конъюнктивные суждения () – суждения, в кот. выражается одновременное существование/возникновение 2 ситуаций (напр., Производится выемка документов и присутствуют понятые). А B – форма последовательно-конъюнктивного суждения.

2. Разделительные суждения – суждения, в кот. утверждается наличие 1 из 2, 3 и т.д. ситуаций:

   1. Дизъюнктивное суждение ((нестрого) разделительное, соединительноразделительное) – утверждается наличие по крайней мере 1 из 2 ситуаций (v – или – (нестрогая) дизъюнкция)

      A	B	А v B
      и	и	и
      и	л	и
      л	и	и
      л	л	л

   2. Строго-дизъюнктивное суждение (строго-разделительное) – утверждается наличие ровно 1 из 2 или более ситуаций (v – или…, или… - строгая дизъюнкция) – истинно только тогда, когда истинно только 1 суждение из составляющих его суждений

      • () – знак n-местной строгой дизъюнкции, где n > 2 (напр., 3местная: или А, или В, или С).

        A	B	А v B
        и	и	л
        и	л	и
        л	и	и
        л	л	л

3. Условные суждения – суждения, в кот. утверждается, что наличие одной ситуации обуславливает наличие другой (→ - если…, то…):

   1. Необходимое условие для данного события – при его отсутствии это событие не происходит (Наличие кислорода является необходимым условием для того, чтобы огонь продолжал гореть)

   2. Достаточное условие для данного события – всякий раз, когда имеется это условие, событие происходит (Выпадение дождя является достаточным условием для того, чтобы крыши домов были мокрыми)

Виды условий:

1. Достаточные, но не необходимые (Делимость числа N на 10 является достаточным, но не необходимым условием его делимости на 2)

2. Необходимые, но не достаточные (Делимость числа N на 2 является необходимым, но не достаточным условием его делимости на 6)

3. Необходимые и достаточные (Делимость числа N на 2 и 3 является необходимым и достаточным условием его делимости на 6)

В условном суждении:

1. Основание – часть между «если» и «то» (антецендент)

2. Следствие – часть после «то» (консеквент)

Условное суждение – суждение, в кот. ситуация, описываемая основанием является достаточным условием для ситуации, описываемой следствием.

Контрафактическая связь (•→) – ситуация, описываемая основанием, не имеет места, но если бы она существовала, то существовало бы следствие (Если бы Иванов был президентом, то не ездил бы в общественном транспорте).

2. Суждения эквивалентности – суждения, в кот. утверждается взаимная обусловленность 2 ситуаций (↔ - если и только если…, то… (тогда и только тогда…, когда…)):

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

   2. Следствие - достаточное и необходимое условие для ситуации, описываемой основанием

      А	В	А ↔ В
      и	и	и
      и	л	л
      л	и	л
      л	л	и

3. Суждения с внеш. отрицанием – суждения, в кот. утверждается отсутствие нек. положения дел (¬ (знак отрицания) - неверно, что…; не).

   А	¬А
   и	л
   л	и

4. (Алетические) Модальные суждения – суждения, образованные из др.

суждений путём хар-ки описываемых в них положений дел в качестве:

1. Необходимых

2. Случайных

3. Возможных

Атрибутивные и суждения об отношениях – ассерторические суждения. Они являются (просто) утверждениями или отрицаниями. На ряду с ними выделяют сильные и слабые утверждения и отрицания, которые являются модальными суждениями.

Понятия «необходимо», «случайно», «возможно» - алетические модальные понятия (модальности).

Модальности:

1. Логические - положение дел может быть логически:

• Возможно (M) - то, что не противоречит з-нам логики. Не все то, что лог. возможно, возможно фактически (Мы знаем, что жизнь на Луне невозможна (фактически), но утверждение “На Луне есть жизнь” не противоречит законам логики, следовательно, логически возможно, что на Луне есть жизнь)

• Необходимо (L) - то, что является з-ном логики

• Случайно (C)

2. Фактические (онтологические) - положение дел может быть фактически:

• Возможно (◊) - то, что не противоречит законам природы и общественной жизни

• Необходимо (□) – з-ны природы и общественной жизни и лог. следствия из них • Случайно (∇)

Используя символы, можно выразить связь между алетическими модальностями:

1. M A ↔ ¬L ¬A

2. L A ↔ ¬M ¬A

3. С А ↔ М А & М ¬А

4. ◊ A ↔ ¬□ ¬A

5. □ A ↔ ¬◊ ¬A

6. ∇ A ↔ ◊ A & ◊ ¬A

8. Отношения между суждениями

Основными видами отношений между суждениями по лог. формам являются отношения:

1. Основные:

   • Совместимость по истинности – имеет место между суждениями A и B если и только если лог. формы этих суждений являются истинными. Если такие суждения не существуют, то между исходными суждениями имеет место отношение логической несовместимости по истинности

   • Совместимость по ложности - имеет место между суждениями А и В, если и только если существуют суждения этих же лог. форм, которые оба являются ложными. Если таковые не существуют, то суждения А и В находятся в отношении логической несовместимости по ложности

   • Лог. следование - имеет место между суждениями А и В (факт наличия этого отношения обозначается так: А |= В или А ⇒ В), если и только если не существуют суждения А' и В' тех же логических форм, что А' истинно, а В' ложно

2. Производные:

   • Лог. эквивалентность - имеет место между суждениями А и В, если и только если А ⇒ В и В ⇒ А. Оно обозначается так: А ⇔ В. Если они следуют друг из друга

   • Подчинение – имеет место если и только если А |= В и В |≠ А. Знак “|≠” означает: “не следует”. Суждение А называется в этом случае подчиняющим, а В — подчиненным

   • Контрадикторность - имеет место между суждениями, которые несовместимы по истинности и несовместимы по ложности

   • Контрарность – имеет место, если суждения, совместимы по ложности, но несовместимы по истинности

   • Субконтрарность – имеет место, если суждения совместимы по истинности, но несовместимы по ложности

   • Лог. независимость – имеет место если и только если суждения совместимы по истинности и ложности и каждое из них не находится в отношении лог. следования к др. из этих суждений

9. Отрицание суждений

Отрицание суждения - операция, заключающаяся в таком преобразовании лог. содержания суждения, в результате кот. получают суждение, находящееся в отношении контрадикторности (противоречия) к исходному.

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

При отрицании единичного суждения его кол-во не меняется.

1. (Неопределённо) конъюнктивное суждение (& - и)

↕

2. (Нестрого) дизъюнктивное суждение (V – или)

Примеры:

1. Все юристы изучают логику, и все философы изучают логику – Нек. юристы не изучают логику, или нек. философы не изучают логику 2. Идёт дождь, или идёт снег – Нет дождя и нет снега

Последовательно конъюнктивное суждение ( - …, а затем…) отрицается по схеме:

¬ (A B) ↔ ¬A v ¬B v (A B) v (B A)

Одновременно-конъюнктивное суждение () отрицается по схеме:

¬ (A B) ↔ ¬A v ¬B v (A B) v (B A)

Строго-дизъюнктивное суждение (v – или…, или…) отрицается по схеме: ¬ (A v B) ↔ (A & B) v (¬A & ¬B)

Пример:

Либо Иванов совершил это преступление, либо Иванов – Это преступление совершили Иванов и Петров, или не тот и не другой

Условное суждение (→ - если…, то…) отрицается по схеме:

¬ (A → B) ↔ ◊ (A & ¬B)

Пример:

Если ч-к закаляется, то он здоров – Возможно, что ч-к закаляется, но не является здоровым

Модальные суждения отрицаются по схемам:

1. ¬□ A ◊ ¬A

2. ¬◊ A □ ¬A

3. ¬∇ A □ A v □ ¬A

10. Логическая и прагматическая характеристика вопросов и ответов

1. Лог. хар-ка.

Вопросы задают в тех случаях, когда есть познавательная неопределенность.

Вопрос – мысль, в кот. выражено пожелание дополнить имеющуюся информацию с целью устранения/уменьшения познавательной неопределённости.

Предпосылка вопроса – исходное знание (суждение/система суждений), явно/неявно содержащееся в вопросе:

1. Лог. – лог. знание, выраженное лог. формой вопросительного предложения

2. Факт. – знание, выраженное всеми терминами вопросительного предложения, а также всеми известными связями и св-вами предметов, о кот. идёт речь в вопрос. Предложении

Предпосылка обуславливает множество возможных ответов на вопрос.

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

переворота? – информация о том, что:

1. Попытка возможна

2. Возможно выступление армии на 1 из сторон

Тот факт, что вопросы имеют предпосылки, используется для совершения уловки «сокрытие необоснованности утверждения». Оно выражается не явно, а в виде предпосылки вопроса. Напр., чтобы обосновать целесообразность снижения налогов, властям задают вопрос: «Кода вы начнёте снижать налоги?»

Др. уловка, связанная с предпосылками вопросов – «подмена вопроса» - пользуясь тем, что одним и тем же вопросительным предложением могут быть выражены разные вопросы из-за различия в подразумеваемых или содержащихся в контекстах предпосылках, заданный вопрос заменяют другим, или же ответ на один вопрос выдают за ответ на другой. Напр., вопрос: «Собираетесь ли вы посетить места, где можно повеселиться ночью?» - ответ: «Здесь есть такие места?».

Виды вопросов:

1. По числу ответов:

• Открытые – вопросы, кот. не предполагают определённого числа ответов (как препод читает лекции?)

• Закрытые – вопросы, кот. требуют определённое число ответов (как препод читает лекции – хорошо или плохо?)