Дедукция (от лат. Deductio — выведение)
— переход от посылок к заключению, опирающийся на логический закон, в силу чего заключение с логической необходимостью следует из принятых посылок. Характерная особенность Д. заключается в том, что от истинных посылок она всегда ведет только к истинному заключению.
Д. как умозаключению, опирающемуся на логический закон и с необходимостью дающему истинное заключение из истинных посылок, противопоставляется индукция — умозаключение, не опирающееся на закон логики и ведущее от истинных посылок к вероятному, или проблематичному, заключению.
Дедуктивными являются, напр., умозаключения:
Если лед нагревается, он тает.
Лед нагревается.
Лед тает.
[72]
Всякий газ летуч.
Неон — газ.
Неон летуч.
Черта, отделяющая посылки от заключения, стоит вместо слова «следовательно».
Примерами индукции могут служить рассуждения:
Канада — республика; США — республика.
Канада и США — североамериканские государства.
Все североамериканские государства являются республиками.
Италия — республика; Португалия — республика; Финляндия — республика; Франция — республика.
Италия, Португалия, Финляндия, Франция — западноевропейские страны.
Все западноевропейские страны являются республиками.
Индуктивное умозаключение опирается на некоторые фактические или психологические основания. В таком умозаключении заключение может содержать информацию, отсутствующую в посылках. Достоверность посылок не означает поэтому достоверности выведенного из них индуктивно утверждения. Заключение индукции проблематично и нуждается в дальнейшем исследовании. Так, посылки и первого, и второго приведенных индуктивных умозаключений истинны, но заключение первого из них истинно, а второго — ложно. Действительно, все североамериканские государства — республики; но среди западноевропейских стран имеются не только республики, но и монархии.
Особенно характерными Д. являются логические переходы от общего знания к частному типа:
Все люди смертны.
Все греки - люди.
Следовательно, все греки смертны.
Во всех случаях, когда требуется рассмотреть какое-то явление на основании уже известного общего правила и вывести в отношении этого явления необходимое заключение, мы умозаключаем в форме Д. Рассуждения, ведущие от знания о части предметов (частного знания) к знанию обо всех предметах определенного класса (общему знанию), - это типичные индукции. Всегда остается вероятность того, что обобщение окажется поспешным и необоснованным («Сократ - умелый спорщик; Платон — умелый спорщик; значит, каждый человек - умелый спорщик»).
[73]
Нельзя вместе с тем отождествлять Д. с переходом от общего к частному, а индукцию — с переходом от частного к общему. В рассуждении «Шекспир писал сонеты; следовательно, неверно, что Шекспир не писал сонетов» есть Д., но нет перехода от общего к частному. Рассуждение «Если алюминий пластичен или глина пластична, то алюминий пластичен» является, как принято думать, индуктивным, но в нем нет перехода от частного к общему. Д. — это выведение заключений, столь же достоверных, как и принятые посылки, индукция - выведение вероятных (правдоподобных) заключений. К индуктивным умозаключениям относятся как переходы от частного к общему, так и аналогия, каноны индукции, целевое обоснование и т. д.
Тот особый интерес, который проявляется к дедуктивным умозаключениям, понятен. Они позволяют из уже имеющегося знания получать новые истины, и притом с помощью чистого рассуждения, без обращения к опыту, интуиции, здравому смыслу и т. п. Д. дает стопроцентную гарантию успеха, а не просто обеспечивает ту или иную — быть может, и высокую — вероятность истинного заключения. Отправляясь от истинных посылок и рассуждая дедуктивно, мы обязательно во всех случаях получим достоверное знание.
Подчеркивая важность Д. в процессе развертывания и обоснования знания, не следует, однако, отрывать ее от индукции и недооценивать последнюю. Почти все общие положения, включая и научные законы, являются результатами индуктивного обобщения. В этом смысле индукция — основа нашего знания. Сама по себе она не гарантирует его истинности и обоснованности, но она порождает предположения, связывает их с опытом и тем самым сообщает им определенное правдоподобие, более или менее высокую степень вероятности. Опыт — источник и фундамент человеческого знания. Индукция, отправляющаяся от того, что постигается в опыте, является необходимым средством его обобщения и систематизации.
В обычных рассуждениях Д. только в редких случаях предстает в полной и развернутой форме. Чаще всего указываются не все используемые посылки, а лишь некоторые. Общие утверждения, которые кажутся хорошо известными, опускаются. Не всегда явно формулируются и заключения, вытекающие из принятых посылок. Сама логическая связь, существующая между исходными и выводимыми утверждениями, лишь иногда отмечается словами, подобными «следовательно» и «значит». Нередко Д. является настолько сокращенной, что о ней можно только догадываться. Проводить
[74]
дедуктивное рассуждение, ничего не опуская и не сокращая, обременительно. Вместе с тем всякий раз, когда возникает сомнение в обоснованности сделанного вывода, необходимо возвращаться к началу рассуждения и воспроизводить его в возможно более полной форме. Без этого трудно или даже невозможно обнаружить допущенную ошибку.
Дедуктивная аргументация представляет собой выведение обосновываемого положения из иных, ранее принятых положений. Если выдвинутое положение удается логически (дедуктивно) вывести из уже установленных положений, это означает, что оно приемлемо в той же мере, что и сами эти положения. Обоснование одних утверждений путем ссылки на истинность или приемлемость других утверждений — не единственная функция, выполняемая Д. в процессах аргументации. Дедуктивное рассуждение служит также для верификации (косвенного подтверждения) утверждений: из проверяемого положения дедуктивно выводятся его эмпирические следствия; подтверждение этих следствий оценивается как индуктивный довод в пользу исходного положения. Дедуктивное рассуждение используется также для фальсификации утверждений путем показа того, что вытекающие из них следствия являются ложными. Не достигшая успеха фальсификация представляет собой ослабленный вариант верификации: неудача в опровержении эмпирических следствий проверяемой гипотезы является аргументом, хотя и весьма слабым, в поддержку этой гипотезы. И наконец, Д. используется для систематизации теории или системы знания, прослеживания логических связей входящих в нее утверждений, построения объяснений и пониманий, опирающихся на общие принципы, предлагаемые теорией. Прояснение логической структуры теории, укрепление ее эмпирической базы и выявление ее общих предпосылок является вкладом в обоснование входящих в нее утверждений.
Дедуктивная аргументация является универсальной, применимой во всех областях рассуждения и в любой аудитории. «И если блаженство есть не что иное, как жизнь вечная, — пишет средневековый философ И.С.Эриугена, — а жизнь вечная — это познание истины, то блаженство - это не что иное, как познание истины». Это теологическое рассуждение представляет собой дедуктивное рассуждение, а именно силлогизм.
Удельный вес дедуктивной аргументации в разных областях знания существенно различен. Очень широко она применяется в математике и математической физике и только эпизодически - в истории или эстетике. Имея в виду сферу приложения Д., Аристо-
[75]
тель писал: «Не следует требовать от оратора научных доказательств, точно так же как от математика не следует требовать эмоционального убеждения» (Метафизика. II, 3). Дедуктивная аргументация является очень сильным средством, но, как и всякое такое средство, она должна использоваться узконаправленно. Попытка строить аргументацию в форме Д. в тех областях или в той аудитории, которые для этого не годятся, приводит к поверхностным рассуждениям, способным создать только иллюзию убедительности.
В зависимости от того, насколько широко используется дедуктивная аргументация, все науки принято делить на дедуктивные и индуктивные. В первых используется по преимуществу или даже единственно дедуктивная аргументация. Во вторых такая аргументация играет лишь заведомо вспомогательную роль, а на первом месте стоит эмпирическая аргументация, имеющая индуктивный, вероятностный характер. Типично дедуктивной наукой считается математика, образцом индуктивных наук являются естественные науки. Однако деление наук на дедуктивные и индуктивные, широко распространенное еще в начале этого века, сейчас во многом утратило свое значение. Оно ориентировано на науку, рассматриваемую в статике, как систему надежно и окончательно установленных истин.
Понятие Д. является общеметодологическим понятием. В логике ему соответствует понятие доказательства.
- Можно сразу проверить наличие шрифта для символов логики Symbol
- Словарь по логике
- 4306010000-112 И———————— Без объявл. 14к(03)-97
- Вопрос 59
- От редакции
- Абсолютизация
- Абсолютные и сравнительные модальности
- Абстрактный предмет (англ. - abstract entity)
- Абстракция (от лат. Abstractio — отвлечение)
- Абсурд (от лат. Absurdus — нелепый, глупый)
- Автомат (от греч. Automatos — самодействующий)
- Автонимное употребление выражений (от греч. Autos-сам, опота — имя)
- Аксиологическая модальность (от греч. Axios - ценный, logos — понятие, учение), или: Оценочная модальность,
- Аксиома (от греч. Axioma — значимое, принятое положение)
- Аксиоматический метод
- Аксиоматическое определение
- Алгебра буля
- Алгоритм (алгорифм)
- Алогизм (от греч. А — не, logos — разум)
- Амфиболия (от греч. Amphibolia — двусмысленность, двойственность)
- Анализ и синтез. А. (от греч. Analysis - разложение)
- Аналитические и синтетические суждения (в логике).
- Аналогия (от греч. Analogia — соответствие)
- Метафора,
- Антецедент и консеквент (от лат. Antecedent - предшествующий, предыдущий и consequens — следствие)
- Антиномия (от греч. Antinomia - противоречие в законе)
- Антиномия рассела
- Антитезис (от греч. Antithesis — противоположение)
- Аподиктический (от греч. Apodeiktikos — доказательный, убедительный)
- Апория (от греч. Aporia — затруднение, недоумение)
- Аргумент (лат. Argumentum)
- Аргументации теория
- Аргументация (от лат. Argumentatio - приведение аргументов)
- Аргументация контекстуальная
- Аргументация теоретическая
- Аргументация эмпирическая
- Аргумент к авторитету (от лат. I pse dixit - сам сказал)
- Аргумент к аудитории
- Аргумент к жалости
- Аргумент к незнанию, или невежеству,
- Аргумент к силе («палочный» довод)
- Аргумент к скромности
- Аргумент к тщеславию
- Ассерторический (от лат. Asserto - утверждаю)
- Бессмысленное
- «Бритва оккама»
- Вербальное определение
- Верификация (от лат. Verificatio — доказательство, подтверждение)
- Вероятностная логика
- Вероятность
- Возможность логическая
- Возражение
- Вопросов логика, или: Эротетическая, интеррогативная логика,
- Вывод логический
- Высказывание
- Высказывание дескриптивное (от англ. Description - описание), или: Высказывание описательное,
- Высказывание категорическое
- Высказывание (предложение) контрфактическое (от лат. Contra — против, factum — событие)
- Герменевтика (от греч. Hermeneuo - разъясняю, истолковываю)
- Гёделя теорема
- Гипостазирование (от греч. Hypostasis - сущность, субстанция)
- Гипотеза (от греч. Hipothesis - основание, предположение)
- Гипотетико-дедуктивный метод
- Гипотетическое утверждение
- Гомоморфизм, изоморфизм
- Двойного отрицания закон, см.: Закон двойного отрицания. Двузначная логика
- Двузначности принцип
- Дедукция (от лат. Deductio — выведение)
- Деление логическое
- Денотат (от лат. Denoto — обозначаю), или: Десигнат, предметное значение,
- Деонтическая логика (от греч. Deon — долг, правильность),
- Деонтическая модальность (от греч. Deon - долг, правильность),
- Дескрипция определенная (от лат. Descriptio - описание)
- Диаграммы венна
- Диалектическая логика
- Дизъюнктивный силлогизм, см.: Модус понендо толленс. Модус толлендо поненс. Дизъюнкция (от лат. Disjunctio — разобщение, различение)
- Дилемма (от греч. Di(s) - дважды и lemma - предположение)
- Дискурсивный (от лат. Discursus — рассуждение, довод, аргумент)
- Дискуссия (от лат. Discussio — рассмотрение, исследование)
- Дистрибутивные и коллективные свойства. Д. С.
- Дихотомия (от греч, dicha и tome - рассечение на две части)
- Доказательство
- Доказательство конструктивное, см.: Конструктивная логика. Доказательство от противного, см.: Косвенное доказательство. Доказательство по случаям, или: Доказательство разбором случаев,
- Доказуемость, см.: Доказательство. Дополнение к множеству
- Достаточного основания принцип
- Достаточное условие, см.: Условное высказывание. Достоверность
- Заблуждение
- Закон ассоциативности (от лат. Associatio — соединение)
- Закон гипотетического силлогизма
- Закон двойного отрицания
- Закон де моргана
- Закон дистрибутивности (от англ. Distribution - распределение, размещение)
- Закон дунса скота
- Закон импортации, см.: Закон экспортации — импортации. Закон исключенного третьего
- Закон клавия
- Закон коммутативности (от лат. Commutatio - изменение, перемена)
- Закон коммутации (от лат. Commutatio - изменение, перемена)
- Закон композиции (от лат. Compositio — сочинение, составление)
- Закон косвенного доказательства
- Закон логики, см.: Логический закон. Закон мышления - термин традиционной логики,
- Закон противоречия, см.: Непротиворечия закон. Закон экспортации - импортации (от лат. Exportare -вывозить, importare — ввозить)
- Значение
- Идеализация
- Идемпотентности закон (от лат. Idempotens - сохраняющий ту же степень)
- Иллюстрация (от лат. Illustratio - прояснять)
- Импликация (от лат. Implicatio - сплетение, от implico — тесно связываю)
- Импликация материальная - импликация в трактовке логики классической.
- Индивид (от лат. Individuum - неделимое)
- Индуктивная логика
- Индуктивное определение
- Индукции каноны (от греч. Canon — правило, предписание)
- Метод единственного сходства:
- Метод сопутствующих изменений:
- Метод остатков.
- Индукция (от лат. Inductio - наведение)
- Индукция математическая, полная математическая индукция
- Индукция неполная
- Индукция полная
- Индукция популярная
- Интенсионал и экстенсионал
- Интерпретация (от лат. Interpretatio - разъяснение, истолкование)
- Интерсубъективный (от лат. Inter - между)
- Интуитивная логика
- Интуиционизм
- Интуиционистская логика
- Интуиция (от лат. Intuitio — пристальное, внимательное всматривание, созерцание)
- Иррациональное (от лат. Irrationalis - неразумный, бессознательный)
- Исключенного третьего закон, см.: Закон исключенного третьего. Искусственный интеллект
- Истинностное значение
- Исчисление
- Кавычки
- Категорическое суждение
- Категория (от греч. Kategoria - высказывание, обвинение, признак)
- Каузальная модальность, см.: Онтологическая модальность. Класс, множество (в логике и математике)
- Классификация
- Классическая логика, см.: Логика классическая. Конвенция (от лат. Conventio - соглашение)
- Коннотация (от лат. Connotatio — добавочное значение)
- Конструктивная логика
- Контекст (от лат. Contextus — сцепление, соединение, связь)
- Контекстуальное определение, см.: Определение контекстуальное. Контрадикторная противоположность (от лат. Contradictorius — противоречащий)
- Контрапозиции закон
- Контрарная противоположность (от лат. Contrarius - противоположный)
- Концепт (от лат. Conceptus— понятие)
- Конъюнкция (от лат. Conjunctio - союз, связь)
- Косвенное доказательство
- Круг в доказательстве (лат. — circulus in demonstrando)
- Круг в определении
- Лемма (от греч. Lemma — предположение)
- «Лжеца» парадокс
- Логика (от греч. Logos — слово, понятие, рассуждение, разум), или: Формальная логика,
- Логика времени, или: Временная логика,
- Логика высказываний, или: Пропозициональная логика,
- Логика дедуктивная, см.: Дедукция. Логика изменения
- Логика квантовой механики
- Логика классическая
- Логика классов
- Логика комбинаторная (от лат. Combinare — соединять, сочетать)
- Логика многозначная, см.: Многозначная логика. Логика научного познания, или: Логика науки,
- Логика неклассическая
- Логика норм, см.: Деонтическая логика. Логика отношений
- Логика предикатов, или: Функциональная логика, теория квантификации, кванторная логика,
- Логика традиционная, см.: Традиционная логика. Логика эпистемическая (от греч. Episteme - знание)
- Математическая логика
- Материальная суппозиция, см.: Суппозиция. Метаматематика
- Метатеория (от греч. Meta - после, за, позади)
- Метафора (от греч, metaphora - перенос, образ)
- Метаязык (от греч. Meta - после, за, позади)
- Метод (от греч. Methodos — путь, способ исследования, обучения, изложения)
- Методологическая аргументация
- Методология науки
- Многозначная логика
- Многозначности принцип, см.: Принцип многозначности. Многозначность
- Множеств теория
- Модальная логика
- Модальность (от лат., modus — мера, способ)
- Модель (от лат. Modulus — мера, образец, норма)
- Модель семантическая
- Модус (лат. Modus - мера, способ, образ, вид)
- Модус понендо толленс (лат. Modus ponendo tollens)
- Модус поненс (лат. Modus ponens)
- Модус толлендо поненс (лат. Modus tollendo ponens)
- Модус толленс (лат. Modus tollens)
- Мышление
- «Не вытекает», «не следует» (лат. Поп sequitur)
- «Недоказанное основание» доказательства
- Независимость (в логике и математике)
- Неклассическая логика, см.: Логика неклассическая. Необходимость (логическая)
- Необходимые и достаточные условия (в логике и математике)
- Непосредственное умозаключение (в традиционной логике)
- Неправильное умозаключение, см.: Умозаключение.
- Непредикативное определение
- Непротиворечивость
- Непротиворечия закон
- Несобственные символы, см.: Символы собственные и несобственные.
- Нечеткое множество
- Неясность
- Номологическое высказывание (от греч. Nomos - закон, logos — учение, понятие)
- Обобщение (лат. Generalisatio)
- Обозначения отношение
- Обоснование
- Обоснование оценок
- Образец
- Обращение (лат. Conversio)
- Общее понятие, см.: Понятие. Общее суждение, см.: Суждение. Объединение (сложение) классов (множеств)
- Объективность
- Объектный (предметный) язык
- Объяснение
- Ограничение понятия
- Омонимия (от греч. Homos — одинаковый, опута — имя)
- Оператор (от лат. Operator — действующий)
- Описание, см.: Высказывание дескриптивное. Описание состояния (англ. State description)
- Описательное высказывание, см.: Высказывание дескриптивное. Описательно-оценочное высказывание, см.: Высказывание дескриптивное, Оценочное высказывание. Определение (лат. Definitio)
- Определение аксиоматическое
- Определение генетическое (от греч. Genesis - происхождение, источник)
- Определение классическое, или: Определение через род и видовое отличие,
- Определение неявное
- Определение номинальное
- Определение операциональное
- Определение остенсивное (от лат. Ostentus - показывание, выставление напоказ)
- Определение реальное
- Определение явное
- Опровержение
- Осмысленность
- Основание и следствие
- Отношение (в логике) отождествляется с многоместным предикатом.
- Отношение включения класса в класс, см.: Множеств теория. Отношение нерефлексивное (иррефлексивное)
- Отношение принадлежности элемента классу (множеству), см.: Множеств теория. Отношение рефлексивное
- Отношение симметричное
- Отношение типа равенства
- Отношение транзитивное
- Отношение функциональное (однозначное)
- Отрицание
- Отрицательное высказывание, см.: Отрицание. Оценка, см.: Оценочное высказывание. Оценок логика
- Оценочная модальность, см.: Аксиологическая модальность. Оценочное высказывание
- Ошибка логическая
- Парадигма (от греч. Paradeigma — пример, образец)
- Парадокс (греч. Paradoxos)
- Парадоксы импликации
- Паралогизм (от греч. Paralogismos — неправильное, ложное рассуждение)
- Паранепротиворечивая логика
- Переменная
- Пересечение классов (множеств)
- Подмена тезиса (лат. Ignoratio elenchi)
- Подтверждение
- Познание
- Полемика
- Полнота (в логике и дедуктивных науках)
- Понимание
- Понятие
- Порочный круг
- «После этого значит по причине этого» (лат. Post hoc ergo propter hoc)
- Поспешное обобщение
- Правило вывода
- Правило локка
- Прагматика
- Правило отделения, см.: Модус поненс. Превращение (лат. Obversio) в традиционной логике
- «Предвосхищение основания» (лат. Petitio principii)
- Предикат (от лат. Praedicatum - сказанное)
- Предложение
- Предметная область, или: Универсум рассуждения, область теории,
- Предпочтений логика
- Предсказание
- Прескриптивное высказывание, см.: Нормативное высказывание. Приведение к абсурду, или: Редукция к абсурду, приведение к нелепости (лат. Reductio ad absurdum),
- Частный закон приведения к абсурду
- Принцип взаимозаменимости
- Принцип многозначности
- Принцип объемности (экстенсиональности) (от лат. Extentio — протяжение)
- Принцип однозначности
- Принцип предметности
- Причинная связь
- Причинности логика
- Проблема (от греч. Problema — преграда, трудность, задача)
- Пропозициональная связка
- Пропозициональная функция
- Противоположность логическая
- Противопоставление предикату
- Противоречие
- Равенство
- Равнозначность (равносильность, эквивалентность)
- Равнообъемность
- Разделительное суждение
- Разделительно-категорическое умозаключение
- Разделительно-условное умозаключение, см.: Дилемма. Разрешающая процедура, см.: Разрешения проблема. Разрешения проблема, или: Разрешимости проблема,
- Разрешимая теория
- Рациональность (от лат. Ratio - разум)
- Рекурсивное определение (от лат. Recurso - возвращаюсь)
- Релевантная импликация, см.: Релевантная логика. Релевантная логика
- Референт (от лат. Refero — называть, обозначать)
- Референция
- Свойство
- Семантика логическая
- Семантическая категория
- Семантические парадоксы, см.: Антиномия. Семантическое понятие истины
- X истинно º р.
- Семиотика
- Силлогизм (от греч. Sillogismos) категорический
- Символ (от греч. Symbolon — знак, опознавательная примета)
- Символика логическая
- Символическая логика
- Символы собственные и несобственные
- Синкатегорематическое выражение, см.: Символы собственные и несобственные. Синонимия
- Синтаксис (греч. Syntaxis — построение, порядок)
- Синтаксическая категория
- Следование, см.: Логическое следование. Следствие, см.: Логическое следование. Сложное высказывание
- Случайность логическая
- Совместимости условие
- Собирательное понятие, см.: Понятие. Совместимость
- Современная логика
- 1. Методология дедуктивных наук.
- 2. Применение логического анализа к опытному знанию.
- 3. Применение логического анализа к оценочно-нормативному знанию.
- 4. Применение логического анализа в исследовании приемов и операций, постоянно используемых во всех сферах научной деятельности.
- Содержание и форма, см.: Логическая форма. Содержание понятия, см.: Понятие. Сорит (от греч. Soros - куча)
- Сравнительные модальности, см.: Абсолютные и сравнительные модальности. Строгая импликация, см.: Импликация, Парадоксы импликации, Логика. Строгость
- Суждение
- Суппозиция (от лат. Suppositio — подкладывание, подмена)
- Существенный признак, см.: Определение понятия. Сходство
- Тавтология
- Теоретическое и эмпирическое
- Теоретическое мышление
- Теория (от греч. Theoria — наблюдение, рассмотрение, исследование)
- 1. Исходные основания т.
- 2. Идеализированный объект т.
- 3. Логика т.
- 4. Совокупность законов и утверждений,
- Теория познания
- Термин (от лат. Terminus — граница, предел, конец ч.-л.)
- Термин теоретический
- Термин эмпирический
- Термины силлогизма - элементы суждений, входящих в состав силлогизма (см.: Силлогизм). Типов теория
- Типология (от греч. Tipos — отпечаток, форма)
- Тождества закон
- Тождество
- Традиционная логика
- Транзитивности закон
- Умозаключения из суждений с отношениями
- Умозаключение
- Умозаключение статистическое
- Универсум рассуждения, см.: Предметная область. Условное высказывание
- Условное умозаключение
- Учетверение терминов (лат. Quaternio terminorum)
- Факт (от лат. Factum — сделанное, совершившееся)
- Фальсификация (от лат. Falsus — ложный, facio - делаю)
- Фигура силлогическая, см.: Силлогизм. Физическая модальность, см.: Онтологическая модальность. «философская логика»
- Формализация (от лат. Forma — вид, образ)
- Формальная логика, или: л о г и к а,
- Формальная суппозиция, см.: Суппозиция. Формальная теория
- Формы мысли, или: Формы мышления,
- Функтор
- Функция (от лат. Functio — осуществление, выполнение)
- Целевое обоснование
- Цель-средство
- Частное суждение
- Эвристика (от греч. Heurisko - отыскиваю, открываю)
- Эйлера круги
- Эквивалентность, или: Равнозначность,
- Эквивокация — логическая ошибка,
- Экзистенциальное высказывание (от лат. Existentia - существование)
- Эклектика
- Экспликация (от лат. Explicatio - разъяснение)
- Экстенсиональность
- Экстенсиональный контекст
- Эллиптическое высказывание
- Эмпирическое и теоретическое, см.: Теоретическое и эмпирическое. Энтимема (от греч. In thymos — в уме)
- Эпихейрема (от греч. Epiheirema — умозаключение)
- Эристика (от греч. Eristika — искусство спора) — искусство ведения спора.
- «Юма принцип»
- Языка функции, или Употребление языка,
- Язык логики
- Язык науки
- Язык семантически замкнутый
- Ясность
- Ивин Александр Архипович, Никифоров Александр Леонидович словарь по логике
- 117571, Москва, проспект Вернадского, 88,