
- •1.Мышление как предмет логики. Мышление и рассуждение. Мышление и познание.
- •2.Мышление и язык. Язык как знаковая система. Понятие знака и семиотические аспекты языка.
- •3.Логическая форма и логический закон. Формальная правильность и истинность.
- •4.Основные законы логики: их содержание и применение.
- •5.Логика и другие науки о мышлении. Место логики в процессе познания.
- •6.Понятие как форма мышления. Содержание и объём понятия.
- •7.Признаки и виды признаков, отражённых в понятии.
- •8.Закон обратного отношения между объёмом и содержанием понятия. Отношения род-вид, класс-подкласс-элемент.
- •9.Ограничение и обобщение понятий.
- •10.Логические виды понятий по объёму и по содержанию.
- •11. Отношения между понятиями. Виды отношений между совместимыми и несовместимыми понятиями. Круги Эйлера.
- •12.Возможность операций над классами понятий: объединение, пересечение. Языковая интерпретация операций.
- •13. Возможность операций над классами понятий: вычитание, образование дополнения. Языковая интерпретация операций.
- •14.Операция деления понятий. Логическая структура и виды деления.
- •15.Правила и ошибки деления. Классификация и её виды.
- •16. Операция определения понятий. Виды определений.
- •17.Логическая структура, правила и ошибки в определении.
- •18.Приёмы сходные с определением понятий.
- •19.Суждение как форма мышления. Виды суждений. Суждение и предложение.
- •20.Простое суждение, его структура. Деление суждений по характеру предиката.
- •1. Суждения свойства (атрибутивные).
- •2. Суждения с отношениями.
- •21. Простые категорические суждения, их деление по качеству и количеству.
- •22. Распределенность терминов в простом категорическом суждении.
- •23. Отношения между суждениями по логическому квадрату.
- •26. Модальные суждения. Виды модальностей.
- •28. Понятие умозаключения. Логическое следование. Структура умозаключения.
- •29. Виды умозаключений. Дедукция. Индукция. Аналогия.
- •30. Дедуктивные непосредственные умозаключения: превращение, обращение.
- •32. Дедуктивные опосредованные умозаключения: простой категорический силлогизм, его структура, аксиома силлогизма.
- •33. Фигуры и модусы простого категорического силлогизма. Правило фигур.
- •34. Правила терминов и посылок простого категорического силлогизма.
- •35. Энтимема. Восстановление силлогизма из энтимемы.
- •36.Полисиллогизм, их виды. Логическая структура.
- •37.Сорит. Эпихейрема
- •38. Условные и условно-категорические силлогизмы. Модусы и условия достоверности укс.
- •39. Разделительные и разделительно-категорические силлогизмы. Модусы ркс.
- •40. Условно-разделительные силлогизмы и их виды.
- •41. Понятие недедуктивных (правоподобных) умозаключений.
- •42. Индуктивные умз. Понятия полной и матеметической индукции.
- •43. Неполная индукция и её виды. Условия повышения вероятности вывода. Статическая индукция.
- •45. Умозаключение по аналогии, её виды. Условия повышения степени правоподобия выводов по аналогии.
- •46. Понятие научной проблемы. Общие принципы постановки и разрешения проблемы.
- •47. Вопрос как логическая форма постановки проблемы, структура и виды вопросов.
- •48.Гипотиза как форма развития знания. Логическая структура гипотезы.
- •49. Основные принципы, методы и этапы формирования гипотез. Проблема версификации и фальсификации гипотез.
- •50.Подтверждение и опровержение гипотез.
- •52.Виды доказательств.
- •53. Понятие опровержения. Виды опровержений.
- •54.Требования, предъявляемые к доказательствам и опровержениям.
- •55. Ошибки в доказательстве и опровержении.
- •56.Парологизмы, пародоксы и софизмы.
41. Понятие недедуктивных (правоподобных) умозаключений.
Недедуктивным называется умозаключение, в котором истинность посылок не гарантирует истинности заключения. Истинность общего результата подобных рассуждении для людей становится очевидной, если частных утверждений, подтверждающих данный результат, довольно много, а опровергающих утверждений нет.
42. Индуктивные умз. Понятия полной и матеметической индукции.
Индукция (от лат. inductio - наведение) - это такое умозаключение, в котором вывод представляет собой знание обо всем классе предметов, полученное в результате исследования отдельных представлений этого класса. Мыслительный процесс в индуктивном умозаключении идет по схеме:
Предметы А, В, С, Д имеют одинаковый признак Р
А, В, С, Д принадлежат к одному классу S.
Следовательно, все S есть Р.
Содержание этой схемы таково:
а) путем сравнения устанавливается ряд предметов или явлений с одинаковыми признаками;
б) на основании прежнего опыта или путем внешнего сходства выявляют принадлежность этих признаков или явлений к одному и тому же классу (роду);
в) исходя из принципа устойчивости и повторяемости родовых признаков, делается вывод о том, что установленные свойства присущи всем предметам этого рода.
Структура индуктивного умозаключения:
а) исходное знание;
б) обосновывающее знание;
в) выводное знание.
Отсюда вытекают два основных требования:
1) индуктивное обобщение прочно лишь тогда, когда оно ведется по существенным признакам.
2) индуктивное обобщение распространяется только на объективно сходные, однородные предметы.
Отличие индуктивного умозаключения от дедуктивного:
а) индуктивный вывод строится на множестве посылок;
б)заключение возможно при всех отрицательных посылках;
в) все посылки индуктивного умозаключения - единичные или частные суждения;
г) в индуктивном умозаключении даже из верных посылок вывод получается вероятностный.
По составу и характеру вывода индуктивные умозаключения делятся на полную индукцию и неполную индукцию.
Полная дедукция дает почти достоверный вывод. Метод полной дедукции можно применить тогда, когда можно ограничить класс предметов (т.е. знаем, что все предметы, входящие в этот класс, известны)..
Математическая индукция – это метод логического доказательства основанный на двух связанных между собой посылках и заключении. Первая посылка рассматривает свойство присущее первому явлению исследуемого ряда. Вторая утверждает, что если это свойство есть хотя бы у одного явления рассматриваемого ряда, то оно есть и у непосредственно следующего за ним. Заключение при этом утверждает, что это свойство присуще каждому явлению исследуемого ряда. Например. Посылка первая: Земля вращается вокруг Солнца с определенной скоростью которая есть функция гравитационной постоянной, массы центра вращения и расстояния до него (истина). Посылка вторая: скорость орбитального вращения Луны вокруг Земли зависит от тех же параметров (истина). Вывод (заключение): скорость вращения любого космического объекта вокруг своего центра зависит от гравитационной постоянной, массы центра вращения и расстояния до него (истина). Подобный вывод позволяет рассчитать массовую характеристику любого космического гравитационного центра базируясь только на орбитальные параметры окружающих его объектов. Математическая индукция, также как и полная индукция не являются индуктивным умозаключением в полном смысле этого слова. И та и другая дают истинные заключения из истинных посылок и только внешне напоминают индуктивные рассуждения. Важной характеристикой математической индукции является фаза доказательства, которая должна доказать, что если вывод верен для одного члена ряда, то он будет верен и для любого другого находящегося в тех же условиях. Так в рассмотренном выше примере доказательство строится по принципу подобия (аналоговая индукция), когда разные явления сравниваются по сходным признакам, Солнце и Земля объединяются по признаку гравитационного центра, а Луна и Земля по орбитальному признаку, при этом утверждается что их характеристики по сравниваемым признакам идентичны, что является основанием утверждать об идентичности выводов сделанных из анализа двух разных орбитальных систем, но обладающих сходными характеристиками.Следовательно в математической индукции органически сочетаются индукция с дедукцией, предположение с доказательством. Поэтому она находит такое широкое применение в точных науках, использующих различный математический аппарат. В ней догадка, открытие всегда сопровождается обоснованием и доказательством, а это требует с одной стороны, приобретение опыта и умения догадываться, открывать новые зависимости и соотношения, а с другой – овладения техникой математического доказательства.