Логика - УМК-2012

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

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

Предикат (лат. «predicatum» – сказанное) – понятие, в котором отражается признак (отношение) предмета мысли.

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

Простое суждение – суждение, которое состоит из одного субъекта и одного предиката. Имеет структуру: «S есть (не есть) P».

Простое умозаключение – умозаключение, элементы которого не являются самостоятельными умозаключениями.

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

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

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

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

121

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

Реальное определение – определение, в котором раскрываются признаки, присущие самим предметам действительности.

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

есть).

«Скачок в делении» – ошибка в делении понятия, когда переходят от видов данного рода к их подвидам.

Слабая дизъюнкция – вид сложного разделительного суждения, образованного из двух или более простых суждений с помощью логического союза «или…, или…» (дизъюнкции), которые могут быть одновременно истинными. Этот вид суждения называют еще «соединительно – разделительное суждение». Обозначается знаком (p q).

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

Содержание понятия – совокупность общих, существенных и необходимых признаков, отраженных в этом понятии.

Соединительное (конъюнктивное) суждение – суждение,

образованных из двух или более простых суждений с помощью логического союза «и» (конъюнкции) (p q).

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

122

Сорит (греч. «Sorit» – куча) – вид сложного силлогизма, в котором приводится последнее заключение, промежуточные же заключения отпускаются, хотя и подразумеваются.

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

Средний термин – термин простого категорического силлогизма, который входит в обе посылки, но не входит в заключение. Обозначается М.

Строгая аналогия – аналогия, основанная на знании того, что признаки сравниваемых предметов находятся в причинной зависимости.

Строгая дизъюнкция – вид сложного разделительного суждения, образованного из двух или более простых суждений с помощью логических союзов «или ..., или ...», «либо ... либо ...» (дизъюнкции), которые не могут быть одновременно истинными. Этот вид суждения называют еще исключающе-разделительными суждениями. Обозначается знаком . (p q).

Субъект (лат. «Subgectum») – составной элемент суждения, в котором отражается предмет мысли.

Суждение – форма мысли, в которой что-либо утверждается или отрицается о предметах действительности и которая может быть или объективно истинной, или объективно ложной.

Суждение единичное – суждение, в котором признак, отраженный в предикате, приписывается (отрицается) одному единственному предмету. Имеет структуру: «данное (одно – единственно) «S» есть (не есть) «P».

Суждение общее – суждение, в котором признак, отраженный в предикате, приписывается (отрицается) всему классу отражаемых в субъекте предметов. Имеет структуру: «Все (ни одно) «S» есть (не есть) «P».

Суждение общеотрицательное – общее по количеству, и отрицательное по качеству суждение. Имеет структуру «Ни одно «S» не есть «P».

Суждение отрицательное – суждение, в котором отрицается наличие 4 предмета мысли, отраженном в субъекте признака, отраженного в предикате. Имеет структуру: «S» не есть «P».

123

Суждение обще утвердительное – суждение общее по количеству, и

отрицательное по качеству. Имеет структуру: «Все «S» есть «P».

Суждение простое – суждение, состоящее из одного субъекта и одного предиката. Имеет структуру: «S» есть (не есть) «P».

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

Суждений утвердительное – суждение, в котором признак, отраженный в предикате, приписывается одному или более предметам мысли, отраженным в субъекте. Имеет структуру: «S» есть «P».

Суждение частичное – суждение, в котором признак, отраженный в предикате, приписывается (отрицается) нескольким предметам морали, отраженным в субъект. Имеет структуру: «Некоторые «S» есть (не есть) «P».

Суждение частноотрицательное – суждение частное по количеству и отрицательное по качеству. Имеет структуру: «Некоторые «S» не есть «P».

Суждение частноутвердительное – суждение, частное по количеству и утвердительное по качеству. Имеет структуру: «Некоторые «S» есть «P».

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

Тавтология («Idem per idem» – то же через то же) – логическая ошибка в определении понятия, когда в определяющем понятии повторяется определяемое понятие.

Тезис – главный элемент доказательства (опровержения), истинность (ложность) которого надо обосновать.

Теория – научно обоснованная система взглядов на мир.

Термин – слово или словосочетание, являющееся точным названием строго определенного понятия.

124

Тождественно-истинная (всегда истинная) формула – такая формула,

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

Третья фигура силлогизма – фигура, в которой средний термин (М) находится на месте предиката в обеих посылках.

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

Условно-категорическое умозаключение – умозаключение, в котором первая посылка является сложным условным суждением, а вторая посылка – категорическим суждением. Имеет два модуса: модус утверждающий («Modus ponens») и модус отрицающий («Modus tollens»). Соответственно

((p→q) p) →q; ((p→q) q) →p.

«Учетверение терминов» – логическая ошибка в простом категорическом силлогизме, вызванная нарушением одного из правил терминов, согласно которому в силлогизме должно быть только три термина.

Утвердительное суждение – суждение, в котором признак, отраженный в предикате, приписывается (отрицается) предметом мысли, отраженным в субъекте. Имеет структуру: «S есть P».

Фигура силлогизма – форма силлогизма, определяемая расположением среднего термина в посылке. Различают 4 фигуры силлогизма (I-я, II-я, III-я, IV-я фигуры силлогизма).

Форма мысли – способ связи элементов мысли, ее структура. Выделяют 3 основные формы мысли – понятие, суждение, умозаключение.

Частная гипотеза – вид гипотезы, когда предположение высказывается относительно отдельного факта.

125

Частное суждение – суждение, в котором признак, отраженный в предикате приписывается (отрицается) нескольким предметам мысли, отраженным в субъекте. Имеет структуру: «Некоторые S есть (не есть) P».

Частно-отрицательное суждение – суждение, частное по количеству и отрицательное по качеству. Имеет структуру: «Некоторые S не есть P».

Частно-утвердительное суждение – суждение, частное по количеству и утвердительное по качеству. Имеет структуру: «Некоторые S есть P».

Члены деления – понятия (видовые), которые получаются в результате деления родового понятия.

Эйлеровы круги – принятый в логике способ изображения отношений между понятиями по объему, предложенный в XVIII в. русским математиком французского происхождения Л. Эйлером.

Энтимема – сокращенное умозаключение, в котором пропущена одна из посылок или заключение.

Эпихейрема (греч. – «нападение», «наложение рук») – сложный силлогизм, в котором каждая из посылок является энтимемой.

126