Фигуры и модусы категорического силлогизма

Фигура силлогизма - это разновидность силлогизма, отличающаяся положением среднего термина в посылках

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

Модус силлогизма - это разновидность силлогизма, отличающаяся количеством и качеством посылок и заключения

Каждая из посылок может быть общеутвердительной (А), общеотрицательной (Е), частноутвердительной (I) и частноотрицательной (О). Поэтому в одной фигуре возможно 16 модусов. Всего силлогизм имеет 256 модусов, из них 19 правильных.

М Р Р М М Р Р М

S М S М М S М S

-------------- ---------------- ------------- -------------

S -- P S --- P S -- P S -- P

Фигура 2 фигура 3 фигура 4 фигура

ААА ЕАЕ ААI ААI

ЕАЕ АЕЕ IAI АЕЕ

АII ЕIO AII IAI

EIO AOO EAO EAO

OAO EIO

EIO

Правила фигур

Правило	Пример
Правила первой фигуры 1. Большая посылка должна быть общим суждением. 2. Меньшая посылка должна быть утвердительным суждением.	Все рыбы дышат жабрами Кит - не рыба Кит не дышит жабрами Здесь 1-я фигура силлогизма. Но меньшая посылка оказалась отрицательной. Значит, силлогизм неправильный. Критяне - лжецы; Эпименид - критянин Эпименид - лжец. Имеем 1-ю фигуру силлогизма. Меньшая посылка является утвердительной. Большая посылка оказалась общая, вывод правомерен
Правила второй фигуры 1. Большая посылка должна быть общим суждением. Одна из посылок должна быть отрицательным суждением	Все рыбы размножаются икрой Лягушки размножаются икрой Лягушки - рыбы Это вторая фигура. Здесь отсутствует отрицательная посылка. На этом основании отбрасываем вывод как неверный. Некоторые металлы тонут в воде Натрий не тонет в воде Натрий — не металл
Правила третьей фигуры 1. Меньшая посылка должна быть утвердительным суждением. 2. Заключением должно быть частным суждением.	Все рыбы дышат жабрами Все рыбы живут в воде Все, живущие в воде, дышат жабрами Силлогизм III фигуры. Вывод неправомерен, т. к. заключение общее. Все рыбы дышат жабрами (большая посылка) Некоторые рыбы не живут в нашем море (меньшая посылка) Некоторые, живущие в нашем море, не дышат жабрами Это тоже силлогизм III фигуры. Вывод неправилен, поскольку меньшая посылка оказалась отрицательной.
Правила четвертой фигуры 1. Когда большая посылка утвердительное суждение, тогда меньшая посылка - общее суждение. 2. Когда одна из посылок отрицательное, то большая посылка - общее суждение.	Все квадраты параллелограммы (большая посылка) Ни один параллелограмм не треугольник (меньшая посылка) Ни один треугольник не квадрат Большая посылка - утвердительное суждение, тогда меньшая посылка - общее суждение. Меньшая посылка – отрицательное суждение, большая посылка – общее суждение

СЛОВАРЬ

АБСУРД (от лат. absurdus — нелепый, глупый) — в логике под А. обычно понимается противоречивое выражение. В таком выражении что-то утверждается и отрицается одновременно

АКСИОМА (от греч. axioma — значимое, принятое положение) — исходное, принимаемое без доказательства положение к.-л. теории, лежащее в основе доказательств других ее положений.

АЛОГИЗМ (от греч. а — не, logos — разум) — ход мысли, нарушающий какие-то законы и правила логики и поэтому всегда содержащий в себе логическую ошибку. Если ошибка допущена непреднамеренно, то перед нами паралогизм; если же ошибка допущена с определенной целью, то мы столкнулись с софизмом.

АМФИБОЛИЯ (от греч. amphibolia — двусмысленность, двойственность) — логическая ошибка, в основе которой лежит двусмысленность языковых выражений.

АНАЛОГИЯ, умозаключение по аналогии (от греч. analogia — соответствие) — это вывод о принадлежности определенного признака исследуемому единичному объекту (предмету, событию, отношению или классу) на основе его сходства в существенных чертах с другим уже известным единичным объектом.

АНТЕЦЕДЕНТ И КОНСЕКВЕНТ (от лат. antecedent - предшествующий, предыдущий и consequens — следствие) — два высказывания, из которых с помощью логической операции импликации («если..., то...») образуется сложное импликативное высказывание. А. — высказывание, которому предпослано слово «если», К. — высказывание, идущее после слова «то». Два высказывания, составляющие условное высказывание, именуются также основанием и следствием.

АНТИТЕЗИС (от греч. antithesis — противоположение) — суждение, противоречащее тезису некоторого построенного доказательства. А. используется в косвенном доказательстве тезиса: мы обосновываем ложность А. и, опираясь на закон исключенного третьего, гласящий, что из двух противоположных суждений одно обязательно истинно, тем самым доказываем истинность противоречащего ему суждения — тезиса

АПОРИЯ (от греч. aporia — затруднение, недоумение) — трудноразрешимая проблема, связанная с противоречием между данными опыта и их мысленным анализом.

АРГУМЕНТ (лат. argumentum) — суждение (или совокупность взаимосвязанных суждений), посредством которого обосновывается истинность к.-л. другого суждения (или теории). При доказательстве некоторого суждения А. являются основаниями, или посылками, из которых логически следует доказываемое суждение. Напр., для доказательства суждения «Железо плавко» мы можем воспользоваться двумя А.: «Все металлы плавки» и «Железо есть металл». Приняв эти два суждения в качестве посылок, мы можем логически вывести из них доказываемое суждение и тем самым обосновать его истинность. А., используемые в процессе доказательства некоторого суждения, должны удовлетворять следующим правилам: 1. А. должны быть истинными суждениями. 2. А. должны быть суждениями, истинность которых устанавливается независимо от тезиса. 3. А. должны быть достаточным основанием для доказываемого тезиса. Нарушение указанных правил приводит к различным логическим ошибкам, делающим доказательство некорректным.

АРГУМЕНТ К АВТОРИТЕТУ (от лат. i pse dixit - сам сказал) —обоснование утверждения или действия путем ссылки на какой-то авторитет. А. к а. необходим, хотя и недостаточен, в случае обоснования предписаний (команд, директив, законов государства и т. п.). Он важен также при обсуждении ценности советов, пожеланий, методологических и иных рекомендаций. Данный аргумент должен учитываться при оценке предостережений, просьб, обещаний, угроз и т. п. Несомненна роль авторитета и, соответственно, апелляции к нему едва ли не во всех практических делах.

АРГУМЕНТ К АУДИТОРИИ — попытка опереться на мнения, чувства и настроения слушателей, вместо того чтобы обосновать тезис объективными доводами. Пользующийся этим аргументом обращается непосредственно не к своему партнеру в споре, а к другим участникам или даже случайным слушателям и стремится привлечь их на свою сторону, апеллируя по преимуществу к их чувствам, а не к разуму.

АРГУМЕНТ К ЖАЛОСТИ — возбуждение в другой стороне спора жалости и сочувствия с намерением получить ее поддержку.

АРГУМЕНТ К НЕЗНАНИЮ, или невежеству, — ссылка на неосведомленность оппонента в споре в вопросах, относящихся к предмету спора; упоминание таких фактов или положений, которых никто из споривших не знает и не в состоянии проверить.

АРГУМЕНТ К СИЛЕ («палочный» довод) — убеждение силой, угроза неприятными последствиями и, в частности, угроза применения насилия или прямое употребление каких-то средств принуждения с целью склонить оппонента в споре на свою сторону. Напр., в споре о территориальных границах представители одной страны могут угрожать другой стране применением экономических санкций или даже вооруженной силы, если их притязания не будут удовлетворены

АРГУМЕНТ К СКРОМНОСТИ — ссылка в ходе спора на какой-то авторитет, который другой спорящей стороной не относится к весомым в обсуждаемом вопросе, но вместе с тем не ставится ею под сомнение из-за несмелости или чрезмерного почтения к данному авторитету. Напр., в дискуссии на темы генетики одна сторона обращается к авторитету философов, живших задолго до возникновения этой науки; другая сторона не подвергает этот довод сомнению, опасаясь упрека в отсутствии должного уважения к авторитету данных философов, высокомерном противопоставлении собственного суждения их мнению

АРГУМЕНТАЦИИ ТЕОРИЯ — теория, изучающая те многообразные дискуссионные приемы, которые используются в процессе аргументации.

АРГУМЕНТАЦИЯ (от лат. argumentatio - приведение аргументов) — приведение доводов, или аргументов, с намерением вызвать или усилить сочувствие другой стороны к выдвинутому положению; совокупность таких доводов. Цель А. — принятие выдвигаемых положений аудиторией.

«БРИТВА ОККАМА» — методологический принцип, сформулированный англ, философом и логиком У. Оккамом и требующий устранения из науки всех понятий, не являющихся интуитивно очевидными и не поддающихся проверке в опыте: «Сущности не следует умножать без необходимости». У. Оккам, средневековый англ. философ и логик, направлял этот принцип против распространенных в то время попыток объяснить новые явления введением разного рода «скрытых качеств», ненаблюдаемых «сущностей», таинственных «сил» и т. п. «Б. О.» может рассматриваться как одна из первых ясных формулировок принципа простоты, требующего использовать при объяснении определенного круга эмпирических фактов возможно меньшее количество независимых теоретических допущений. Принцип простоты проходит через всю историю естественных наук. Многие крупнейшие естествоиспытатели указывали, что он неоднократно играл руководящую роль в их исследованиях. В частности, Ньютон выдвигал особое методологическое требование «не излишествовать» в причинах при объяснении явлений.

ВЕРИФИКАЦИЯ (от лат. verificatio — доказательство, подтверждение) — понятие, используемое в логике и методологии научного познания для обозначения процесса установления истинности научных утверждений посредством их эмпирической проверки. Проверка заключается в соотнесении утверждения с реальным положением дел с помощью наблюдения, измерения или эксперимента. Различают непосредственную и косвенную В. При непосредственной В. эмпирической проверке подвергается само утверждение, говорящее о фактах действительности или экспериментальных данных.

ВОПРОС — предложение, выражающее недостаток информации о к.-л. объекте, обладающее особой формой и требующее ответа, объяснения. в языке в. выражается в вопросительном предложении.

ГЕРМЕНЕВТИКА (от греч. hermeneuo - разъясняю, истолковываю) — искусство истолкования, перевода литературных текстов, основанное на грамматическом исследовании языка, изучении конкретных типов литературных произведений и связанных с ними исторических данных, помогающее раскрыть внутренний, глубинный смысл исторического текста.

ГИПОТЕЗА (от греч. hipothesis - основание, предположение) — положение, выдвигаемое в качестве предварительного, условного объяснения некоторого явления или группы явлений; предположение о существовании некоторого явления. Г. может касаться существования объекта, причин его возникновения, его свойств и связей, его прошлого и будущего и т. д. Выдвигаемая на основе определенного знания об изучаемом круге явлений, Г. играет роль руководящего принципа, направляющего и корректирующего дальнейшие наблюдения и эксперименты. Г. представляет собой необходимое звено в развитии научного знания.

ДЕДУКЦИЯ (от лат. deductio — выведение) — переход от посылок к заключению, опирающийся на логический закон, в силу чего заключение с логической необходимостью следует из принятых посылок. Характерная особенность Д. заключается в том, что от истинных посылок она всегда ведет только к истинному заключению

ДЕНОТАТ (от лат. denoto — обозначаю), или: Десигнат, предметное значение, — в логике и семантике предмет, обозначаемый собственным именем некоторого языка (в формализованном языке - константой или термом), или класс предметов, обозначаемых общим (нарицательным) именем (в формализованном языке - предметной переменной).

ДИЗЪЮНКЦИЯ (от лат. disjunctio — разобщение, различение) — логическая операция — аналог употребления союза «или» в обычном языке, с помощью которой из двух или более исходных суждений строится новое суждение.

ДИЛЕММА (от греч. di(s) - дважды и lemma - предположение) — в традиционной логике условно-разделительное умозаключение, т. е. умозаключение, посылками которого являются условные и разделительные суждения. Условно-разделительные умозаключения вообще называются леммами; если разделительная посылка содержит только два члена, то такое умозаключение называется дилеммой, если в нее входит три члена, то перед нами трилемма, и вообще полилемма, когда разделительная посылка содержит больше двух членов.

ДИСКУССИЯ (от лат. discussio — рассмотрение, исследование) — обсуждение к.-л. вопроса или группы связанных вопросов компетентными лицами с намерением достичь взаимоприемлемого решения. Д. является разновидностью спора, близкой к полемике, и представляет собой серию утверждений, по очереди высказываемых участниками. Заявления последних должны относится к одному и тому же предмету или теме, что сообщает обсуждению необходимую связность. Сама тема Д. обычно формулируется до ее начала

ДИХОТОМИЯ (от греч, dicha и tome - рассечение на две части) — деление объема понятия на две взаимоисключающие части, полностью исчерпывающие объем делимого понятия. Основанием дихотомического деления объема понятия служит наличие или отсутствие видообразуюшего признака.

ДОСТАТОЧНОГО ОСНОВАНИЯ ЗАКОН — принцип, требующий, чтобы в случае каждого утверждения указывались основания, в силу которых оно принимается и считается истинным.

ЗАКОН ИСКЛЮЧЕННОГО ТРЕТЬЕГО — логический закон, согласно которому истинно или само высказывание, или его отрицание. Закон устанавливает связь между противоречащими друг другу высказываниями: одно из таких высказываний истинно.

ИМПЛИКАЦИЯ (от лат. implicatio - сплетение, от implico — тесно связываю) — логическая связка, соответствующая грамматической конструкции «если..., то...», с помощью которой из двух простых высказываний образуется сложное высказывание.

ИНДУКЦИЯ (от лат. inductio - наведение) — умозаключение, в котором связь посылок и заключения не опирается на логический закон, в силу чего заключение вытекает из принятых посылок не с логической необходимостью, а только с некоторой вероятностью. И. может давать из истинных посылок ложное заключение; ее заключение может содержать информацию, отсутствующую в посылках.

ИНТЕРПРЕТАЦИЯ (от лат. interpretatio - разъяснение, истолкование) — в логике приписывание некоторого содержательного смысла, значения символам и формулам формальной системы; в результате формальная система превращается в язык, описывающий ту или иную предметную область.

КАТЕГОРИЯ (от греч. kategoria - высказывание, обвинение, признак) — предельно общее фундаментальное понятие, отражающее наиболее существенные, закономерные связи и отношения реальной действительности и познания.

КЛАССИФИКАЦИЯ — многоступенчатое, разветвленное деление логического объема понятия. Результатом К. является система соподчиненных понятий: делимое понятие является родом, новые понятия — видами, видами видов (подвидами) и т. д.

КОНЪЮНКЦИЯ (от лат. conjunctio - союз, связь) — логическая операция, с помощью которой два или более высказываний объединяются в новое сложное высказывание. Это новое высказывание называется конъюнктивным высказыванием или просто К.

КОСВЕННОЕ ДОКАЗАТЕЛЬСТВО — доказательство, в котором истинность тезиса устанавливается путем показа ошибочности противоположного ему допущения.

КРУГ В ДОКАЗАТЕЛЬСТВЕ (лат. — circulus in demonstrando)— логическая ошибка в доказательстве, заключающаяся в том, что истинность доказываемого положения (тезиса) обосновывается с помощью аргумента, истинность которого обосновывается с помощью доказываемого тезиса. Данную ошибку называют также «порочным кругом».

КРУГ В ОПРЕДЕЛЕНИИ — логическая ошибка, связанная с нарушением одного из правил определения и состоящая в том, что при определении некоторого понятия в определяющей части используется понятие, которое, в свою очередь, определяется с помощью данного определяемого понятия.

ЛЕММА (от греч. lemma — предположение) — в математике вспомогательное предложение, употребляемое при доказательстве одной или нескольких теорем. В логике — условно-разделительное, или лемматическое, умозаключение

МЕТАЯЗЫК (от греч. meta - после, за, позади) — язык, средствами которого исследуются и описываются свойства другого языка, называемого предметным, или объектным.

МЕТОД (от греч. methodos — путь, способ исследования, обучения, изложения) — совокупность приемов и операций познания и практического преобразования действительности; способ достижения определенных результатов в познании и практике.

МОДАЛЬНОСТЬ (от лат., modus — мера, способ) — оценка высказывания, данная с той или иной точки зрения. Модальная оценка выражается с помощью понятий «необходимо», «возможно», «доказуемо», «опровержимо», «обязательно», «разрешимо» и т. п.

МОДУС (лат. modus - мера, способ, образ, вид) — философский термин, обозначающий свойство предмета, присущее ему только в некоторых состояниях и зависящее от окружения предмета и тех связей, в которых он находится.

МЫШЛЕНИЕ — активный процесс отражения объективного мира в понятиях, суждениях, научных теориях, гипотезах и т. п., имеющий опосредованный, обобщенный характер, связанный с решением нетривиальных задач; высший продукт особым образом организованной материи — человеческого мозга. М. опосредствовано: а) ощущениями и восприятиями, на базе которых формируется мыслительный акт; б) прошлым опытом, благодаря чему внешние причины (объекты познания) отражаются в голове человека через посредство внутренних условий (накопленного ранее опыта); в) познанием чувственно воспринимаемого, непосредственно наблюдаемого, на основе анализа которого человек отражает в М. такие стороны действительности, которые не даны ему в непосредственном опыте (напр., с помощью М. человек формирует понятия о причинной связи, точке, бесконечности и т. п., которые не даны ему в непосредственном опыте).

«НЕ ВЫТЕКАЕТ», «НЕ СЛЕДУЕТ» (лат. поп sequitur) — логическая ошибка в доказательстве некоторого тезиса, заключающаяся в том, что между аргументами доказательства и его тезисом отсутствует логическая связь, вследствие чего аргументы не обосновывают истинности доказываемого тезиса.

«НЕДОКАЗАННОЕ ОСНОВАНИЕ» ДОКАЗАТЕЛЬСТВА — логическая ошибка, заключающаяся в том, что в число аргументов доказательства включается положение, которое само нуждается в доказательстве.

НЕПРОТИВОРЕЧИЯ ЗАКОН — логический закон, согласно которому высказывание и его отрицание не могут быть одновременно истинными. Закон говорит о противоречащих друг другу высказываниях, т. е. высказываниях, одно из которых является отрицанием другого. Отсюда иное название закона — закон противоречия, подчеркивающее, что закон отрицает противоречие, объявляет его ошибкой и тем самым требует непротиворечивости.

ОБОБЩЕНИЕ (лат. generalisatio) переход от понятия меньшей общности к понятию большей общности путем отбрасывания признаков, принадлежащих только тем элементам, которые входят в объем обобщаемого понятия. Противоположной О. является операция ограничения.

ОБРАЩЕНИЕ (лат. conversio) — в традиционной логике вид непосредственного умозаключения, в котором вывод получается путем постановки предиката посылки на место субъекта, а субъекта посылки - на место предиката.

ОГРАНИЧЕНИЕ ПОНЯТИЯ - логическая операция перехода от понятия с большим объемом к понятию с меньшим объемом, от рода к виду. Этот переход осуществляется за счет добавления к содержанию исходного понятия дополнительных признаков, принадлежащих лишь части предметов, входящих в объем исходного понятия. Напр., добавив к содержанию понятия «треугольник» свойство «быть прямоугольным», мы получим понятие «прямоугольный треугольник», которое является видовым по отношению к исходному понятию

Объем понятия - класс объектов (множество объектов), которые мыслятся в данном понятии.

ОПРЕДЕЛЕНИЕ (лат. definitio) — логическая операция, раскрывающая содержание понятия.

ОПРЕДЕЛЕНИЕ НЕЯВНОЕ — определение, не имеющее формы равенства двух понятий. К О. н. относятся определение контекстуальное, определение остенсивное, определение аксиоматическое и др. О. н. противопоставляется определению явному, приравнивающему, или отождествляющему, два понятия

ОПРЕДЕЛЕНИЕ НОМИНАЛЬНОЕ — определение, выражающее требование, как должно употребляться вводимое понятие, к каким объектам оно должно применяться. О. н. противопоставляется определению реальному, представляющему собой описание определяемых объектов. Различие между этими двумя типами определений принципиально важно, но его не всегда легко провести. Является ли некоторое определение описанием или же предписанием (требованием), во многом зависит от контекста употребления этого определения.

ОПРЕДЕЛЕНИЕ РЕАЛЬНОЕ — определение, дающее описание каких-то объектов. О. р. противопоставляется определению номинальному, выражающему требование (предписание, норму), каким должны быть рассматриваемые объекты. Различие между О. р. и определением номинальным опирается на различие между описанием и пред писанием.

ОПРЕДЕЛЕНИЕ ЯВНОЕ — определение, имеющее форму равенства двух понятий.

ОПРОВЕРЖЕНИЕ — рассуждение, направленное против выдвинутого тезиса и имеющее своей целью установление его ложности или недосказанности.

ОШИБКА ЛОГИЧЕСКАЯ — нарушения к.-л. законов, правил и схем логики. Если ошибка допущена неумышленно, она называется паралогизмом; если правила логики нарушают умышленно, то это — софизм.

ПАРАДИГМА (от греч. paradeigma — пример, образец) — совокупность теоретических и методологических положений, принятых научным сообществом на известном этапе развития науки и используемых в качестве образца, модели, стандарта для научного исследования, интерпретации, оценки и систематизации научных данных, для осмысления гипотез и решения задач, возникающих в процессе научного познания.

ПАРАДОКС (греч. paradoxos) — в широком смысле: утверждение, резко расходящееся с общепринятыми, устоявшимися мнениями, отрицание того, что представляется «безусловно правильным»; в более узком смысле — два противоположных утверждения, для каждого из которых имеются убедительные аргументы.

ПАРАЛОГИЗМ (от греч. paralogismos — неправильное, ложное рассуждение) — непреднамеренная логическая ошибка, связанная с нарушением законов и правил логики. П. следует отличать от софизма — ошибки, совершаемой намеренно, с целью ввести в заблуждение оппонента, обосновать ложное утверждение и т. п.

ПОДМЕНА ТЕЗИСА (лат. ignoratio elenchi) — логическая ошибка в доказательстве, состоящая в том, что начав доказывать некоторый тезис, постепенно в ходе доказательства переходят к доказательству другого положения, сходного с тезисом. При этом происходит нарушение закона тождества по отношению к тезису: тезис на всем протяжении доказательства должен оставаться одним и тем же.

ПОЛЕМИКА — разновидность спора, отличающаяся тем, что основные усилия спорящих сторон направлены на утверждение своей точки зрения по обсуждаемому вопросу.

ПОНЯТИЕ - мысль, которая выделяет из некоторой предметной области и собирает в класс (обобщает) объекты посредством указания на их общий и отличительный признак. Напр., понятие «четырехугольник с равными сторонами и равными углами» выделяет множество квадратов из области четырехугольников на основе признака «иметь равные стороны и равные углы».

«ПОСЛЕ ЭТОГО ЗНАЧИТ ПО ПРИЧИНЕ ЭТОГО» (лат. post hoc ergo propter hoc) — логическая ошибка, заключающаяся в том, что простую последовательность событий во времени принимают за их причинную связь. Напр., когда после появления кометы возникали какие-то несчастья, часто комету считали причиной несчастья; когда в трубке возникала пустота и вода в ней поднималась, то думали, что пустота есть причина поднятия воды и т. д.

ПОРОЧНЫЙ КРУГ — логическая ошибка в определении понятий и в доказательстве, суть которой заключается в том, что некоторое понятие определяется с помощью другого понятия, которое в свою очередь определяется через первое, или некоторый тезис доказывается с помощью аргумента, истинность которого обосновывается с помощью доказываемого тезиса.

ПРЕВРАЩЕНИЕ (лат. obversio) в традиционной логике — вид непосредственного умозаключения, характеризующегося тем, что в исходных суждениях вида A, Е, I, О (см.: Суждение) предикат Р заменяется на не-Р (т. е. на его дополнение), и наоборот, и при этом качество суждения изменяется (утвердительное суждение преобразуется в отрицательное, и наоборот), а его общность (т. е. количество суждения) остается прежней.

«ПРЕДВОСХИЩЕНИЕ ОСНОВАНИЯ» (лат. petitio principii) - ошибка логическая в доказательстве, заключающаяся в том, что в качестве аргумента (основания), обосновывающего тезис, приводится положение, которое хотя и не является заведомо ложным, однако нуждается в доказательстве.

ПРЕДИКАТ (от лат. praedicatum - сказанное) - языковое выражение, обозначающее какое-то свойство или отношение. П., указывающий на свойство отдельного предмета (напр., «быть зеленым»), называется одноместным. П., обозначающий отношение, называется двухместным, трехместным и т. д., в зависимости от числа членов данного отношения («любит», «находится между» и т. д.). В традиционной логике П. понимался только как свойство, предикативная связь означала, что предмету (субъекту) присущ определенный признак. Это ограничение существенно ослабляло выразительные возможности языка логики.

ПРИВЕДЕНИЕ К АБСУРДУ, или: Редукция к абсурду, приведение к нелепости (лат. reductio ad absurdum) — рассуждение, показывающее ошибочность какого-то положения путем выведения из него абсурда, т. е. противоречия.

ПРИЧИННАЯ СВЯЗЬ — физически необходимая связь между явлениями, при которой за одним из них всякий раз следует другое. Первое явление называется причиной, второе — действием или следствием.

ПРОБЛЕМА (от греч. problema — преграда, трудность, задача) — вопрос или целостный комплекс вопросов, возникший в ходе познания. Не каждая П., однако, сразу же приобретает вид явного вопроса, так же как не всякое исследование начинается с выдвижения П. и кончается ее решением. Иногда П. формулируется одновременно с ее решением, случается даже, что она осознается только через некоторое время после ее решения. Зачастую поиск П. сам вырастает в особую П.

РАВНООБЪЕМНОСТЬ — отношение между понятиями, объемы которых совпадают.

РАЗДЕЛИТЕЛЬНО-КАТЕГОРИЧЕСКОЕ УМОЗАКЛЮЧЕНИЕ — умозаключение, в котором одна из посылок — разделительное суждение, а другая — категорическое. Р.-к. у. имеет два модуса: 1) модус утверждающе-отрицающий; 2) модус отрицающе-утверждающий.

СВЯЗКА — в традиционной логике элемент простого суждения, соединяющий субъект и предикат. В повседневном языке С. обычно выражается словами «есть», «суть», «является» и т. п.

СИЛЛОГИЗМ (от греч. sillogismos) категорический — дедуктивное умозаключение, в котором из двух суждений, имеющих субъектно-предикатную форму («Все S суть Р», «Ни одно S не есть Р», «Некоторые 5 суть Р», «Некоторые 5 не есть Р»), следует новое суждение (заключение), имеющее также субъектно-предикатную форму (см.: Суждение).

СИМВОЛИКА ЛОГИЧЕСКАЯ — система знаков (символов), используемая в логике для обозначения термов, предикатов, выскаываний, логических функций, отношений между высказываниями. В разных логических системах могут использоваться различные системы обозначений, поэтому ниже мы приводим лишь наиболее употребительные символы из числа используемых в литературе по логике.

СОДЕРЖАНИЕ ПОНЯТИЯ - совокупность существенных признаков, с помощью которых производится выделение и обобщение объектов.

СОРИТ (от греч. soros - куча) — цепь сокращенных силлогизмов, в которых опущена или большая, или меньшая посылка. Различают два вида С.: 1) С., в котором начиная со второго силлогизма в цепи силлогизмов пропускается меньшая посылка; 2) С., в котором начиная со второго силлогизма в цепи силлогизмов пропускается большая посылка.

СОФИЗМ — рассуждение, кажущееся правильным, но содержащее скрытую логическую ошибку и служащее для придания видимости истинности ложному утверждению. С. является особым приемом интеллектуального мошенничества, попыткой выдать ложь за истину и тем самым ввести в заблуждение.

СПОР — столкновение мнений или позиций, в ходе которого стороны приводят аргументы в поддержку своих убеждений и критикуют несовместимые с последними представления другой стороны. С. является частным случаем аргументации, ее наиболее острой и напряженной формой. С. — важное средство прояснения и разрешения вопросов, вызывающих разногласия, лучшего понимания того, что не является в достаточной мере ясным и не нашло еще убедительного обоснования. Если даже участники С. не приходят в итоге к согласию, в ходе С. они лучше уясняют как позиции другой стороны, так и свои собственные. Искусство ведения С. наз. эристикой.

ТАБЛИЦА ИСТИННОСТИ — таблица, с помощью которой устанавливается истинностное значение сложного высказывания при данных значениях входящих в него простых высказываний.

ТАВТОЛОГИЯ — в обычном языке: повторение того, что уже было сказано. Напр.: «Жизнь есть жизнь». «Не повезет, так не повезет». Т. бессодержательна и пуста, она не несет никакой информации, и от нее стремятся избавиться как от ненужного балласта, загромождающего речь и затрудняющего общение.

ТЕЗИС — один из элементов доказательства, положение, истинность которого обосновывается в доказательстве.

ТЕОРИЯ (от греч. theoria — наблюдение, рассмотрение, исследование) — наиболее развитая форма организации научного знания, дающая целостное представление о закономерностях и существенных связях определенной области действительности.

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

ТОЖДЕСТВА ЗАКОН — логический закон, согласно которому всякое высказывание влечет (имплицирует) само себя.

УМОЗАКЛЮЧЕНИЯ ИЗ СУЖДЕНИЙ С ОТНОШЕНИЯМИ — умозаключения, в которых посылки и заключение представляют собой суждения с отношениями родства, равенства, по степени, по величине, по времени и т. п. Они основываются на некоторых общих логических свойствах отношений (см.: Отношение типа равенства, Отношение симметричное, Отношение транзитивное, Отношение рефлексивное, Отношение функциональное и др.).

УСЛОВНОЕ ВЫСКАЗЫВАНИЕ — сложное высказывание, формулируемое обычно с помощью связки «если..., то...» и устанавливающее, что одно событие, состояние и т. п. является в том или ином смысле основанием или условием другого.

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

ФАКТ (от лат. factum — сделанное, совершившееся) — 1) синоним понятия истина, событие, результат; нечто реальное, в противоположность вымышленному; конкретное, единичное, в отличие от абстрактного и общего; 2) в логике и методологии научного познания — особого рода предложения, фиксирующие эмпирическое знание. Как форма эмпирического знания Ф. противопоставляется теории или гипотезе.

ФАЛЬСИФИКАЦИЯ (от лат. falsus — ложный, facio - делаю) —процедура, устанавливающая ложность теории или гипотезы в результате эмпирической проверки.

ФОРМАЛЬНАЯ ЛОГИКА, или: Л о г и к а, — наука, занимающаяся анализом структуры высказываний и доказательств, обращающая основное внимание на форму в отвлечении от содержания (см.: Содержание и форма). Определение «формальная» было введено И. Кантом (1724 — 1804) с намерением подчеркнуть ведущую особенность Ф. л. в подходе к изучаемым объектам и отграничить ее тем самым от других возможных логик.

ЧАСТНОЕ СУЖДЕНИЕ — суждение, имеющее логическую структуру «Некоторые S суть Р» (частноутвердительное суждение) или «Некоторые S не есть Р» (частноотрицательное суждение).

ЭВРИСТИКА (от греч. heurisko - отыскиваю, открываю) — совокупность приемов и методов, облегчающих и упрощающих решение познавательных, конструктивных, практических задач. Э. называют также специальную научную область, изучающую специфику творческой деятельности.

ЭЙЛЕРА КРУГИ — геометрическая наглядная иллюстрация объемов понятий и отношений между ними с помощью кругов. Леонард Эйлер (1707 – 1783) – швейцарский философ, математик, механик, физик.

ЭКВИВАЛЕНТНОСТЬ, или: Равнозначность, — общее название отношений, являющихся рефлексивными, симметричными и транзитивными (см.: Отношение типа равенства).

ЭКВИВОКАЦИЯ — логическая ошибка, заключающаяся в том, что одно и то же слово используется в разных значениях в одном рассуждении. Слова естественного языка, как правило, многозначны, поэтому всегда существует опасность совершить Э. в рассуждении или в понимании рассуждения.

ЭНТИМЕМА (от греч. in thymos — в уме) — 1) рассуждение, доказательство, в котором некоторые посылки либо заключение не формулируются в явной форме, но подразумеваются; 2) силлогизм, в котором не выражена в явной форме к.-л. его часть: большая или меньшая посылка либо заключение.

ЭПИХЕЙРЕМА (от греч. epiheirema — умозаключение) — сокращенный силлогизм, в котором обе посылки представляют собой энтимемы.

ЭРИСТИКА (от греч. eristika — искусство спора) — искусство ведения спора. Э. не является отдельной наукой или разделом какой-то науки. Она представляет собой разновидность «практического искусства», принципы ее меняются от «учителя» к «учителю».

ЯЗЫК — знаковая система, используемая для целей коммуникации и познания. Все языки могут быть разделены на естественные, искусственные и частично искусственные. Первые возникают спонтанно в процессе общения членов некоторой социальной группы (напр., этнические языки); вторые создаются людьми для к.-л. специальных целей (напр., языки математики, логики, шифры и т. п.). Языки естественных и гуманитарных наук относятся к частич

⇐ Предыдущая 12