Индуктивные умозаключения и их виды. Умозаключения по аналогии.
Индукция (лат. inductio — наведение) — процесс логического вывода на основе перехода от частного положения к общему. Индуктивное умозаключение связывает частные предпосылки с заключением не строго через законы логики, а скорее через некоторые фактические, психологические или математические представления.[1]
Объективным основанием индуктивного умозаключения является всеобщая связь явлений в природе.
Различают полную индукцию — метод доказательства, при котором утверждение доказывается для конечного числа частных случаев, исчерпывающих все возможности, и неполную индукцию — наблюдения за отдельными частными случаями наводят на гипотезу, которая, конечно, нуждается в доказательстве. Также для доказательств используется метод математической индукции.
Различают индукции: полную и неполную. В полной индукции мы заключаем от полного перечисления видов известного рода ко всему роду; очевидно, что при подобном способе умозаключения мы получаем вполне достоверное заключение, которое в то же время в известном отношении расширяет наше познание; этот способ умозаключения не может вызвать никаких сомнений. Отождествив предмет логической группы с предметами частных суждений, мы получим право перенести определение на всю группу. Метод обобщения признаков некоторых элементов для всего множества, в который они входят. Неполная индукция не является доказательной с точки зрения формальной логики, может привести к ошибочным заключениям. Вместе с тем, неполная индукция является основным способом получения новых знаний. Доказательная сила неполной индукции ограничена, заключение носит вероятностный характер, требует приведения дополнительного доказательства.
Аналогия – это умозаключение в котором на основании сходства двух объектов в некоторых признаках и при наличии дополнительного признака у одного из них делается вывод о наличии такого же признака у другого объекта.
- Операции над множествами. Свойства операций, их иллюстрации с помощью диаграмм Эйлера.
- Декартово произведение множеств. Способы задания множеств и наглядности представления. Свойства декартово произведения.
- Число элементов и объединения, разности, декартовом произведении множества.
- Теоретико-множественный смысл сложения, вычитания.
- Теоретико-множественный умножения и деления целых неотрицательных чисел.
- Теоретико-множественный смысл арифметических операций в множестве z свойств.
- Аксиоматический метод в математике. Требования к системе аксиом.
- Система аксиом Пеано. Аксиоматические определение натурального числа.
- Наименьший элемент
- Умножение натуральных чисел в аксиоматической теории. Законы умножения.
- Свойства множества натуральных чисел.
- Вычитание и деление в аксиоматической теории. Основные свойства.
- Множество целых неотрицательных чисел.
- Деление с остатком.
- Предмет и значение логики. Понятие. Объем и содержание понятия. Основные операции над понятиями.
- Определение понятий. Виды определения понятий. Требования к правильному определению понятий.
- Простые суждения. Структура простого высказывания. Классификация простых высказываний.
- Состав простого суждения
- Сложные высказывания. Логические операции : отрицание простых и сложных высказываний. Таблицы истинности.
- Отношение логического следования и логической равносильности. Теорема. Структура теоремы и виды теорем.
- Умозаключения. Общая характеристика и виды умозаключений.
- Основные правила построения умозаключений . Проверка правильности умозаключений.
- Индуктивные умозаключения и их виды. Умозаключения по аналогии.
- Доказательство математических утверждений. Структура доказательства. Непрямое доказательство.
- Доказательство утверждений методом математической индукции.