- •Вопросы к зачету по курсу «логика» («логика и дискретная математика»)
- •Логика как наука, ее предмет, структура, значение.
- •Виды логик.
- •Понятие как форма мышления.
- •Понятие и представление. Понятие и термин. Определение и структура понятия.
- •Виды понятий.
- •Классификация понятий.
- •9. Объединенная классификация суждений по количеству и качеству.
- •10. Виды суждений, не рассматриваемых в классической логике.
- •11. Комплексный анализ простого категорического суждения.
- •12. Умозаключения.
- •13. Дедуктивные умозаключения.
- •14. Силлогистика. Основные понятия.
- •15. Индуктивные умозаключения и их виды.
- •Индукция через простое перечисление
- •II. Индукция через анализ и отбор фактов.
- •III. Научная индукция.
- •16. Логические основы теории аргументации.
- •17. Виды и правила доказательства и опровержения.
- •18. Основные законы логики (тождества, противоречия, исключенного третьего, достаточного основания).
- •19. Суждения и высказывания как формы мышления.
- •20. Основные операции над высказываниями. Таблицы истинности.
- •21. Эквивалентные высказывания и логические законы.
- •22. Одноместные предикаты: основные понятия.
- •23. Одноместные предикаты: использование кванторов общности и существования.
- •24. Двухместные предикаты: основные понятия.
III. Научная индукция.
Научной индукцией называется такое умозаключение, в котором на основании познания необходимых признаков или необходимой связи части предметов класса делается общее заключение обо всех предметах этого класса.
Научная индукция, так же как полная индукция и математическая индукция, дает достоверное заключение.
Достоверность заключений научной индукции объясняется тем, что учитывается важнейшая из необходимых связей — причинная.
Причиной называется такая объективная связь между двумя явлениями, когда одно из них вызывает другое, называемое следствием.
Например, с помощью научной индукции делается заключение: «Всем людям для жизнедеятельности необходима влага».
Применение научной индукции позволило сформулировать научные законы, например физические законы Архимеда, Кеплера, Ома и др.
16. Логические основы теории аргументации.
Цель науки - получение истины, обогащение истинами, получение верной информации.
Логической основой научных знаний является доказательное рассуждение.
Следует разделить два различных хода доказательства - прогрессивный и
регрессивный. При прогрессивном не известно, что именномы получим в ходе доказательства. Имеется некоторое число истинных суждений,относящихся к той или иной области знания. Их сопоставление, установление между нимиопределенных логических связей дают некотороеистинное суждение (идем от общего к частному).
Например, геолог доказывает принадлежность горной породы к той или иной эре развития
Земли на основании характеристик, которыми эта порода обладает. При регрессивном ходе доказательства четкоизвестно, что мы получим в ходе доказательства и истинность какого суждения или положения необходимо установить. Осуществляется это поиском других истинных суждений и наличием логических связей между последними суждениями и тем, истинность которого устанавливается. Например, надо построить треугольник подобный данному, вспоминаем одно из условий: взаимная параллельность соответствующих сторон. Чертим и признаем, что построенный треугольник подобен данному. Доказательное рассуждение состоит из трех взаимосвязанных элементов, которые называются тезисом доказательства,аргументами доказательства и демонстрацией.Тезис доказательства - это суждение, истинность которого обосновывается в процессе аргументации. То есть это суждение надо доказать. Тезис является главным элементом доказательства и отвечает на вопрос: что доказывается?
Аргументы доказательства -это исходные теоретические или фактические положения (истинные суждения), с помощью которых обосновывают тезис. Они выполняют роль
логического фундамента и отвечают на вопрос: чем, с помощью чего ведется обоснование тезиса?В качестве аргументов могут быть использованы ранее доказанные суждения: определения, утверждения о фактах и т.п.
Факт- это знание о фрагменте действительности, выявленное с помощью непосредственного восприятия или экспериментального изучения предмета науки.
Демонстрация - это логическая связь между аргументами и тезисом. Логический переход от аргументов к тезису протекает в форме умозаключения. Это может быть
отдельное умозаключение, но чаще – цепочка рассуждений.
Продемонстрировать - значит, что тезис логически следует из принятых аргументов по правилам соответствующих умозаключений. Обоснование тезиса может принимать форму
умозаключений, индукции или аналогии, которые применяются самостоятельно или в различных сочетаниях.