8.3. Правила и ошибки в процедурах аргументации

Правила по отношению к тезису.

1. Тезис должен быть ясно выделен и сформулирован точным образом, то есть должно быть точно сформулировано подлежащее обоснованию суждение.

Условия точности формулировки суждения мы уже разбирали. Напомним здесь, что точность формулировки суждения означает явное указание всех его смысловых аспектов:

• если суждение простое, то должны быть выделены его логические подлежащие (субъекты) и логическое сказуемое (предикат);

• если какой-то из субъектов представлен общим именем, то нужны его точные количественные характеристики («Все» или «Некоторые»);

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

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

Короче говоря, тезис не должен быть двусмысленным и неоп­ределенным по смыслу.

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

Наконец, нельзя доказывать или опровергать то, что связано с индивидуальными вкусами людей, нелепо, конечно, было бы выд­вигать на обсуждение тезис: «Килька в томате лучше кильки в масле».

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

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

Положим в суде доказывается виновность определенного чело­века в совершении преступления. Однако прокурор вместо этого доказывает, что данный человек совершил этот проступок (известно, что виновность в совершении некоторого действия со­стоит не в самом факте его осуществления, но включает также ряд моментов социально-психологического характера: способность или неспособность предвидения последствий проступка, наличие или отсутствие намерений вызвать эти последствия и т.д.). Если же при этом адвокат доказывает, что человек не совершал этого проступка, то тем самым он доказывает утверждение более сильное, чем нужно (поскольку из него следует уже невиновность). В таких случаях подмены тезиса говорят; «Человек доказывает слишком много». Хотя подмены такого рода менее грешат против логики, тем не ме­нее, и они нежелательны, потому что дают возможность противнику в споре легче опровергнуть то, что доказывают, и при этом часто под видом опровержения выдвинутого тезиса.

При анализе рассмотренного примера мы выделили две разно­видности подмены тезиса: подмена его более слабым в рассуждени­ях прокурора и более сильным в доказательстве адвоката.

Возможно, однако, и третье — когда вместо данного тезиса до­казывается утверждение просто нерелевантное ему, то есть не свя­занное с ним. Дополняя данный пример, можно было бы привести выступление какого-либо общественного защитника, который рас­суждал бы, положим, так: «Этот человек не является виновным, наоборот, он является добрым, вполне порядочным и очень добросовестным работником».

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

Акцентируем внимание на правила по отношению к аргументам.

1. Аргументы должны быть истинными утверждениями.

2. При построении доказательства аргументы должны быть доказаны. Если аргументация применяется в процессе спора, дискуссии, то аргументы должны быть приемлемы для участников, то есть должны быть элементами принятого поля аргументации.

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

Явно ложный аргумент используется в рассуждениях следующих типов, с которыми каждому в жизни нередко приходилось, наверное, встречаться. Человек возмущается, что при починке ботинок сделали очень высокие каблуки. Мастер отвечает: «Что Вы, предпочитаете совсем без каблуков ходить?» Вы упрекаете кого-то, что он ответил кому-то довольно грубо. Он возражает: «Что ж по Вашему, я лебезить перед ним должен?» Ошибку такого рода можно охарактеризовать как «из крайности - в крайность», иногда ее называют «дамский аргумент». В этих рассуждениях по существу используются ложные дизъюнкции вида А или В, где А и В - противоположности (крайности), между которыми есть промежуточные возможности, а рассуждающий склонен считать, что нет больше никаких возможностей.

Явно несостоятельными являются дoкaзaтeльcтвa, в которых, кроме обоснования самого тезиса, содержится обоснование какой либо из аргументов и в этом последнем используется сам тезис. Эта ошибка носит название «круг в доказательстве». Haпример, ученый утверждает, что число 10⁶ является натуральным (тезис). Aргументы: «Оно является членом натурального ряда, а всякий член натурального ряда есть натуральное число». Но на вопрос откуда видно, что оно является членом натурального ряда, следует ответ: «Это ясно из того, что число это является натуральным!». Иначе ошибку этого типа характеризуют иногда так: «То же через то же».

Другая ошибка, связанная с нарушением правила автономности обоснования аргументов называется «предвосхищение тезиса» petitio principii (буквально: «предвосхищение основания»). Она состоит в том, что в качестве аргумента в доказательстве используется утверждение, обоснование которого неявно предполагает уже истинность тезиса. Когда использование тезиса для обоснования такого аргумента выявляется, то есть становится явным, то возникает «круг в доказательстве». Такой аргумент представляет собой либо некоторую замаскированную переформулировку тезиса, либо, будучи сложным высказыванием, содержит тезис в качестве своей составной части. Так некоторые философы утверждали, что мир имел начало во времени, аргументируя «от противного» так: «Если бы мир не имел начало во времени, то это означало бы, что к настоящему времени была бы отсчитана бесконечность. Но бесконечность нельзя отсчитать. Следовательно, мир имел начало во времени». В аргументе «В случае бесконечности мира во време­ни была бы отсчитана бесконечность» содержится как раз утвер­ждение о том, что мир имел начало во времени. Ибо само понятие «отсчитано» указывает на то, что имеется начало и конец отсчета. Очевидно, что в таких случаях, как и в случае «крута в дoкaзaтeльстве» имеется ошибка «необоснованный аргумент».

Правило относительно формы доказательства

Это правило состоит просто в том, что рассуждение в доказа­тельстве должно быть логически правильным: в доказательстве те­зис должен следовать из аргументов. Или (в случае подтверждения) аргументы должны подтверждать тезис, то есть повышать степень вероятности его истинности.

Когда в доказательстве тезис не следует из аргументов, ошибка так и называется «не следует». В случае же, если аргументы не по­вышают степень вероятности истинности тезиса в процессе под­тверждения, ошибку можно назвать по аналогии с предыдущей «не подтверждает».

В общественной жизни многие из нас наблюдали или участвовали в такой форме диалогического процесса как спор. Противоречивые процессы общественной жизни, включающие в себя огромное количество ее субъектов, непрерывно порождают диалогические способы общения. Мы спорим дома, на работе, с продавцами в магазине. По телевидению нам показывают споры в Государственной думе, спорят политические партии, заказчики спорят с подрядчиками – спор необходимая форма общения людей. Что такое спор?

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

Существует большая разновидность спора. Его можно классифицировать по: а) по характеру цели; б) по количеству участников; в) по наличию слушателей; г) по способу общения.

Приведем несколько устоявшихся в логике советов по поводу спора.

1. Существует давний совет Аристотеля: не спорить с первым встречным, а лишь с тем, кто стремится к истине. Этим советом трудно воспользоваться, так как интересы дела иногда не позволяют выбирать оппонента для дискуссии. Однако есть случаи, когда оппоненты спорят не ради достижения истины, а ради того чтобы «себя показать», в этом случае можно прервать спор.

2. Тезис должен подходить оппонентам. Это означает, что обсуждать вопросы в аудитории, которая не в состоянии их обсуждать (из-за отсутствия знаний), по крайней мере, бесполезно.

3. Необходимо знать предмет спора. Не следует категорически высказываться о вещах, которые вам малознакомы.

4. Необходимо своевременно признавать свои ошибки.

5. В споре необходимо знать и использовать правила логики.

6. Нужно сохранять спокойствие в споре, не терять самообладания.

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

В заключении хотелось бы порекомендовать следующее:

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

2. Применяйте знания логики в процессе будущей работы: при составлении документов, при обосновании принимаемых решений, при анализе получаемой информации из СМИ и других источников.

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

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

Словарь логических символов

А, В, С, …. - понятия.

- отношение между логическим классом

- импликация, «если, то»

- отношение между элементом класса

S - субъект простого суждения

Р - предикат простого суждения

- Объединение множеств, универсум

- соединение двух текстов в один

- квантор общности

- квантор существования

- конъюнкция

- дизъюнкция

- отрицание

- символ эквивалентности

- импликация

- отрицание равенства

L - необходимо

М - можно

|= - общезначимость

› - больше

‹ - меньше

- подобно или равно

Словарь логических терминов

Абсолютно истинное высказывание - такое высказывание, которое истинно при всех возможных ситуаци­ях приписывания истинностных значений.

Абстрагирование — процесс мысленного выделения, вычленения отдельных или общих свойств и отношений кон­кретного предмета.

Абстрактная система— формализованная система, об объектах которой ничего неизвестно, кроме того, к каким категориям они принадлежат, как соотносятся между собой и как объекты соотносятся со структурой системы.

Автоморфизм — изоморфизм некоторого множества на самого себя, т.е. взаимно-однозначное соответствие структуры данного множества структуре самого себя.

Аксиома — истинное суждение, которое при дедуктив­ном построении некоторой теории принимается без доказатель­ства.

Аксиоматическая теория — теория, построенная из конечного числа постулатов, из которых с помощью задан­ных логических правил вывода дедуктивно выводятся теоре­мы.

Аксиоматический метод — метод построения ак­сиоматической теории.

Алгоритм — однозначное пошаговое описание правил решения какой-либо конкретной задачи.

Алетическая модальность— модальный оператор «необходимо» или «возможно».

Амплификация — нагромождение в речи излишних од­нозначных слов и выражений.

Амфиболия — логическая ошибка, заключающаяся в том, что грамматическое выражение допускает его двоякое тол­кование.

Анализ — логический метод, связанный с мысленным расчленением предмета на составляющие части или элементы и исследованием их в отдельности друг от друга.

Аналогия — подобие, сходство предметов в каких-либо свойствах или признаках, на основании которого делается суж­дение об их тождественности.

Анафора — повторение одной и той же мысли или одно­го и того же слова, как правило, в целях усиления высказанного.

Антагонизм — непримиримое противоречие.

Антилогизм — понятие логики, характеризующее не­совместимость посылок категорического силлогизма.

Антиномия — противоположность между двумя сужде­ниями, взаимоисключающими друг друга и в равной степени обоснованными.

Антитеза — положение, противоположное тезису.

Антитезис — суждение, противопоставляемое тезису в процессе спора или полемики.

Антиципация — преждевременное совершение логической операции.

Апогогическое доказательство— непрямое или косвенное доказательство, связанное с допущением в качестве заключения такого суждения, которое противоречит исходно­му заключению.

Аподиктический — безусловный, достоверный, ос­нованный на логической необходимости.

Апологетика— необъективная, нарочито предвзятая за­щита какого-то тезиса.

Апорема — трудно разрешимая логическая проблема, за­труднение.

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

Апостериорное знание — знание, приобретенное при помощи опыта.

Априорное знание — знание, приобретенное до опы­та.

Аргумент — суждение, посредством которого обосновывается истинность другого суждения, тезиса.

Афазия — воздержание от уверенных высказываний и суждений о чем-либо.

БЕЗОТНОСИТЕЛЬНОЕ ПОНЯТИЕ — понятие, которое не находится в непосредственной связи с другими понятиями.

БЕЗУСЛОВНАЯ АНАЛОГИЯ — аналогия, которая приме­няется тогда, когда точно и определенно установлена связь между общими признаками, имеющимися у обоих сопоставля­емых предметов.

БЕЗУСЛОВНОГО ТОЖДЕСТВА ЗАКОН — одна из форм тождества, согласно которой мысли, имеющие одно и то же содержание и выраженные в одной форме, считаются тожде­ственными.

БЕЗУСЛОВНОЕ СУЖДЕНИЕ — суждение, в котором что-либо утверждается (отрицается) вне зависимости от какого-либо условия.

БЛИЖАЙШИЙ РОД — непосредственно более широкий класс предметов, в который в качестве вида входит рассматри­ваемый предмет.

БОЛЬШАЯ ПОСЫЛКА — посылка, в которую входит боль­ший термин.

БОЛЬШИЙ ТЕРМИН — термин, который является преди­катом заключения простого категорического силлогизма.

ВВЕДЕНИЯ КОНЪЮНКЦИИ ПРАВИЛО — правило, зак­лючающееся в том, что к доказательству можно присоединить конъюнкцию, если в числе строк доказательства имеются оба ее члена.

.

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

ВЕРОЯТНОСТНОЕ СУЖДЕНИЕ — суждение, в котором что-либо утверждается (отрицается) с известной степенью пред­положительности.

ВЕРОЯТНОСТНАЯ ЛОГИКА — логика, исследующая ве­роятностные суждения, базирующиеся не только на двух зна­чениях истинности (истина и ложь), но и на значениях истин­ности, располагающихся между истинностью и ложностью.

ВЕРОЯТНОСТЬ — степень возможности какого-либо оп­ределенного события.

ВЗАИМНО-ОДНОЗНАЧНОЕ ОТНОШЕНИЕ — такое отно­шение, когда каждому значению у, входящему в формулу xRy, соответствует одно-единственное значение х.

ВЗАИМНО-ОДНОЗНАЧНОЕ СООТВЕТСТВИЕ — такое со­ответствие между элементами двух множеств, когда каждому элементу первого множества некоторым образом поставлен в соответствие один определенный элемент второго множества.

ВЗАИМОЗАМЕНИМОСТИ ПРИНЦИП - принятое в логи­ческой семантике положение, согласно которому возможна такая замена языкового выражения другим языковым выраже­нием в данном контексте, что при этом логический смысл кон­текста не меняется.

ВИДОВОЕ ОТЛИЧИЕ — признак, отличающий предмет одного вида от предметов других видов, входящих в один и тот же род.

ВИДОВОЕ ПОНЯТИЕ — понятие, которое отображает существенные признаки класса предметов, являющихся видом какого-либо рода.

ВИРТУАЛЬНЫЙ — такой возможный объект, который нами еще не воспринимается как нечто вполне определенное, но способный при наличии некоторых условий возникнуть, про­явиться.

ВРЕМЕННАЯ (ТЕМПОРАЛЬНАЯ) ЛОГИКА — одно из на­правлений современной модальной (неклассической) логики, применяющее логический аппарат для анализа корректности суждений, содержащих в себе модальности временной упоря­доченности явлений, отношений и действий типа «раньше», «по­зднее», «одновременно» и т.п.

ВСЕГДА ИСТИННЫЕ ВЫСКАЗЫВАНИЯ (ТАВТОЛО­ГИИ) — высказывания, которые всегда принимают только зна­чения «истина».

ВСЕГДА ЛОЖНЫЕ ВЫСКАЗЫВАНИЯ (ЛОГИЧЕСКИЕ ПРОТИВОРЕЧИЯ) — высказывания, принимающие только зна­чения «ложь».

ВЫВОД — последовательность высказываний или формул, состоящая из аксиом, посылок и ранее доказанных высказыва­ний (теорем). Последняя из формул данной последовательнос­ти, выведенная как непосредственное следствие предыдущих формул но одному из правил вывода, представляет собою до­казуемую формулу.

ВЫСКАЗЫВАНИЕ — термин в логике, которым обознача­ется логический смысл какого-либо простого повествователь­ного предложения естественного языка.

ГЕНЕТИЧЕСКИЙ МЕТОД — метод исследования какого-либо предмета, основанный на анализе процесса его возникно­вения, становления, перехода от низших ступеней к высшим.

ГЕНЕТИЧЕСКОЕ ДОКАЗАТЕЛЬСТВО — вид доказатель­ства, в котором используется генетический метод.

ГЕРМЕНЕВТИКА — раздел эпистемологии и методологии науки, связанный с истолкованием текстов, их пониманием, смыслом.

ГИПОСТАЗИРОВАТЬ — утверждать факт существования каких-либо объектов на том только основании, что существуют слова, обозначающие такие объекты.

ГИПОТАКСИС — подчинение или зависимость чего-либо от другого.

ГИПОТЕЗА — вероятное предположение о причине како­го-либо явления, достоверность чего еще не доказана ни нау­кой, ни практикой.

ГИПОТЕТИКО-ДЕДУКТИВНЫЙ МЕТОД — способ науч­ного исследования, согласно которому вначале выдвигаются не­сколько гипотез о причинах изучаемых явлений, а затем де­дуктивным путем из гипотез выводятся следствия.

ГЛОССА — интерпретация непонятного или малоупотребимого слова.

ГОМОГЕННЫЙ — однородный, состоящий из одних и тех же компонентов.

ГОМОМОРФИЗМ — такое отношение между двумя сово­купностями объектов, когда каждому объекту (а) первой сово­купности ставится в соответствие только один предмет (в) из второй совокупности.

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

ДЕДУКТИВНОЕ УМОЗАКЛЮЧЕНИЕ — умозаключение, которое обеспечивает при истинности посылок и соблюдении правил логического вывода истинность заключения, следую­щего из этих посылок.

ДЕДУКЦИЯ — в широком смысле такая форма мышле­ния, когда новая мысль выводится чисто логическим путем. В узком смысле, принятом в традиционной логике, это дедук­тивное умозаключение. В целом в логике, дедукция — это пос­ледовательность мыслей или суждений, каждый компонент ко­торой логически вытекает из предыдущих мыслей или сужде­ний.

ДЕДУЦИРОВАТЬ — выводить какие-либо заключения из данных посылок по правилам логики.

ДЕЛЕНИЕ ОБЪЕМА ПОНЯТИЙ — логическая операция, заключающаяся в том, что предметы, отображенные в поня­тии, делятся на виды.

ДЕЛИМОЕ ПОНЯТИЕ — понятие, объем которого подвер­гается делению.

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

ДЕНОМИНАЦИЯ — переименование.

ДЕНОТАТ — в самом широком смысле вещь, предмет, ко­торый мы имеем в виду, обозначая собственным именем.

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

ДЕСИГНАТ — значение имени, объект, обозначаемый по­средством данного имени.

ДЕСКРИПТИВНОЕ ПРЕДЛОЖЕНИЕ — описывающее предложение, которое может квалифицироваться с точки зре­ния истинности.

ДЕСКРИПЦИЯ — логико-лингвистический термин, кото­рый предназначен для указания на предметы в виде дополни­тельного имени, например: «тот, который...»

ДЕФИНИЦИЯ — логическая операция определения.

ДИЗЪЮНКЦИЯ — логический оператор, предназначенный для экспликации грамматического союза «или».

ДИХОТОМИЧЕСКОЕ ДЕЛЕНИЕ ОБЪЕМА ПОНЯТИЯ — вид деления объема понятия, когда объем делится на два про­тиворечащих друг другу видовых понятия А и не-А, полностью исчерпывающих объем делимого понятия.

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

ДОКАЗАТЕЛЬСТВО ПО СУЩЕСТВУ — доказательство, в котором исследуется содержание оснований и логическая связь между ними.

ЕДИНИЧНОЕ ПОНЯТИЕ — понятие, в котором отобража­ются признаки какого-то одного-единственного предмета.

ЕДИНИЧНОЕ СУЖДЕНИЕ — такое суждение, в котором что-то утверждается или отрицается об отдельном предмете.

ЗНАК — материально-чувственно воспринимаемый объект, который символически отсылает нас к реальному объекту, обо­значает его.

ЗНАЧЕНИЕ — характеристика именования предметов, ко­торая характеризует то, чем данный объект является для лю­дей.

ИМПЕРАТИВ — безусловное требование, приказ.

ИМПЛИКАТИВНОЕ СУЖДЕНИЕ — суждение типа «если…, то…». Оно выражает причинно-следственные отноше­ния.

ИМПЛИКАЦИЯ — логический оператор, выражающий при­чинно-следственные отношения.

ИМЯ — языковое выражение, непосредственно обознача­ющее какой-либо предмет.

ИНВЕРСИЯ — преобразование условного суждения в но­вое условное суждение.

ИНДУКТИВНАЯ ЛОГИКА — раздел логики, в котором ис­следуются умозаключения, в которых мысль развивается от единичного к общему.

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

ИНДУКТИВНОЕ ОПРЕДЕЛЕНИЕ — такое определение, которое позволяет из некоторых исходных объектов теории путем применения к ним логических операций построить но­вые объекты теории.

ИНДУКЦИЯ — в широком смысле это форма мышления, посредством которой мысль наводится на какое-либо общее правило, присущее всем единичным предметам какого-либо класса.

ИНТЕРПОЛЯЦИЯ — нахождение по ряду данных значе­ний функции промежуточных ее значений.

ИНТЕРПРЕТАЦИЯ — систематические приписывание фор­мулам какого-либо искусственного языка значений истинности.

ИСКЛЮЧЕНИЯ МЕТОД — способ доказательства како­го-либо положения путем перечисления всех частных случаев, содержащихся в этом положении, доказывая их невозможность за исключением одного, относительно которого ведется дока­зательство.

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

ИСТИННОЕ ЗНАЧЕНИЕ — основное качество высказы­ваний. связанное с приписыванием им значений «истинно» или «ложно».

КАТЕГОРИЧЕСКИЙ СИЛЛОГИЗМ — силлогизм, в кото­ром вывод получается из двух посылок, являющихся категори­ческими суждениями.

КВАНТОР — логический оператор логики предикатов, вы­ражающий отношения всеобщности или единичности.

КЛАССИФИКАЦИЯ — распределение предметов какого-либо рода на взаимосвязанные классы согласно наиболее су­щественным признакам.

КОМПЛЕКСНАЯ ЛОГИКА — одно из направлений неклас­сической логики, в котором результат логического вывода оп­ределяется как следствие ранее добытых знаний.

КОНКРЕТНОЕ ПОНЯТИЕ — понятие, в котором отобра­жен определенный предмет или класс предметов.

КОННОТАЦИЯ — дополнительные черты, которые сопут­ствуют основному содержанию данного высказывания.

КОНСЕКВЕНТ — заключительная часть импликации, сим­волизирующая собою следствие, выводимое из причины.

КОНСТАНТА — в логике постоянное выражение, значе­ние которого не меняется.

КОНТРАРНОЕ ОТНОШЕНИЕ — отношение между проти­воположными суждениями, которые вместе не могут быть ис­тинными, но оба могут быть ложными.

КОНЪЮНКЦИЯ — логический оператор, соответствующий грамматическому союзу «и».

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

ЛОГИЧЕСКИЕ ОШИБКИ — ошибки в умозаключениях, рассуждениях, определениях понятий, доказательствах и опро­вержениях. Ошибки делятся на следующие группы:

1) ложное основание или основное заблуждение, когда дока­зываемый тезис пытаются вывести из ложных посылок;

2) предвосхищение основания, когда доказываемый тезис пы­таются вывести из таких посылок, которые сами еще не доказаны;

3) порочный круг в доказательстве, когда тезис выводится из посылок, которые в свою очередь выводятся из тезиса;

4) подмена тезиса, выражающаяся в том, что, начав доказы­вать один тезис, в процессе доказательства его подменяют

другим;

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

ЛОГИЧЕСКОЕ ПРОТИВОРЕЧИЕ — логическая ошибка, связанная с тем, что в рассуждении допускается утверждение одновременно с его отрицанием.

ЛОГИЧЕСКОЕ СЛЕДСТВИЕ — суждение, получаемое в результате вывода из посылок по логическим правилам.

ЛОГОМАХИЯ — такой спор, когда спорящие, не опреде­лив вначале с точностью предмет спора, опровергают друг дру­га или не соглашаются друг с другом.

МЕТАЯЗЫК — язык, на основе которого производится ис­следование какого-то другого языка.

МНОГОЗНАЧНАЯ ЛОГИКА — раздел логики, в котором используются кроме классических значений «истина» и «ложь» и другие значения.

МОДАЛЬНАЯ ЛОГИКА — неклассическая логика, связан­ная с применением методов логики для анализа рассуждений, включающих в себя модусы суждений, их модальности.

МОДАЛЬНОСТЬ — характеристика суждения в зависимо­сти от его степени возможности, необходимости, обязательно­сти и т.п.

НЕКОРРЕКТНЫЙ — неправильный.

НЕПОЛНАЯ ИНДУКЦИЯ — вид индуктивного умозаклю­чения, в результате которого получается какой-нибудь общий вывод о всем классе предметов на основании знания лишь не­которых предметов данного класса.

НЕПОЛНАЯ АНАЛОГИЯ — такая аналогия, когда ход умо­заключения идет следующим образом: предметы, сходные с С по некоторым свойствам, должны воспроизводить явление В, но из известных нам знаний о предмете, вследствие наиболь­шего сходства их с С, мы имеем сравнительно наибольшее ос­нование предполагать, что он подойдет под очерченную груп­пу, следовательно, имеем право и ожидать встретить в нем явление В.

НОМИНАЛЬНОЕ ОПРЕДЕЛЕНИЕ — объяснение значения слова, имени или термина, обозначающего это понятие.

НОМИНАТ — значение имени.

ОБЩЕЕ ПОНЯТИЕ — понятие, в котором отображены при знаки класса предметов.

ОБЩЕЗНАЧИМАЯ ФОРМУЛА — формула, которая при­нимает только значение «истина».

ОБЩЕУТВЕРДИТЕЛЬНОЕ СУЖДЕНИЕ — суждение, ко­торое имеет вид: «Все S есть Р».

ОБЪЕМ ПОНЯТИЯ — множество предметов, которые объе­динены общим признаком, свойственным данному понятию.

ОМОНИМИЯ — логическая ошибка, которая происходит вследствие того, что одно и то же по звуку слово может упот­ребляться в одном рассуждении для обозначения разных пред­метов.

ОПЕРАЦИОНАЛЬНОЕ ОПРЕДЕЛЕНИЕ - определение, которое содержит в себе указание на какое-то действие, опера­цию.

ОПРЕДЕЛЕНИЕ ЧЕРЕЗ БЛИЖАЙШИЙ РОД И ВИДО­ВЫЕ ОТЛИЧИЯ — логическая операция, которая заключается в том, что для определяемого понятия подыскивается ближай­ший род с отличительными признаками вида.

ОПРЕДЕЛЕНИЕ ПОНЯТИЯ ЧЕРЕЗ ОТНОШЕНИЕ - опе­рация, которая заключается в том, что определяемое понятие соотносится с другим понятием.

ОПРЕДЕЛЕНИЕ ЧЕРЕЗ ПРОТИВОПОЛОЖНОСТЬ –операция, посредством которой определяемое соотносится с про­тивоположным понятием.

ОПРЕДЕЛЕНИЕ ЧЕРЕЗ АБСТРАКЦИЮ - определение, в котором свойства множеств определяются через установле­ние отношения равенства между изучаемыми множествами.

ОСНОВАНИЕ ДЕЛЕНИЯ ПОНЯТИЯ — признак, который дает возможность разделить объем родового понятия на виды.

ОСТЕНСИВНОЕ ОПРЕДЕЛЕНИЕ — такое определение, когда непосредственно указывается предмет, который обозна­чается словом или термином.

ОТНОСИТЕЛЬНОЕ ПОНЯТИЕ — понятие, отображающее признаки предметов, существование которых связано с суще­ствованием других предметов.

ОТРИЦАНИЕ — логическая операция, заключающаяся в том, что истинному высказыванию противопоставляется лож­ное высказывание.

ПАРАДИГМА — пример, образец.

ПАРАДОКС — рассуждение, приводящее к взаимоисклю­чающим последствиям.

ПАРАЛОГИЗМ — логическая ошибка в умозаключении, происшедшая непредумышленно.

ПАРАФРАЗА — передача своими словами чужой мысли.

ПЕРЕМЕННАЯ — буква или символ, на место которого мо­жет быть подставлено любое значение из выбранной области интерпретации.

ПОДЧИНЕНИЕ ПОНЯТИЙ — такое отношение между по­нятиями, когда объем одного понятия входит в объем другого понятия.

ПОЛИСЕМИЯ — многозначность слова.

ПОЛИСИЛЛОГИЗМ — сложный силлогизм, состоящий из нескольких простых силлогизмов.

ПОЛНАЯ ИНДУКЦИЯ — вид индуктивного умозаключе­ния, в результате которого делается общий вывод о всем клас­се предметов на основании знания всех без исключения при­знаков этих предметов.

ПОНЯТИЕ — форма мышления, отображающая в себе су­щественные, закономерные признаки предмета.

ПОСЫЛКА — часть рассуждения, в которой содержится известная исследователю информация о предмете изучения.

РАБУЛИСТИКА — словесные ухищрения, крючкотворство, словоблудие.

РАВЕНСТВО — отношение эквивалентности между высказываниями.

РАЗДЕЛИТЕЛЬНОЕ СУЖДЕНИЕ — суждение, в котором выражается знание того, что данному предмету присущ (или не присущ) только один какой-либо признак из числа тех при­знаков, который указываются в этом суждении. Формула раз­делительного суждения записывается следующим образом: S есть Р1, или Р2, или РЗ, или Р4.

РАЗДЕЛИТЕЛЬНЫЙ КАТЕГОРИЧЕСКИЙ СИЛЛО­ГИЗМ — силлогизм, в котором разделительная посылка фик­сирует ряд исключающих друг друга свойств, одно из которых может принадлежать предмету; категорическая посылка отри­цает все — каждое в отдельности — свойства, отображенные в разделительной посылке, кроме одного.

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

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

Если А есть В, то А есть К

Если А есть С, то А есть К

_______________________

А есть К

РАЗДЕЛЯЮЩЕЕ СУЖДЕНИЕ — суждение, в котором вы­ражается результат деления какого-либо класса на подклассы.

РАСПРЕДЕЛЕНИЕ ТЕРМИНОВ В СУЖДЕНИИ - отно­шение между объемами терминов (субъектов и предикатов) в суждении.

РАСПРЕДЕЛИТЕЛЬНАЯ АНАЛОГИЯ — аналогия, в ко­торой заключают от сходства явлений к сходству причин.

РАССУЖДЕНИЕ — цепь умозаключений на какую-либо тему, изложенных в логически последовательной форме.

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

РЕГРЕССИВНОЕ ДОКАЗАТЕЛЬСТВО — доказательство, в котором ход рассуждений идет от следствия к основаниям. Возможны два вида регрессивного доказательства: 1) Когда до­казательство восходит от доказываемой мысли к ее основани­ям.

2) Когда доказательство восходит от фактов, как следствий, к доказывающему положению, как к основанию.

РИТОРИКА — учение об ораторском искусстве, теория крас­норечия.

РОДОВОЕ ПОНЯТИЕ — понятие, которое выражает суще­ственные признаки класса предметов, являющегося родом ка­ких-либо видов.

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

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

СИМВОЛИЧЕСКАЯ ЛОГИКА — одно из названий фор­мальной логики, математической логики.

СЛОЖНЫЙ СИЛЛОГИЗМ — силлогизм, состоящий из не­скольких простых силлогизмов.

СМЫСЛ — содержание знакового выражения; мысль, со­держащаяся в слове.

СОБИРАТЕЛЬНОЕ ПОНЯТИЕ — понятие, в котором ото­бражены признаки совокупности однородных предметов.

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

СОЕДИНИТЕЛЬНОЕ СУЖДЕНИЕ — суждение, в котором утверждается или отрицается принадлежность предмету не­скольких совместных признаков.

СОКРАЩЕННЫЙ СИЛЛОГИЗМ (энтимема) — силлогизм, в котором пропущена одна или несколько посылок.

СОРАЗМЕРНОСТЬ ДЕЛЕНИЯ ПОНЯТИЯ — характерис­тика, выражающая то, что при делении понятия необходимо точно перечислить все виды, входящие в объем делимого по­нятия.

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

СРЕДНИЙ ТЕРМИН СИЛЛОГИЗМА — термин, который является общим для всех посылок силлогизма.

СТРОГАЯ АНАЛОГИЯ — аналогия, основанная на знании того, что признаки сравниваемых предметов находятся в стро­гой зависимости.

СУЖДЕНИЕ — формы мысли, в которой что-либо утвер­ждается или отрицается относительно предмета, его свойств, отношений или класса предметов.

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

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

ТЕОРЕМА — положение, которое по правилам особого рода выводится из аксиом.

ТЕРМИН — слово или словосочетание.

ТОЖДЕСТВЕННЫЕ ПОНЯТИЯ — понятия, имеющие один и тот же объем, т.е. отображающие один и тот же предмет.

ТРАНЗИТИВНОСТЬ — свойство отношений, состоящее в том, что если первый член отношения сравним со вторым, а второй с третьим, то первый сравним с третьим.

УСЛОВНОЕ СУЖДЕНИЕ — суждение, в котором отобра­жается зависимость того или иного явления от каких-либо ус­ловий.

УСЛОВНЫЙ СИЛЛОГИЗМ — силлогизм, в котором по крайней мере одна из посылок является условным суждением.

ФИГУРА СИЛЛОГИЗМА — форма силлогизма, определя­емая положением среднего термина в посылках

ФОРМАЛИЗАЦИЯ — метод исследования, связанный с ис­пользованием искусственного языка, способствующего тому, что системы логических рассуждений трансформируются в формализованные исчисления, состоящие из формул.

ФОРМАЛИЗОВАННЫЙ ЯЗЫК — искусственный язык фор­мально-логических исчислений, язык знаков, формул, символов.