Логика

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

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

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

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

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

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

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

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

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

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

ПРОТИВОРЕЧИВЫЙ (CONTRADICTOIRE). Опровергающий что-либо или самого себя. В частности, в логике противоречивыми называют два такие высказывания, одно из которых является отрицанием второго (р и не-р суть противоречивые высказывания) либо включает в себя это отрицание (если р включает не-q, р и q могут быть названы противоречивыми). Например, высказывание «Все люди смертны» противоречит высказыванию «Не все люди смертны», точнее (поскольку второе высказывание двусмысленно), высказыванию «Некий человек не смертен».

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