А.И.Синюк, Е.В.Яковлева
КРАТКИЙ СЛОВАРЬ
ОСНОВНЫХ ЛОГИЧЕСКИХ ПОНЯТИЙ
Нижнекамск
УДК 16
ББК 87.4
С 38
Рекомендовано в печать Редакционно-издательским и
Научно-методическим советами НМИ
Рецензент:
Доктор философских наук, профессор, академик, член Президиума Академии наук
социальных технологий и местного самоуправления Мартынычев И.В.
Синюк А.И., Яковлева Е.В.
С 38 Краткий словарь основных логических понятий: учебно- методическое пособие для преподавателей и студентов вузов / А.И.Синюк, Е.В.Яковлева. – Нижнекамск: Изд-во Нижнекамского муниципального института, 2008. – 39 с.
ISBN 978-5-89820-087-9
В издании в краткой форме излагаются основные логические понятия. Учебно-методическое пособие составлено с учётом требований дейст- вующего в российской высшей школе Государственного образовательного стандарта высшего профессионального образования и предназначено для оказания помощи студентам в изучении формальной логики, развития умений и навыков применения её основных положений на практике. Ад- ресуется преподавателям и студентам всех специальностей вузов, изу- чающим логику, с целью использования в учебном процессе.
ББК 87.4
УДК 16
ISBN 978-5-89820-087-9 © А.И.Синюк, Е.В.Яковлева, 2008
© Издательство НМИ, 2008 Содержание
Краткий словарь ……………………………………………………………………….. 4
Список использованной литературы ………………………………………………… 36
Абстрагирование – логический приём, в ходе которого происходит мысленное выделение одних признаков предмета и отвлечение от других, не существенных признаков [37, c. 70].
Абстрактное мышление – процесс рационального отражения объективного мира в понятиях, суждениях, умозаключениях, гипотезах, теориях, позволяющий проникать в сущность, в закономерные связи действительности, творчески преобразовывать её сначала в теории, а затем и на практике [37, c. 70].
Абстрактное понятие – понятие, в котором мыслится не предмет, а какой-либо из признаков (свойство, отношение) предмета, взятый отдельно от самого предмета [37, c. 70].
Абстрактные объекты – отношения, понятия, суждения и др. целостные образования, выступающие в качестве непосредственного содержания человеческого мышления [27, c. 4].
Абстракция [лат. abstractio – отвлечение, удаление] – отвлечение от некоторых характеристик исследуемого объекта [27, c. 5].
Абсурд [греч. absurdum – нелепый] - явная бессмыслица; логич. противоречивое выражение [27, c. 5].
Адвокат дьявола [лат. advocatus diaboli] – человек, умело использующий логику, формы и методы рационального мышления с целью обмана, введения кого-либо в заблуждение [27, c. 5].
Аксиологическая модальность - модальность суждения, в котором выражается отношение
говорящего к объекту высказывания
[10, с. 1].
Аксиома [греч. axioma – значимое, принятое положение] – исходное, принимаемое без доказательства положение какой-либо теории, лежащее в основе доказательств других её положений [11, c. 9].
Аксиоматическая теория – теория, построенная из конечного числа аксиом, из которых с помощью заданных правил вывода дедуктивно могут быть получены содержательно-истинные предложения (теоремы), сформулированные на языке данной теории [21, c. 17].
Аксиоматическое определение - определение, в котором понятие вводится на основе некоторых исходных положений (аксиом) [10, с. 1].
Алетическая модальность [греч. – истинный] – 1) выраженная в суждении в терминах необходимости-случайности либо возможности-невозможности информация о логической или фактической детерминированности суждения [20, c. 116]; 2)заключенная в суждении информация об условиях его истинности [10, c. 1].
Алогизм [греч. α – частица отрицания и logismos – разум, рассудок] – рассуждение, игнорирующее законы и правила логики [27, c. 15].
Анализ [греч. análysis – разложение] – логический приём, в ходе которого происходит мысленное расчленение предметов на их составные части и выделение в них признаков [37, c.
70].
Аналогия [греч. analogía – соответствие, сходство] – умозаключение, в котором мысль развивается от частного знания к частному, а заключение, вытекающее из посылок, носит вероятностный характер [37, c. 70].
Аналогия отношений – умозаключение, в котором объектом уподобления выступают сходные отношения между двумя парами предметов, а переносимым признаком – свойства этих отношений [20, c. 189].
Аналогия предметов – умозаключение, в котором объектом уподобления выступают два сходных единичных предмета, а переносимым признаком – качества или свойства этих предметов [20, c. 188].
Аналогия свойств - умозаключение по аналогии, в котором роль переносимого признака играет признак-свойство [6, c. 284].
Антецедент [лат. antecedens – предшествующий, предыдущий] – первый член импликации, которому предпослано слово «если» [21, c. 34].
Антитезис [греч. antithesis - противоположение] – суждение, противопоставляемое тезису [21, c. 38].
Апагогическое доказательство (доказательство от противного) [греч. apagōgē – отводящий, уводящий] – доказательство, при котором устанавливается ложность антитезиса, т.е.
высказывания, противоречащего тезису [2, c. 229].
Апория [греч. aporía – букв. безысходность] – логическое затруднение, непреодолимое противоречие при разрешении проблемы [34, c. 60]; трудная или неразрешимая проблема, связанная с возникновением парадокса, с наличием аргумента против очевидного [18, c. 41].
Аргумент [лат. argumentum – логический довод, основание доказательства] – суждение (или совокупность взаимосвязанных суждений), посредством которого обосновывается истинность какого-либо другого суждения (или теории) [11, c. 17].
Аргументация [лат. argumentatio – приведение аргументов] – 1) приведение доводов, или аргументов, в обоснование какого-либо положения; совокупность таких доводов [11, c. 19]; 2) операция обоснования каких-либо суждений, практических решений или оценок, в которой наряду с логическими применяются также речевые, эмоционально-психологические и другие внелогические методы и приёмы убеждающего воздействия [20, c. 199].
Атрибутивное суждение [лат. attributio - свойство, признак] – суждение о признаке предмета. В нём отражается связь между предметом и его признаком, эта связь утверждается или отрицается
[20, c. 67].
Аудитория – коллективный субъект дискуссии [20, c. 204].
Безотносительное понятие – понятие, в котором мыслится предмет, существующий самостоятельно, вне зависимости от другого предмета [37, c. 70].
Бессмысленное – языковое выражение, не отвечающее требованиям синтаксиса или семантики языка [11, c. 19].
Блеф – передача ложной информации с целью убедить кого-либо в том, что желаемое имеет место в действительности [27, c. 24].
Бóльшая посылка – суждение, в которое входит бóльший термин силлогизма [21, c. 60].
Бóльший термин – термин, который обозначает сказуемое (предикат) бóльшей посылки и сказуемое заключения силлогизма [21, c. 60].
Вероятностные умозаключения - то же самое, что и правдоподобные умозаключения [10, с. 1].
Версия [ср.-век. лат. versio – видоизменение, поворот] – одно из нескольких возможных, отличное от других, объяснение или толкование какого-либо факта, явления, события [37, c. 70].
Вид (в логике) – каждый класс предметов, который входит в объём более широкого класса предметов, называющегося родом [21, c. 75].
Видовой признак - признак, отличающий подкласс внутри класса [10, с. 1].
Вопрос – 1) логическая форма, включающая исходную информацию с одновременным
указанием на её недостаточность с целью получения новой информации в виде ответа [37, c. 70]; 2) выраженная в вопросительном предложении мысль, направленная на уточнение или дополнений знаний [20, c. 95].
Вопрос не по существу темы – вопрос, базис которого не имеет ни прямого, ни косвенного отношения к обсуждаемой теме [20, c. 101].
Вопрос по существу темы – вопрос, базис которого прямо или косвенно связан с обсуждаемой темой и ответ на который уточняет либо дополняет исходящую информацию [20, c. 100].
Восполняющий вопрос – вопрос, направленный на выяснение новых свойств у исследуемых явлений [20, c. 98].
Восприятие – целостный образ предмета, возникающий в результате его непосредственного воздействия на органы чувств [20, c. 4].
Вывод логический – рассуждение, в ходе которого из каких-либо исходных суждений – посылок с помощью логических правил получают заключение – новое суждение [11, c. 26].
Выделяющее суждение – суждение, которое отображает тот факт, что признак присущ только данному предмету и не принадлежит всем прочим предметам [21, c. 8].
Высказывание – 1) грамматически правильное повествовательное предложение, взятое вместе с выражаемым им смыслом [11, c. 27]; 2) в математической логике термин, принятый для обозначения какого-либо предложения, выраженного в естественном или искусственном языке
[30, c. 18].
Генеральная совокупность - то же, что и популяция [10, с. 1].
Генетическое определение понятия [греч. genesis – происхождение, источник] – определение, в котором указывается на происхождение предмета, понятие которого определяется, на тот способ, которым данный предмет создаётся [21, c. 101].
Гипотеза [греч. hypóthesis – основание, предположение] – 1) форма развития знаний, представляющая собою обоснованное предположение, выдвигаемое с целью выяснения свойств и причин исследуемых явлений [20, c. 238]; 2) вероятностное предположение о причине какихлибо явлений, достоверность которого при современном состоянии производства и науки не может быть проверена и доказана, но которое объясняет данные явления, без него необъяснимые; приём познавательной деятельности [37, c. 70].
Гомоморфизм [греч. homos – равный, одинаковый; morphē – вид, форма] – отношение между системами S1 и S2, при котором всем объектам, свойствам и отношениям системы S1 однозначно соответствуют некоторые объекты, свойства и отношения системы S2, но не наоборот
[27, c. 51].
Двусторонняя дискуссия – обсуждение спорных вопросов с одним пропонентом, который ставит и обосновывает свой тезис [20, c. 205].
Дедуктивное умозаключение [лат. deductio – выведение] – форма абстрактного мышления, в которой мысль развивается от знания большей степени общности к знанию меньшей степени общности, а заключение, вытекающее из посылок, с логической необходимостью носит достоверный характер [37, c. 70 - 71].
Дезинформация – передача ложной информации, в процессе которой делается попытка на основе обмана убедить кого-либо в том, что нечто желаемое, но реально не существующее действительно существует [27, c. 24 – 25, 38].
Деление по видоизменению признака - деление, как правило, более чем на две части, каждой из которых присущ признак, взятый за основание, но в особом его проявлении [10, с. 2].
Деление понятия – логическая операция, раскрывающая объём понятия [20, c. 55].
Делимое понятие - понятие, объём которого подвергается делению [21, c. 119],
Демонстративное умозаключение – то же, что и необходимое умозаключение [10, с. 2].
Демонстрация [лат. demonstration – показывание] – логическое рассуждение, в процессе которого из аргументов (доводов) выводится истинность или ложность тезиса [21, c. 120].
Денотат [лат. denoto – обозначаю] – 1) непосредственное обозначение имени предмета [30, c. 18], 2) объект обозначения; то, на что указывает термин (имя, обозначающее выражение) [27, c.
40].
Деонтическая модальность [греч. deon – долг, обязанность, правильность] – 1) выраженное в суждении предписание в форме совета, пожелания, правила поведения или приказа, побуждающее человека к конкретным действиям [20, c. 112]; 2) характеристика высказываний, включающая такие модальные операторы, как «обязательно», «разрешено», «безразлично», «запрещено» [21, c. 120].
Деструктивная критика [лат. destructio – разрушение] – критика, направленная на разрушение аргументативного процесса путём критики: тезиса, аргументов или демонстрации [20, c. 215].
Дефиниендум [лат.] – определяемая часть понятия; то, что определяется [30, c. 18].
Дефиниенс [лат.] – определяющая часть понятия; то, с помощью чего непосредственно что-либо определяется [30, c. 18].
Дефиниция [лат. definitio – определение] – предложение, описывающее существенные и отличительные признаки предметов или раскрывающее значение соответствующего термина [21, c. 122].
Диалектическая логика – учение о формировании и развитии знаний, о применении их на практике, опирающееся на общие и специфические законы, а также принципы материалистической диалектики [11, c. 43]; 2) теория движения человеческой мысли от явления к сущности, от истины относительной к истине абсолютной, от знания абстрактного к знанию конкретному [2, c. 380].
Дизъюнкция [лат. disjunctio – разобщение, разделение, различие] – логическая операция образования сложных высказываний из простых путем соединения последних с помощью союза “или”; логическое сложение [30, c. 18]; даёт истинное сложное суждение, если истинно хотя бы одно из входящих в него суждений [10, c. 2].
Дилемма [греч. di – дважды, lēmma – предположение – двойное предположение] – суждение, в котором предмету приписываются два противоречащих признака, исключающих возможность третьего. Дилеммой называется также особый случай условно-разделительного силлогизма, в число посылок которого входят два условных суждения и разделительное и при этом в разделительном суждении в форме альтернативы объединяются основания или следствия условных суждений [21, c. 134].
Дискурсивный [лат. discursus– беседа, разговор] – обоснованный предшествующим знанием; полученный в результате рассуждения или доказательства. Термин «дискурсивный» обычно противопоставляется термину «интуитивный» [27, c. 44].
Дискуссия – цивилизованная форма выявления мнений, их сопоставления и поисков истины и приемлемых решений в социальной среде [20, c. 203].
Дихотомия [греч. dichа и tomе – рассечение на две части] - деление объёма понятия на две взаимоисключающие части, полностью исчерпывающие объём делимого понятия [11, c. 47].
Довод – составная часть всякого доказательства, под которой понимается мысль, истинность которой проверена и доказана и которая поэтому может быть приведена в обоснование истинности или ложности высказанного положения [21, c. 138].
Догма [греч. dogma – мнение, учение] – утверждение, принимаемое в качестве истинного на веру, без обоснования или сопоставления с фактами; основание учения, сформулированного как систематизированная вера [27, c. 44].
Доказательство - логическое рассуждение, в процессе которого обосновывается истинность или ложность какой-либо мысли с помощью других положений, проверенных наукой и конкретной практикой [37, c. 71].
Доказательство по случаям (доказательство разбором случаев) - логически правильное рассуждение, когда от нескольких условных высказываний (посылок), имеющих одинаковое следствие, осуществляется переход к утверждению этого следствия путём установления того, что по меньшей мере одно из оснований условных высказываний истинно [11, c. 49].
Дополнение класса (отрицание) - операция образования нового множества из элементов предметной области, из которой исключены элементы дополняемого класса; аналог операции отрицания в логике [10, c. 2].
Единичное понятие – понятие, в котором мыслится один предмет [37, c.71].
Единичное суждение – суждение, включающее утверждение или отрицание об одном предмете
[37, c. 71].
Естественная классификация – классификация на основе существенных признаков самих классифицируемых предметов [10, c. 2].
Естественные языки – исторически сложившиеся в обществе звуковые (речь) … и графические (письмо) информационные знаковые системы… Возникли для закрепления и передачи … информации в процессе общения между людьми … Выступают носителями многовековой культуры народов… Отличаются богатыми выразительными возможностями и универсальным охватом самых различных областей жизни [20, c. 11].
Заблуждение – несоответствие субъективных представлений (мнений, верований и т.п.) человека объективному положению вещей [27, c. 46].
Зависимые суждения – суждения, которые имеют одинаковые составляющие и могут различаться логическими связками, включая отрицание [20, c. 91].
Заключение (вывод) умозаключения – суждение, логически выведенное из предшествующих посылок и содержащее новое знание [21, c. 156].
Закон мышления - внутренняя, существенная, устойчивая, необходимая, повторяющаяся связь между элементами мысли и самими мыслями [37, c. 71].
Закон достаточного основания – всякая истинная мысль должна быть обоснована другими мыслями, истинность которых доказана [21, c. 143].
Закон исключённого третьего - из двух противоречащих высказываний в одно и то же время и в одном и том же отношении одно непременно истинно [21, c. 183].
Закон косвенного доказательства – логический закон, позволяющий делать заключения об истинности какого-то высказывания на основании того, что отрицание этого высказывания влечёт противоречие [11, c. 56].
Закон обратного отношения между объёмом и содержанием понятия – логический закон, устанавливающий, что увеличение содержания понятия ведёт к образованию понятия с меньшим объёмом, и наоборот [20, c. 36].
Закон противоречия - не могут быть одновременно истинными две противоположные мысли об одном и том же предмете, взятом в одно и то же время и в одном и том же отношении [21, c.
425].
Закон тождества - каждая мысль, которая приводится в данном умозаключении, при повторении должна иметь одно и то же определённое, устойчивое содержание [21, c. 520 - 521].
Закрытый вопрос - вопрос, требующий уточнения, выбора содержащейся в нем альтернативы; вопрос, на который имеется конечное, чаще всего достаточно ограниченное количество ответов
[10, c. 2].
Знак – 1) любой чувственно воспринимаемый (зрительно, на слух или иным способом) предмет, выступающий представителем другого предмета и носителем информации о последнем [20, c. 10]; 2) символ, который применяется для обозначения какого-либо предмета, процесса, явления, события, действия [30, c. 18].
Изоморфизм [греч. isos – равный, одинаковый, подобный; morphē – вид, форма] – эквивалентность строения систем объектов; отношение, при котором каждому объекту, свойству и отношению между объектами одной системы взаимно однозначно соответствует некоторый объект, свойство и отношение между объектами другой системы [27, c. 51].
Импликация [лат. implicito – тесно связываю] – логическая операция, связывающая два высказывания в сложное высказывание с помощью логической связки, которой в обычном языке в значительной мере соответствует союз «если…, то…» [21, c. 168].
Имя – 1) выражение естественного или искусственного, формализованного языка, обозначающее отдельный предмет, совокупность сходных предметов, свойства, отношения и т.п. [11, c. 61]; 2) слово или словосочетание, обозначающее предмет мысли [30, c. 19].
Индуктивное определение [лат. inductio – наведение] – определение, позволяющее из некоторых исходных объектов теории с помощью некоторых операций строить новые объекты теории [11, с. 64].
Индуктивное умозаключение (индукция) [лат. inductio – наведение] – 1) умозаключение, в котором на основании принадлежности признака отдельным предметам или частям некоторого класса делают вывод о его принадлежности классу в целом [20, c. 164]; 2) форма абстрактного мышления, в которой мысль развивается от знания меньшей степени общности к знанию большей степени общности, а заключение, вытекающее из посылок, носит преимущественно вероятностный характер [37, c. 71].
Индукция методом отбора (селективная индукция) [лат. inductio – наведение] – умозаключение, в котором вывод о принадлежности признака классу (множеству) основывается на знании об образце (подмножестве), полученном методичным отбором явлений из различных частей этого класса [20, c. 171].
Индукция методом исключения (элиминативная индукция) [лат. inductio – наведение] – система умозаключений, в которой выводы о причинах исследуемых явлений строятся путём обнаружения подтверждающих обстоятельств и исключения обстоятельств, не удовлетворяющих свойствам причинной связи [20, c. 172].
Индукция через простое перечисление [лат. inductio – наведение] - то же, что и популярная индукция [10, с. 3].
Интерпретация [лат. interpretatio – разъяснение, истолкование] - установление смысла и значения символов [27, c. 58].
Интуиция [ср.-век. лат. intuition, от intueor – пристально смотрю] – постижение истины путём непосредственного её усмотрения без обоснования с помощью доказательства; сформировавшаяся на основе предшествующего опыта субъективная способность выходить за его пределы путём мысленного схватывания («озарения») или обобщения в образной форме непознанных связей, закономерностей [18, c. 273].
Информация [лат. informatio – ознакомление, разъяснение, изложение] – знание, представленное в форме объективного сообщения; формализованное знание [27, c. 60].
Исключающее (изъемлющее) суждение – 1) суждение, в котором сказуемое утверждает обо всём подлежащем за исключением известных определённых случаев, в которых, как предполагается, сказуемое неприменимо [21, c. 183]; 2) суждение о принадлежности признака классу, кроме некоторых его представителей [10, c. 3].
Искусственная классификация - классификация, в основе которой лежит произвольно выбранный признак предметов [10, c. 3].
Искусственные языки - вспомогательные знаковые системы, создаваемые на базе естественных языков для точной и экономной передачи научной и другой информации… Конструируются с помощью естественного языка или ранее построенного искусственного языка. Язык, выступающий средством построения или изучения другого языка, называют метаязыком, основной – языком-объектом. Метаязык, как правило обладает более богатыми по сравнению с языком-объектом выразительными возможностями[20, c. 11].
Истина – знание, которое адекватно отражает в сознании человека явления и процессы объективного мира [37, c. 71].
Истинность мышления – свойство мышления, проявляющееся в способности воспроизводить действительность такой, какова она есть, соответствовать ей по своему содержанию [37, c. 71].
Категорическое суждение – 1) суждение, в котором выражается знание о принадлежности или непринадлежности признака предмету независимо от каких-либо условий [21, c. 210]; 2) суждение, в котором предикат утверждается или отрицается относительно субъекта без формулирования каких-либо условий и при этом исключаются какие-либо альтернативные предикаты [11, c. 76].
Качество [лат. qualitas] - совокупность свойств, указывающих на то, что собой представляет предмет; объективная определённость предмета, в силу которой предмет является данным, а не иным предметом, отграничивающая данный предмет от всех других предметов и с исчезновением которой предмет перестаёт существовать как данный предмет [21, c. 211].
Квантификация [лат. quantum – сколько, facio - делаю] – в широком смысле слова – сведéние качественных характеристик к количественным; в узком смысле слова – точное выявление, определение объёмов суждения и предиката суждения, что достигается введением в суждение терминов «все», «всякий», «каждый», «любой» и т.п., а также «некоторые» [21, c. 211].
Квантор – слово или группа слов, которые иногда ставятся перед субъектом и обозначают, мыслится предмет в полном объеме или только в части его; логический оператор в математической логике [30, c. 19].
Квантор общности – логический оператор, применяемый для выражения общих
(универсальных) утверждений. В естественном языке обозначается словами “все”, “ни один” [30, c. 19].
Квантор существования – логический оператор, применяемый для выражения частных утверждений. В естественном языке обозначается словами “существуют”; “некоторые” [30, c.
19].
Класс [лат. classis – группа] - совокупность объектов, имеющих один или несколько общих характеристических признаков [21, c. 214].
Классификация – 1) разновидность логической операции деления понятий; последовательное распределение объема родового понятия на объемы видовых понятий, которое осуществляется рядами, ветвями, уступом или смешанным путем [30, c. 19]; 2) многоступенчатое, разветвлённое деление логического объёма понятия. Результатом классификации является система соподчинённых понятий: делимое понятие является родом, новые понятия – видами, видами видов (подвидами) и т.д. [11, c. 77]; 3) формализованная система понятий, полученная путём деления объёма некоторого исходного (родового) понятия [27, c. 78]; 4) распределение предметов по группам (классам), при котором каждый класс имеет своё постоянное, определённое место[20, c. 59].
Клевета – передача ложной информации с целью отрицательной оценки кого-либо [27, c. 78].
Коммуникация [лат. communico – связываю, общаюсь] – обмен информацией между объектами – носителями естественного или искусственного интеллекта [27, c. 79].
Конкретное понятие – понятие, в котором мыслится предмет или совокупность предметов как нечто самостоятельно существующее [37, c. 71].
Конструктивная критика – обоснование оппонентом собственного тезиса с целью опровержения альтернативного утверждения пропонента [20, c. 218].
Контрпример – умозаключение, тождественное с данным по форме (т.е. имеющее ту же фигуру и тот же модус), но абсурдное по смыслу [6, c. 240].
Консеквент [лат. consequens – следствие, последующий вывод] – один из главныхчленов импликации, вводимый в сложное высказывание при помощи слова «то» [21, c. 224].
Контекст [лат. contextus – тесная связь, соединение] – законченный в смысловом отношении отрывок из письменной или устной речи, в котором точно установлены значения каждого слова или предложения. Когда говорят, что данное слово или данная мысль «вырваны из контекста», то это значит, что они истолковываются вне связи с остальным текстом и поэтому могут приобретать совершенно иное смысловое значение [21, c. 226].
Контекстуальное определение – определение, которое строится на основе знания связи определяемого с контекстом, в котором оно употребляется [21, c. 226].
Контрадикторность - то же, что и противоречивость [10, c. 3].
Контрарность - то же, что и противоположность [10, c. 3].
Концепт [лат. conceptus – понятие] – целостная совокупность свойств объекта [27, c.91].
ъ
Концепция [лат. conceptio – понимание, система] - целостная система абстрактных объектов, отражающая наиболее существенные закономерности исследуемого предмета. В логике и других науках различные концепции служат основой для построения теорий [27, c.92].
Конъюнкция или Логическое умножение [лат. conjunctio – союз, связь] – логическая операция, соединяющая два или более высказываний при помощи союза «и» в новое, сложное высказывание, которое истинно тогда и только тогда, когда каждое из исходных высказываний истинно, и ложно, когда по крайней мере одно из исходных высказываний ложно [21, c. 229].
Косвенное доказательство – доказательство, в котором тезис обосновывается при помощи введения дополнительных суждений, несовместимых с тезисом[6, c. 294].
Косвенный метод опровержения суждений – метод, который состоит в противопоставлении следствию, выведенному из опровергаемого суждения, такого суждения, которое было бы истинным и вместе с тем противоположно этому следствию [21, c. 232].
Косвенный ответ – ответ, который получают из более широкой области, нежели область поиска ответа, и из которого лишь выводным путём можно получить нужную информацию [20, c. 102].
Крайние термины – бóльший и меньший термины категорического силлогизма, которые связываются с помощью среднего термина и которые выходят в заключение силлогизма [21, c.
233].
Краткие ответы – односложные утвердительные или отрицательные ответы: «да» или «нет»
[20, c. 102].
Критика - операция разрушения имеющегося процесса аргументации [10, c. 3].
Круги Эйлера – принятый в логике способ,,, наглядного изображения отношений между объёмами понятий с помощью кругов, предложенный знаменитым математиком Л.Эйлером
(1707 – 1783) [21, c. 597].
Лемма [греч. lemma – польза; предположение] – каждое следствие условно-разделительного силлогизма; вспомогательная теорема, применяемая в ходе логических умозаключений в целях обоснования истинности другой теоремы [21, c. 242].
Логика [греч. logos – слово, понятие, рассуждение, разум] - наука о законах и операциях правильного мышления [11, c. 83; 13, с. 6].
Логика высказываний – логическая система, которая анализирует процессы рассуждения, основанные на характере связей между простыми суждениями, но без учёта их внутренней структуры [20, c. 158 - 159].
Логика предикатов – центральный раздел логики, в котором изучаются субъектно-предикатная структура высказываний и функционально-истинные взаимосвязи между высказываниями [27, c.
116].
Логическая операция – действие, направленное на решение какой-либо логической задачи: определения, деления, обобщения, ограничения, сложения, умножения, вычитания понятий, превращения, обращения суждений и т.д. [30, c. 19].
Логическая культура - элемент общей культуры личности, который проявляется в знании законов, методов и форм формальной и диалектической логики, в умении человека логически правильно, опираясь на эти законы, формы и методы, рассуждать, давать определения понятиям, оперировать понятиями, делать умозаключения, доказательные выводы, оперировать гипотезами, раскрывать противоречия, а также систематизировать и классифицировать в определённую систему имеющиеся знания [37, c. 10].
Логическая форма (или форма абстрактного мышления) – способ связи элементов мысли, её строение, благодаря которому содержание существует и отражает действительность [37, c. 71].
Логические константы (логические постоянные) – 1) термины, относящиеся к логической форме рассуждения (доказательства, вывода) и являющиеся средством передачи человеческих мыслей и выводов, заключений в любой области. К логическим константам относятся такие слова, как «не», «и», «или», «есть», «каждый», «некоторый» и т.п. Логические константы не имеют самостоятельного содержания. Сами по себе они ничего не описывают и ничего не объясняют. Вместе с тем они позволяют из одних содержательных выражений получать другие [11, c. 97]; 2) выражения, которые остаются неизменными в любых рассуждениях, независимо от их содержания [30, c. 19].
"Логический квадрат" – 1) наглядная схема, облегчающая запоминание характера отношений между некоторыми видами суждений [21, c. 274]; 2) графическое изображение отношений по истинности между основными видами простых атрибутивных суждений: общеутвердительных, частноутвердительных, общеотрицательных и частноотрицательных [30, c. 19].
Логический принцип – правило рассудочной деятельности, которое сформулировано на основе логических законов и практического опыта [30, c. 19].
Логические операции - операции, посредством которых из простых высказываний образуются сложные, из простых терминов – сложные, из высказываний – термины, из терминов – высказывания и т.д. [11, c. 97].
Логические ошибки – ошибки в умозаключениях, рассуждениях, определениях понятий, доказательствах и опровержениях, вызванные нарушением законов и искажением форм мышления
[21, c. 272].
Логические переменные – знаки, которые могут принимать различные значения из соответствующей области. Логические переменные можно заменять конкретными по содержанию мыслями [21, c. 273 - 274].
Логические союзы - операции ("и", "или", "если…, то…" и т. д.), с помощью которых из нескольких простых образуются сложные суждения [10, с. 4].
Логический приём – способ мыслительной деятельности, дающий возможность приходить к новому, более глубокому и всестороннему знанию на основании соответствующей обработки (сопоставление, расчленение, соединение, выведение) уже имеющихся суждений и понятий. Логическими приёмами являются прежде всего такие приёмы, как сравнение, анализ, синтез, абстрагирование, обобщение. В более широком смысле логическим приёмом называются также определение понятия, деление объёма понятия, указание, объяснение, описание, различение [21, c. 275].
"Логический треугольник" - мнемоническая фигура, с помощью которой изображаются основные аспекты языка (синтаксический, семантический и др.) [10, с. 4].
Логический язык – формальный язык логики; интерпретированное логическое исчисление [27, c. 259].
Логическое противоречие - конъюнкция двух высказываний, одно из которых является отрицанием другого [27, c. 196].
Логическое следование – 1)отношение, существующее между посылками и обоснованно выводимыми из них заключениями [11, c. 49]; 2) отношение между посылками и заключением в необходимых умозаключениях, дающее истинное заключение при истинных посылках и соблюдении логической правильности [10, c. 4].
Логичность – 1) качество рассуждения, характеризующееся последовательностью, непротиворечивостью, доказательностью [21, c. 278];2) соответствие логическим законам и принципам; последовательность, отсутствие логических ошибок [10, c. 4].
Ложность - истинностная характеристика суждения, не соответствующего действительности
[10, с. 4].
Меньшая посылка – одно из двух суждений, составляющих посылки силлогизма, в которое входит меньший термин [21, c. 300].
Меньший термин – термин, который выражает подлежащее (субъект) меньшей посылки и подлежащее заключения силлогизма [21, c. 300].
Металогика [греч. meta – позади] - наука, изучающая строение и свойства формальных логических теорий; теория логической теории [21, c. 300].
Метод остатков – 1) метод установления связи части причины и части следствия на основе знания отношений других частей причины и следствия [10, с. 4]; 2) применение этого метода связано с установлением причины, вызы