Словарь логических терминов
Абсолютно истинное высказывание - такое высказывание, которое истинно при всех возможных ситуациях приписывания истинностных значений. Абстрагирование — процесс мысленного выделения, вычленения отдельных или общих свойств и отношений конкретного предмета. Абстрактная система— формализованная система, об объектах которой ничего неизвестно, кроме того, к каким категориям они принадлежат, как соотносятся между собой и как объекты соотносятся со структурой системы. Автоморфизм — изоморфизм некоторого множества на самого себя, т.е. взаимно-однозначное соответствие структуры данного множества структуре самого себя. Аксиома — истинное суждение, которое при дедуктивном построении некоторой теории принимается без доказательства. Аксиоматическая теория— теория, построенная из конечного числа постулатов, из которых с помощью заданных логических правил вывода дедуктивно выводятся теоремы. Аксиоматический метод— метод построения аксиоматической теории. Алгоритм — однозначное пошаговое описание правил решения какой-либо конкретной задачи. Алетическая модальность— модальный оператор «необходимо» или «возможно». Амплификация — нагромождение в речи излишних однозначных слов и выражений. Амфиболия — логическая ошибка, заключающаяся в том, что грамматическое выражение допускает его двоякое толкование. Анализ — логический метод, связанный с мысленным расчленением предмета на составляющие части или элементы и исследованием их в отдельности друг от друга. Аналогия — подобие, сходство предметов в каких-либо свойствах или признаках, на основании которого делается суждение об их тождественности. Анафора — повторение одной и той же мысли или одного и того же слова, как правило, в целях усиления высказанного. Антагонизм — непримиримое противоречие. Антилогизм — понятие логики, характеризующее несовместимость посылок категорического силлогизма. Антиномия — противоположность между двумя суждениями, взаимоисключающими друг друга и в равной степени обоснованными. Антитеза — положение, противоположное тезису. Антитезис — суждение, противопоставляемое тезису в процессе спора или полемики. Антиципация — преждевременное совершение логической операции. Апогогическое доказательство— непрямое или косвенное доказательство, связанное с допущением в качестве заключения такого суждения, которое противоречит исходному заключению. Аподиктический — безусловный, достоверный, основанный на логической необходимости. Апологетика— необъективная, нарочито предвзятая защита какого-то тезиса. Апорема — трудно разрешимая логическая проблема, затруднение. Апория — термин, обозначающий трудноразрешимую логическую задачу, связанную с противоречием между данными опыта и их мысленным анализом. Апостериорное знание— знание, приобретенное при помощи опыта. Априорное знание — знание, приобретенное до опыта. Аргумент — суждение, посредством которого обосновывается истинность другого суждения, тезиса. Афазия — воздержание от уверенных высказываний и суждений о чем-либо. БЕЗОТНОСИТЕЛЬНОЕ ПОНЯТИЕ — понятие, которое не находится в непосредственной связи с другими понятиями. БЕЗУСЛОВНАЯ АНАЛОГИЯ — аналогия, которая применяется тогда, когда точно и определенно установлена связь между общими признаками, имеющимися у обоих сопоставляемых предметов. БЕЗУСЛОВНОГО ТОЖДЕСТВА ЗАКОН — одна из форм тождества, согласно которой мысли, имеющие одно и то же содержание и выраженные в одной форме, считаются тождественными. БЕЗУСЛОВНОЕ СУЖДЕНИЕ — суждение, в котором что-либо утверждается (отрицается) вне зависимости от какого-либо условия. БЛИЖАЙШИЙ РОД — непосредственно более широкий класс предметов, в который в качестве вида входит рассматриваемый предмет. БОЛЬШАЯ ПОСЫЛКА — посылка, в которую входит больший термин. БОЛЬШИЙ ТЕРМИН — термин, который является предикатом заключения простого категорического силлогизма. ВВЕДЕНИЯ КОНЪЮНКЦИИ ПРАВИЛО — правило, заключающееся в том, что к доказательству можно присоединить конъюнкцию, если в числе строк доказательства имеются оба ее члена. . Верификация — процесс установления истинности научных утверждений посредством их эмпирической проверки. ВЕРОЯТНОСТНОЕ СУЖДЕНИЕ — суждение, в котором что-либо утверждается (отрицается) с известной степенью предположительности. ВЕРОЯТНОСТНАЯ ЛОГИКА — логика, исследующая вероятностные суждения, базирующиеся не только на двух значениях истинности (истина и ложь), но и на значениях истинности, располагающихся между истинностью и ложностью. ВЕРОЯТНОСТЬ — степень возможности какого-либо определенного события. ВЗАИМНО-ОДНОЗНАЧНОЕ ОТНОШЕНИЕ — такое отношение, когда каждому значению у, входящему в формулу xRy, соответствует одно-единственное значение х. ВЗАИМНО-ОДНОЗНАЧНОЕ СООТВЕТСТВИЕ — такое соответствие между элементами двух множеств, когда каждому элементу первого множества некоторым образом поставлен в соответствие один определенный элемент второго множества. ВЗАИМОЗАМЕНИМОСТИ ПРИНЦИП - принятое в логической семантике положение, согласно которому возможна такая замена языкового выражения другим языковым выражением в данном контексте, что при этом логический смысл контекста не меняется. ВИДОВОЕ ОТЛИЧИЕ — признак, отличающий предмет одного вида от предметов других видов, входящих в один и тот же род. ВИДОВОЕ ПОНЯТИЕ — понятие, которое отображает существенные признаки класса предметов, являющихся видом какого-либо рода. ВИРТУАЛЬНЫЙ — такой возможный объект, который нами еще не воспринимается как нечто вполне определенное, но способный при наличии некоторых условий возникнуть, проявиться. ВРЕМЕННАЯ (ТЕМПОРАЛЬНАЯ) ЛОГИКА — одно из направлений современной модальной (неклассической) логики, применяющее логический аппарат для анализа корректности суждений, содержащих в себе модальности временной упорядоченности явлений, отношений и действий типа «раньше», «позднее», «одновременно» и т.п. ВСЕГДА ИСТИННЫЕ ВЫСКАЗЫВАНИЯ (ТАВТОЛОГИИ) — высказывания, которые всегда принимают только значения «истина». ВСЕГДА ЛОЖНЫЕ ВЫСКАЗЫВАНИЯ (ЛОГИЧЕСКИЕ ПРОТИВОРЕЧИЯ) — высказывания, принимающие только значения «ложь». ВЫВОД— последовательность высказываний или формул, состоящая из аксиом, посылок и ранее доказанных высказываний (теорем). Последняя из формул данной последовательности, выведенная как непосредственное следствие предыдущих формул но одному из правил вывода, представляет собою доказуемую формулу. ВЫСКАЗЫВАНИЕ — термин в логике, которым обозначается логический смысл какого-либо простого повествовательного предложения естественного языка. ГЕНЕТИЧЕСКИЙ МЕТОД — метод исследования какого-либо предмета, основанный на анализе процесса его возникновения, становления, перехода от низших ступеней к высшим. ГЕНЕТИЧЕСКОЕ ДОКАЗАТЕЛЬСТВО — вид доказательства, в котором используется генетический метод. ГЕРМЕНЕВТИКА — раздел эпистемологии и методологии науки, связанный с истолкованием текстов, их пониманием, смыслом. ГИПОСТАЗИРОВАТЬ — утверждать факт существования каких-либо объектов на том только основании, что существуют слова, обозначающие такие объекты. ГИПОТАКСИС— подчинение или зависимость чего-либо от другого. ГИПОТЕЗА — вероятное предположение о причине какого-либо явления, достоверность чего еще не доказана ни наукой, ни практикой. ГИПОТЕТИКО-ДЕДУКТИВНЫЙ МЕТОД — способ научного исследования, согласно которому вначале выдвигаются несколько гипотез о причинах изучаемых явлений, а затем дедуктивным путем из гипотез выводятся следствия. ГЛОССА — интерпретация непонятного или малоупотребимого слова. ГОМОГЕННЫЙ — однородный, состоящий из одних и тех же компонентов. ГОМОМОРФИЗМ — такое отношение между двумя совокупностями объектов, когда каждому объекту (а) первой совокупности ставится в соответствие только один предмет (в) из второй совокупности. ДЕДУКТИВНОЕ ДОКАЗАТЕЛЬСТВО — одна из форм доказательства, когда тезис, являющийся частным суждением, подводится под общее правило. ДЕДУКТИВНОЕ УМОЗАКЛЮЧЕНИЕ — умозаключение, которое обеспечивает при истинности посылок и соблюдении правил логического вывода истинность заключения, следующего из этих посылок. ДЕДУКЦИЯ — в широком смысле такая форма мышления, когда новая мысль выводится чисто логическим путем. В узком смысле, принятом в традиционной логике, это дедуктивное умозаключение. В целом в логике, дедукция — это последовательность мыслей или суждений, каждый компонент которой логически вытекает из предыдущих мыслей или суждений. ДЕДУЦИРОВАТЬ — выводить какие-либо заключения из данных посылок по правилам логики. ДЕЛЕНИЕ ОБЪЕМА ПОНЯТИЙ — логическая операция, заключающаяся в том, что предметы, отображенные в понятии, делятся на виды. ДЕЛИМОЕ ПОНЯТИЕ — понятие, объем которого подвергается делению. ДЕМОНСТРАЦИЯ — логическое рассуждение, в процессе которого из аргументов выводится истинность или ложность тезиса. ДЕНОМИНАЦИЯ— переименование. ДЕНОТАТ — в самом широком смысле вещь, предмет, который мы имеем в виду, обозначая собственным именем. ДЕОНТИЧЕСКАЯ ЛОГИКА — один из разделов современной модальной логики, применяющий логические средства и методы для анализа корректности рассуждений, включающих в себя суждения, содержащие модальности типа «обязательно», «разрешено», «запрещено» и подобные им. Деонтическая логика используется для изучения отношений долженствования, структуры норм и нормативных кодексов. ДЕСИГНАТ — значение имени, объект, обозначаемый посредством данного имени. ДЕСКРИПТИВНОЕ ПРЕДЛОЖЕНИЕ — описывающее предложение, которое может квалифицироваться с точки зрения истинности. ДЕСКРИПЦИЯ — логико-лингвистический термин, который предназначен для указания на предметы в виде дополнительного имени, например: «тот, который...» ДЕФИНИЦИЯ — логическая операция определения. ДИЗЪЮНКЦИЯ — логический оператор, предназначенный для экспликации грамматического союза «или». ДИХОТОМИЧЕСКОЕ ДЕЛЕНИЕ ОБЪЕМА ПОНЯТИЯ — вид деления объема понятия, когда объем делится на два противоречащих друг другу видовых понятия А и не-А, полностью исчерпывающих объем делимого понятия. ДОКАЗАТЕЛЬСТВО — в широком смысле логическое действие, в процессе которого устанавливается истинность какой-либо мысли. В логике под доказательством понимается последовательность формул, в которой каждая формула является либо аксиомой, либо следует из предшествующих формул по правилам вывода. ДОКАЗАТЕЛЬСТВО ПО СУЩЕСТВУ — доказательство, в котором исследуется содержание оснований и логическая связь между ними. ЕДИНИЧНОЕ ПОНЯТИЕ — понятие, в котором отображаются признаки какого-то одного-единственного предмета. ЕДИНИЧНОЕ СУЖДЕНИЕ — такое суждение, в котором что-то утверждается или отрицается об отдельном предмете. ЗНАК — материально-чувственно воспринимаемый объект, который символически отсылает нас к реальному объекту, обозначает его. ЗНАЧЕНИЕ — характеристика именования предметов, которая характеризует то, чем данный объект является для людей. ИМПЕРАТИВ — безусловное требование, приказ. ИМПЛИКАТИВНОЕ СУЖДЕНИЕ — суждение типа «если…, то…». Оно выражает причинно-следственные отношения. ИМПЛИКАЦИЯ — логический оператор, выражающий причинно-следственные отношения. ИМЯ— языковое выражение, непосредственно обозначающее какой-либо предмет. ИНВЕРСИЯ — преобразование условного суждения в новое условное суждение. ИНДУКТИВНАЯ ЛОГИКА — раздел логики, в котором исследуются умозаключения, в которых мысль развивается от единичного к общему. ИНДУКТИВНОЕ ДОКАЗАТЕЛЬСТВО — форма доказательства, когда тезис, являющийся общим суждением, обосновывается с помощью частных суждений. ИНДУКТИВНОЕ ОПРЕДЕЛЕНИЕ — такое определение, которое позволяет из некоторых исходных объектов теории путем применения к ним логических операций построить новые объекты теории. ИНДУКЦИЯ — в широком смысле это форма мышления, посредством которой мысль наводится на какое-либо общее правило, присущее всем единичным предметам какого-либо класса. ИНТЕРПОЛЯЦИЯ — нахождение по ряду данных значений функции промежуточных ее значений. ИНТЕРПРЕТАЦИЯ— систематические приписывание формулам какого-либо искусственного языка значений истинности. ИСКЛЮЧЕНИЯ МЕТОД — способ доказательства какого-либо положения путем перечисления всех частных случаев, содержащихся в этом положении, доказывая их невозможность за исключением одного, относительно которого ведется доказательство. ИСКЛЮЧЕННОГО ТРЕТЬЕГО ЗАКОН - один из основных законов формальной логики, согласно которому из двух противоречащих высказываний в одно и то же время и в одном и том же отношении одно непременно истинно. ИСТИННОЕ ЗНАЧЕНИЕ — основное качество высказываний. связанное с приписыванием им значений «истинно» или «ложно». КАТЕГОРИЧЕСКИЙ СИЛЛОГИЗМ — силлогизм, в котором вывод получается из двух посылок, являющихся категорическими суждениями. КВАНТОР — логический оператор логики предикатов, выражающий отношения всеобщности или единичности. КЛАССИФИКАЦИЯ — распределение предметов какого-либо рода на взаимосвязанные классы согласно наиболее существенным признакам. КОМПЛЕКСНАЯ ЛОГИКА — одно из направлений неклассической логики, в котором результат логического вывода определяется как следствие ранее добытых знаний. КОНКРЕТНОЕ ПОНЯТИЕ — понятие, в котором отображен определенный предмет или класс предметов. КОННОТАЦИЯ — дополнительные черты, которые сопутствуют основному содержанию данного высказывания. КОНСЕКВЕНТ — заключительная часть импликации, символизирующая собою следствие, выводимое из причины. КОНСТАНТА — в логике постоянное выражение, значение которого не меняется. КОНТРАРНОЕ ОТНОШЕНИЕ — отношение между противоположными суждениями, которые вместе не могут быть истинными, но оба могут быть ложными. КОНЪЮНКЦИЯ — логический оператор, соответствующий грамматическому союзу «и». КРУГ В ДОКАЗАТЕЛЬСТВЕ — логическая ошибка в доказательстве, заключающаяся в том, что истинность какого-либо тезиса обосновывается посредством того же самого положения, которое еще должно быть доказано. ЛОГИЧЕСКИЕ ОШИБКИ — ошибки в умозаключениях, рассуждениях, определениях понятий, доказательствах и опровержениях. Ошибки делятся на следующие группы: 1) ложное основание или основное заблуждение, когда доказываемый тезис пытаются вывести из ложных посылок; 2) предвосхищение основания, когда доказываемый тезис пытаются вывести из таких посылок, которые сами еще не доказаны; 3) порочный круг в доказательстве, когда тезис выводится из посылок, которые в свою очередь выводятся из тезиса; 4) подмена тезиса, выражающаяся в том, что, начав доказывать один тезис, в процессе доказательства его подменяют другим; 5) чрезмерное доказательство, выражающееся в том, что когда доказывается слишком много, из данных посылок следует не только доказываемый тезис, но и какое-нибудь ложное положение. ЛОГИЧЕСКОЕ ПРОТИВОРЕЧИЕ — логическая ошибка, связанная с тем, что в рассуждении допускается утверждение одновременно с его отрицанием. ЛОГИЧЕСКОЕ СЛЕДСТВИЕ — суждение, получаемое в результате вывода из посылок по логическим правилам. ЛОГОМАХИЯ — такой спор, когда спорящие, не определив вначале с точностью предмет спора, опровергают друг друга или не соглашаются друг с другом. МЕТАЯЗЫК — язык, на основе которого производится исследование какого-то другого языка. МНОГОЗНАЧНАЯ ЛОГИКА — раздел логики, в котором используются кроме классических значений «истина» и «ложь» и другие значения. МОДАЛЬНАЯ ЛОГИКА — неклассическая логика, связанная с применением методов логики для анализа рассуждений, включающих в себя модусы суждений, их модальности. МОДАЛЬНОСТЬ — характеристика суждения в зависимости от его степени возможности, необходимости, обязательности и т.п. НЕКОРРЕКТНЫЙ — неправильный. НЕПОЛНАЯ ИНДУКЦИЯ — вид индуктивного умозаключения, в результате которого получается какой-нибудь общий вывод о всем классе предметов на основании знания лишь некоторых предметов данного класса. НЕПОЛНАЯ АНАЛОГИЯ — такая аналогия, когда ход умозаключения идет следующим образом: предметы, сходные с С по некоторым свойствам, должны воспроизводить явление В, но из известных нам знаний о предмете, вследствие наибольшего сходства их с С, мы имеем сравнительно наибольшее основание предполагать, что он подойдет под очерченную группу, следовательно, имеем право и ожидать встретить в нем явление В. НОМИНАЛЬНОЕ ОПРЕДЕЛЕНИЕ — объяснение значения слова, имени или термина, обозначающего это понятие. НОМИНАТ — значение имени. ОБЩЕЕ ПОНЯТИЕ — понятие, в котором отображены при знаки класса предметов. ОБЩЕЗНАЧИМАЯ ФОРМУЛА — формула, которая принимает только значение «истина». ОБЩЕУТВЕРДИТЕЛЬНОЕ СУЖДЕНИЕ — суждение, которое имеет вид: «Все S есть Р». ОБЪЕМ ПОНЯТИЯ — множество предметов, которые объединены общим признаком, свойственным данному понятию. ОМОНИМИЯ — логическая ошибка, которая происходит вследствие того, что одно и то же по звуку слово может употребляться в одном рассуждении для обозначения разных предметов. ОПЕРАЦИОНАЛЬНОЕ ОПРЕДЕЛЕНИЕ - определение, которое содержит в себе указание на какое-то действие, операцию. ОПРЕДЕЛЕНИЕ ЧЕРЕЗ БЛИЖАЙШИЙ РОД И ВИДОВЫЕ ОТЛИЧИЯ — логическая операция, которая заключается в том, что для определяемого понятия подыскивается ближайший род с отличительными признаками вида. ОПРЕДЕЛЕНИЕ ПОНЯТИЯ ЧЕРЕЗ ОТНОШЕНИЕ - операция, которая заключается в том, что определяемое понятие соотносится с другим понятием. ОПРЕДЕЛЕНИЕ ЧЕРЕЗ ПРОТИВОПОЛОЖНОСТЬ –операция, посредством которой определяемое соотносится с противоположным понятием. ОПРЕДЕЛЕНИЕ ЧЕРЕЗ АБСТРАКЦИЮ - определение, в котором свойства множеств определяются через установление отношения равенства между изучаемыми множествами. ОСНОВАНИЕ ДЕЛЕНИЯ ПОНЯТИЯ — признак, который дает возможность разделить объем родового понятия на виды. ОСТЕНСИВНОЕ ОПРЕДЕЛЕНИЕ — такое определение, когда непосредственно указывается предмет, который обозначается словом или термином. ОТНОСИТЕЛЬНОЕ ПОНЯТИЕ — понятие, отображающее признаки предметов, существование которых связано с существованием других предметов. ОТРИЦАНИЕ — логическая операция, заключающаяся в том, что истинному высказыванию противопоставляется ложное высказывание. ПАРАДИГМА — пример, образец. ПАРАДОКС— рассуждение, приводящее к взаимоисключающим последствиям. ПАРАЛОГИЗМ— логическая ошибка в умозаключении, происшедшая непредумышленно. ПАРАФРАЗА — передача своими словами чужой мысли. ПЕРЕМЕННАЯ — буква или символ, на место которого может быть подставлено любое значение из выбранной области интерпретации. ПОДЧИНЕНИЕ ПОНЯТИЙ — такое отношение между понятиями, когда объем одного понятия входит в объем другого понятия. ПОЛИСЕМИЯ — многозначность слова. ПОЛИСИЛЛОГИЗМ— сложный силлогизм, состоящий из нескольких простых силлогизмов. ПОЛНАЯ ИНДУКЦИЯ — вид индуктивного умозаключения, в результате которого делается общий вывод о всем классе предметов на основании знания всех без исключения признаков этих предметов. ПОНЯТИЕ — форма мышления, отображающая в себе существенные, закономерные признаки предмета. ПОСЫЛКА — часть рассуждения, в которой содержится известная исследователю информация о предмете изучения. РАБУЛИСТИКА — словесные ухищрения, крючкотворство, словоблудие. РАВЕНСТВО — отношение эквивалентности между высказываниями. РАЗДЕЛИТЕЛЬНОЕ СУЖДЕНИЕ — суждение, в котором выражается знание того, что данному предмету присущ (или не присущ) только один какой-либо признак из числа тех признаков, который указываются в этом суждении. Формула разделительного суждения записывается следующим образом: S есть Р1, или Р2, или РЗ, или Р4. РАЗДЕЛИТЕЛЬНЫЙ КАТЕГОРИЧЕСКИЙ СИЛЛОГИЗМ — силлогизм, в котором разделительная посылка фиксирует ряд исключающих друг друга свойств, одно из которых может принадлежать предмету; категорическая посылка отрицает все — каждое в отдельности — свойства, отображенные в разделительной посылке, кроме одного. В заключении такого силлогизма утверждается принадлежность предмету одного свойства, которое не исключалось разделительной посылкой. РАЗДЕЛИТЕЛЬНО-УСЛОВНОЕ УМОЗАКЛЮЧЕНИЕ — такое умозаключение, в котором одна из посылок — разделительное суждение, а другие — условные суждения: А есть либо В, либо С. Если А есть В, то А есть К Если А есть С, то А есть К _______________________ А есть К
РАЗДЕЛЯЮЩЕЕ СУЖДЕНИЕ — суждение, в котором выражается результат деления какого-либо класса на подклассы. РАСПРЕДЕЛЕНИЕ ТЕРМИНОВ В СУЖДЕНИИ - отношение между объемами терминов (субъектов и предикатов) в суждении. РАСПРЕДЕЛИТЕЛЬНАЯ АНАЛОГИЯ — аналогия, в которой заключают от сходства явлений к сходству причин. РАССУЖДЕНИЕ — цепь умозаключений на какую-либо тему, изложенных в логически последовательной форме. РЕАЛЬНОЕ ОПРЕДЕЛЕНИЕ — определение понятия, отображающее существенные признаки предмета, имеющее своей целью отличать определяемый предмет от всех других предметов. РЕГРЕССИВНОЕ ДОКАЗАТЕЛЬСТВО — доказательство, в котором ход рассуждений идет от следствия к основаниям. Возможны два вида регрессивного доказательства: 1) Когда доказательство восходит от доказываемой мысли к ее основаниям. 2) Когда доказательство восходит от фактов, как следствий, к доказывающему положению, как к основанию. РИТОРИКА — учение об ораторском искусстве, теория красноречия. РОДОВОЕ ПОНЯТИЕ — понятие, которое выражает существенные признаки класса предметов, являющегося родом каких-либо видов. СЕМАНТИКА — раздел логики, в котором изучаются способы систематического приписывания значений выражениям формализованного языка. Основные понятия логической семантики — истинность, выполнимость, общезначимость, логическое следствие. СИЛЛОГИЗМ — умозаключение, в котором из двух категорических суждений, связанных общим термином, получается третье суждение, называемое заключением. СИМВОЛИЧЕСКАЯ ЛОГИКА — одно из названий формальной логики, математической логики. СЛОЖНЫЙ СИЛЛОГИЗМ — силлогизм, состоящий из нескольких простых силлогизмов. СМЫСЛ — содержание знакового выражения; мысль, содержащаяся в слове. СОБИРАТЕЛЬНОЕ ПОНЯТИЕ — понятие, в котором отображены признаки совокупности однородных предметов. СОДЕРЖАНИЕ ПОНЯТИЯ — совокупность признаков, отображающих существенные черты какого-то предмета, отраженные в мысли о нем. СОЕДИНИТЕЛЬНОЕ СУЖДЕНИЕ — суждение, в котором утверждается или отрицается принадлежность предмету нескольких совместных признаков. СОКРАЩЕННЫЙ СИЛЛОГИЗМ (энтимема) — силлогизм, в котором пропущена одна или несколько посылок. СОРАЗМЕРНОСТЬ ДЕЛЕНИЯ ПОНЯТИЯ — характеристика, выражающая то, что при делении понятия необходимо точно перечислить все виды, входящие в объем делимого понятия. СОФИЗМ— логическая уловка, которая умышленно из правильных посылок выводит ложное заключение. СРЕДНИЙ ТЕРМИН СИЛЛОГИЗМА — термин, который является общим для всех посылок силлогизма. СТРОГАЯ АНАЛОГИЯ — аналогия, основанная на знании того, что признаки сравниваемых предметов находятся в строгой зависимости. СУЖДЕНИЕ — формы мысли, в которой что-либо утверждается или отрицается относительно предмета, его свойств, отношений или класса предметов. ТАБЛИЦА ИСТИННОСТИ — семантическая таблица, с помощью которой определяются истинностные функции сложных высказываний. ТЕЗИС — мысль или положение, которое требуется доказать в аргументативном процессе, диалоге, споре. ТЕОРЕМА — положение, которое по правилам особого рода выводится из аксиом. ТЕРМИН — слово или словосочетание. ТОЖДЕСТВЕННЫЕ ПОНЯТИЯ — понятия, имеющие один и тот же объем, т.е. отображающие один и тот же предмет. ТРАНЗИТИВНОСТЬ — свойство отношений, состоящее в том, что если первый член отношения сравним со вторым, а второй с третьим, то первый сравним с третьим. УСЛОВНОЕ СУЖДЕНИЕ — суждение, в котором отображается зависимость того или иного явления от каких-либо условий. УСЛОВНЫЙ СИЛЛОГИЗМ — силлогизм, в котором по крайней мере одна из посылок является условным суждением. ФИГУРА СИЛЛОГИЗМА — форма силлогизма, определяемая положением среднего термина в посылках ФОРМАЛИЗАЦИЯ — метод исследования, связанный с использованием искусственного языка, способствующего тому, что системы логических рассуждений трансформируются в формализованные исчисления, состоящие из формул. ФОРМАЛИЗОВАННЫЙ ЯЗЫК — искусственный язык формально-логических исчислений, язык знаков, формул, символов.
ВОПРОСЫ ©2015 arhivinfo.ru Все права принадлежат авторам размещенных материалов.
|