Основные логические понятия

АКСИОМА (гр. 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 Подчиняется правилам трех первых фигур

Правила терминов

№	Правило	Пример ошибки	Примечания
	В силлогизме должны быть только три термина	Движение – вечно Хождение в УГТУ - движение ?	Учетверение терминов Средний термин движение не тождественен
	Средний термин должен быть распределен хотя бы в одной из посылок	Некоторые студенты не сдали зачет Иванов – студент ?
	Термин, не распределенный в Посылках, не может быть распределен и в заключении	Все студенты трудолюбивы. Петров – не студент Петров не трудолюбив	Применяется при отрицательной меньшей посылке

Правила посылок

№	Правило	Пример ошибки	Примечсния
	Из двух отрицательных посылок нельзя сделать никакого заключения	Дельфины не рыбы Касатки не дельфины ?
	Если одна из посылок отрицательная, то и заключение будет отрицательным	Папоротники размножаются спорами Это растение не размножается спорами Это растение не папоротник
	Если одна из посылок частная, то и заключение будет частным	Некоторые свиньи дикие Все свиньи жирные Некоторые жирные – дикие
	Из двух частных посылок нельзя сделать никакого заключения	Некоторые студенты - отличники. Некоторые отличники – студенты ?