- •Объект и предмет формальной логики. Особенности абстрактного мышления. Истинность и правильность мышления. Язык логики.
- •Общая характеристика понятия как формы мысли: определение, логическая структура, приёмы образования.
- •Виды понятий по содержанию и по объему. Полная логическая характеристика понятий.
- •Отношения между понятиями. Совместимые и несовместимые понятия. Типы совместимости и несовместимости.
- •Определение понятий и его структура. Явные и неявные, реальные и номинальные определения. Правила определения и возможные ошибки.
- •В неявных определениях выявляются связи, в которых находится определяемый предмет с другими предметами.
- •Деление понятий: сущность логической операции, её структура, виды, правила и возможные ошибки.
- •Общая характеристика суждения: сущность, истинность и ложность, роль и функции суждений, их структура, суждение и предложение.
- •Виды и состав простых суждений, их символическая запись.
- •Классификация простых категорических (атрибутивных) суждений.
- •Распределённость терминов в атрибутивных суждениях и способы её определения.
- •Виды сложных суждений: особенности логического анализа, способы выражения в языке, символическое обозначение и условия истинности.
- •Логические отношения между простыми категорическими суждениями по логическому квадрату.
- •Отрицание суждений.
- •Умозаключение как форма мысли: определение, логическая структура и условия истинности. Классификация умозаключений.
- •Общая характеристика дедуктивных умозаключений: понятие, особенности логической природы и основные разновидности.
- •Если одна из посылок отрицательная, то большая просылка должна быть общей.
- •Непосредственные умозаключения: превращение, обращение, противопоставление предикату.
- •А Все s есть р е Ни одно s не есть р
- •I Некоторые s есть р о Некоторые s не есть р
- •Умозаключения из сложных суждений: чисто условное и условно категорическое умозаключение (его модусы и условия правильности).
- •Умозаключения из сложных суждений: разделительно-категорическое умозаключение (его модусы, правила) и условно-разделительное умозаключение (понятие конструктивной и деструктивной дилемм).
- •Предметы а,в,с,д имеют признак р
- •А имеет признак р
- •Научная индукция как вид неполной индукции. Характер выводов научной индукции. Методы научной индукции.
- •Умозаключения по аналогии: логическая природа и структура. Виды аналогии. Условия состоятельности выводов по аналогии.
- •Основные формально-логические законы: сущность, требования (и возможные ошибки вследствие их нарушения), значение.
- •Закон тождества.
- •Закон непротиворечия.
- •Закон исключенного третьего.
- •Закон достаточного основания.
- •Доказательство как вид аргументации: особенности и структура.
- •Способы аргументации (доказательства). Прямое обоснование тезиса и его формы.
- •Апагогическое и разделительное обоснование тезиса: особенности, логическая структура, алгоритм.
- •Правила и ошибки в аргументации по отношению к тезису, аргументам, и демонстрации.
- •Правила по отношению к аргументам:
- •Правила и ошибки по отношению к демонстрации:
- •Опровержение: сущность, структура, способы.
- •Спор, виды спора. Условия рационального спора. Разрешенные приемы в споре.
- •Уловки в споре (некорректные приемы спора).
ЛОГИКА.
ОТВЕТЫ НА ЭКЗАМЕНАЦИОННЫЕ ВОПРОСЫ
Объект и предмет формальной логики. Особенности абстрактного мышления. Истинность и правильность мышления. Язык логики.
Формальная логика исследует формы мышления, отвлекаясь от конкретного содержания мыслей. Формальная логика изучает мышление со стороны его логической правильности, отвлекаясь от конкретного содержания.
Формальная логика – наука о структурной форме мышления и законах выводного знания; наука о рассуждения, отличающая правильные рассуждения от неправильных по одной только их форме. Задача формальной логики – обеспечить структурную правильность и непротиворечивость истинного мышления.
Предметом формальной логики являются:
формы мышления – понятия, суждения, умозаключения, гипотезы, доказательство;
законы, которым подчиняется абстрактное мышление в процессе познания объективного мира и самого мышления;
методы получения нового, выводного знания – метод сходства, различия, соединенный метод сходства и различия, сопутствующих изменений и остатков;
способы доказательства истинности или ложности полученных знаний.
Сущность вещей и явлений познается на второй ступени познания, выделяющей человека из животного мира, делающей его «разумным» - это ступень абстрактного, рационального, логического познания. Здесь мы также рассматриваем три формы мышления – понятия, суждения, умозаключения.
Понятие – это форма мышления, которая отражает предмет в его существенных признаках (свойствах и отношениях). Суждение – это форма мышления, в которой отражаются связи и отношения действительности в виде утверждения или отрицания принадлежности предмету определенного признака. Умозаключение – это форма мышления, в которой из одного, двух или более суждений на основе правил выводится новое суждение; это связь суждений.
Если в суждении верно отражено то, что имеет место в действительности, то оно истинно, в противном случае – оно ложно. Понятие формальной правильности рассуждения относится лишь к логическим действиям и операциям мышления: «Если наши предпосылки верны и если мы правильно применяем к ним законы мышления, то результат должен соответствовать действительности».
В логике высказываний сложные высказывания строятся из простых (ТОЛЬКО если без союзов) с помощью знаков.
Итак, язык логики высказываний включает три вида знаков (символов):1.знаки для обозначения высказываний (пропозициональные переменные).; 2.знаки для обозначения логических союзов –конъюнкция, дизъюнкция, импликация, эквивалентности, отрицание; 3.знаки для обозначения скобок: ( левая и ) правая скобки.
Язык логики предикатов включает восемь видов знаков:
1.знаки для обозначения высказываний А,В,С…
2.знаки для обозначения логических союзов (логические операторы) :знак конъюнкции, дизъюнкция, импликации, эквивалентности, отрицания;
3.знаки для обозначения n-местных предикатов:Аn, Вn…
4.знаки для обозначения индивидных переменных: x,y,z…
5.знаки для обозначения индивидных констант (имен собственных): а,b,c,d…
6.знаки для обозначения кванторов общности и существования x, x.
7.знаки для обозначения n-местных функций: f ,g , h…
8.технические( вспомогательные) знаки: (-левая скобка, )-правая скобка, “,” – запятая.