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

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

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

Тавтология — в обычном языке: повторение того, что уже было сказано.

Тезис — один из элементов доказательства, положение, истинность которого обосновывается в доказательстве. Т. должен удовлетворять следующим правилам: 1. Т. должен быть сформулирован ясно и точно. Соблюдение этого правила предостерегает от неопределенности и двусмысленности при доказательстве того или иного положения. Иногда человек много говорит и как будто чтото доказывает, но что именно он доказывает, остается неясным вследствие неопределенности его Т. Иногда двусмысленность Т. ведет к бесплодным спорам, возникающим по той причине, что стороны поразному понимают доказываемое положение. 2. Т. должен оставаться одним и тем же на протяжении всего доказательства. Нарушение этого правила ведет к ошибке, называемой подменой тезиса.

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

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

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

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

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

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

Термины Силлогизма — элементы суждений, входящих в состав силлогизма (см.: Силлогизм).

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

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

Тождества Закон — логический закон, согласно которому всякое высказывание влечет (имплицирует) само себя.

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

Традиционная Логика — первый этап в развитии (формальной) логики, начавшийся в IV в. до н. э. и завершившийся в конце XIX — начале XX в., когда сформировалась современная (математическая, символическая) логика. Т. л. изучала правильное мышление, опираясь в основном на естественный язык, не являющийся вполне адекватным для этой цели изза своей многозначности, аморфности правил построения выражений и придания значений и т. п.

Транзитивности Закон — закон логики, согласно которому определенная логическая связь (импликация, эквивалентность и др.) представляет собой отношение транзитивности. Т. з. для условного высказывания (импликации) можно передать так: когда верно, что если первое, то второе, и если второе, то третье, то верно также, что если первое, то третье.