АКСИОМА (гр. axioma -значимое, достойное уважения, бесспорное) - истинное суждение, которое при дедуктивном построении какой -либо теории принимается без доказательств в качестве исходного положения и которое входит в основу доказательства всех других положений данной теории.
АЛГОРИТМ - точное и легко понимаемое описание (пред писание, правило, рецепт) механически выполняемого шаг за шагом единообразного решения любой задачи из какого-либо класса задач данного типа.
АЛОГИЗМ - нелогичность, отрицание роли логики в по знании, логический разрыв речи, нарушение логической последовательности, связанности, обоснованности.
АЛЬТЕРНАТИВА (лат. alter - чередоваться) - каждая из двух или нескольких исключающих друг друга возможностей, выбор между этими возможностями есть или P 1 , или Р 2 .
АМФИБОЛИЯ (гр. 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 - сделанное, совершившееся) - действительное, реально существующее, невымышленное событие или явление.
ЭНТИМЕМА - сокращенный силлогизм, в котором выпущена одна из подразумевающихся частей.
ЗАКЛЮЧЕНИЕ
Цель познания в науке и практике - получение истинных знаний и их эффективное применение. От научного понимания предмета логики в немалой степени зависит верная оценка познавательного значения логических форм. Изучая законы и формы правильного мышления, отражающие существенные стороны объективного мира, формальная логика занимает специфическое место среди других наук. Соблюдение ее правил, требований и законов составляет важное и необходимое условие любого научного познания во всех областях и на различных этапах познавательного процесса. Она играет важную роль в развитии научных знаний, в доказательном обосновании положений и выводов науки.
Формальная логика дает теорию логически правильного мышления и в силу этого выступает орудием познания, необходимым и в первоначальном обучении, в ознакомлении с основами науки, а также и в научном исследовании сложных процессов и явлений. Содержание формальной логики отражает такие характерные черты человеческого мышления, которые дают возможность их мыслей, истинных по своей сущности и правильных по логической форме, закономерно связанных между собой, получить новые мысли, соответствующие объективной реальности.
Формальная логика представляет собой прежде всего метод познания посредством чисто логических действий. Получение новых выводов из уже достигнутых мыслей в силу закономерной связи между ними составляет специфическую задачу такой логики, этим характеризуется и ее гносеологическая роль. Обеспечивая логическую правильность человеческой мысли, формальная логика вносит определенный вклад в научную теорию познания, хотя и не охватывает всех сторон познавательного процесса. Вместе с тем при нарушении ее требований теряется фактическая достоверность мысли. Возникновение ложной мысли и ее логическая несостоятельность связаны с нарушением законов логики. В этой взаимосвязи объективной истинности и логической правильности мысли раскрывается значение изучения формальной логики как непременной предпосылки отыскания истины.
Логическая стройность мышления человека достигается в случае сознательного регулирования им и контролирования правилами и законами. Особенно данное требование необходимо при получении выводного знания, истинность которого не обеспечивается стихийной правильностью логической формы. Для этого нужны вполне сознательные побуждения. Логика как наука учит человека сознательно правильно мыслить, чтобы из объективно истинных посылок получать выводы, соответствующие реальной действительности.
Содержание логики концентрируется в учении о понятиях, суждениях и умозаключениях, в доказательстве и опровержении. Здесь особенно ярко раскрываются познавательное значение и практическая роль ее как науки, а также как метода отыскания истины и разумного ее обоснования.
Важное теоретическое и практическое значение имеют законы логики: закон тождества, закон противоречия, закон исключенного третьего, закон достаточного основания. Следует иметь в виду, что глубокое усвоение законов правильного мышления совершенно необходимо в любой области научного познания, в любой области человеческой деятельности. Никакая мысль не может быть истинной, если нарушается хотя бы один из логических законов. Причем в каждой операции мышления они применяются обычно не только раздельно, но и совместно, в своем диалектическом единстве. Всякое несоблюдение требований этих законов нарушает внутреннюю стройность, логическую правильность мыслей человека, призванных отражать объективный мир.
Сознательное применение правил и законов логики дисциплинирует разум, предостерегает от ошибок, совершенствует аппарат мышления, помогает вскрыть уже допущенные ошибки и избежать их в дальнейшем. Все это повышает логическую культуру мысли и способствует активности человеческого сознания в познании и преобразовании явлений и процессов мира в интересах людей.
