- •Предмет и значение логики
- •История формирования логики
- •Индуктивная логика Бэкона
- •Понятие логической формы
- •Парадокс
- •Семантические категории языковых выражений.
- •Понятие и слово. Образование понятий.
- •2.Чисто-условные умозаключения, их роль в доказательстве
- •Основные логические характеристики понятий
- •Виды понятий
- •Отношения между понятиями. Совместные и несовместные понятия
- •Отношения между понятиями. Логические операции с понятиями
- •Операции обобщения и ограничения понятий.
- •Определения понятия. Виды определения.
- •Правила определения.
- •Введение и использование определений в области права
- •Деления понятия, виды деления.
- •Ошибки при делении
- •Классификация, виды классификации. Классификации в праве
- •Простые суждения, их виды и состав.
- •Категорических суждений по качеству и количеству.
- •Объединенная классификация суждений по количеству и качеству, распределенность терминов.
- •Распределенность терминов в суждении
- •Отношения между простыми суждениями. Логический квадрат.
- •Модальность суждений. Понятие и виды модальности
- •1. Эпистемическая модальность
- •2. Деонтическая модальность суждений
- •Сложные суждения, и их виды
- •Основы языка логики высказываний
- •Семантическая таблица истинности
- •Отношения между сложными суждениями
- •Основные законы логики
- •Рассуждения и умозаключение..Структура умозаключения
- •Типы умазаключений
- •Дедуктивное умозаключение и его виды
- •Непосредственное умозаключения
- •Простой категорический силлогизм и его состав
- •Фигуры силлогизма и их познавательная функция
- •Энтимема
- •Сложные и сложносокращенные силлогизмы
- •Условно-категорическое умозаключение
- •Разделительно-категорическое умозаключение
- •Дилемма, их виды
- •Недедуктивное умозаключение их виды и роль
- •Индукция..Индуктивные умозаключения
- •Виды индуктивных умозаключений.
- •Методы научной индукции
- •Умозаключения по аналогии
- •Критика и опровержение . Виды опровержений
- •Правила и ошибки в доказательстве
- •Понятие спора. Виды спора.
- •Уловки в споре
- •Логика вопросов и ответов
- •Понятие гипотезы и ее структура. Виды гипотез
- •Логические структуры и виды гипотезы и версии
- •Примеры из правовой практики выдвижения и проверки версии
Основы языка логики высказываний
В логике различают языки логики высказываний и логики предикатов. Язык логики высказываний используется для описания структуры высказываний, рассуждений, предложений. Под высказываниями понимаются простые или сложные абстрактные символические выражения, обозначающие суждения. Простые высказывания, объединенные в сложные с помощью связок «и», «или», «если.., то» и др., называют пропозициональными высказываниями, а логику, с помощью которой описываются такие высказывания, иногда называют пропозициональной логикой, или пропозициональным исчислением. Логика высказываний может быть классической (двузначной) или многозначной.
Язык логики предикатов используется для описания внутренней структуры высказываний. Алфавит языка логики предикатов состоит из следующих символов:
а) а, Ь, с... - постоянные предметные термины;
б) x,y,z...- переменные предметные термины;
в) Р, Q, R ... - предикатные термины (имена свойств);
г) p, q, r ... - пропозициональные термины (имена высказываний);
д) кванторы: - все, - некоторые;
е) , , , - логические союзы, которые соответственно читаются: «и», «или», «если…,то...», «если, и только если, то...» и называются знаком отрицания, конъюнкции, дизъюнкции, импликации и эквивалентности;
ж) технические знаки: , - запятая; () - скобки.
С помощью приведенного алфавита строится формализованная логическая система, называемая исчислением предикатов. Выражения языка логики предикатов называются формулами. Формулы могут быть правильно построенные и неправильно построенные.
Существует особая наука о знаках - семиотика. В этой науке выделяют три раздела - синтаксис, семантику и прагматику, что связано с наличием трех аспектов языка.
Синтаксисом называется раздел семиотики, в котором исследуются отношения между самими знаками (правила построения и преобразования выражений языка и т. д.). В процессе этого исследования отвлекаются от смыслов и значений знаков.
Семантикой называется раздел семиотики, в котором прежде всего исследуются отношения знаков к представляемым ими объектам, а также смыслы знаков, поскольку они являются одним из средств установления связи знаков и их значений.
Прагматика изучает отношение человека к знакам, а также отношения между людьми в процессе знакового общения.
Язык формальной логики позволяет избегать неясности и двусмысленности естественного языка и сводить процесс проверки правильности рассуждений к «вычислению».
Семантическая таблица истинности
Рассмотрим построение таблицы истинности пропозициональной формулы ( A ? B ? C ) ? ( A ? B ) ( см. табл. 9.1). Анализируя таблицу, можно отметить, что большинство информации в ней избыточно. Таблицу можно значительно сократить, пользуясь следующими правилами: для истинности дизъюнкции достаточно истинности одного из членов; для ложности конъюнкции достаточна ложность одного из членов; истина следует из всего что угодно; из лжи следует все что угодно. Сокращенная таблица истинности показана на табл. 9.2 .
Таблица 9.1: Полная таблица истинности
При таком сокращении самым тонким местом является проверка того, что ни один случай не упущен. Можно создавать много способов сокращения таблиц истинности, но в некотором смысле все это будет изобретением велосипеда, поскольку, базируясь на правилах сокращения, голландский логик Бет (Е. W . Beth ) создал в 50-х годах формализм, гарантирующий полноту разбора и выполняющий все прямые сокращения. Он основан на необходимых и достаточных условиях истинности и ложности формул. Начнем с примера для той же формулы.
Таблицы истинности
Под высказыванием мы понимаем повествовательное предложение, которое имеет то свойство, что оно может быть классифицировано либо как истинное, либо как ложное, но не как то и другое вместе. «Истинность» или «ложность» предложения и есть истинностное значение высказывания.
Приписывание истинностных значений может быть сведено в краткие истинностные таблицы, при помощи которых можно приписывать истинностное значение любому высказыванию для всех возможных случаев приписывания истинностных значений составляющим его высказываниям.