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

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

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

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

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

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

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

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

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

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

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

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

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

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

БУЛЕВЫ ОПЕРАЦИИ НАД ПОНЯТИЯМИ Пересечение B(a) Wa. A(a) Waa B(a) = W А(а) & a. A(a) W а. В(а) U Вычитание W a. A(a) - W a B(a) = W(А (а) В (а)) a. B(a) a. A(a) U Объединение W a. A(a) W a B(a) = a B(a) a. A(a) W А(а) W а. В(а) U Дополнение a B(a) U U - W a B(a)

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

Отношения между понятиями Сравнимые понятия Включение Совместимость А В≠ а. А(а) а. В(а) А В а (а А а В) а. А(а) а. В(а) Исчерпывание А В=U а (А(а) В(а)) В А а. А(а) а. В(а)

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

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