АКСИОМА (гр. axioma -значимое, достойное уважения, бесспорное) - истинное суждение, которое при дедуктивном построении какой - либо теории принимается без доказательств в качестве исходного положения и которое входит в основу доказательства всех других положений данной теории.
АЛГОРИТМ - точное и легко понимаемое описание (предписание, правило, рецепт) механически выполняемого шаг за шагом единообразного решения любой задачи из какого-либо класса задач данного типа.
АЛОГИЗМ - нелогичность, отрицание роли логики в познании, логический разрыв речи, нарушение логической последовательности, связанности, обоснованности.
АЛЬТЕРНАТИВА (лат. alter - чередоваться) - каждая из двух или нескольких исключающих друг друга возможностей, выбор между этими возможностями (А или В).
АМФИБОЛИЯ (гр. amphibolia -двусмысленность, двойственность) - логическая ошибка, заключающаяся в том, что грамматическое выражение допускает его двоякое толкование.
АНАЛИЗ (гр. analysis - разложение, расчленение, разбор)- логический прием, метод исследования, состоящий в том, что изучаемый предмет мысленно расчленяется на составные элементы, каждый из которых исследуется в отдельности как часть расчлененного целого.
АНАЛОГИЯ (гр. analogia - соответствие, сходство)- подобие, сходство предметов в каких-либо свойствах, признаках или отношениях, причем таких предметов, которые в целом различны.
АНТИНОМИЯ (лат. anti – против + nomos - закон, противоречие в законе) -противоположность между двумя суждениями, взаимоисключающими друг друга, но в то же время производящими впечатление, что оба они могут быть с одинаковой силой логически доказаны в качестве правильных.
АПОРИЯ (гр. aporia - безвыходность, безвыходное положение, затруднение) - кажущееся трудноразрешимым, непреодолимым логическое затруднение.
АРГУМЕНТ (лат. argumentum - логический довод, основание, доказательство) - мысль, истинность которой проверена и доказана практикой и которая поэтому может быть приведена в обоснование истинности или ложности другого положения.
ВЕРИФИКАЦИЯ (лат. verus – истинный + facio - делаю) - принцип установления осмысленности, то есть возможность данного высказывания (утверждения) оказаться истинным или ложным.
ВЕРСИЯ (лат. versio -оборот, видоизменение) - одно из нескольких возможных, отличных друг от друга объяснений или толкований одного и того же факта, явления, события.
ВЫВЕДЕНИЕ - мысленное действие, в результате которого новое знание получается логически, то есть без обращения непосредственно к опыту или из предшествующего опыта.
ВЫВОДНОЕ ЗНАНИЕ - знание, полученное из ранее установленных и проверенных истин в результате применения законов и правил логики к имеющимся истинным мыслям.
ГИПОТЕЗА (гр. hypothesis - основание, предположение) - вероятное предположение о причине каких-либо явлений, достоверность которого не может быть проверена и доказана в настоящее время, но которое может приблизительно объяснить данные явления.
ГИПОТЕТИКО-ДЕДУКТИВНЫЙ МЕТОД - способ научного исследования, заключающийся в том, что вначале высказывается несколько гипотез о причинах изучаемых фактов, а затем дедуктивным путем из гипотез выводится следствие.
ДЕДУКЦИЯ (лат. deductio - выведение) - такая форма мышления, когда новая мысль выводится логическим путем из предшествующих мыслей, причем этот процесс анализа идет от общего к частному.
ДЕМОНСТРАЦИЯ (лат. demonstratio -показывание) - логическое рассуждение, в процессе которого из аргументов (доводов) выводится истинность или ложность тезиса.
ДИЗЪЮНКЦИЯ (лат. disjunctio -разобщение, разделение, различие) - операция, выражающаяся в соединении двух и более высказываний с помощью логического союза "или" в новое, сложное суждение.
ДИЛЕММА (гр. di – дважды + lemma - предположение или двойственное предположение) - суждение, в котором предмету приписываются два противоречащих признака, исключающих возможность третьего.
ДИХОТОМИЧЕСКОЕ СУЖДЕНИЕ (гр. dicha и tome - разделяю на две части) - суждение, в котором выражается результат деления класса предметов на две части. Одна из этих частей характеризуется наличием известного признака, а другая - его отсутствием.
ДОКАЗАТЕЛЬСТВО - логическое действие, в процессе которого истинность какой-либо мысли обосновывается с помощью других мыслей.
ИМПЛИКАЦИЯ (лат. implicite - тесно связывают) - логическая операция, связывающая два высказывания в сложное высказывание с по мощью логической связки "если... то...".
ИНДУКЦИЯ (лат. inductio -наведение) - форма мышления, посредством которой мысль наводится на какое-либо общее правило, при этом процесс анализа идет от частного к общему.
КАЗУИСТИКА (лат. casus - случай, случайность) - ловкость, изворотливость в спорте, в "доказательстве" ложных или сомнительных положений.
КЛАССИФИКАЦИЯ (лат. classis - разряд +facio -делаю) - распределение предметов на классы согласно наиболее существенным признакам, присущим предметам данного рода.
КОНТРАДИКЦИЯ (лат. contra – против + dictio - высказывание) - логически противоречивое высказывание, нарушающее формально - логический, закон противоречия.
КОНТРАДИКТОРНЫЕ ОТНОШЕНИЯ (лат. contradictorius - противоречащий) -отношения между противоречивыми суждениями, которые вместе не могут быть ни истинными, ни ложными, из двух контрадикторных суждений одно - истинно, другое - ложно.
КОНТРАРНЫЕ ОТНОШЕНИЯ (лат. contrarius - противоположный)- отношения между противными, или противоположными, суждениями, которые вместе не могут быть истинными, но оба вместе могут быть ложными.
КОНЪЮНКТИВНЫЕ (СОЕДИНИТЕЛЬНЫЕ) СУЖДЕНИЯ (лат. conjungo- соединяю) - сложное суждение, в котором несколько суждений объединяются союзом "и".
КРУГ В ДОКАЗАТЕЛЬСТВЕ - логическая ошибка в доказательстве, состоящая в том, что истинность какого-либо доказываемого положения обосновывается посредством того же самого положения, которое еще должно быть доказано.
ЛОГИКА (гр. logos - слово, мысль, речь, разум) - знание о законах и формах мышления.
ЛОГИЧЕСКИЙ КВАДРАТ - наглядная схема, облегчающая запоминание характера отношений между некоторыми видами суждений.
МЕТОДЫ ИССЛЕДОВАНИЯ ПРИЧИННЫХ СВЯЗЕЙ - простейшие логические методы установления причинных связей между явлениями, вытекающими из причин следствиями.
МОДАЛЬНОСТЬ СУЖДЕНИЯ (лат. modus -мера, накопление) - характеристика суждения в зависимости от характера устанавливаемой им достоверности, то есть от того, утверждается ли в нем возможность, действительность или необходимость чего-либо в чем-либо.
МОДУС (лат. modus - мера, образ, способ) - логический термин, обозначающий свойство предмета, присущее ему непостоянно, а лишь в некоторых состояниях.
МЫШЛЕНИЕ - активный процесс отражения объективного мира в человеческом мозгу в форме суждений, понятий, умозаключений.
НЕПОЛНАЯ ИНДУКЦИЯ - вид индуктивного умозаключения, в результате которого получается какой-либо общий вывод обо всем классе предметов на основании знания лишь некоторых однородных предметов данного класса.
ОБОСНОВАННОСТЬ - такое качество правильного логического мышления, которое свидетельствует о том, что в рассуждении все мысли опираются на другие мысли, истинность которых доказана.
ОБЪЕМ ПОНЯТИЯ (англ. concept extension) -отображение в нашем сознании множества предметов, каждый из которых имеет признаки, зафиксированные в исследуемом понятии.
ОМОНИМИЯ (гр. homos -одинаковый + omona - имя) - логическая ошибка, которая происходит вследствие того, что одно и то же по звуку слово в одном и том же рассуждении употребляется для обозначения различных понятий.
ОПРОВЕРЖЕНИЕ (лат. refutatio) - доказательство о ложности или несостоятельности какого-либо тезиса.
ОСНОВАНИЕ - часть условного суждения, в которой отображается условие, от которого зависит истинность следствия.
ПОНЯТИЕ - целостная совокупность суждений, в которых что-либо утверждается об отличительных признаках исследуемого объекта.
ПОСТУЛАТ (лат postulatum - требуемое) - исходное положение, утверждение, принимаемое в какой- либо теории без строгого доказательства, но веское и обоснованное, построенное дедуктивно.
ПОСЫЛКА - суждение, которое служит основанием для заключения (вывода) и является необходимой частью любого умозаключения.
ПРЕДИКАТ (лат. praedicatum -сказанное) - то, что высказывается (утверждается или отрицается) в суждении о субъекте.
ПРИЗНАК - все то, в чем предметы, процессы, явления сходны друг с другом или в чем они отличаются друг от друга.
ПРОБЛЕМА (гр. problema - задача, задание) - теоретический или практический вопрос, который предполагается изучить и разрешить.
СИЛЛОГИЗМ (лат. syllogismos -сосчитывание)- умозаключение, в котором из двух категорических суждений, связанных общим средним термином, получается третье суждение, называемое выводом, при этом средний термин в заключение не входит.
СИНТЕЗ(гр. synthesis - соединение, сочетание) - мысленное соединение частей предмета, расчлененного в процессе анализа, установление взаимодействия и связей частей и познание этого предмета как единого целого.
СОРИТ (гр. sorit - куча) - вид сложного силлогизма, из нескольких посылок, связанных средними терминами, в котором приводится только последнее заключение, остальные же промежуточные заключения не высказываются, а только подразумеваются.
СОФИЗМ (sophisma - измышление, хитрость) - умышленно ошибочное рассуждение, которое выдается за истинное, логическая уловка,
СУЖДЕНИЕ - форма мысли, в которой утверждается или отрицается что-либо относительно предметов и явлений, их свойств, связей и отношений и которая обладает свойством выражать истину, либо ложь.
ТАВТОЛОГИЯ (гр. tauto - то же самое + logos - слово) - выражение, повторяющее в иной словесной форме ранее сказанное.
ТЕЗИС (гр. thesis - положение, утверждение) - мысль или положение, истинность которого еще требуется доказать.
ТЕРМИН (лат. terminus - предел, конец, граница) - слово или словосочетание, являющееся точным названием строго определенного понятия.
ТРАДУКЦИЯ (лат. traductio - перемещение)- умозаключение, в котором посылки и заключение являются суждениями одинаковой общности, то есть когда вывод идет от знаний определенной степени общности к новому знанию той же степени общности.
ТРИХОТОМИЯ (гр. tricha - на три части + tome - сечение) - деление объема понятия на три части.
УМОЗАКЛЮЧЕНИЕ - форма мышления или логическое действие, в результате которого из одного или нескольких неизвестных суждений получается новое суждение, в котором содержится новое знание.
ФАКТ (лат. factum - сделанное, совершившееся) - действительное, реально существующее, невымышленное событие или явление.
ЭНТИМЕМА - сокращенный силлогизм, в котором выпущена одна из подразумевающихся частей.
ОБЩИЕ ПРАВИЛА СИЛЛОГИЗМА
Правила фигур
| № | Фигура | Правильные модусы |
| Barbara, Celarent, Darii, Ferio. AAA EAE AII EIO Большая посылка общая, меньшая ‑ утвердительная | |
| Cesare, Camestres, Festino, Baroco. EAE AEE EIO AOO Большая посылка общая, одна из посылок и заключение ‑ отрицательные | |
| Darapti, Disamis, Datisi, Ferapont, Bocardo, Ferison. AAA IAI AII EAO OAO EIO Меньшая посылка утвердительная, заключение ‑ частное | |
| Bramalip, Camenes, Dimatis, Fesapo, Fresison. AAI AEE IAI EAO EIO Подчиняется правилам трех первых фигур |
Правила терминов
| № | Правило | Пример ошибки | Примечания |
| В силлогизме должны быть только три термина | Движение – вечно Хождение в УГТУ - движение ? | Учетверение терминов Средний термин движение не тождественен | |
| Средний термин должен быть распределен хотя бы в одной из посылок | Некоторые студенты не сдали зачет Иванов – студент ? | ||
| Термин, не распределенный в Посылках, не может быть распределен и в заключении | Все студенты трудолюбивы. Петров – не студент Петров не трудолюбив | Применяется при отрицательной меньшей посылке |
Правила посылок
| № | Правило | Пример ошибки | Примечсния |
| Из двух отрицательных посылок нельзя сделать никакого заключения | Дельфины не рыбы Касатки не дельфины ? | ||
| Если одна из посылок отрицательная, то и заключение будет отрицательным | Папоротники размножаются спорами Это растение не размножается спорами Это растение не папоротник | ||
| Если одна из посылок частная, то и заключение будет частным | Некоторые свиньи дикие Все свиньи жирные Некоторые жирные – дикие | ||
| Из двух частных посылок нельзя сделать никакого заключения | Некоторые студенты - отличники. Некоторые отличники – студенты ? |
