Глоссарий по логике

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

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

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

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

ГИПОТЕТИЧЕСКОЕ УТВЕРЖДЕНИЕ - утверждение, которое высказывается не как установленная истина, а как некое предположение, способное оказаться как истинным, так и ложным, напр.: «Возможно, что Наполеон был отравлен», «По-видимому, завтра будет хорошая погода». Важной разновидностью Г. у. является гипотеза.

 

ГОМОМОРФИЗМ, ИЗОМОРФИЗМ - логико-математические понятия, выражающие уподобление (гомоморфизм) либо одинаковость (изоморфизм) строения систем. Две системы А и В называются изоморфными, если между их элементами, а также функциями, свойствами и отношениями, имеющими смысл для этих систем, существует или может быть установлено взаимно-одно­значное соответствие. Для изоморфных систем A и В выполняются следующие условия: 1) каждому элементу о из A соответствует единственный элемент b из В, и наоборот; 2) каждой функции f, определенной на элементах А и принимающей значения в А, соответствует единственная функция g, определенная на элементах В, и наоборот; 3) каждому свойству Р, которым обладают к.-л. элементы системы А, соответствует взаимно-однозначное свойство элементов В, и наоборот. Ослабление перечисленных условий, скажем, требование взаимно-однозначного соответствия только в одну сторону, приводит к более общему, но и более слабому отношению Г. Изоморфный образ полностью воспроизводит отображаемую систему, напр., зеркальное отображение изоморфно отображаемому предмету, схема радиоприемника изоморфна самому приемнику. Гомоморфный образ лишь отчасти похож на свой оригинал, напр., карта местности воспроизводит лишь некоторые черты этой местности, перевод языкового текста лишь отчасти похож на оригинал. Всякий И. есть Г., но не наоборот.

 

 

Д

ДВОЙНОГО ОТРИЦАНИЯ ЗАКОН, см.: Закон двойного отрицания.

ДВУЗНАЧНАЯ ЛОГИКА - логика, опирающаяся на двузначности (бивалентности) принцип. Двузначной логической системой является логика классическая. Обычно термины «Д.л.» и «классическая логика» используются как равнозначные.

ДВУЗНАЧНОСТИ ПРИНЦИП - принцип, в соответствии с которым всякое высказывание либо истинно, либо ложно, т. е. имеет одно из двух возможных истинностных значений — «истинно» и «ложно». Этот принцип лежит в основе логики классической, которую называют также двузначной логикой.

 

 

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

 

ДЕЛЕНИЕ ЛОГИЧЕСКОЕ - логическая операция, посредством которой объем делимого понятия распределяется на известные классы (множества) с точки зрения некоторого признака. Посредством операции Д. л. раскрывается объем того или иного понятия, выясняется, из каких подмножеств состоит множество, соответствующее делимому понятию.

 

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

 

ДЕОНТИЧЕСКАЯ МОДАЛЬНОСТЬ (от греч. deon - долг, правильность), или: Нормативная модальность, модальность долженствования - характеристика практического действия с точки зрения определенной системы норм. Нормативный статус действия обычно выражается понятиями «обязательно», «разрешено», «запрещено», «(нормативно) безразлично», используемыми в нормативном высказывании.

 

ДЕСКРИПЦИЯ ОПРЕДЕЛЕННАЯ (от лат. descriptio - описание) - языковое выражение, служащее для обозначения единичных объектов посредством описания их свойств или отношений к другим объектам. В языке Д. о. выполняет те же функции, что и собственное имя. Объект можно обозначить именем, напр. «Гомер», «Эверест», «Авраам Линкольн», но и его же можно выделить и посредством Д. о.: «Тот древнегреческий поэт, которому приписывают авторство "Илиады" и "Одиссеи"», «Та горная вершина, которая является самой высокой на земном шаре», «Тот президент США, который возглавил борьбу за освобождение нефов». Д. о. необходима тогда, когда в языке нет собственного имени для некоторого объекта, напр.: «самый глупый человек на Земле», «изобретатель колеса», «самая плодоносная яблоня в данном саду». Однако Д.о. может относиться и к тем объектам, которые обозначаются собственными именами.

Для того чтобы использование  Д.о. не приводило к противоречиям, она должна удовлетворять следующим  двум условиям: 1) существования: объект, к которому относится Д.о., должен существовать; 2) единственности: этот объект должен быть единственным.

 

ДИАГРАММЫ ВЕННА  - геометрическое наглядное представление отношений между классами (объемами понятий) в булевой алгебре с помощью кругов или иных фигур. Д. В. были введены в логику в конце XIX в. англ. логиком Дж. Венном.

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

ДИЗЪЮНКТИВНЫЙ СИЛЛОГИЗМ, см.: Модус понендо толленс. Модус толлендо поненс.

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

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

 

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

 

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

ДОКАЗАТЕЛЬСТВО КОНСТРУКТИВНОЕ, см.: Конструктивная логика.

ДОКАЗАТЕЛЬСТВО ОТ ПРОТИВНОГО, см.: Косвенное доказательство.

ДОКАЗАТЕЛЬСТВО ПО СЛУЧАЯМ, или: Доказательство разбором случаев - логически правильное рассуждение, когда от нескольких условных высказываний (посылок), имеющих одинаковое следствие, осуществляется переход к утверждению этого следствия путем установления того, что по меньшей мере одно из оснований условных высказываний истинно. В наиболее простом случае посылками являются высказывания: «Если есть первое, то есть третье», «Если есть второе, то есть третье» и «Есть первое или есть второе», заключением — высказывание «Есть третье». Напр.: «Если будет дождь, мы пойдем в кино; если будет холодно, мы пойдем в кино; будет дождь или будет холодно; значит, мы пойдем в кино».

ДОКАЗУЕМОСТЬ, см.: Доказательство.

ДОПОЛНЕНИЕ К МНОЖЕСТВУ  - такое множество не-А, когда A + не-А = 1, где 1 обозначает некоторую предметную область (универсальный класс). Пусть A будет множеством млекопитающих, а областью нашего рассуждения будет множество позвоночных животных. Тогда дополнением к нему (не-А) будет множество «немлекопитающие», которое включает множества: рыб, круглоротых, земноводных, пресмыкающихся и птиц. Сложив множество млекопитающих (A) с множеством не-млекопитающих (не-А), мы получим класс позвоночных, т. е. некоторый универсальный класс, обозначаемый 1.

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

ДОСТАТОЧНОЕ УСЛОВИЕ, см.: Условное высказывание.

ДОСТОВЕРНОСТЬ  - обоснованность, доказательность, бесспорность знания. Достоверное суждение - такое суждение, в котором высказывается твердо обоснованное знание, напр.: «Луна — спутник Земли», «Вода кипит при 100 °С» и т. п. Достоверные суждения разделяются на два вида: ассерторические, констатирующие реальное положение дел, и аподиктические, утверждающие необходимую связь явлений. Д. суждений обеспечивается эмпирическим подтверждением, экспериментальными данными, общественной практикой.

 

 

З

 

ЗАБЛУЖДЕНИЕ - гносеологическая оценка знания, выражающая его ограниченный характер. Марксистская гносеология и методология научного познания используют четыре истинностные оценки знания: истина — ложь, относительная истина - абсолютная истина. Первая пара понятий используется при анализе структуры научного знания в некоторый период его развития при проверке, подтверждении и опровержении законов и теорий, при установлении их соответствия действительности. При таком подходе все научные утверждения и теории разделяются на два класса — истинные и ложные, соответствующие действительности и не соответствующие ей. Когда мы переходим к рассмотрению развития знания, пара понятий «истина — ложь» уже не может служить для истинностной оценки.

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

 

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

 

ЗАКОН ДВОЙНОГО ОТРИЦАНИЯ - закон логики, позволяющий отбрасывать двойное отрицание. Его можно сформулировать так: отрицание отрицания дает утверждение, или: повторенное дважды отрицание ведет к утверждению. Напр.: «Если неверно, что Вселенная не является бесконечной, то она бесконечна».

 

ЗАКОН ДЕ МОРГАНА - общее название логических законов, связывающих с помощью отрицания конъюнкцию («и») и дизъюнкцию («или»). Названы именем англ. логика XIX в. А. де Моргана.

 

ЗАКОН ДИСТРИБУТИВНОСТИ (от англ. distribution - распределение, размещение)  - общее название группы логических законов сходной структуры. Эти законы позволяют распределить одну ло­гическую связь относительно другой.

 

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

ЗАКОН ИМПОРТАЦИИ, см.: Закон экспортации — импортации.

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

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