- •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.Версия как вид гипотезы в юридической практике. Методы сравнений версий.
26.Основы языка логики явлений.
Логика использует в своих построениях два типа искусственных языков: язык логики высказываний и язык логики предикатов.
Язык логики высказываний используется для рассмотрения суждений без учета их внутренней структуры. Язык логики высказываний использует содержательные символы. Содержательные символы – это выражения языка, имеющие содержание даже в том случае, если они взяты сами по себе. Одним из самых используемых символов языка логики высказываний является имя.
Имя – это слово или словосочетание, обозначающее какой-либо определенный предмет. Предмет в данном случае понимается в широком смысле: это вещи, свойства, отношения, процессы, явления как природы, так и общественной жизни, психической деятельности людей, продуктов их воображения и результатов абстрактного мышления.
Имена делятся на:
1) простые (книга, снегирь);
2) сложные или описательные (самый большой водопад в Канаде и США);
3 ) собственные, т. е. имена отдельных людей, предметов или событий (П. И. Чайковский);
4) общие (действующие вулканы).
Каждое имя имеет значение или смысл. Значением или смыслом имени является способ, которым имя обозначает предмет, т. е. информация о предмете, содержащаяся в имени.
В логике различают выражения, которые являются именными функциями, и выражения, являющиеся пропозициональными функциями.
27.Семантические таблицы истинности.
28.Отношения между сложными суждениями.
Сложные суждения также могут быть сравнимыми и несравнимыми.
Несравнимые — это суждения, которые не имеют общих пропозициональных переменных.
Сравнимые — это суждения, которые имеют одинаковые пропозиционные переменные (составляющие) и различаются логическими связками, включая отрицание.
Отношение совместимости.
К совместимым относятся такие сравнимые суждения, которые одновременно могут быть истинными. Как и в случае простых суждений, различают три вида совместимости сложных суждений:
эквивалентность, частичная совместимость и подчинение.
1. Эквивалентные — это суждения, которые принимают одни и те значения, т.е. одновременно являются либо истинными, либо ложными.
Отношение эквивалентности позволяет выражать одни сложные суждения через другие — конъюнкцию через дизъюнкцию или импликацию, и наоборот.
2. Частичная совместимость характерна для суждений, которые могут быть одновременно истинными, но не могут быть одновременно ложными.
3. Подчинение между суждениями имеет место в том случае, когда при истинности подчиняющего подчиненное всегда будет истинным.
Отношение логического подчинения, позволяющее по истинности подчиняющего суждения определить истинность подчиненного, составляет основу фундаментального в науке логики понятия логического следования, регулирующего все виды рассуждений.
Отношение несовместимости.
Несовместимыми являются суждения, которые одновременно не могут быть истинными. Из двух видов несовместимости одна — противоположность, другая — противоречие.
1.Противоположность — отношение между суждениями, которые одновременно не могут быть истинными, но могут быть одновременно ложными.
2. Противоречие — отношение между суждениями, которые одновременно не могут быть ни истинными, ни ложными. При истинности одного из них другое будет ложным, а при ложности первого второе будет истинным.