Понятие как форма мышления
Логические приемы формирования понятий
|
Совокупность основных существенных признаков предмета или класса однородных предметов, отраженных в этом понятии
|
Мыслятся предметы, существование которых взаимообусловленно (право-лево, верх-низ)
|
Отражают наличие в предмете того или иного качества или отношения
|
Совокупность предметов, отражаемых данным понятием
|
В объем входит более 1 предмета
|
Объем не содержит реально существующих
предметов предметов
|
В объем входит только 1 предмет
|
Мысленное расчленение предметов на их составные части и выделение в них признаков
|
Мысленное соединение в единое целое частей предмета или его признаков, полученных при анализе
|
Мысленное установление сходства или различия предметов по существенным или несущественным признакам
|
Группа однородных предметов мыслится как единое целое
|
Мыслятся предметы, существующие самостоятельно (река, камень)
|
Отражают отсутствие качества или отношения
|
Отражают каждый отдельный предмет данного класса (цветок)
|
Мысленное выделение одних признаков предмета при отвлечении от других
|
Мысленное объединение отдельных предметов на основе присущих им одинаковых признаков в группы или классы
|
Форма мышления, отражающая существенные признаки предмета или явления
|
Определяемое понятие - понятие, содержание которого надо раскрыть. Определяющее понятие - понятие, посредством которого раскрывается содержание определяемого понятия
|
логическая операция, которая раскрывает содержание понятия, либо устанавливает значение термина
|
указывает на сущность отражаемых в понятиях предметов, раскрывает содержание понятия. Таким образом отличаем круг определяемых предметов от других предметов
|
2.7. Определение понятий
устанавливается отношение
равенства, эквивалентности
между определяемым и
определяющим понятиями
|
определение через
ближайший род и видовое
отличие
|
Родовой признак (род) - признак, указывающий на круг предметов, из числа которых нужно выделить определяемое множество предметов. Видовое отличие - (вид) - признаки, при помощи которых выделяется определяемое множество предметов из числа предметов, соответствующих
родовому понятию
|
определение предмета путем указания на способ, которым образуется только данный предмет и никакой другой
|
определяется термин, обозначающий предмет
|
характерно присутствие
в их составе слова
"называются"
|
Деление понятий
деление проводится только по одному основанию
|
Деление должно проводиться только по одному основанию (нельзя брать два или большее число признаков, по которым бы производилось деление
|
Члены деления должны исключать друг друга (т.е. не иметь общих элементов, быть соподчиненными понятиями, объемы которых не пересекаются)
|
Деление должно быть непрерывным, т.е. нельзя делать скачки в делении
|
нарушение правила ведет к ошибкам
|
а) неполное деление, когда перечисляются не все виды данного родового понятия
|
б) деление с лишними членами
|
Дихотомическое (двучленное)
|
основанием деления является тот признак, но которому образуются видовые понятия (видообразующий признак)
|
достоинства дихотомического деления
|
члены деления исключают друг друга
|
Делимое понятие - это родовое, а его члены деления - это виды данного рода, соподчиненные между собой, т.е. не пересекающиеся по своему объему (не имеющих общих членов)
|
Основание деления - признак, по которому производится деление объема понятия.
Члены деления - подмножества, на которые разделен объем понятия
|
это логическое действие, посредством которого объем делимого понятия (множество) распределяется на ряд подмножеств с помощью избранного основания деления
|
объем делимого понятия делится на два противоречащих понятия
|
Соразмерность деления: объем делимого понятия должен быть равен сумме объемов членов деления
|
по видоизменению признаков
|
Отношения между понятиями
|
не имеющие
общих признаков
|
объемы понятий совпадают полностью или частично
|
2.9. Отношения между понятиями
объемы понятий не
совпадают ни в одном
элементе
|
равнозначные (тождественные)
|
подчиняющие и подчиненные
|
понятия, которые различаются по своему содержанию, но объемы которых совпадают
|
понятия, объемы которых частично совпадают, т.е. содержат общие элементы
|
объем одного понятия, целиком включается в объем другого понятия, но не исчерпывает его (отношение вида и рода)
|
понятия, которые являются видами одного рода и одно из них указывает на некоторые признаки, а другое эти признаки отрицает, исключает, не заменяя их другими признаками
|
понятия, которые являются видами одного рода и одно из них содержит какие-то признаки, а другое эти признаки не только отрицает, но и заменяет их другими, исключающими (противоположными)
|
понятия, исключающие друг друга, но принадлежащие некоторому более общему родовому понятию
|
Обозначение с помощью круговых схем (кругов Эйлера)
|
А-"Л.Н.Толстой В - "автор романа "Война и мир
|
А - "студент" В - "спортсмен"
|
А - "млекопитающее" В - "кошка"
|
А - "большой дом" В - "небольшой дом"
|
А - "большой дом" В - "маленький дом"
|
А - "береза" В - "ель" С - "дерево"
|
повествовательным предложением, которое содержит какое-либо сообщение, информацию
|
2.10. Суждение как форма мышления
Суждение -
форма мышления, в которой что-либо утверждается или отрицается о существовании предметов, связях между ними или их свойствах, а также об отношениях
между предметами
|
Субъект суждения (S)- понятие о предмете суждения.
Предикат суждения (Р) -
понятие о признаке предмета, рассматриваемом в суждении
|
Суждения свойства (атрибутивные)
|
Суждения существования (экзистенциальные)
|
Общая классификация простых категорических суждений
|
Общие суждения
структура: "Все S есть (не есть) P"
|
Частные суждения
структура: "Некоторые S есть (не есть) Р"
|
Единичные суждения
структура: "Этот S есть (не есть) Р"
|
Союзами: "и", "а", "но", "да", "хотя", "который", 'зато", "однако", "не только,... но и..."
|
Союзами: "или", "либо", «толи...,толи..."
|
1.Если А, то В. 2.Коль скоро А, то В. 3.Когда А, имеет место В.
4.Для В достаточно А.
5.Для А необходимо В
|
1.Если А, то В и наоборот. 2. А, если В, и В, если А. 3. А равносильно В. 4.Для А необходимо и достаточно В
|
Утверждается или отрицается принадлежность предмету определенных признаков
|
Говорится об отношениях между предметами
|
Образуется из простых посредством логических связок (или операций): конъюнкции, дизъюнкции, импликации, эквиваленции
|
Простое категорическое суждение
|
Отношения между суждениями по истинности
|
Суждения выражают одну и ту же мысль в различной форме (например, предикаты одинаковые, а субъекты - тождественные понятия, но различные по форме выражения)
|
2.11. Отношения между суждениями по истинности
Для простых категорических суждений
|
Отношения несовместимости
|
Если одно из противоположных суждений истинно, то другое будет ложным, но оба могут быть ложными
|
противоположность (контрарность)
|
Суждения имеют общий предикат; понятия,
выражающие субъекты двух таких суждений, также находятся в отношении логического подчинения
|
Два противоречащих суждения не могут быть
одновременно истинными и одновременно
ложными, если одно из них истинно, то другое
будет ложным, и наоборот
|
Простые суждения, выражающие характер связи между субъектом и предикатом с помощью модальных операторов (модальных понятий)
|
Сложные суждения, выражающие характер связи между составляющими их простыми суждениями с помощью модальных операторов (модальных понятий)
|
Суждения I и О имеют одинаковые субъекты и одинаковые предикаты, но различаются по качеству
|
частичное
совпадение
(субконтрарность)
|
противоречие (контрадикторность)
|
модальные
простые
суждения
|
Модальные операторы: "необходимо", "возможно", "действительно", "случайно" и их отрицания
|
Изучаются модальной логикой
|
модальные
сложные
суждения
|
Деление суждении по модальности
|