- •1. Основные этапы развития логики как науки. Принципы (законы) логического мышления.
- •2. Особенности современного этапа развития логики. Классическая и символическая логика. Виды неклассических логик.
- •3. Логика и язык. Язык логики и язык права. Естественные и искусственные языки.
- •Принципы построения формализованных языков логики.
- •5. Основные семантические категории языка логики. Имена, предложения, функторы.
- •6. Виды простых функторов. Функтор и функция. Смыслы функторов.
- •10. Виды понятий.
- •11. Отношение между понятиями.
- •12. Действия с понятиями: сложение, умножение, вычитание, обобщение, ограничение
- •13. Деление как логическое действие с понятием. Правила деления понятия. Деление и классификация.
- •14. Определение как логическое действие с понятием. Виды определений. Правила определения понятия.
- •15. Суждение как форма мышления. Суждение и предложение. Простые и сложные суждения.
- •16. Виды простых суждений. Условия истинности простых суждений.
- •17. Виды сложных суждений. Условия истинности сложных суждений.
- •Отрицание суждения
- •Конъюктивное
- •Дезъюктивное
- •Сложные суждения и условия их истинности
- •18. Отношения между суждениями.
- •Логическая эквивалентность
- •Логическое следование
- •Контрарность
- •19. Модальность суждений. Виды модальностей. Суждение и норма.
- •1. Эпистемическая модальность
- •2. Деонтическая модальность суждений
- •3. Алетическая модальность
- •20. Суждение и вопрос. Вопросно-ответные ситуации. Логика вопросов и ответов.
- •22. Непосредственные умозаключения. Правила вывода из одной простой посылки. Правила вывода из одной сложной посылки.
- •25. Правдоподобные рассуждения. Индуктивные умозаключения.
- •27. Понятие и структура аргументации. Способы аргументации.
- •29. Опровержение как способ аргументации. Виды опровержений.
- •30. Правила и ошибки в доказательстве и опровержении.
- •3. Виды доказательств. Правила и ошибки доказательства и опровержения.
- •В качестве аргументов в доказательстве могут использоваться:
12. Действия с понятиями: сложение, умножение, вычитание, обобщение, ограничение
СЛОЖЕНИЕ ПОНЯТИЙ - логическая операция объединения двух (и большего числа) понятий, в результате которой образуется новое понятие, включающее в свой объем все объекты, входящие в объемы исходных понятий. На круговых схемах Эйлера изображается штриховкой.
УМНОЖЕНИЕ ПОНЯТИЙ - логическая операция объединения двух и большего числа понятий, в результате которой образуется новое понятие, включающее в свой объем только те объекты, которые являются общими для объемов исходных понятий. Объем нового понятия, или результат умножения, на круговых схемах Эйлера изображается штриховкой.
Вычитание объема одного понятия из объема другого дает, в зависимости от видов рассматриваемых понятий, усеченную область объема. Вычитание возможно только между пересекающимися и подчинены
Обобщение понятий — логическая операция, посредством которой в результате исключения видового признака получается другое понятие более широкого объема, но менее конкретного содержания; форма приращения знания путём мысленного перехода от частного к общему в некоторой модели мира, что обычно соответствует и переходу на более высокую ступень абстракции.
Ограничением понятия - называется логическая операция, состоящая в прибавлении к содержанию понятия нового признака, наличие которого в содержании понятия сужает его объём. При этом исходное понятие будет родовым, а в результате его ограничения получается видовое понятие.
13. Деление как логическое действие с понятием. Правила деления понятия. Деление и классификация.
Логическая операция, раскрывающая объем родового понятия путем перечисления соответствующих ему видовых понятий называется Делением. Термин "деление понятия" описывает два взаимосвязанных процесса: мысленное деление объема родового понятия на подклассы, а также соотнесение родового и вводимых для описания образовавшихся подклассов видовых понятий. Логическая операция, состоящая в ряде последовательных актов деления, называется классификацией. Деление и классификация - по сути однородные операции, различающиеся лишь количественно (числом актов деления). Но если в случае деления понятия акцент обычно делается на одном из параллельных процессов - на установлении соотношения "родовое понятие - видовые понятия", то в случае классификации - на втором, а именно на подразделении исходного класса на все более мелкие подклассы (объемы видов и “видов видов”...). Поэтому обычно говорят "деление понятия", но “классификация предметов” (например, бабочек или
законов).
Логическое деление понятий предполагает соблюдение ряда необходимых правил.
1. Деление должно быть соразмерным, т.е. общий объем членов деления должен равняться объему делимого родового понятия. Это правило гарантирует от двух возможных ошибок: неполного (с остатком) или обширного (с избытком) деления.
2. В каждом акте деления необходимо применять только одно основание, т.е. производить деление родового понятия по видоизменению одного и того же существенного признака.
3. Члены деления должны взаимно исключать друг друга. Согласно этому правилу члены деления должны быть соподчиненными понятиями, их объемы не должны перекрещиваться.
4. Деление должно быть последовательным, т.е. делимое понятие должно представлять ближайший род для членов деления, а члены деления должны быть непосредственными видами делимого понятия.