- •1. Предмет и значение логики
- •2.Возникновение логики. Основные характеристики аристотелевской логики.
- •3.Логика и естествознание: индуктивная логика ф.Бэкона.
- •4.Формирование символической логики. Логика классическая и неклассическая.
- •5.Понятие логической формы. Истинность и правильность мысли.
- •6.Язык как знаковая система: логико-семантический анализ языка.
- •7.Принципы и парадоксы именований.
- •8.Семантические категории языковых выражений.
- •9.Понятие и слово. Образование понятий.
- •10.Основные логически характеристики понятий.
- •11.Виды понятий.
- •12.Отношения между понятиями.
- •13.Операции ограничения и обобщения понятий.
- •14.Определение понятий и виды определений. Приемы, сходные с определением.
- •15.Правила определения. Ошибки в определениях.
- •16.Введение и использование определений в области права.
- •17.Деление понятий и его виды.
- •18.Правила деления и ошибки, возможные при делении.
- •19.Классификация, виды классификации. Классификации в праве.
- •20.Суждение как форма мышления. Суждение и предложение.
- •21.Простые суждения и их виды.
- •22.Категорические суждения. Объединенная классификация суждений.
- •23.Распределенность терминов в категорических суждениях.
- •24.Отношения между простыми суждениями. « Логический квадрат».
- •25.Модальные суждения. Понятие и виды модальностей.
- •26.Сложные суждения и их виды.
- •26.Основы языка логики явлений.
- •27.Семантические таблицы истинности.
- •28.Отношения между сложными суждениями.
- •30.Основные законы логики.
- •31.Рассуждения и умозаключения. Структура умозаключений.
- •32.Типы классификаций умозаключений.
- •33.Специфика дедуктивных умозаключений и их виды.
- •34.Непосредственное умозаключение, их виды.
- •35. Простой категорический силлогизм. Структура, термины и правила силлогизма.
- •37.Энтимема. Способы образования и проверки энтимем.
- •38.Сложные силлогизмы. ( полисиллогизмы и сориты.)
- •39.Условно-категорические умозаключения, их использование при аргументации.
- •40.Чисто условные умозаключения, их роль в доказательстве.
- •41.Разделительно-категорические умозаключения, условия правильности вывода.
- •42.Дилеммы, их виды и правильные формы.
- •43.Недедуктивные умозаключения, их виды и роль в познании.
- •44.Индукция как метод познания.
- •45.Виды индуктивных умозаключений.
- •47.Методы научной индукции: методы сходства и различий, объединенный метод.
- •48.Методы научной индукции: метод сопутствующих изменений и остатков.
- •4. Метод сопутствующих изменений
- •5. Метод остатков
- •49.Умозаключение по аналогии, их структура и виды. Аналогия и моделирование.
- •50.Типичные ошибки в индуктивных и умозаключениях по аналогии.
- •51.Применение методов научной индукции и аналогии в юридической практике.
- •52.Аргументация и доказательство. Структура аргументации и доказательство.
- •53.Виды доказательств.
- •54.Критика и опровержение. Виды опровержения.
- •55.Правила и ошибки в доказательстве.
- •56.Требования к аргументации, типичные логические ошибки.
- •57.Понятие спора. Виды спора, их цели и характерные черты.
- •58.Уловки в споре.
- •59.Вопрос и ответ. Критерии правильности вопросов и ответов.
- •60.Вопрос как форма выражении проблемы. Проблема и проблемная ситуация.
- •61.Гипотеза как форма развития научного знания Виды гипотез.
- •62.Версия как вид гипотезы в юридической практике. Методы сравнений версий.
22.Категорические суждения. Объединенная классификация суждений.
Атрибутивным (от латинского attributio — «свойство», «признак») называется суждение о признаке предмета. В нем отражается связь между предметом и его признаком, эта связь утверждается или отрицается.
Объединенная классификация суждений. Объединяя количественную и качественную характеристики, суждения делятся на общеутвердительные, общеотрицательные, частноутвердительные, част-ноотрицательные1.
Общеутвердительное суждение — это суждение, общее по количеству и утвердительное по качеству. Например: «Каждый, совершивший преступление (S), должен быть подвергнут справедливому наказанию (Р)». Схема общеутвердительного суждения «Все S суть Р», где кванторное слово «все» характеризует количество, утвердительная связка «суть» — качество суждения.
Общеотрицательное суждение — суждение, общее по количеству и отрицательное по качеству. Например: «Ни один невиновный (S) не должен быть привлечен к уголовной ответственности (Р)». Схема общеотрицательного суждения «Ни одно S не есть Р». Кванторное слово «ни одно» характеризует количество, отрицательная связка «не есть» — качество суждения.
Частноутвердительное суждение — суждение, частное по количеству и утвердительное по качеству. Например: «Некоторые приговоры суда (S) являются обвинительными (Р)» Схема этих суждений «Некоторые S суть Р». Количество суждений характеризует кванторное слово «некоторые», качество — утвердительная связка, выраженная словом «суть».
Частноотрцательное суждение — суждение, частное по количеству и отрицательное по качеству. Например: «Некоторые приговоры суда (S) не являются обвинительными (Р)». Это суждение имеет схему «Некоторые S не суть Р». Кванторное слово «некоторые» указывает на количество суждения, отрицательная связка «не суть» — на его качество.
В логике принято сокращенное обозначение суждений по их объединенной классификации. Утвердительные суждения обозначаются двумя первыми гласными буквами латинского слова affirmo («утверждаю»), отрицательные — двумя гласными буквами латинского слова nego («отрицаю»). В соответствии с этим суждения обозначаются следующими буквами: А — общеутвердительное, Е — общеотрицательное, I — Частноутвердительное, О — частно-отрицательное.
На языке логики предикатов суждения А, Е, I, О записывают следующим образом:
А (Все S суть Р): V х (S(x) -> Р(х))
Е (Ни одно S не есть Р): V х (S(x) -> 1 Р(х))
I (Некоторые S суть Р): 3 x(S(x) л Р(х))
О (Некоторые S не суть Р): 3 x(S(x) л "1 Р(х)) ;
23.Распределенность терминов в категорических суждениях.
В логических операциях с суждениями возникает необходимость' установить, распределены или не распределены его термины — субъект и предикат. Термин считается распределенным, если он взят в полном объеме. Термин считается нераспределенным, если он взят в части объема.
Рассмотрим, как распределены термины в суждениях А, Е, I, О.
Суждение А (Все S суть Р). Таким образом, в общеутвердительных суждениях S распределен, а Р не распределен. Однако в общеутвердительных суждениях, субъект и предикат которых имеют одинаковый объем, распределен не только субъект, но и предикат.
Суждение Е (Ни одно S не есть Р). Следовательно, в общеотрицательных суждениях и S, и Р распределены.
Суждение I (Некоторые S суть Р). Следовательно, в частноутвердительном суждении ни S, ни Р не распределены.
Суждение О (некоторые S не суть Р). Следовательно, в частноотрицательном суждении S не распределен, а Р распределен.