- •Вопросы к экзамену по предмету «Логика»
- •Предмет формальной логики, ее значение.
- •Язык как знаковая система. Виды знаков.
- •Классическая логика высказываний, ее язык (алфавит, определение формулы, определение логического следования).
- •Классическая логика высказываний: отношения между формулами.
- •Основные способы правильных умозаключений клв.
- •13 Семантика позитивной силлогистики. Понятие распределенности терминов; понятие логического следования.
- •Законы позитивной силлогистики. Отношения между высказываниями по логическому
- •Позитивная силлогистика: выводы по логическому квадрату и обращение.
- •Негативная силлогистика, ее язык (алфавит, определение формулы, определение логического следования).
- •Негативная силлогистика: превращение, противопоставление s, противопоставление р, противопоставление s и р.
- •Простой категорический силлогизм: фигуры, состав, правила терминов.
- •Простой категорический силлогизм: состав, модусы, общие правила силлогизмов.
- •Корректная энтимема. Алгоритм восстановления в силлогизм энтимемы, в которой пропущена одна из посылок.
- •21 . Некорректная энтимема. Алгоритм восстановления в силлогизм энтимемы, в которой
- •22. Обобщающая нестатистическая индукция: полная и неполная.
- •23. Обобщающая статистическая неполная индукция, две ее разновидности
- •Понятие о причинной зависимости.
- •Методы установления причинных зависимостей.
- •Аналогия, ее виды. Принципы научной аналогии.
- •Понятие. Его содержание и объем. Закон обратного отношения.
- •Виды понятий.
- •Отношения между объемами понятий. Круги Эйлера.
- •Операции обобщения и ограничения понятий.
- •Деление. Правила деления. Виды деления.
- •Классификация: ее структура и виды. Значение классификации.
- •Определение и приемы, сходные с определением.
- •Явные определения, их виды.
- •Неявные определения, их виды.
- •Определения реальные и номинальные, контекстуальные и неконтекстуальные. Принцип соразмерности.
- •Основы теории аргументации.
- •Булевы операции над объемами понятий. Законы Булевой алгебры.
Корректная энтимема. Алгоритм восстановления в силлогизм энтимемы, в которой пропущена одна из посылок.
Энтимема – это сокращённая форма рассуждения с пропуском некоторых посылок или заключения.
Энтимема считается корректной, если она можеты быть восстановлена до правильного модуса категорического силлогизма и (!) все посылки в восстановленном правильном модусе оказываются истинными утверждениями.
Алгоритм восстановления:
Установить, что пропущено (заключение или посылка). Для этого нужно найти формальные показатели наличия следования (слова «так как», «потому что», «отсюда следует» и т.п.)
В случае, если пропущена одна из посылок, нужно установить какая именно (большая или меньшая). Для этого определяем по тезису (заключению), что является субъектом, а что предикатом, исходя из этого определяем какая посылка у нас имеется (большая или меньшая) и чем представлен средний термин.
Далее рассматриваем варианты возможного восстановления: с помощью среднего термина определяем, модусы каких фигур возможны.
Затем проверяем существуют ли правильные модусы, подходящие к данному силлогизму. Тем самым восстанавливаем до правильного силлогизма.
И остаётся только проверить, истинны ли получились посылки. Если истинны, то энтимема – корректна, если же нет, то она – некорректна.
21 . Некорректная энтимема. Алгоритм восстановления в силлогизм энтимемы, в которой
пропущено заключение.
22. Обобщающая нестатистическая индукция: полная и неполная.
23. Обобщающая статистическая неполная индукция, две ее разновидности
Обобщающая индукция – это такое рассуждение, в котором переходят от знания об определённых объектах некоторого класса к знанию обо всех объектах этого класса, т.е. переходят от единичных утверждений к общим.
Обобщающая нестатистическая полная индукция:
В первых n посылках фиксируются результаты проверки предметов а1,а2,...,аn на наличие у них интересующего нас свойства Q. Если посылки показывают, что каждый проверенный предмет обладает этим свойством, и n+1-я посылка указывает на то, что множество проверенных предметов в точности составляет класс S, то мы можем сделать достоверное заключение о наличии свойства Q у всех предметов из S. Где S – это генеральная совокупность (исследованный класс).
Может применяться лишь в том случае, когда класс S конечен и легко обозрим.
Обобщающая нестатистическая неполная индукция:
В отличие от полной индукции класс {a1,a2,...,an} составляет только часть класса S, соответственно истинность заключения в данном случае является проблематичной, но не достоверной (т.к. среди непроверенных могли быть такие, которые не обладают свойством Q).
Для достижения наиболее точного результата составляют выборку – часть генеральной совокупности, которая попала в рассмотрение. Выборка подвергается сплошной проверке, и если каждый элемент выборки обладает свойством, то полученный результат может быть перенесён с достаточно большой вероятностью на всю генеральную совокупность. Этот перенос и является сутью индуктивного обобщения.
Особенно важно составить репрезентативную выборку, т.е. такую, чтобы она достаточно передавала качественную структуру класса, разнообразие его состава, особенности, влияющие на наличие свойства. Здесь немаловажной будет объёмность выборки.