45. Логическая структура мышления. Основные требования к логической культуре, мышлению к традиционной логике

С точки зрения логики под мышлением понимаются логические формы, которые называются понятиями, суждениями и умозаключениями (вывод). Способность человека отбрасывать понятия, формулировать суждения и делать заключения – это и есть мышление человека с точки зрения логики.

Культуры мышления в этой связи понимается следующим образом. Если взять понятия, то: - выполнять требования к определениям понятий и делению понятий; - выполнять требования, различать виды суждений ассерторические и модальные.

Понятия – логическая форма теории познания, позволяющая выделить изучаемый предмет из универсума мышления, отличающего его от других предметов.

Содержание понятия – система свойств и отношений, отличающих данный предмет.

Объем понятия – множество предметов, обладающих всеми характеристиками, входящими в определение содержания понятия. Как правило, понятие задается указанием на его содержание/объем.

Содержание и объем связаны принципом обратного отношения: расширение системы признаков, характеризующих содержание, влечет уменьшение множества элементов, определяющих объем, и, наоборот, расширение множества элементов, определяющих объем, влечет ограничение системы свойств, представляющих содержание.

Определение содержания – логическая операция, раскрывающая содержание понятия об изучаемом предмете, указывающая на его объем/уточняющая значение термина. Определения, раскрывающие содержание понятия (указывающие на его объем), называются реальными; уточняющие значение терминологии, называются номинальными.

Номинальные: 1) синтаксические (служат для сокращения языковых выражений); 2) семантические (указывают на точное значение и контекстуальный смысл используемого термина).

Чтобы уникально отличить изучаемый предмет от других предметов, определяют к определению предметов через род и видовые отличия. Суть заключается в указании на общие родовые признаки предмета и специфики отличающих видовых признаков данного предмета в рамках рода.

Деление понятия – логическая операция разбиения множества (каждая представляет объем понятия) на подмножества (каждая образует объемы родового видовых понятий).

Классификация – логическая операция деления родового понятия на виды, подвиды по единому основанию.

Понятия делятся:

1) по объему на:

- единичные (объем состоит точно из одного элемента, например столица России);

- общие (объем => чем один элемент, например государство Европа);

- пустые (объем не содержит ни одного элемента, например «круглый квадрат»);

- неопределенные (невозможно ответить однозначно, является ли объем единым, общим/пустым, например внеземная цивилизация).

2) по содержанию на:

- сравнимые (если содержит включительно хотя бы одну общую характеристику);

- несравнимые (если понятие не имеет ни одной общей характеристики).

Отношения понятий

Равнообъемность/равнозначность. Объекты совпадают, т.е. элемент объема одного понятия содержит в объеме другого, и наоборот.

1 – сын; 2 – внук.

Включение. Элемент объема первого понятия полностью содержатся в объеме другого, но не наоборот.

1 – брат; 2 - сын.

Пересечение. Объемы второго понятия содержат 1 общий элемент и 1 различный.

1 – сестра; 2 – мать.

Исключение. Объемы не имеют общих элементов.

Противоречие. Сумма объемов равна объема универсума сравнения.

1 – мужчина; 2 – женщина.

Противоположность. Сумма объемов меньше объема универсума сравнения.

1 – отец; 2 – дочь.

Суждение или высказывание – логическая форма теоретического изложения, которое предполагает собственное истинное или ложное утверждение, принадлежности изучаемому предмету какого-либо свойства, отношения к соотносимым с ним другие предметы. Различают простые и сложные суждения. Простым является то, которое содержит одно элементарное высказывание. Сложное состоит из простых высказываний, объединенных логической связкой. Сложные суждения делятся на: отрицательные (он не пришел), соединительные (А и Б сидели на трубе), разделительные (я почитаю), условные (если посещу занятие, то сдам экзамены).

Высказывание называется логически истинным (общезначимым), если оно истинно каждой возможной логической ситуации. Высказывание называется истинно-ложным, если оно ложно в каждой возможной логической ситуации. Высказывание называется случайным (допустимым), если оно в логических ситуациях может быть как истинным, так и ложным. Суждения, в которых что-либо отрицается или утверждается, называются асипторическими. Суждения, в которых используются операторы необходимости и возможности, называются модальными.

Умозаключение – это форма мышления, в которой из одного или нескольких суждений на основании определенных правил вывода, получается новое суждение.

Умозаключения делятся на дедуктивные, индуктивные и умозаключения по аналогии.

Дедуктивные умозаключения – движения мысли от общего к частному – умозаключения, у которых между посылками и заключением имеется отношение логического следования.

Индуктивные умозаключения – движения мысли от частного к общему; умозаключения от меньшей степени общности к новому знанию большей степени общности.

Умозаключения по аналогии – одно из самых древних видов умозаключения. Аналогия – умозаключение о принадлежности предмета определения признака на основе сходства признака с другим предметом. Посредством аналогии осуществляется перенос информации с одного предмета на другой.

Выделяются аналогия свойств и аналогия отношений. В аналогии свойств рассматриваются два единичных предмета, а переносимыми признаками являются свойства этого предмета. В аналогии отношений информация, переносимая с модели на прототип, характеризует отношения между двумя предметами.