Здавалка
Главная | Обратная связь

Словарь логических терминов



 

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

Абстрагирование — процесс мысленного выделения, вычленения отдельных или общих свойств и отношений кон­кретного предмета.

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

Автоморфизм — изоморфизм некоторого множества на самого себя, т.е. взаимно-однозначное соответствие структуры данного множества структуре самого себя.

Аксиома — истинное суждение, которое при дедуктив­ном построении некоторой теории принимается без доказатель­ства.

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

Аксиоматический метод— метод построения ак­сиоматической теории.

Алгоритм — однозначное пошаговое описание правил решения какой-либо конкретной задачи.

Алетическая модальность— модальный оператор «необходимо» или «возможно».

Амплификация — нагромождение в речи излишних од­нозначных слов и выражений.

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

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

Аналогия — подобие, сходство предметов в каких-либо свойствах или признаках, на основании которого делается суж­дение об их тождественности.

Анафора — повторение одной и той же мысли или одно­го и того же слова, как правило, в целях усиления высказанного.

Антагонизм — непримиримое противоречие.

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

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

Антитеза — положение, противоположное тезису.

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

Антиципация — преждевременное совершение логической операции.

Апогогическое доказательство— непрямое или косвенное доказательство, связанное с допущением в качестве заключения такого суждения, которое противоречит исходно­му заключению.

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

Апологетика— необъективная, нарочито предвзятая за­щита какого-то тезиса.

Апорема — трудно разрешимая логическая проблема, за­труднение.

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

Апостериорное знание— знание, приобретенное при помощи опыта.

Априорное знание — знание, приобретенное до опы­та.

Аргумент — суждение, посредством которого обосновывается истинность другого суждения, тезиса.

Афазия — воздержание от уверенных высказываний и суждений о чем-либо.

БЕЗОТНОСИТЕЛЬНОЕ ПОНЯТИЕ — понятие, которое не находится в непосредственной связи с другими понятиями.

БЕЗУСЛОВНАЯ АНАЛОГИЯ — аналогия, которая приме­няется тогда, когда точно и определенно установлена связь между общими признаками, имеющимися у обоих сопоставля­емых предметов.

БЕЗУСЛОВНОГО ТОЖДЕСТВА ЗАКОН — одна из форм тождества, согласно которой мысли, имеющие одно и то же содержание и выраженные в одной форме, считаются тожде­ственными.

БЕЗУСЛОВНОЕ СУЖДЕНИЕ — суждение, в котором что-либо утверждается (отрицается) вне зависимости от какого-либо условия.

БЛИЖАЙШИЙ РОД — непосредственно более широкий класс предметов, в который в качестве вида входит рассматри­ваемый предмет.

БОЛЬШАЯ ПОСЫЛКА — посылка, в которую входит боль­ший термин.

БОЛЬШИЙ ТЕРМИН — термин, который является преди­катом заключения простого категорического силлогизма.

ВВЕДЕНИЯ КОНЪЮНКЦИИ ПРАВИЛО — правило, зак­лючающееся в том, что к доказательству можно присоединить конъюнкцию, если в числе строк доказательства имеются оба ее члена.

.

Верификация — процесс установления истинности научных утверждений посредством их эмпирической проверки.

ВЕРОЯТНОСТНОЕ СУЖДЕНИЕ — суждение, в котором что-либо утверждается (отрицается) с известной степенью пред­положительности.

ВЕРОЯТНОСТНАЯ ЛОГИКА — логика, исследующая ве­роятностные суждения, базирующиеся не только на двух зна­чениях истинности (истина и ложь), но и на значениях истин­ности, располагающихся между истинностью и ложностью.

ВЕРОЯТНОСТЬ — степень возможности какого-либо оп­ределенного события.

ВЗАИМНО-ОДНОЗНАЧНОЕ ОТНОШЕНИЕ — такое отно­шение, когда каждому значению у, входящему в формулу xRy, соответствует одно-единственное значение х.

ВЗАИМНО-ОДНОЗНАЧНОЕ СООТВЕТСТВИЕ — такое со­ответствие между элементами двух множеств, когда каждому элементу первого множества некоторым образом поставлен в соответствие один определенный элемент второго множества.

ВЗАИМОЗАМЕНИМОСТИ ПРИНЦИП - принятое в логи­ческой семантике положение, согласно которому возможна такая замена языкового выражения другим языковым выраже­нием в данном контексте, что при этом логический смысл кон­текста не меняется.

ВИДОВОЕ ОТЛИЧИЕ — признак, отличающий предмет одного вида от предметов других видов, входящих в один и тот же род.

ВИДОВОЕ ПОНЯТИЕ — понятие, которое отображает существенные признаки класса предметов, являющихся видом какого-либо рода.

ВИРТУАЛЬНЫЙ — такой возможный объект, который нами еще не воспринимается как нечто вполне определенное, но способный при наличии некоторых условий возникнуть, про­явиться.

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

ВСЕГДА ИСТИННЫЕ ВЫСКАЗЫВАНИЯ (ТАВТОЛО­ГИИ) — высказывания, которые всегда принимают только зна­чения «истина».

ВСЕГДА ЛОЖНЫЕ ВЫСКАЗЫВАНИЯ (ЛОГИЧЕСКИЕ ПРОТИВОРЕЧИЯ) — высказывания, принимающие только зна­чения «ложь».

ВЫВОД— последовательность высказываний или формул, состоящая из аксиом, посылок и ранее доказанных высказыва­ний (теорем). Последняя из формул данной последовательнос­ти, выведенная как непосредственное следствие предыдущих формул но одному из правил вывода, представляет собою до­казуемую формулу.

ВЫСКАЗЫВАНИЕ — термин в логике, которым обознача­ется логический смысл какого-либо простого повествователь­ного предложения естественного языка.

ГЕНЕТИЧЕСКИЙ МЕТОД — метод исследования какого-либо предмета, основанный на анализе процесса его возникно­вения, становления, перехода от низших ступеней к высшим.

ГЕНЕТИЧЕСКОЕ ДОКАЗАТЕЛЬСТВО — вид доказатель­ства, в котором используется генетический метод.

ГЕРМЕНЕВТИКА — раздел эпистемологии и методологии науки, связанный с истолкованием текстов, их пониманием, смыслом.

ГИПОСТАЗИРОВАТЬ — утверждать факт существования каких-либо объектов на том только основании, что существуют слова, обозначающие такие объекты.

ГИПОТАКСИС— подчинение или зависимость чего-либо от другого.

ГИПОТЕЗА — вероятное предположение о причине како­го-либо явления, достоверность чего еще не доказана ни нау­кой, ни практикой.

ГИПОТЕТИКО-ДЕДУКТИВНЫЙ МЕТОД — способ науч­ного исследования, согласно которому вначале выдвигаются не­сколько гипотез о причинах изучаемых явлений, а затем де­дуктивным путем из гипотез выводятся следствия.

ГЛОССА — интерпретация непонятного или малоупотребимого слова.

ГОМОГЕННЫЙ — однородный, состоящий из одних и тех же компонентов.

ГОМОМОРФИЗМ — такое отношение между двумя сово­купностями объектов, когда каждому объекту (а) первой сово­купности ставится в соответствие только один предмет (в) из второй совокупности.

ДЕДУКТИВНОЕ ДОКАЗАТЕЛЬСТВО — одна из форм до­казательства, когда тезис, являющийся частным суждением, подводится под общее правило.

ДЕДУКТИВНОЕ УМОЗАКЛЮЧЕНИЕ — умозаключение, которое обеспечивает при истинности посылок и соблюдении правил логического вывода истинность заключения, следую­щего из этих посылок.

ДЕДУКЦИЯ — в широком смысле такая форма мышле­ния, когда новая мысль выводится чисто логическим путем. В узком смысле, принятом в традиционной логике, это дедук­тивное умозаключение. В целом в логике, дедукция — это пос­ледовательность мыслей или суждений, каждый компонент ко­торой логически вытекает из предыдущих мыслей или сужде­ний.

ДЕДУЦИРОВАТЬ — выводить какие-либо заключения из данных посылок по правилам логики.

ДЕЛЕНИЕ ОБЪЕМА ПОНЯТИЙ — логическая операция, заключающаяся в том, что предметы, отображенные в поня­тии, делятся на виды.

ДЕЛИМОЕ ПОНЯТИЕ — понятие, объем которого подвер­гается делению.

ДЕМОНСТРАЦИЯ — логическое рассуждение, в процессе которого из аргументов выводится истинность или ложность тезиса.

ДЕНОМИНАЦИЯ— переименование.

ДЕНОТАТ — в самом широком смысле вещь, предмет, ко­торый мы имеем в виду, обозначая собственным именем.

ДЕОНТИЧЕСКАЯ ЛОГИКА — один из разделов современ­ной модальной логики, применяющий логические средства и методы для анализа корректности рассуждений, включающих в себя суждения, содержащие модальности типа «обязатель­но», «разрешено», «запрещено» и подобные им. Деонтическая логика используется для изучения отношений долженствова­ния, структуры норм и нормативных кодексов.

ДЕСИГНАТ — значение имени, объект, обозначаемый по­средством данного имени.

ДЕСКРИПТИВНОЕ ПРЕДЛОЖЕНИЕ — описывающее предложение, которое может квалифицироваться с точки зре­ния истинности.

ДЕСКРИПЦИЯ — логико-лингвистический термин, кото­рый предназначен для указания на предметы в виде дополни­тельного имени, например: «тот, который...»

ДЕФИНИЦИЯ — логическая операция определения.

ДИЗЪЮНКЦИЯ — логический оператор, предназначенный для экспликации грамматического союза «или».

ДИХОТОМИЧЕСКОЕ ДЕЛЕНИЕ ОБЪЕМА ПОНЯТИЯ — вид деления объема понятия, когда объем делится на два про­тиворечащих друг другу видовых понятия А и не-А, полностью исчерпывающих объем делимого понятия.

ДОКАЗАТЕЛЬСТВО — в широком смысле логическое дей­ствие, в процессе которого устанавливается истинность какой-либо мысли. В логике под доказательством понимается после­довательность формул, в которой каждая формула является либо аксиомой, либо следует из предшествующих формул по правилам вывода.

ДОКАЗАТЕЛЬСТВО ПО СУЩЕСТВУ — доказательство, в котором исследуется содержание оснований и логическая связь между ними.

ЕДИНИЧНОЕ ПОНЯТИЕ — понятие, в котором отобража­ются признаки какого-то одного-единственного предмета.

ЕДИНИЧНОЕ СУЖДЕНИЕ — такое суждение, в котором что-то утверждается или отрицается об отдельном предмете.

ЗНАК — материально-чувственно воспринимаемый объект, который символически отсылает нас к реальному объекту, обо­значает его.

ЗНАЧЕНИЕ — характеристика именования предметов, ко­торая характеризует то, чем данный объект является для лю­дей.

ИМПЕРАТИВ — безусловное требование, приказ.

ИМПЛИКАТИВНОЕ СУЖДЕНИЕ — суждение типа «если…, то…». Оно выражает причинно-следственные отноше­ния.

ИМПЛИКАЦИЯ — логический оператор, выражающий при­чинно-следственные отношения.

ИМЯ— языковое выражение, непосредственно обознача­ющее какой-либо предмет.

ИНВЕРСИЯ — преобразование условного суждения в но­вое условное суждение.

ИНДУКТИВНАЯ ЛОГИКА — раздел логики, в котором ис­следуются умозаключения, в которых мысль развивается от единичного к общему.

ИНДУКТИВНОЕ ДОКАЗАТЕЛЬСТВО — форма доказа­тельства, когда тезис, являющийся общим суждением, обосно­вывается с помощью частных суждений.

ИНДУКТИВНОЕ ОПРЕДЕЛЕНИЕ — такое определение, которое позволяет из некоторых исходных объектов теории путем применения к ним логических операций построить но­вые объекты теории.

ИНДУКЦИЯ — в широком смысле это форма мышления, посредством которой мысль наводится на какое-либо общее правило, присущее всем единичным предметам какого-либо класса.

ИНТЕРПОЛЯЦИЯ — нахождение по ряду данных значе­ний функции промежуточных ее значений.

ИНТЕРПРЕТАЦИЯ— систематические приписывание фор­мулам какого-либо искусственного языка значений истинности.

ИСКЛЮЧЕНИЯ МЕТОД — способ доказательства како­го-либо положения путем перечисления всех частных случаев, содержащихся в этом положении, доказывая их невозможность за исключением одного, относительно которого ведется дока­зательство.

ИСКЛЮЧЕННОГО ТРЕТЬЕГО ЗАКОН - один из основ­ных законов формальной логики, согласно которому из двух противоречащих высказываний в одно и то же время и в одном и том же отношении одно непременно истинно.

ИСТИННОЕ ЗНАЧЕНИЕ — основное качество высказы­ваний. связанное с приписыванием им значений «истинно» или «ложно».

КАТЕГОРИЧЕСКИЙ СИЛЛОГИЗМ — силлогизм, в кото­ром вывод получается из двух посылок, являющихся категори­ческими суждениями.

КВАНТОР — логический оператор логики предикатов, вы­ражающий отношения всеобщности или единичности.

КЛАССИФИКАЦИЯ — распределение предметов какого-либо рода на взаимосвязанные классы согласно наиболее су­щественным признакам.

КОМПЛЕКСНАЯ ЛОГИКА — одно из направлений неклас­сической логики, в котором результат логического вывода оп­ределяется как следствие ранее добытых знаний.

КОНКРЕТНОЕ ПОНЯТИЕ — понятие, в котором отобра­жен определенный предмет или класс предметов.

КОННОТАЦИЯ — дополнительные черты, которые сопут­ствуют основному содержанию данного высказывания.

КОНСЕКВЕНТ — заключительная часть импликации, сим­волизирующая собою следствие, выводимое из причины.

КОНСТАНТА — в логике постоянное выражение, значе­ние которого не меняется.

КОНТРАРНОЕ ОТНОШЕНИЕ — отношение между проти­воположными суждениями, которые вместе не могут быть ис­тинными, но оба могут быть ложными.

КОНЪЮНКЦИЯ — логический оператор, соответствующий грамматическому союзу «и».

КРУГ В ДОКАЗАТЕЛЬСТВЕ — логическая ошибка в до­казательстве, заключающаяся в том, что истинность какого-­либо тезиса обосновывается посредством того же самого поло­жения, которое еще должно быть доказано.

ЛОГИЧЕСКИЕ ОШИБКИ — ошибки в умозаключениях, рассуждениях, определениях понятий, доказательствах и опро­вержениях. Ошибки делятся на следующие группы:

1) ложное основание или основное заблуждение, когда дока­зываемый тезис пытаются вывести из ложных посылок;

2) предвосхищение основания, когда доказываемый тезис пы­таются вывести из таких посылок, которые сами еще не доказаны;

3) порочный круг в доказательстве, когда тезис выводится из посылок, которые в свою очередь выводятся из тезиса;

4) подмена тезиса, выражающаяся в том, что, начав доказы­вать один тезис, в процессе доказательства его подменяют

другим;

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

ЛОГИЧЕСКОЕ ПРОТИВОРЕЧИЕ — логическая ошибка, связанная с тем, что в рассуждении допускается утверждение одновременно с его отрицанием.

ЛОГИЧЕСКОЕ СЛЕДСТВИЕ — суждение, получаемое в результате вывода из посылок по логическим правилам.

ЛОГОМАХИЯ — такой спор, когда спорящие, не опреде­лив вначале с точностью предмет спора, опровергают друг дру­га или не соглашаются друг с другом.

МЕТАЯЗЫК — язык, на основе которого производится ис­следование какого-то другого языка.

МНОГОЗНАЧНАЯ ЛОГИКА — раздел логики, в котором используются кроме классических значений «истина» и «ложь» и другие значения.

МОДАЛЬНАЯ ЛОГИКА — неклассическая логика, связан­ная с применением методов логики для анализа рассуждений, включающих в себя модусы суждений, их модальности.

МОДАЛЬНОСТЬ — характеристика суждения в зависимо­сти от его степени возможности, необходимости, обязательно­сти и т.п.

НЕКОРРЕКТНЫЙ — неправильный.

НЕПОЛНАЯ ИНДУКЦИЯ — вид индуктивного умозаклю­чения, в результате которого получается какой-нибудь общий вывод о всем классе предметов на основании знания лишь не­которых предметов данного класса.

НЕПОЛНАЯ АНАЛОГИЯ — такая аналогия, когда ход умо­заключения идет следующим образом: предметы, сходные с С по некоторым свойствам, должны воспроизводить явление В, но из известных нам знаний о предмете, вследствие наиболь­шего сходства их с С, мы имеем сравнительно наибольшее ос­нование предполагать, что он подойдет под очерченную груп­пу, следовательно, имеем право и ожидать встретить в нем явление В.

НОМИНАЛЬНОЕ ОПРЕДЕЛЕНИЕ — объяснение значения слова, имени или термина, обозначающего это понятие.

НОМИНАТ — значение имени.

ОБЩЕЕ ПОНЯТИЕ — понятие, в котором отображены при знаки класса предметов.

ОБЩЕЗНАЧИМАЯ ФОРМУЛА — формула, которая при­нимает только значение «истина».

ОБЩЕУТВЕРДИТЕЛЬНОЕ СУЖДЕНИЕ — суждение, ко­торое имеет вид: «Все S есть Р».

ОБЪЕМ ПОНЯТИЯ — множество предметов, которые объе­динены общим признаком, свойственным данному понятию.

ОМОНИМИЯ — логическая ошибка, которая происходит вследствие того, что одно и то же по звуку слово может упот­ребляться в одном рассуждении для обозначения разных пред­метов.

ОПЕРАЦИОНАЛЬНОЕ ОПРЕДЕЛЕНИЕ - определение, которое содержит в себе указание на какое-то действие, опера­цию.

ОПРЕДЕЛЕНИЕ ЧЕРЕЗ БЛИЖАЙШИЙ РОД И ВИДО­ВЫЕ ОТЛИЧИЯ — логическая операция, которая заключается в том, что для определяемого понятия подыскивается ближай­ший род с отличительными признаками вида.

ОПРЕДЕЛЕНИЕ ПОНЯТИЯ ЧЕРЕЗ ОТНОШЕНИЕ - опе­рация, которая заключается в том, что определяемое понятие соотносится с другим понятием.

ОПРЕДЕЛЕНИЕ ЧЕРЕЗ ПРОТИВОПОЛОЖНОСТЬ –операция, посредством которой определяемое соотносится с про­тивоположным понятием.

ОПРЕДЕЛЕНИЕ ЧЕРЕЗ АБСТРАКЦИЮ - определение, в котором свойства множеств определяются через установле­ние отношения равенства между изучаемыми множествами.

ОСНОВАНИЕ ДЕЛЕНИЯ ПОНЯТИЯ — признак, который дает возможность разделить объем родового понятия на виды.

ОСТЕНСИВНОЕ ОПРЕДЕЛЕНИЕ — такое определение, когда непосредственно указывается предмет, который обозна­чается словом или термином.

ОТНОСИТЕЛЬНОЕ ПОНЯТИЕ — понятие, отображающее признаки предметов, существование которых связано с суще­ствованием других предметов.

ОТРИЦАНИЕ — логическая операция, заключающаяся в том, что истинному высказыванию противопоставляется лож­ное высказывание.

ПАРАДИГМА — пример, образец.

ПАРАДОКС— рассуждение, приводящее к взаимоисклю­чающим последствиям.

ПАРАЛОГИЗМ— логическая ошибка в умозаключении, происшедшая непредумышленно.

ПАРАФРАЗА — передача своими словами чужой мысли.

ПЕРЕМЕННАЯ — буква или символ, на место которого мо­жет быть подставлено любое значение из выбранной области интерпретации.

ПОДЧИНЕНИЕ ПОНЯТИЙ — такое отношение между по­нятиями, когда объем одного понятия входит в объем другого понятия.

ПОЛИСЕМИЯ — многозначность слова.

ПОЛИСИЛЛОГИЗМ— сложный силлогизм, состоящий из нескольких простых силлогизмов.

ПОЛНАЯ ИНДУКЦИЯ — вид индуктивного умозаключе­ния, в результате которого делается общий вывод о всем клас­се предметов на основании знания всех без исключения при­знаков этих предметов.

ПОНЯТИЕ — форма мышления, отображающая в себе су­щественные, закономерные признаки предмета.

ПОСЫЛКА — часть рассуждения, в которой содержится известная исследователю информация о предмете изучения.

РАБУЛИСТИКА — словесные ухищрения, крючкотворство, словоблудие.

РАВЕНСТВО — отношение эквивалентности между высказываниями.

РАЗДЕЛИТЕЛЬНОЕ СУЖДЕНИЕ — суждение, в котором выражается знание того, что данному предмету присущ (или не присущ) только один какой-либо признак из числа тех при­знаков, который указываются в этом суждении. Формула раз­делительного суждения записывается следующим образом: S есть Р1, или Р2, или РЗ, или Р4.

РАЗДЕЛИТЕЛЬНЫЙ КАТЕГОРИЧЕСКИЙ СИЛЛО­ГИЗМ — силлогизм, в котором разделительная посылка фик­сирует ряд исключающих друг друга свойств, одно из которых может принадлежать предмету; категорическая посылка отри­цает все — каждое в отдельности — свойства, отображенные в разделительной посылке, кроме одного.

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

РАЗДЕЛИТЕЛЬНО-УСЛОВНОЕ УМОЗАКЛЮЧЕНИЕ — такое умозаключение, в котором одна из посылок — раздели­тельное суждение, а другие — условные суждения: А есть либо В, либо С.

Если А есть В, то А есть К

Если А есть С, то А есть К

_______________________

А есть К

 

РАЗДЕЛЯЮЩЕЕ СУЖДЕНИЕ — суждение, в котором вы­ражается результат деления какого-либо класса на подклассы.

РАСПРЕДЕЛЕНИЕ ТЕРМИНОВ В СУЖДЕНИИ - отно­шение между объемами терминов (субъектов и предикатов) в суждении.

РАСПРЕДЕЛИТЕЛЬНАЯ АНАЛОГИЯ — аналогия, в ко­торой заключают от сходства явлений к сходству причин.

РАССУЖДЕНИЕ — цепь умозаключений на какую-либо тему, изложенных в логически последовательной форме.

РЕАЛЬНОЕ ОПРЕДЕЛЕНИЕ — определение понятия, ото­бражающее существенные признаки предмета, имеющее своей целью отличать определяемый предмет от всех других предме­тов.

РЕГРЕССИВНОЕ ДОКАЗАТЕЛЬСТВО — доказательство, в котором ход рассуждений идет от следствия к основаниям. Возможны два вида регрессивного доказательства: 1) Когда до­казательство восходит от доказываемой мысли к ее основани­ям.

2) Когда доказательство восходит от фактов, как следствий, к доказывающему положению, как к основанию.

РИТОРИКА — учение об ораторском искусстве, теория крас­норечия.

РОДОВОЕ ПОНЯТИЕ — понятие, которое выражает суще­ственные признаки класса предметов, являющегося родом ка­ких-либо видов.

СЕМАНТИКА — раздел логики, в котором изучаются спо­собы систематического приписывания значений выражениям формализованного языка. Основные понятия логической семан­тики — истинность, выполнимость, общезначимость, логичес­кое следствие.

СИЛЛОГИЗМ — умозаключение, в котором из двух кате­горических суждений, связанных общим термином, получает­ся третье суждение, называемое заключением.

СИМВОЛИЧЕСКАЯ ЛОГИКА — одно из названий фор­мальной логики, математической логики.

СЛОЖНЫЙ СИЛЛОГИЗМ — силлогизм, состоящий из не­скольких простых силлогизмов.

СМЫСЛ — содержание знакового выражения; мысль, со­держащаяся в слове.

СОБИРАТЕЛЬНОЕ ПОНЯТИЕ — понятие, в котором ото­бражены признаки совокупности однородных предметов.

СОДЕРЖАНИЕ ПОНЯТИЯ — совокупность признаков, ото­бражающих существенные черты какого-то предмета, отражен­ные в мысли о нем.

СОЕДИНИТЕЛЬНОЕ СУЖДЕНИЕ — суждение, в котором утверждается или отрицается принадлежность предмету не­скольких совместных признаков.

СОКРАЩЕННЫЙ СИЛЛОГИЗМ (энтимема) — силлогизм, в котором пропущена одна или несколько посылок.

СОРАЗМЕРНОСТЬ ДЕЛЕНИЯ ПОНЯТИЯ — характерис­тика, выражающая то, что при делении понятия необходимо точно перечислить все виды, входящие в объем делимого по­нятия.

СОФИЗМ— логическая уловка, которая умышленно из пра­вильных посылок выводит ложное заключение.

СРЕДНИЙ ТЕРМИН СИЛЛОГИЗМА — термин, который является общим для всех посылок силлогизма.

СТРОГАЯ АНАЛОГИЯ — аналогия, основанная на знании того, что признаки сравниваемых предметов находятся в стро­гой зависимости.

СУЖДЕНИЕ — формы мысли, в которой что-либо утвер­ждается или отрицается относительно предмета, его свойств, отношений или класса предметов.

ТАБЛИЦА ИСТИННОСТИ — семантическая таблица, с по­мощью которой определяются истинностные функции слож­ных высказываний.

ТЕЗИС — мысль или положение, которое требуется дока­зать в аргументативном процессе, диалоге, споре.

ТЕОРЕМА — положение, которое по правилам особого рода выводится из аксиом.

ТЕРМИН — слово или словосочетание.

ТОЖДЕСТВЕННЫЕ ПОНЯТИЯ — понятия, имеющие один и тот же объем, т.е. отображающие один и тот же предмет.

ТРАНЗИТИВНОСТЬ — свойство отношений, состоящее в том, что если первый член отношения сравним со вторым, а второй с третьим, то первый сравним с третьим.

УСЛОВНОЕ СУЖДЕНИЕ — суждение, в котором отобра­жается зависимость того или иного явления от каких-либо ус­ловий.

УСЛОВНЫЙ СИЛЛОГИЗМ — силлогизм, в котором по крайней мере одна из посылок является условным суждением.

ФИГУРА СИЛЛОГИЗМА — форма силлогизма, определя­емая положением среднего термина в посылках

ФОРМАЛИЗАЦИЯ — метод исследования, связанный с ис­пользованием искусственного языка, способствующего тому, что системы логических рассуждений трансформируются в формализованные исчисления, состоящие из формул.

ФОРМАЛИЗОВАННЫЙ ЯЗЫК — искусственный язык фор­мально-логических исчислений, язык знаков, формул, символов.

 

ВОПРОСЫ







©2015 arhivinfo.ru Все права принадлежат авторам размещенных материалов.