Основные формы мысли Логика. Основной курс. Тема 2.

Основные формы мысли Логика. Основной курс. Тема 2.

План изучения Темы 2 Понятие (определение понятия, способы образования понятий, структура понятия и его виды, операции с понятием) Суждение (определение и структура суждения, виды суждений, сложные суждения, модальные суждения) Умозаключение (непосредственные и опосредованные суждения, простой категорический силлогизм, сложные силлогизмы)

Понятие Логика. Основной курс.

Определения понятия Понятие – это мысль, посредством признака (совокупности признаков) выделяющая из универсума и собирающая в класс объекты, обладающим эти признаком. Понятие – это мысленное отражение в форме непосредственного единства общих существенных признаков предметов (ФЛ, Л., 1977). Понятие – это форма мышления, в которой отражаются существенные и отличительные признаки отдельного предмета или класса однородных предметов. (Гетманова А.Д., 1986) Понятие – это высшая форма мысли, в которой отображается сущность предмета или класса предметов (Кондаков Н.И. 1954)

Образование понятий Анализ - мысленное расчленение содержания предмета на составляющие его признаки. Синтез - мысленное соединение признаков в содержании понятий. Сравнение - установление сходства и различия между рассматриваемыми предметами. Абстрагирование - мысленное выделение, отвлечение признака или признаков из всей совокупности признаков предмета. Обобщение - объединение предметов в класс на основании общности выделяемого признака.

ТЕРМИН естественного языка (значимое слово или словосочетание в составе предложения) имеет две важнейшие характеристики ЗНАЧЕНИЕ экстенсионал СМЫСЛ интенсионал предмет, знаком которого данный термин является информация о значении термина, которую содержит сам термин, или которая связана с ним.

Понятие мысль, которая посредством указания на некоторый признак (совокупность признаков) выделяет из универсума и собирает в класс (обобщает) предметы, обладающие этим признаком. ТЕРМИН обозначает предмет в языке при помощи знака носит знаковый характер выражает мысль об этом предмете — понятие указывает на предмет предполагает знак, выражающий его (=термин)

ПОНЯТИЕ (= мысль о предмете) признаки: обобщенность, отвлеченность, абстрактность идеальность ПРЕДМЕТ (=значение термина) служит значением термина служит выражением понятия признаки: внутренние и внешние свойства ТЕРМИН (=слово) признаки: м.б. единичным, общим, специальным Треугольник Фреге

Род и видовое отличие А — класс предметов, выделяемых из универсума посредством видового отличия А(а) U А аА(а) Универсум U, по которому пробегает переменная а, называется родом, а признак А(а) — видовым отличием. Всякое понятие выделяет в универсуме (роде) U те и только те предметы, которые обладают видовым отличием А(а)

Семантический треугольник аА(а) (универсалия) понятие WаА(а) (объем) экстенсионал, значение универсалии А(а) (содержание) интенсионал, смысл универсалии

Закон обратного соотношения объема и содержания Увеличение объема понятия влечет за собой сокращение его содержания, и наоборот. Нынешний Король Франции Король Франции Король

семантическая классификация понятий ПУСТЫЕ WаА(а) =  ЕДИНИЧНЫЕ WаА(а) = 1 ОБЩИЕ WаА(а) › 1. УНИВЕРСАЛЬНЫЕ WаА(а) = U

Виды понятий Конкретные Абстрактные Собирательные несобирательные Относительные безотносительные . Простые сложные Положительные, отрицательные

a B(a) БУЛЕВЫ ОПЕРАЦИИ НАД ПОНЯТИЯМИ Пересечение WaA(a)  W a B(a) = W А(а) & W аВ(а) Объединение W aA(a)  W a B(a) = W А(а)  W аВ(а) Вычитание W aA(a) - W a B(a) = W(А (а)  В (а)) Дополнение aA(a) a B(a) U aB(a) aA(a) aA(a) U U - W a B(a) a B(a) U U

Отношения между понятиями ПОНЯТИЯ Несравнимые Сравнимые aA(a) aВ(a) U2 U1 U2 ≠ U1 aВ(a) aA(a) U

Отношения между понятиями Сравнимые понятия Совместимость А  В ≠   аА(а)  аВ(а) Включение А  В а (а  А  а  В) Исчерпывание А  В = U а (А(а)  В(а)) аВ(а) аА(а) А В аА(а) аВ(а)

Отношения между понятиями 1. Равнообъемность: совместимость + взаимное включение + неисчерпывание А=В 2. Подчинение: совместимость + первое включено во второе, неисчерпывание В А 3. Перекрещивание: совместимость + не исчерпывание + невключение род Вид В А

Отношения между понятиями 4. Дополнительность: совместимость + взаимное исчерпывание + включение друг в друга А В 5. Противоречие: несовместимость + взаимное исчерпывание + невключение А В 6. Соподчинение: несовместимость + не исчерпывание + невключение А =  В В = А А В