Словарь основных терминов

Абстрагирование – логический приём, в ходе которого происходит мысленное выделение одних признаков предмета и отвлечение от других, не существенных признаков.

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

Абстрактное понятие – понятие, в котором мыслится не предмет, а какой-либо из признаков (свойство, отношение) предмета, взятый отдельно от самого предмета.

Абстрактные объекты – отношения, понятия, суждения и др. целостные образования, выступающие в качестве непосредственного содержания человеческого мышления.

Абстракция – отвлечение от некоторых характеристик исследуемого объекта.

Абсурд - явная бессмыслица; логич. противоречивое выражение.

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

Аксиома – исходное, принимаемое без доказательства положение какой-либо теории, лежащее в основе доказательств других её положений.

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

Аксиоматическое определение - определение, в котором понятие вводится на основе некоторых исходных положений (аксиом).

Алетическая модальность – 1) выраженная в суждении в терминах необходимости-случайности либо возможности-невозможности информация о логической или фактической детерминированности суждения; 2) заключенная в суждении информация об условиях его истинности.

Алогизм – рассуждение, игнорирующее законы и правила логики.

Анализ – логический приём, в ходе которого происходит мысленное расчленение предметов на их составные части и выделение в них признаков.

Аналогия – умозаключение, в котором мысль развивается от частного знания к частному, а заключение, вытекающее из посылок, носит вероятностный характер.

Аналогия отношений – умозаключение, в котором объектом уподобления выступают сходные отношения между двумя парами предметов, а переносимым признаком – свойства этих отношений.

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

Аналогия свойств - умозаключение по аналогии, в котором роль переносимого признака играет признак-свойство.

Антецедент – первый член импликации, которому предпослано слово «если».

Антитезис – суждение, противопоставляемое тезису.

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

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

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

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

Атрибутивное суждение – суждение о признаке предмета. В нём отражается связь между предметом и его признаком, эта связь утверждается или отрицается.

Аудитория – коллективный субъект дискуссии.

Безотносительное понятие – понятие, в котором мыслится предмет, существующий самостоятельно, вне зависимости от другого предмета.

Бессмысленное – языковое выражение, не отвечающее требованиям синтаксиса или семантики Языка.

Блеф – передача ложной информации с целью убедить кого-либо в том, что желаемое имеет место в действительности.

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

Больший термин – термин, который обозначает сказуемое (предикат) большей посылки и сказуемое заключения силлогизма.

Вероятностные умозаключения - то же самое, что и правдоподобные умозаключения.

Версия – одно из нескольких возможных, отличное от других, объяснение или толкование какого-либо факта, явления, события.

Вид (в логике) – каждый класс предметов, который входит в объём более широкого класса предметов, называющегося родом.

Видовой признак - признак, отличающий подкласс внутри класса.

Вопрос – 1) логическая форма, включающая исходную информацию с одновременным указанием на её недостаточность с целью получения новой информации в виде ответа; 2) выраженная в вопросительном предложении мысль, направленная на уточнение или дополнений знаний.

Вопрос не по существу темы – вопрос, базис которого не имеет ни прямого, ни косвенного отношения к обсуждаемой теме.

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

Восполняющий вопрос – вопрос, направленный на выяснение новых свойств у исследуемых явлений.

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

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

Выделяющее суждение – суждение, которое отображает тот факт, что признак присущ только данному предмету и не принадлежит всем прочим предметам.

Высказывание – 1) грамматически правильное повествовательное предложение, взятое вместе с выражаемым им смыслом; 2) в математической логике термин, принятый для обозначения какого-либо предложения, выраженного в естественном или искусственном языке.

Генеральная совокупность - то же, что и популяция.

Генетическое определение понятия – определение, в котором указывается на происхождение предмета, понятие которого определяется, на тот способ, которым данный предмет создаётся.

Гипотеза – 1) форма развития знаний, представляющая собою обоснованное предположение, выдвигаемое с целью выяснения свойств и причин исследуемых явлений; 2) вероятностное предположение о причине каких-либо явлений, достоверность которого при современном состоянии производства и науки не может быть проверена и доказана, но которое объясняет данные явления, без него необъяснимые; приём познавательной деятельности.

Гомоморфизм – отношение между системами S1 и S2, при котором всем объектам, свойствам и отношениям системы S1 однозначно соответствуют некоторые объекты, свойства и отношения системы S2, но не наоборот.

Двусторонняя дискуссия – обсуждение спорных вопросов с одним пропонентом, который ставит и обосновывает свой тезис.

Дедуктивное умозаключение – форма абстрактного мышления, в которой мысль развивается от знания большей степени общности к знанию меньшей степени общности, а заключение, вытекающее из посылок, с логической необходимостью носит достоверный характер.

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

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

Деление понятия – логическая операция, раскрывающая объём понятия.

Делимое понятие - понятие, объём которого подвергается делению, Демонстративное умозаключение – то же, что и необходимое умозаключение.

Демонстрация – логическое рассуждение, в процессе которого из аргументов (доводов) выводится истинность или ложность тезиса.

Денотат – 1) непосредственное обозначение имени предмета, 2) объект обозначения; то, на что указывает термин (имя, обозначающее выражение.

Деонтическая модальность – 1) выраженное в суждении предписание в форме совета, пожелания, правила поведения или приказа, побуждающее человека к конкретным действиям; 2) характеристика высказываний, включающая такие модальные операторы, как «обязательно», «разрешено», «безразлично», «запрещено».

Деструктивная критика – критика, направленная на разрушение аргументативного процесса путём критики: тезиса, аргументов или демонстрации.

Дефиниендум – определяемая часть понятия; то, что определяется.

Дефиниенс – определяющая часть понятия; то, с помощью чего непосредственно что-либо определяется.

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

Диалектическая логика – учение о формировании и развитии знаний, о применении их на практике, опирающееся на общие и специфические законы, а также принципы материалистической диалектики; 2) теория движения человеческой мысли от явления к сущности, от истины относительной к истине абсолютной, от знания абстрактного к знанию конкретному.

Дизъюнкция – логическая операция образования сложных высказываний из простых путем соединения последних с помощью союза “или”; логическое сложение; даёт истинное сложное суждение, если истинно хотя бы одно из входящих в него суждений.

Дилемма – суждение, в котором предмету приписываются два противоречащих признака, исключающих возможность третьего. Дилеммой называется также особый случай условно-разделительного силлогизма, в число посылок которого входят два условных суждения и разделительное и при этом в разделительном суждении в форме альтернативы объединяются основания или следствия условных суждений.

Дискурсивный – обоснованный предшествующим знанием; полученный в результате рассуждения или доказательства. Термин «дискурсивный» обычно противопоставляется термину «интуитивный».

Дискуссия – цивилизованная форма выявления мнений, их сопоставления и поисков истины и приемлемых решений в социальной среде].

Дихотомия - деление объёма понятия на две взаимоисключающие части, полностью исчерпывающие объём делимого понятия.

Довод – составная часть всякого доказательства, под которой понимается мысль, истинность которой проверена и доказана и которая поэтому может быть приведена в обоснование истинности или ложности высказанного положения.

Догма – утверждение, принимаемое в качестве истинного на веру, без обоснования или сопоставления с фактами; основание учения, сформулированного как систематизированная вера.

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

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

Дополнение класса (отрицание) - операция образования нового множества из элементов предметной области, из которой исключены элементы дополняемого класса; аналог операции отрицания в логике.

Единичное понятие – понятие, в котором мыслится один предмет.

Единичное суждение – суждение, включающее утверждение или отрицание об одном предмете.

Естественная классификация – классификация на основе существенных признаков самих классифицируемых предметов.

Естественные языки – исторически сложившиеся в обществе звуковые (речь) и графические (письмо) информационные знаковые системы… Возникли для закрепления и передачи информации в процессе общения между людьми … Выступают носителями многовековой культуры народов… Отличаются богатыми выразительными возможностями и универсальным охватом самых различных областей жизни.

Заблуждение – несоответствие субъективных представлений (мнений, верований и т.п.) человека объективному положению вещей.

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

Заключение (вывод) умозаключения – суждение, логически выведенное из предшествующих посылок и содержащее новое знание.

Закон мышления - внутренняя, существенная, устойчивая, необходимая, повторяющаяся связь между элементами мысли и самими мыслями.

Закон достаточного основания – всякая истинная мысль должна быть обоснована другими мыслями, истинность которых доказана.

Закон исключённого третьего - из двух противоречащих высказываний в одно и то же время и в одном и том же отношении одно непременно истинно.

Закон косвенного доказательства – логический закон, позволяющий делать заключения об истинности какого-то высказывания на основании того, что отрицание этого высказывания влечёт противоречие.

Закон обратного отношения между объёмом и содержанием понятия – логический закон, устанавливающий, что увеличение содержания понятия ведёт к образованию понятия с меньшим объёмом, и наоборот.

Закон противоречия - не могут быть одновременно истинными две противоположные мысли об одном и том же предмете, взятом в одно и то же время и в одном и том же отношении.

Закон тождества - каждая мысль, которая приводится в данном умозаключении, при повторении должна иметь одно и то же определённое, устойчивое содержание.

Закрытый вопрос - вопрос, требующий уточнения, выбора содержащейся в нем альтернативы; вопрос, на который имеется конечное, чаще всего достаточно ограниченное количество ответов.

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

Изоморфизм– эквивалентность строения систем объектов; отношение, при котором каждому объекту, свойству и отношению между объектами одной системы взаимно однозначно соответствует некоторый объект, свойство и отношение между объектами другой системы.

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

Имя – 1) выражение естественного или искусственного, формализованного языка, обозначающее отдельный предмет, совокупность сходных предметов, свойства, отношения и т.п.; 2) слово или словосочетание, обозначающее предмет мысли.

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

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

Индукция методом отбора (селективная индукция)– умозаключение, в котором вывод о принадлежности признака классу (множеству) основывается на знании об образце (подмножестве), полученном методичным отбором явлений из различных частей этого класса.

Индукция методом исключения (элиминативная индукция) – система умозаключений, в которой выводы о причинах исследуемых явлений строятся путём обнаружения подтверждающих обстоятельств и исключения обстоятельств, не удовлетворяющих свойствам причинной связи.

Индукция через простое перечисление - то же, что и популярная индукция.

Интерпретация - установление смысла и значения символов.

Интуиция – постижение истины путём непосредственного её усмотрения без обоснования с помощью доказательства; сформировавшаяся на основе предшествующего опыта субъективная способность выходить за его пределы путём мысленного схватывания («озарения») или обобщения в образной форме непознанных связей, закономерностей.

Информация – знание, представленное в форме объективного сообщения; формализованное знание.

Исключающее (изъемлющее) суждение – 1) суждение, в котором сказуемое утверждает обо всём подлежащем за исключением известных определённых случаев, в которых, как предполагается, сказуемое неприменимо; 2) суждение о принадлежности признака классу, кроме некоторых его представителей.

Искусственная классификация - классификация, в основе которой лежит произвольно выбранный признак предметов.

Искусственные языки - вспомогательные знаковые системы, создаваемые на базе естественных языков для точной и экономной передачи научной и другой информации. Конструируются с помощью естественного языка или ранее построенного искусственного языка. Язык, выступающий средством построения или изучения другого языка, называют метаязыком, основной – языком-объектом. Метаязык, как правило обладает более богатыми по сравнению с языком-объектом выразительными возможностями.

Истина – знание, которое адекватно отражает в сознании человека явления и процессы объективного мира.

Истинность мышления – свойство мышления, проявляющееся в способности воспроизводить действительность такой, какова она есть, соответствовать ей по своему содержанию.

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

Качество - совокупность свойств, указывающих на то, что собой представляет предмет; объективная определённость предмета, в силу которой предмет является данным, а не иным предметом, отграничивающая данный предмет от всех других предметов и с исчезновением которой предмет перестаёт существовать как данный предмет.

Квантификация – в широком смысле слова – сведение качественных характеристик к количественным; в узком смысле слова – точное выявление, определение объёмов суждения и предиката суждения, что достигается введением в суждение терминов «все», «всякий», «каждый», «любой» и т.п., а также «некоторые».

Квантор – слово или группа слов, которые иногда ставятся перед субъектом и обозначают, мыслится предмет в полном объеме или только в части его; логический оператор в математической логике.

Квантор общности – логический оператор, применяемый для выражения общих (универсальных) утверждений. В естественном языке обозначается словами “все”, “ни один”.

Квантор существования – логический оператор, применяемый для выражения частных утверждений. В естественном языке обозначается словами “существуют”; “некоторые”.

Класс - совокупность объектов, имеющих один или несколько общих характеристических признаков.

Классификация – 1) разновидность логической операции деления понятий; последовательное распределение объема родового понятия на объемы видовых понятий, которое осуществляется рядами, ветвями, уступом или смешанным путем; 2) многоступенчатое, разветвлённое деление логического объёма понятия. Результатом классификации является система соподчинённых понятий: делимое понятие является родом, новые понятия – видами, видами видов (подвидами) и т.д. 3) формализованная система понятий, полученная путём деления объёма некоторого исходного (родового) понятия; 4) распределение предметов по группам (классам), при котором каждый класс имеет своё постоянное, определённое место.

Клевета – передача ложной информации с целью отрицательной оценки кого-либо.

Коммуникация – обмен информацией между объектами –носителями естественного или искусственного интеллекта.

Конкретное понятие – понятие, в котором мыслится предмет или совокупность предметов как нечто самостоятельно существующее.

Конструктивная критика – обоснование оппонентом собственного тезиса с целью опровержения альтернативного утверждения пропонента.

Контрпример – умозаключение, тождественное с данным по форме (т.е. имеющее ту же фигуру и тот же модус), но абсурдное по смыслу.

Консеквент – один из главных членов импликации, вводимый в сложное высказывание при помощи слова «то».

Контекст – законченный в смысловом отношении отрывок из письменной или устной речи, в котором точно установлены значения каждого слова или предложения. Когда говорят, что данное слово или данная мысль «вырваны из контекста», то это значит, что они истолковываются вне связи с остальным текстом и поэтому могут приобретать совершенно иное смысловое значение.

Контекстуальное определение – определение, которое строится на основе знания связи определяемого с контекстом, в котором оно употребляется.

Контрадикторность - то же, что и противоречивость.

Контрарность - то же, что и противоположность.

Концепт – целостная совокупность свойств объекта.

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

Конъюнкция или Логическое умножение – логическая операция, соединяющая два или более высказываний при помощи союза «и» в новое, сложное высказывание, которое истинно тогда и только тогда, когда каждое из исходных высказываний истинно, и ложно, когда по крайней мере одно из исходных высказываний ложно.

Косвенное доказательство – доказательство, в котором тезис обосновывается при помощи введения дополнительных суждений, несовместимых с тезисом.

Косвенный метод опровержения суждений – метод, который состоит в противопоставлении следствию, выведенному из опровергаемого суждения, такого суждения, которое было бы истинным и вместе с тем противоположно этому следствию.

Косвенный ответ – ответ, который получают из более широкой области, нежели область поиска ответа, и из которого лишь выводным путём можно получить нужную информацию.

Крайние термины – бульший и меньший термины категорического силлогизма, которые связываются с помощью среднего термина и которые выходят в заключение силлогизма.

Краткие ответы – односложные утвердительные или отрицательные ответы: «да» или «нет». Критика - операция разрушения имеющегося процесса аргументации.

Круги Эйлера – принятый в логике способ,,, наглядного изображения отношений между объёмами понятий с помощью кругов, предложенный знаменитым математиком Л.Эйлером (1707 – 1783).

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

Логика - наука о законах и операциях правильного мышления.

Логика высказываний – логическая система, которая анализирует процессы рассуждения, основанные на характере связей между простыми суждениями, но без учёта их внутренней структуры.

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

Логическая операция – действие, направленное на решение какой-либо логической задачи: определения, деления, обобщения, ограничения, сложения, умножения, вычитания понятий, превращения, обращения суждений и т.д.

Логическая культура - элемент общей культуры личности, который проявляется в знании законов, методов и форм формальной и диалектической логики, в умении человека логически правильно, опираясь на эти законы, формы и методы, рассуждать, давать определения понятиям, оперировать понятиями, делать умозаключения, доказательные выводы, оперировать гипотезами, раскрывать противоречия, а также систематизировать и классифицировать в определённую систему имеющиеся знания.

Логическая форма (или форма абстрактного мышления) – способ связи элементов мысли, её строение, благодаря которому содержание существует и отражает действительность.

Логические константы (логические постоянные) – 1) термины, относящиеся к логической форме рассуждения (доказательства, вывода) и являющиеся средством передачи человеческих мыслей и выводов, заключений в любой области. К логическим константам относятся такие слова, как «не», «и», «или», «есть», «каждый», «некоторый» и т.п. Логические константы не имеют самостоятельного содержания. Сами по себе они ничего не описывают и ничего не объясняют. Вместе с тем они позволяют из одних содержательных выражений получать другие; 2) выражения, которые остаются неизменными в любых рассуждениях, независимо от их содержания.

"Логический квадрат" – 1) наглядная схема, облегчающая запоминание характера отношений между некоторыми видами суждений; 2) графическое изображение отношений по истинности между основными видами простых атрибутивных суждений: общеутвердительных, частноутвердительных, общеотрицательных и частноотрицательных.

Логический принцип – правило рассудочной деятельности, которое сформулировано на основе логических законов и практического опыта.

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

Логические ошибки – ошибки в умозаключениях, рассуждениях, определениях понятий, доказательствах и опровержениях, вызванные нарушением законов и искажением форм мышления.

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

Логические союзы - операции ("и", "или", "если…, то…" и т. д.), с помощью которых из нескольких простых образуются сложные суждения.

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

Логическими приёмами являются прежде всего такие приёмы, как сравнение, анализ, синтез, абстрагирование, обобщение. В более широком смысле логическим приёмом называются также определение понятия, деление объёма понятия, указание, объяснение, описание, различение.

"Логический треугольник" - мнемоническая фигура, с помощью которой изображаются основные аспекты языка (синтаксический, семантический и др.).

Логический язык – формальный язык логики; интерпретированное логическое исчисление.

Логическое противоречие - конъюнкция двух высказываний, одно из которых является отрицанием другого.

Логическое следование – 1) отношение, существующее между посылками и обоснованно выводимыми из них заключениями; 2) отношение между посылками и заключением в необходимых умозаключениях, дающее истинное заключение при истинных посылках и соблюдении логической правильности.

Логичность – 1) качество рассуждения, характеризующееся последовательностью, непротиворечивостью, доказательностью; 2) соответствие логическим законам и принципам; последовательность, отсутствие логических ошибок.

Ложность - истинностная характеристика суждения, не соответствующего действительности.

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

Меньший термин – термин, который выражает подлежащее (субъект) меньшей посылки и подлежащее заключения силлогизма.

Металогика - наука, изучающая строение и свойства формальных логических теорий; теория логической теории.

Метод остатков – 1) метод установления связи части причины и части следствия на основе знания отношений других частей причины и следствия; 2) применение этого метода связано с установлением причины, вызывающей определённую часть сложного действия, при условии, что причины, вызывающие другие части этого действия, уже выявлены.

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

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

Метод сходства – 1) метод установления связи причины и следствия на основе выявления совпадений в причинном комплексе при наличии следствия; 2) по методу сходства сравнивают несколько случаев, в каждом из которых исследуемое явление наступает; при этом все случаи сходны в одном и различны во всех других обстоятельствах.

Многосторонняя дискуссия – поочерёдное обсуждение различных программ, исходящих от различных пропонентов.

Модальность – оценка высказывания, данная с той или иной точки зрения. Модальная оценка выражается с помощью понятий «необходимо», «возможно», «доказуемо», «опровержимо», «обязательно», «разрешено» и т.п.

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

Модус – свойство, присущее предмету не постоянно, а лишь в некоторых состояниях, в отличие от атрибута, который является неотъемлемым свойством предмета и без которого предмет не может ни существовать, ни мыслиться.

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

Модус толленс - модус условно-категорического силлогизма, вывод от отрицания следствия к отрицанию основания.

Модусы силлогизма – разновидности силлогизма, отличающиеся друг от друга качественной и количественной характеристикой входящих в него посылок и заключения.

Мышление – высшая форма отражения объективной реальности, состоящая в целенаправленном и обобщённом познании субъектом существенных связей и отношений предметов и явлений, в творческом созидании новых идей, в прогнозировании событий и действий.

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

Научная индукция – 1) умозаключение, в котором обобщение строится путём отбора необходимых и исключения случайных обстоятельств; 2) умозаключение, в котором на основании познания необходимых признаков или необходимой связи части предметов класса делается общее заключение о всех предметах класса.

Независимые суждения – суждения, которые не имеют общих составляющих.

Необходимое умозаключение - умозаключение, в котором из истинности посылок с необходимостью выводится истинность заключения.

Неполная индукция – 1) индуктивное умозаключение от знания части элементов класса к знанию обо всем классе; 2) умозаключение, в котором на основе повторяемости признака у некоторых явлений определённого класса делается вывод о принадлежности этого признака всему классу явлений.

Неполное (открытое) дизъюнктивное суждение – суждение, в котором перечислены не все признаки или не все виды определённого рода.

Неполный ответ – ответ, включающий информацию относительно отдельных элементов или составных частей вопроса.

Непосредственное умозаключение – умозаключение, в котором новое знание выводится из одной посылки.

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

Неправильно поставленный (некорректный) вопрос – вопрос с ложным или противоречивым базисом.

Нераспределенный термин – термин, который в данном суждении взят не во всём объёме, а лишь частично.

Нерегистрирующие понятия – общие понятия, относящиеся к неопределённому числу элементов… Нерегистрирующие понятия имеют бесконечный объём.

Несовместимые (внеположные) понятия – понятия, объёмы которых не совпадают ни полностью, ни частично.

Несовместимые суждения – суждения, которые одновременно не могут быть истинными.

Несравнимые понятия - понятия, не имеющие общих признаков, поэтому сравнивать эти понятия невозможно.

Несравнимые суждения - суждения, состоящие из разных понятий или разных более простых суждений.

Нестрогая аналогия – аналогия, в результате которой получается заключение от сходства двух предметов в известных признаках к сходству их в таком новом признаке, о котором неизвестно, находится ли он в зависимости от первых или нет.

Нестрогая дизъюнкция – суждение, в котором связка «или» употребляется в соединительно-разделительном значении.

Несущественные признаки – признаки, которые могут принадлежать, но могут и не принадлежать предмету и которые не выражают его сущности.

Неявная критика - скептическая оценка позиции пропонента без конкретного анализа недостатков и точного указания на слабые места.

Неявное определение - определение, основанное на произвольных признаках, существенность которых ещё не установлена.

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

Нулевое понятие – понятие, объём которого представляет собой класс реально не существующих предметов и существование которых в принципе невозможно.

Обобщение – 1) приём, с помощью которого отдельные предметы на основе присущих им одинаковых свойств объединяются в группы однородных предметов. Благодаря обобщению существенные признаки, выявленные у отдельных предметов, рассматриваются как признаки всех предметов, к которым приложимо данное понятие; 2) умственный переход от понятий, имеющих меньший объём, к понятиям, имеющим больший объём.

Обобщение понятия – логическая операция перехода от видового понятия к родовому путём исключения из данного видового понятия его видообразующего признака.

Обоснование – 1) процедура использования определённых знаний, норм и установок для принятия каких-либо утверждений, оценок или решений о практических действиях; 2) операция подтверждения суждения через приведение других, логически связанных с ним истинных суждений.

Обоснованность – качество правильного логического мышления, которое свидетельствует о том, что в рассуждении все мысли опираются на другие мысли, истинность которых доказана.

Образец - совокупность исследуемых случаев; может совпадать с популяцией.

Обращение – преобразование суждения, в результате которого субъект исходного суждения становится предикатом, а предикат – субъектом заключения.

Общая гипотеза – обоснованное предположение о закономерных связях в природе и обществе и об эмпирических регулярностях.

Общее понятие – понятие, в котором мыслится множество предметов.

Общее суждение – суждение, в котором что-либо утверждается или отрицается обо всех предметах некоторого класса.

Общеотрицательное суждение – 1) суждение, общее по количеству и отрицательное по качеству; 2) суждение, в котором отрицается наличие признака у всех элементов некоторого класса.

Общеутвердительное суждение – 1) суждение, общее по количеству и утвердительное по качеству; 2) суждение, в котором утверждается наличие признака у каждого элемента некоторого класса.

Объединение классов (сложение) – операция, в результате которой два или несколько классов объединяются в один класс, состоящий из элементов – слагаемых классов.

Объективность – 1) в психологическом плане – отсутствие предвзятости; 2) в логико-методологическом плане – всесторонность исследования с целью установления истины.

Объём понятия – совокупность предметов, которая мыслится в данном понятии.

Объяснение – совокупность приёмов, помогающих установить достоверность суждений относительно какого-либо неясного, запутанного дела или имеющих целью вызвать более ясное и отчётливое представление о более или менее известном явлении. Такими приёмами, в зависимости от условий, могут быть сравнение, описание, аналогия, различие, указание на причины, составление простейшей модели и т.д.

Объяснительная гипотеза – 1) предположение о причинах возникновения объекта исследования; 2) предположение о причинах, законах вещей.

Ограничение понятия – логическая операция перехода от родового понятия к видовому путём прибавления к содержанию родового понятия видообразующего признака.

Омонимы – слова, совпадающие по звучанию, одинаковые по форме, но выражающие различные понятия.

Оператор – символ или комбинация символов, которые, будучи употреблены совместно с переменными, константами или формами, дают новую константу или форму.

Оператор модальности - слово, указывающее на ту или иную модальность, например: "необходимо", "доказано", "обязательно" и др.

Операции с понятиями - операции, с помощью которых производят действия с объёмами и содержанием понятий, несколькими понятиями одновременно.

Описание – фиксирование результатов наблюдения с помощью терминов естественного или формального языка.

Описание предмета – один из приёмов, употребляющихся при ознакомлении с индивидуальными предметами, у которых нельзя найти видовое отличие, а следовательно, и не представляется возможным определить предмет посредством приёма установления ближайшего рода и видового различия. Описать предмет – это значит перечислить ряд признаков, которые более или менее полно раскрывают его. При этом в описание включаются не только существенные, но и не существенные признаки предмета.

Описательная гип отеза - предположение о присущих исследуемому объекту свойствах.

Оппонент – участник дискуссии, выражающий несогласие с позицией пропонента.

Определение понятия – в самом широком смысле есть логическая операция, в процессе которой раскрывается содержание понятия.

Определение понятия через ближайший род и видовое отличие – логический приём определения понятия, который заключается в том, что отыскивается ближайший род для определяемого понятия и отличительные признаки, имеющиеся только у данного вида предметов и отсутствующие у всех других видов предметов, входящих в этот ближайший род.

Определённость – 1) такое качество правильного логического мышления, которое свидетельствует о том, что в рассуждении все мысли при повторении употребляются в одном и том же определённом смысле, в них вкладывается одно и то же точное, чёткое содержание, соответствующее отображаемому в них предмету, явлению; 2) свойство правильного мышления воспроизводить в структуре мысли качественную определённость самих предметов и явлений, их относительную устойчивость.

Опровержение – доказательство ложности или несостоятельности какого-либо тезиса.

Основание – часть условного суждения, в которой отображается условие, от которого зависит истинность следствия.

Основание деления объёма понятия – признак, который даёт возможность разделить объём родового понятия на виды.

Остенсивное определение – такое определение значения слова, когда непосредственно показывается на предмет, который обозначен этим словом. Остенсивное определение применяется при встрече с человеком, говорящим на незнакомом языке, причём сами мы не понимаем его языка. В таком случае указывается на предмет и одновременно произносится слово, обозначающее этот предмет.

Ответ – 1) связанное с вопросом суждение, уменьшающее или снимающее неопределённость, заключённую в вопросе; 2) новое суждение, уточняющее или дополняющее в соответствии с поставленным вопросом прежнее знание.

Открытый вопрос - вопрос, требующий указания новой информации о признаках предметов. Это вопрос, на который существует бесчисленное множество ответов.

Отличительный признак - признак, присущий только данному предмету или классу предметов.

Относительные понятия – понятия, в которых мыслятся предметы, существование одного из которых предполагает существование другого.

Отрицание – логическая операция, в результате которой из данного высказывания (например, А) получается новое высказывание (не-А), которое называется отрицанием исходного высказывания (А); логическая операция противопоставления утвердительных и отрицательных высказываний с помощью союзов “не”, “неверно, что...”.

Отрицательное понятие – понятие, в содержании которого указывается на отсутствие у предмета определённых свойств.

Отрицательное суждение – суждение, в котором отображается тот факт, что данному предмету не присуще какое-то свойство.

Оценка – установление ценности, значимости чего-либо.

Ощущение – отражение отдельных чувственно воспринимаемых свойств предметов.

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

Парадокс - противоречие, полученное в результате внешне логически правильного рассуждения, приводящее к взаимно противоречащим заключениям.

Паронимы – близкие по звучанию однокоренные слова, имеющие разное значение или совпадающие в нём лишь частично.

Пересекающиеся понятия – совместимые понятия, объёмы которых частично совпадают.

Пересечение классов (умножение) – операция - образование нового класса, в который войдут только общие элементы всех исходных классов.

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

Повод – условие, предшествующее появлению данного явления, но не порождающее его.

Подмена тезиса – логическая ошибка, совершаемая в ходе доказательства, состоящая в сознательной замене тезиса на другое похожее суждение, которое легче поддаётся доказательству и доказательство которого выдаётся за доказательство первоначального тезиса.

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

Подчинение между суждениями - отношение между суждениями, при истинности подчиняющего подчинённое всегда будет истинным.

Подчинённые понятия – совместимые понятия, объём одного из которых полностью входит в объём другого, составляя его часть.

Познание - процесс формирования истинных знаний о мире.

Полисиллогизм (сложный силлогизм) – последовательность простых силлогизмов, в которой заключение предшествующего силлогизма (просиллогизма) становится посылкой последующего силлогизма (эписиллогизма).

Полная индукция – умозаключение, в котором общее заключение делается на основе изучения всех предметов или явлений данного класса.

Полное (закрытое) дизъюнктивное суждение – суждение, в котором перечислены все признаки или все виды определённого рода.

Полный ответ – ответ, включающий информацию по всем элементам или составным частям вопроса.

Положительное понятие – понятие, содержание которого составляет свойства, присущие предмету.

Понятие – форма мышления, в которой отражаются существенные признаки предмета или класса однородных предметов.

Популярная индукция – 1) обобщение, в котором путём перечисления устанавливают принадлежность признака некоторым предметам или частям класса и на этой основе проблематично заключают о его принадлежности всему классу; 2) неполная индукция, в которой отсутствует определённый метод отбора примеров, служащих посылками данного умозаключения.

Популяция - название всей совокупности предметов, подразумевающейся в заключении индуктивного умозаключения.

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

Последовательность – свойство правильного мышления воспроизводить структурой мысли те структурные связи и отношения, которые присущи самой действительности, способность следовать «логике вещей и событий».

Поспешное обобщение – логическая ошибка, состоящая в том, что индуктивное обобщение формируется на основании немногих, случайно встретившихся примеров.

Посылки умозаключения - суждения, из которых в умозаключении выводится новое суждение (заключение).

Пояснение - логический приём, с помощью которого предмет определяется не вполне, а лишь в одном каком-либо отношении и с определённой целью (которая может состоять и в том, чтобы подготовить полное логическое определение).

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

Правильно поставленный (корректный) вопрос – вопрос, предпосылка которого представляет собою истинное непротиворечивое знание.

Правильность логическая – соответствие используемых в процессе рассуждения символов законам и правилам логики.

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

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

Прагматика – раздел семиотики, занимающийся анализом коммуникативной функции языка – эмоционально-психологических, эстетических, экономических и других отношений носителя языка к самому языку.

Превращение – преобразование суждения в суждение, противоположное по качеству с предикатом, противоречащим предикату исходного суждения.

Предвосхищение основания – ошибка в доказательстве, при которой в качестве аргумента приводится суждение, которое само нуждается в обосновании.

Предикат – 1) сказуемое суждения; то, что высказывается (утверждается или отрицается) в суждении о субъекте. Предикат отображает наличие или отсутствие того или иного признака у предмета; 2) термин суждения, отражающий признак предмета.

Предложение – соединение слов, имеющее самостоятельный смысл, т.е. выражающее законченную мысль.

Предмет мышления – существующие в реальной действительности и воображаемые вещи, явления, события, их свойства и отношения,

Предположение - положение, которая временно принимается за возможно истинное, пока не будет установлена истина.

Предпосылка вопроса - связанное с вопросом исходное наличное знание.

Представление – сохранившийся в сознании чувственный образ предмета, который воспринимался раньше.

Признак предмета – то, в чём предметы сходны друг с другом или чем они друг от друга отличаются.

Причинная связь между двумя явлениями – связь, при которой одно из явлений – причина –предшествует и вызывает другое явление следствие.

Проблема - теоретический или практический вопрос, который необходимо изучить и разрешить.

Проверка гипотез - процесс установления истинности предположения.

Прогрессивный полисиллогизм – полисиллогизм, в котором заключение просиллогизма становится большей посылкой эписиллогизма.

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

Пропонент – участник дискуссии, выдвигающий и отстаивающий определённое положение.

Просиллогизм – силлогизм, предшествующий другому в последовательности силлогизмов (полисиллогизме).

Простая деструктивная дилемма - модус условно-разделительного умозаключения, вывод от отрицания двух следствий к отрицанию одного основания.

Простая конструктивная дилемма – модус условно-разделительного умозаключения, вывод от утверждения двух разных оснований к одному следствию.

Простое суждение – 1) суждение, выражающее связь двух понятий; 2) суждение, представляющее собой одно утверждение или отрицание; состоит из одного субъекта и одного предиката.

Простой вопрос – 1) вопрос, не включающий в качестве составных частей других вопросов; 2) вопрос, заключающий в себе одно требование о недостающей информации.

Простой категорический силлогизм – умозаключение об отношении двух крайних терминов на основании их отношения к среднему термину.

Противоположные понятия – два понятия, которые являются видами одного и того же рода и при этом одно из них содержит какие-то признаки, а другое эти признаки не только отрицает, но и заменяет иными, противоположными признаками.

Противоположные суждения – суждения, которые не могут быть одновременно истинными, но могут быть одновременно ложными.

Противопоставление предикату – преобразование суждения, в результате которого субъектом становится понятие, противоречащее предикату, а предикатом – субъект исходного суждения.

Противопоставление субъекту – логическая операция, в ходе которой осуществляется сначала обращение, а затем превращение обращенного суждения; является непосредственным умозаключением.

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

Противоречащие понятия - понятия, отрицающие друг друга, одно из которых обязательно применимо к любому объекту.

Противоречащие суждения – суждения, которые одновременно не могут быть ни истинными, ни ложными. При истинности одного из них другое будет ложным, а при ложности первого второе будет истинным.

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

Прямое доказательство – доказательство, в котором истинность тезиса выводится из истинности аргументов без введения дополнительных предположений.

Прямой метод опровержения суждений – метод, который состоит в противопоставлении опровергаемому суждению другого суждения, которое является истинным и противоположным опровергаемому.

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

Рабочая гипотеза - выдвигаемое на первых шагах исследования предположение, условное допущение, позволяющее группировать результаты наблюдений и экспериментов, дающее им первоначальное объяснение.

Равнообъёмные понятия - то же, что и тождественные понятия.

Развёрнутые ответы – ответы, в каждом из которых повторяются все элементы вопроса.

Разделительное доказательство - вид косвенного доказательства, в котором истинность тезиса выводится из ложности всех антитезисов.

Разделительно-категорическое умозаключение – умозаключение, в котором одна из посылок – разделительное, а другая посылка и заключение – категорические суждения.

Разделительные (дизъюнктивные) суждения – суждения, состоящие из нескольких простых, связанных логической связкой «или».

Разделительный вопрос – два и более простых вопросы, связанных союзом «или».

Различение – один из приёмов ознакомления с предметом в тех случаях, когда определение понятия невозможно или не требуется, заключающийся в том, в сравниваемых понятиях выделяются на первое место различные признаки… Различение показывает отличие предмета не от всех других однородных предметов, но только от некоторых наиболее сходных с ним.

Распределённость терминов категорического суждения - количественная характеристика субъекта категорического суждения по отношению к предикату и наоборот.

Распределённый термин – термин, который в данном суждении взят во всём объёме.

Рассуждение – 1) цепь умозаключений на какую-нибудь тему, изложенных в логически последовательной форме. Рассуждением называется и ряд суждений, относящихся к какому-либо вопросу, которые идут одно за другим таким образом, что из предшествующих суждений необходимо вытекают или следуют другие, а в результате получается ответ на поставленный вопрос; 2) последовательность связанных по определённым правилам мыслей, при помощи которых мы порождаем новые мысли или обосновываем уже известные.

Реальное определение – определение, раскрывающее существенные признаки предмета.

Регистрирующие понятия – общие понятия, в которых множество мыслимых в нём элементов поддаётся учёту, регистрируется (во всяком случае в принципе)…Регистрирующие понятия имеют конечный объём.

Регрессивный полисиллогизм – полисиллогизм, котором заключение просиллогизма становится меньшей посылкой эписиллогизма.

Рефлексивность - свойство двуместных отношений, при котором предмет находится в этом отношении к самому себе (равенство).

Род – логическая характеристика класса предметов, в состав которого входят другие классы предметов, являющиеся видами этого рода.

Родовой признак - признак, присущий всем видам некоторой области.

Свойство – характеристика, присущая вещам и явлениям, позволяющая отличать или отождествлять их.

Связка – в традиционной логике элемент простого суждения, соединяющий субъект и предикат.

Семантика – раздел семиотики, занимающийся проблемой интерпретации, то есть анализом отношений между знаками и обозначаемыми объектами.

Семантический треугольник - то же, что и "логический треугольник".

Семиотика – наука о знаках и знаковых системах, а также о естественных и искусственных языках как знаковых системах.

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

Символ - эмпирический объект, используемый с целью указания на другие эмпирические или же абстрактные объекты. Обычно в качестве символов используются эмпирические объекты, наиболее удобные для употребления в той или иной области практической деятельности человека: буквы, слова, цифры, ноты, звуковые и световые сигналы и т.п. Различают символы, имеющие самостоятельный смысл и значение (например, цифры или слова), и вспомогательные символы (например, кавычки, скобки, запятая и т.п.), используемые с целью указания на какие-либо объекты лишь в сочетании с другими символами.

Симметричное отношение – такое отношение между объектами, когда наличие этого отношения между объектами (например, a и с) влечёт за собой наличие этого отношения и в том случае, если объекты поменять местами (c и a); иначе говоря, при симметричном отношении перестановка объектов не ведёт к изменению вида отношения.

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

Синтаксис – раздел семиотики, исследующий структурные свойства систем знаков, правила их образования и преобразования, отвлекаясь от их интерпретации.

Синтаксическое определение – определение, в котором предмет определяется через способы оперирования с ним.

Синтез – логический приём, в ходе которого происходит мысленное соединение в единое целое частей предмета или его признаков, полученных в процессе анализа.

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

Сложная деструктивная дилемма – модус дилеммы, в котором вывод делается от отрицания двух следствий к отрицанию двух оснований.

Сложная конструктивная дилемма – модус дилеммы, в котором вывод делается от утверждения двух оснований к утверждению двух следствий.

Сложно-сокращённый силлогизм - сложный силлогизм, в котором пропущены посылки.

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

Смешанный вопрос – объединение соединительных и вопросительных вопросов.

Собирательное понятие – понятие, в котором группа однородных предметов мыслится как единое целое.

Совместимые понятия – понятия, объёмы которых совпадают полностью или частично.

Совместимые суждения – суждения, которые одновременно могут быть истинными.

Содержание понятия – совокупность существенных признаков предмета или класса однородных предметов, отражённых в этом понятии.

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

Соединительные (конъюнктивные) суждения – суждения, состоящие из нескольких простых, связанных логической связкой «и».

Соединительный вопрос – два и более простых вопроса, связанные союзом «и».

Соотносительные понятия – 1) понятия, содержащие признаки, которые указывают на отношение одного понятия к другому понятию; 2) понятия, в которых мыслятся предметы, существование одного из которых предполагает существование второго. Например, "теща - зять", "правый-левый", "истец-ответчик".

Соподчинённые понятия – непересекающиеся понятия, принадлежащие общему родовому понятию.

Сорит – вид сложного силлогизма, в котором приводится только последнее заключение, проводимое через ряд посылок; остальные же промежуточные заключения невысказываются, а подразумеваются.

Софизм – рассуждение, кажущееся правильным, но