Основные логические понятия

Основные логические понятия

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

Аналогия – умозаключение о принадлежности предмету определенного признака (т.е. свойства или отношения) на основе сходства в признаках с другим предметом.

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

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

- В совр. матем. логике  индукция – умозаключение дающее  вероятностное суждение.

Дедукция – умозаключение от знания большей степени общности к новому знанию меньшей степени общности. (В трад. логике.)

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

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

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

Обобщение – мысленное объединение однородных предметов в некоторый класс. Или: логическая операция, обратная ограничению, когда осуществляется переход от видового понятия к родовому путем отбрасывания от первого его видообразующего признака или признаков.

Например: «Опера П.И. Чайковского «Евгений Онегин», «опера П.И. Чайковского», «опера русского композитора XIX в.», «опера русского композитора», «опера» «произведение музыкального искусства», «произведение искусства». При обобщении мы переходим от понятия с меньшим объемом к понятию с большим объемом.

Определение понятия – логическая операция раскрытия содержания понятия или значения термина.

Опровержение – логическая операция установления ложности или необоснованности ранее выдвинутого тезиса. Опровержение должно показать, что: 1) неправильно построено само доказательство; 2) выдвинутый тезис ложен или не доказан.

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

Суждение – форма мышления, в которой что-либо утверждается или отрицается о предметах, их свойствах или отношениях. Суждение выражается в форме повествовательного предложения. Суждения могут быть простыми и сложными. Например: «Саранча опустошает поля» – простое суждение; суждение «Наступила весна, прилетели грачи» – сложное, состоящее из двух простых.

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

Все металлы – вещества.

Литий – металл.

Литий – вещество.

Первые два суждения – посылки, третье суждение – заключение.