
- •Вопросы к зачету по логике и теории аргументации
- •Что такое формальная логика
- •Логика традиционная и символическая
- •Понятие и виды понятий
- •Определенные и неопределенные понятия
- •Роль неопределенных понятий в мышлении
- •Отношения между объемом и содержанием понятий
- •Ограничение и обобщение понятий
- •Правила определения понятий
- •Деление и правила деления понятий
- •Суждение, его структура и виды
- •Классификация простых суждений
- •Истинность сложных суждений
- •Корректные и некорректные вопросы
- •Умозаключение и его виды
- •Структура, фигуры и модусы простого силлогизма
- •Умозаключение с союзом или и его правила
- •Правила:
- •Умозаключения с союзом если... То... И его правила
- •Правила:
- •Индукция и ее правила
- •Правила:
- •Ошибки индукции и установление причинных связей
- •Аналогия и ее правила
- •Виды и методы опровержения тезиса
- •Литература
Правила определения понятий
Определение не должно быть широким, т.е. определение не должно первышать своим объемом определяемое понятие.
Определение не должно быть узким, т.е. определение не должно быть по своему объему меньше определяемого понятия.
в определении не должно быть круга, т.е. в определении нельзя употреблять понятия, которые являются определяемыми.
Определение не должно быть двусмысленным, т.е. в нем нельзя употреблять термины в переносном значение.
Определение не должно быть сложным и непонятным, или оно должно быть коммуникабельным.
Определение не должно быть только отрицательным.
Деление и правила деления понятий
Деление понятия- это логическая операция, которая раскрывает его объем. Состоит их трех частей: 1)делимое понятие;2) результаты деления;3) основание деления. Правила деления:
Деление должно проводиться по одному основанию, т.е. при делении понятия следует придерживаться только одного выбранного признака.
Деление должно быть полным, т.е. надо перечислить все возможные результаты деления.
Результаты деления не должны пересекаться, т.е. понятием, представляющим собой результаты деления, следует быть несовместимыми, их объемы не должны иметь общаих элементов.
Деление должно быть последовательным, т.е. не допускающим пропусков и скачков.
Суждение, его структура и виды
Суждение- это форма мышления, которая состоит из понятий и в которой что-либо утверждается или отрицается. Суждение имеет определенную структуру: субъект – это то, о чем идет речь в суждении. Предикат- это то, что говорится о субъекте. Связка- это то, что объединяет субъект и предикат. Квантор- это указатель на объем субъекта. Виды суждений:
Атрибутивные суждения- в которых предикат представляет собой какой-либо существенный, неотъемлемый признак или атрибут субъекта.
Экзистенциональные суждения- в которых предикат указывает на существование или несуществование субъекта.
Релятивные суждения- в которых предикат выражает собой какое-то отношение к субъекту.
Классификация простых суждений
Если в состав суждения входит один субъект и один предикат, то такое суждение является простым. Классификация:
Общеутвердительные суждения. Это суждения с общим объемом субъекта и утвердительной связкой: Все S есть P, например: Все школьники являются учащимися. Эти суждения обозначаются буквой A.
Частноутвердительные суждения. Это суждения с частным объемом субъекта и утвердительной связкой. Например: Некоторые животные являются хищниками. Они обозначаются I.
Общеотрицательные суждения- с общим объемом субъекта и отрицательной связкой. Например: Все планеты не являются звездами. Обозначаются буквой Е.
Частноотрицательные суждения- с частным объемом субъекта и отрицательной связкой. Например: Некоторые грибы не являются съедобными. Обозначаются буквой О.
Превращение как преобразование простого суждения
Преобразование простых суждений, называемое превращением, заключается том, что у суждения меняется связка: положительная на отрицательную и наоборот. При этом предикат суждения заменятся противоречащим понятием. Любое утверждение равно двойному отрицанию. В отличие от обращения превращение не зависит от характера отношений между субъектом и предикатом простого суждения. Поэтому суждение общеутвердительное (А) всегда превратиться в суждение общеотрицательное (E), и наоборот. А суждение частноутвердительное (I) в частноотрицательное (O) и наоборот.
Обращение как преобразование простого суждения
Обращение-это преобразование простого суждения, при котором его субъект и предикат меняются местами. Например, суждение: Все акулы являются рыбами преобразуется путем обращения в суждение: Некоторые рыбы являются акулами.( субъект- акулы, предикат- рыбы). Суждение вида А обращается или в суждение вида и А, или в суждение вида I. Суждение вида Е всегда обращается в суждение вида Е, а суждение вида О не поддается обращению.
Классификация сложных суждений
Сложным называется суждение, в составе которого выделяется хотя бы одно простое суждение. Виды суждений:
Коньюктивное суждение или коньюнкция- это сложное суждение с соединительным союзом «и», который обозначается в логике условным знаком ˄. Можно представить в виде формулы a˄b, где a и b- это два каких-либо простых суждения.
Нестрогая дизъюнкция- это сложное суждение с разделительным союзом «или» в его неисключающем значении, который обозначается условным знаком v. С помощью этого знака нестрогое дизъюнктивное суждение, состоящее из двух простых суждений, можно представить в виде формулы a v b.
Строгая дизъюнкция- это сложное суждение с разделительным союзом «или» в его исключающем значении, который обозначается условным знаком (знак + в кружке).
Импликативное суждение, или импликация- это сложное суждение с условным союзом «если…то..», который обозначается условным знаком →.
Эквивалентное суждение, или эквиваленция- это сложное суждение с союзом «если…то..» не в его условном значении, а в тождественном. В данном случаем этот союз обозначается условным знаком ↔, с помощью которого эквивалентное суждение, состоящее из двух простых, можно представить в виде a ↔ b.
Отрицательное суждение, или отрицание- это сложное суждение с «неверно, что…», которое обозначается условным знаком ¬. С помощью этого знака отрицательное суждение можно представить в виде формулы a ¬ b ( читается -неверно, что а).