
- •Логика как наука, ее предмет, структура, значение.
- •Виды логик.
- •Понятие как форма мышления.
- •Понятие и представление. Понятие и термин. Определение и структура понятия.
- •Содержание и объем понятия.
- •Виды понятий.
- •Классификация понятий.
- •8. Суждение. Виды суждений.
- •Объединенная классификация суждений по качеству и количеству.
- •Виды суждений, не рассматриваемых в классической логике.
- •Комплексный анализ простого категорического суждения.
- •Умозаключение.
- •Дедуктивные умозаключения.
- •Силогистика. Основные понятия.
- •Индуктивные умозаключения и их виды.
- •Логические основы теории аргументации.
- •Виды и правила доказательства и опровержения.
- •Основные законы логики (тождества, противоречия, искоюченного третьего, достаточного основания).
- •Суждения и высказывания как формы мышления.
- •Основные операции над высказыванием. Таблица истинности.
- •Эквивалентные высказывания и логические законы.
- •26. Логические законы, формулирующиеся с использованием кванторов.
- •27. Множества и классы понятий, основные операции над нами. Круги Эйлера.
- •28.Прямое (декартово) произведение множеств. Комбинаторные структуры.
- •29.Понятие отношения. Обратное отношение. Графическое представление бинарных отношений.
- •30. Отношение эквивалентности. Свойства отношений. Разбиение множеств на классы.
- •31. Отношение порядка. Свойства отношений.
- •32. Отображения и их основные свойства. Виды отображений.
- •33. Комбинаторные структуры (размещение, перестановки, сочетания)
- •38. «Треугольник Паскаля»
- •3 9. Ориентированные графы. Динамика графа. Матрицы смежности, инциденций и достижимости.
- •40. Изоморфизм графов.
- •41. Маршруты, цепи и циклы
- •42.Операции над графами.
- •43.Деревья
- •44.Разрезы
- •Потоковые модели.
- •Социометрические модели.
Умозаключение.
Умозаключение — форма мышления, в ходе которой из одного или нескольких суждений, называемых посылками, выводится суждение, заключающее в себе новое знание. (заключение)
Дедуктивные умозаключения.
Между его посылками и заключением есть отношение логического следования. Процесс рассуждения направлен от общего к частному.
Силогистика. Основные понятия.
Силогизм - дедуктивное умозаключение,в котором вывод совершается на основе соотношения терминов в одном или более категорических суждениях.
Категорический силлогизм — это вид дедуктивного умозаключения, в котором из двух истинных категорических суждений, выводится новое категорическое суждение.
В составе категорического силлогизма имеются две посылки и заключение.
Все металлы (М) электропроводны (Р) — большая посылка.
Медь (S) есть металл (М) — меньшая посылка.
Медь (S) электропроводна (Р) — заключение.
Условный силлогизм - обе посылки и заключение – условные суждения.
Условно-категорический силлогизм - одна посылка - условное суждение, а другая и заключение – категорическими.
Разделительный силлогизм – 1 посылка – разделительное суждение, 2 посылка и заключение – разделительное и категорическое суждения.
А) разделительно-категорический (1 пос. – разделит., 2 и заключ. – категор.)
Б) условно-разделительный (1 из 2 или более – условное суждение, а 2 – разделительное суждение)
Индуктивные умозаключения и их виды.
Если заключение выводится из одной посылки, то оно называется непосредственным умозаключением, из двух и более – опосредственным.
В индуктивном умозаключении не имеются отношения логического следования. Частное ---- общее.
Дедуктивное – истинные, индуктивное – правдоподобные.
Полная индукция – умозаключение, в котором общее заключение о некотором классе предметов делается на основе изучения всех предметов этого класса.
Неполная индукция – вид индуктивного умозаключения, в результате которого получается какой-либо вывод о всём классе предметов на основании знания лишь некоторых предметов данного класса.
индукция через простое перечисление (популярная) – на основании повторяемости одного и того же признака у ряда предметов и отсутствия противных случаев;
через анализ и отбор факторов. Исключение случайности обобщений, т.к. изучаются планомерно отобранные, наиболее типичные предметы – разные по времени, способу получения и т.п.
Логические основы теории аргументации.
Цель науки - получение истины, обогащение истинами, получение верной информации.
Логической основой научных знаний является доказательное рассуждение. Существует два различных хода доказательства-прогрессивный и регрессивный. При прогрессивном не известно, что именно мы получим в ходе доказательства. А при регрессивном ходе четко известно, что мы получим в ходе доказательства и истинность какого суждения положения необходимо установить.
Доказательное рассуждение состоит из трех взаимосвязанных элементов, которые называются тезисом доказательства, аргументами доказательства и демонстрацией.
Тезис доказательства-суждение,истинность которого обосновывается в процессе аргументации.То есть это суждение надо доказать.Тезис является главным элементом доказательства и отвечает на вопрос:что доказывается?
Аргументы доказательства-исходные теоретические или фактические положения(истинные суждения),с помощью которых обосновывают тезис.Он выполняет роль логического фундамента и отвечают на вопрос:чем,с помощью чего ведется обосновывание тезиса?
В качестве аргументов могут быть использованы ранее доказанные суждения:определения,утверждения о фактах и тп.
Демонстрация-логическая связь между аргументом и тезисом.Логический переход от аргументов к тезису протекает в форме умозяключения.Это может быть отдельное умозаключение,но чаще-цепочка рассуждений.
Продемонстрировать-значит,что тезис логически следет из принятых аргументов по правилам соответствующих умозаключений.
Обоснование тезиса может принимать форму умозаключений,индукции или аналогии,которые применяются самостоятельно или в различных сочетаниях.