Словарь терминов по логике

Последнее обновление: 29 Ноябрь 2018.

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

Абсолютные и Сравнительные Модальности — модальные характеристики, приложимые к отдельным объектам и, соответственно, к парам объектов. А. м. выступают как свойства объектов. С. м. — как отношения между объектами.

Абстрактный Предмет — (англ. — abstract entity) — предмет, не существующий в действительности, созданный нашим воображением.

Абстракция — (от лат. abstractio — отвлечение) — 1) процесс отвлечения от некоторых характеристик (свойств, отношений) изучаемых предметов и явлений, от реальных носителей интересующих нас характеристик; 2) результат этого отвлечения, представляющий собой некоторый абстрактный предмет.

Абсурд — (от лат. absurdus — нелепый, глупый) — в логике под А. обычно понимается противоречивое выражение. В таком выражении что-то утверждается и отрицается одновременно, как, напр., в высказывании «Тщеславие существует и тщеславия нет».

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

Автонимное Употребление Выражений — (от греч. autosсам, опота — имя) — употребление выражений в качестве обозначений самих себя.

Аксиологическая Модальность — (от греч. axios — ценный, logos — понятие, учение), или: Оценочная модальность, — характеристика объекта с точки зрения определенной системы ценностей.

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

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

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

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

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

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

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

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

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

Аналогия — (от греч. analogia — соответствие) — сходство между предметами, явлениями и т. д.

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

Антиномия — (от греч. antinomia — противоречие в законе) рассуждение, доказывающее, что два высказывания, являющиеся отрицанием друг друга, вытекают одно из другого.

Антиномия Рассела — одна из наиболее известных логических антиномий, обнаруженная в начале этого века англ. философом и логиком Б. Расселом (1872—1970). А. Р. связана с понятием множества. Относительно каждого множества представляется осмысленным задать вопрос, является оно своим собственным элементом или нет.

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

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

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

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

Аргумент к Авторитету — (от лат. i pse dixit — сам сказал) обоснование утверждения или действия путем ссылки на какойто авторитет. А. к а. необходим, хотя и недостаточен, в случае обоснования предписаний (команд, директив, законов государства и т. п.). Он важен также при обсуждении ценности советов, пожеланий, методологических и иных рекомендаций.

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

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

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

Аргумент к Силе — («палочный» довод) — убеждение силой, угроза неприятными последствиями и, в частности, угроза применения насилия или прямое употребление каких-то средств принуждения с целью склонить оппонента в споре на свою сторону.

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

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

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

Аргументация — (от лат. argumentatio — приведение аргументов) — приведение доводов, или аргументов, с намерением вызвать или усилить сочувствие другой стороны к выдвинутому положению; совокупность таких доводов.

Аргументация Контекстуальная — аргументация, эффективность которой ограничена лишь некоторыми аудиториями.

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

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

Ассерторический — (от лат. asserto — утверждаю) — установленный, достоверный. А. суждение утверждает нечто действительно существующее, установленное, достоверное.