Логика

РАССУЖДЕНИЕ (RAISONNEMENT). Умозаключение или, чаще, последовательная серия умозаключений. Рассуждать значит устанавливать истину (если рассуждение верно) посредством выстраивания упорядоченной цепочки других истин. На это можно возразить, что даже верное рассуждение может приводить лишь к установлению вероятности, а то и невозможности правильного решения. Отвечая на это возражение, отмечу, что рассуждение бывает верным только в том случае, когда показывает, что эта вероятность или невозможность истинны. Особенно это замечание важно для философии.

ТРЕХЗНАЧНАЯ ЛОГИКА — раздел многозначной логики, в котором высказываниям, помимо обычных истинных значений «истинно» и «ложно», приписывается еще третье значение (напр., «неопределенно», или «нейтрально», или «бессмысленно» т. п.). Идея трехзначности высказываний восходит к античности: еще Аристотель допускал высказывания, которые нельзя считать ни истинными, ни ложными.

Философский словарь / авт.-сост. С. Я. Подопригора, А. С. Подопригора. — Изд. 2-е, стер. — Ростов н/Д : Феникс, 2013, с 457-458.

ТРАНСЦЕНДЕНТАЛЬНОЕ ВООБРАЖЕНИЕ (трансцендентальный синтез способности воображения, трансцендентальная способность воображения, продуктивная способность воображения, творческое воображение, чистое воображение, чистая способность воображения a priori и т. п.) — понятие трансцендентальной логики Канта, используемое для обозначения действия способности рассудка на чувственность, в результате которого осуществляется синтез многообразия чувственно-наглядных представлений сообразно категориям.

ТОЖДЕСТВО и РАЗЛИЧИЕ — две взаимосвязанные категории философии и логики. При определении понятий тождество и различие используют два фундаментальных принципа: принцип индивидуации и принцип тождества неразличимых. Согласно принципу индивидуации, который был содержательно развит в традиционной натурфилософии и эксплицитно сформулирован уже А. Боэцием, всякая вещь универсума обладает уникальными чертами. Из этого принципа вытекает проблема универсалий, которая формулируется в следующем виде: каким образом неповторимые индивиды содержат в себе нечто общее, т. е. можно ли считать свойство Т.

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

Философский словарь / авт.-сост. С. Я. Подопригора, А. С. Подопригора. — Изд. 2-е, стер. — Ростов н/Д : Феникс, 2013, с 447.

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

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

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

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

Философский словарь / авт.-сост. С. Я. Подопригора, А. С. Подопригора. — Изд. 2-е, стер. — Ростов н/Д : Феникс, 2013, с 394.

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