- •Российская академия правосудия
- •Глава I. Логика как наука и ее роль
- •§ 1. Логика как наука
- •M есть p
- •§ 2. Язык формальной логики
- •Смысл–это выражаемая знаком характеристика объекта, представителем которого является знак.
- •§ 3. Значение формальной логики в деятельности юриста
- •Глава II. Понятие. Определение, деление и классификация понятий
- •§1. Логическая характеристика понятия
- •§ 2. Определение понятий и использование этого процесса в юридической деятельности
- •§ 3. Деление и классификация понятий
- •Глава III. Суждение. Классификация суждений и вопросов
- •§ 1. Общая характеристика суждения (высказывания)
- •§ 2. Модальность суждений и норма
- •§ 3. Отношения между суждениями. Логический квадрат
- •§ 4. Логический анализ рассуждений естественного языка и виды вопросов
- •Структурно-логическая схема по теме (Модальность суждений)
- •Глава IV. Законы логики как правила выводного знания
- •§ 1. Общая характеристика законов логики
- •§ 2. Закон тождества как выражение определенности мысли
- •§ 3. Закон противоречия. Понятие диалектического и формально-логического противоречия
- •§ 4. Закон исключенного третьего и специфика его проявления в судебной практике
- •§ 5. Закон достаточного основания и его роль в деятельности юриста
- •§ 6. Взаимосвязь законов логики и их воль в судебной практике
- •Структурно-логическая схема по теме (Законы логики)
- •Глава V. Умозаключение. Роль умозаключений в судебной практике
- •§ 1. Правдоподобные рассуждения. Умозаключение по аналогии
- •§2. Индуктивные умозаключения и специфика их использования в судебной деятельности
- •§ 3. Основное содержание дедуктивного умозаключения и его роль в деятельности юриста
- •§ 4. Формы развития знания: задача, проблема, версия, гипотеза, теория
- •Задачи и упражнения
- •Упражнение 8. Проверьте, правильно ли построены следующие сориты:
- •Глава VI. Основы аргументации и ее роль в деятельности юриста
- •§ 1. Содержание и структура логической аргументации
- •Область и характер взаимодействия оппонентов
- •§ 2. Основные цели и специфика аргументации в деятельности юристов
- •§ 3. Приемы и правила оптимизации взаимодействия субъектов
- •§ 4. Риторические и спекулятивные способы оптимизации процесса передачи сведений
- •Глава VII. Тактика аргументации и доказательство как ее составная часть
- •§ 1. Виды доказательств и опровержений в аргументации
- •§ 2. Логические правила доказательства
- •§ 3. Тактика аргументации
- •По отношению к нему целесообразно занять такую позицию:
- •§ 4. Уловки, софизмы и парадоксы в аргументации
- •Первый случай.
- •- «Как вы понимаете, я до вас довожу общеизвестные факты»;
- •Второй случай.
- •3. Записываем схему:
- •Глава VIII. Содержание процесса принятия решений и особенности этого процесса в судебной практике
- •§ 1. Содержание процесса подготовки и принятия решений
- •§ 2. Особенности принятия решений в судебной практике
- •§ 3. Варианты подготовки студентов к принятию квалифицированных решений
- •Помните! Закладывая что-то в память эвм, зафиксируйте, куда вы это «положили»! Машинная программа выполняет то, что вы ей приказали делать, а не то, что вы бы хотели, чтобы она делала.
- •Как вы думаете, почему ответ был оценен тройкой?
- •Какому обращению Вы отдадите предпочтение?
- •Заключение
- •Смысл – это выражаемая знаком характеристика объекта, представителем которого является знак.
Смысл–это выражаемая знаком характеристика объекта, представителем которого является знак.
Значение – это выражаемый знаком реальный объект, который и обозначается этим знаком.
Некоторые знаки не имеют значения, то есть представляют несуществующие объекты. Например, «вечный двигатель», «баба- Яга».
Некоторые знаки не имеют смысла. Например, «холодно».
Вместе с тем формализованный язык логики не имеет ничего общего с метафизической абсолютизацией формы по отношению к содержанию. Речь идет о временном абстрагировании от сознания, что служит облегчению и уточнению умственной деятельности.
Среди выражений, входящих в предложения и играющих в них самостоятельную роль, выделяют дескриптивные и логические термины.
Термин (от лат. terminus – граница, предел, конец чего-либо) в логике - это слово, имя предметов универсума для обозначения субъекта и предиката суждения, а также для обозначения элементов посылок силлогизма.
К дескриптивным терминам (лат. descriptic – описание) относятся: единичные имена; общие имена; знаки свойств и отношений; знаки предметных функций; знаки признаков.
Они выражаются словами естественного или научного языка и на конкретный момент речевого взаимодействия адекватно отражают предмет мышления.
Имена предметов - это слова или словосочетания, которые обозначают отдельные предметы или классы однородных предметов. Поскольку имя является знаком, то оно имеет смысл и значение. Различают имена двух типов. Имя первого типа обозначает предмет. Имя второго типа является общим для предметов некоторого класса. Имена первого типа называют единичными(например: Луна; столица России), а второго –общими (например: животное, имеющее хвост; судья). Класс, который составляют предметы, являющиеся значениями имени, называются объемом имени.
Свойства – это то, чем предметы и явления отличаются друг от друга. Например, «один человек высокий, а другой «малорослый». Отношение – это месторасположение предметов и явлений в их взаимосвязи. Например, «больший, чем»; «расположенный между».
Функциональные знаки или знаки предметных функций - это принятые обозначения некоторого соответствия, соотнесения сути предмета с его проявлением или одного предмета с другими предметами. Например: ∫; ;;;; Sinи т.д.
Знаки признаков, предикаты - это языковые выражения, которые обозначают какое-то свойства или отношения, присущие предмету (субъекту). В современной логике предикация рассматривается как частный случай функциональной зависимости. Предикаты (от лат. prоedicatum– сказанное) обозначаются буквой «Р».
В логике предикатов, в дополнение к средствам логики высказываний, вводятся логические операторы(«для всех») и(«для некоторых» или «существует»), называемые кванторами общности и существования соответственно. Квантор общности соответствует местоимениям: «все», «всякий», «каждый», «ни один». В качестве символа квантора общности взята перевернутая буква «А» первая буква немецкого словаalle– все. Обозначается он так: «х». Читается эта запись следующим образом: логическое выражениех ( ) истинно, если ( ) принимает значение "истина" для всех значений переменной «х», их ( ) ложно, если существует хотя бы одно значение «х», для которого ( ) принимает значение "ложь". Например, высказывание: «Все офицеры Вооруженных сил РФ принимают военную присягу» с помощью квантора общности записывается так:х («х» - офицеры ВС РФ). Это означает, что все офицеры, если они в составе ВС РФ, приняли военную присягу.
Квантор существования соответствует словам «некоторые», «существует». В качестве символа квантора существования взята перевернутая буква «Е», первая буква немецкого слова existiren- существовать. Обозначается он так: «х». Читается эта запись следующим образом: «Логическое выражениех ( ) истинно, если ( ) принимает значение «истина» хотя бы для одного значения переменной «х», их ( ) ложно, если ( ) для всех значений переменной «х» принимает значение «ложь». Например, высказывание «Некоторые судьи работают по убеждению» с помощью квантора существования записывается так:х («х» - судьи, работающие по убеждению). Это означает, что существуют люди, которые становятся судьями и работают, при этом, по убеждению.
В формальной логике используются также следующие логические термины, которые заменяют в естественном языке определенные союзы:
- конъюнкция - соответствует союзу "и". Обозначается она следующим образом:
а ^ в, а & в;
-дизъюнкция - соответствует союзу “или”. Нестрогая дизъюнкция обозначается:
а V в, а строгая: а V в;
- отрицание обозначается следующим образом: а;а;
- импликация соответствует союзу: «если..., то ...». Обозначается она следующим образом: а в; ав;
- эквиваленция соответствует словам: "если и только если", "эквивалентно". Обозначается так: а в; ав.
Подводя краткий итог сказанному, следует отметить, что, во-первых, формальная логика, пользуясь формализованным языком, позволяет получить выводы-формулы, соответствующие истинным выражениям (данная операция будет продемонстрирована при пользовании логическим квадратом); во-вторых, что в логическом умозаключении не могут проскользнуть никакие неявно допускаемые дополнительные предпосылки; в-третьих, что формализованные языки, полученные для какой-то определенной области, можно использовать в совершенно иных областях, дав их знакам соответствующую интерпретацию.
Существенным недостатком формализованных языков по сравнению с другими языками является то, что они маловыразительны.