Словарь логики

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

  • модальные характеристики, приложимые к отдельным объектам и, соответственно, к парам объектов. А. м. выступают как свойства объектов. С. м. -

  • (англ. - abstract entity) предмет, не существующий в действительности, созданный нашим воображением. В процессе познания окружающей реальности мы

  • (от лат. abstractio - отвлечение) 1) процесс отвлечения от некоторых характеристик (свойств, отношений) изучаемых предметов и явлений, от реальных

  • (от лат. absurdus - нелепый, глупый) в логике под А. обычно понимается противоречивое выражение. В таком выражении что-то утверждается и отрицает

  • (от греч. automatos - самодействующий) устройство (или совокупность устройств), выполняющее по заданной программе и без участия человека все опе

  • (от греч. autos-сам, опота - имя) употребление выражений в качестве обозначений самих себя. Обычно языковые выражения используются для того, чт

  • (от греч. axios - ценный, logos - понятие, учение), или: Оценочная модальность, характеристика объекта с точки зрения определенной системы ценност

  • (от греч. axioma - значимое, принятое положение) исходное, принимаемое без доказательства положение к.-л. теории, лежащее в основе доказательст

  • способ построения научной теории, при котором какие-то положения теории избираются в качестве исходных, а все остальные ее положения выво

  • определение термина через множество аксиом (постулатов), в которые он входит и которые последовательно ограничивают область его возможны

  • исторически первый раздел математической логики, разработанный ирландским логиком и математиком Дж. Булем в середине XIX в. Буль применил а

  • (от Algorithmi - латинизированная форма имени выдающегося среднеазиатского ученого Аль-Хорезми) - конечный набор правил, позволяющих чисто меха

  • (от греч. а - не, logos - разум) ход мысли, нарушающий какие-то законы и правила логики и поэтому всегда содержащий в себе логическую ошибку. Если

  • (от греч. amphibolia - двусмысленность, двойственность) логическая ошибка, в основе которой лежит двусмысленность языковых выражений. Напр.: "Шуб

  • .(от греч. analysis - разложение) разделение объекта на составные части, стороны, свойства. С. (от греч. synthesis - соединение) - объединение полученны

  • (от греч. analysis - разложение) а- разденление объекта на составные части, стороны, свойства. С. (от греч. synthesis — соединение) — объединение получ

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

  • (от греч. analogia - соответствие) сходство между предметами, явлениями и т. д. Умозаключение по А. (или просто А.) - индуктивное умозаключение, ког

  • (от лат. antecedent - предшествующий, предыдущий и consequens - следствие) два высказывания, из которых с помощью логической операции импликации ("если

  • (от греч. antinomia - противоречие в законе) рассуждение, доказывающее, что два высказывания, являющиеся отрицанием друг друга, вытекают одно из

  • одна из наиболее известных логических антиномий, обнаруженная в начале этого века англ. философом и логиком Б. Расселом (1872-1970). А. Р. связан

  • (от греч. antithesis - противоположение) суждение, противоречащее тезису некоторого построенного доказательства. А. используется в косвенном до

  • (от греч. apodeiktikos - доказательный, убедительный) безусловно достоверный, основанный на необходимости, неопровержимый. В традиционной логике

  • (от греч. aporia - затруднение, недоумение) трудноразрешимая проблема, связанная с противоречием между данными опыта и их мысленным анализом.

  • (лат. argumentum) суждение (или совокупность взаимосвязанных суждений), посредством которого обосновывается истинность к.-л. другого суждения (и

  • теория, изучающая те многообразные дискуссионные приемы, которые используются в процессе аргументации. А. т., начавшая складываться еще в

  • (от лат. argumentatio - приведение аргументов) приведение доводов, или аргументов, с намерением вызвать или усилить сочувствие другой стороны к в

  • аргументация, эффективность которой ограничена лишь некоторыми аудиториями. Контекстуальные способы аргументации включают аргументы к

  • аргументация, опирающаяся на рассуждение и не пользующаяся непосредственно ссылками на опыт. А. т. противопоставляется аргументации эмпи

  • аргументация, неотъемлемой частью которой является ссылка на опыт, на эмпирические данные. А. э. противопоставляется теоретической аргуме

  • (от лат. i pse dixit - сам сказал) обоснование утверждения или действия путем ссылки на какой-то авторитет. А. к а. необходим, хотя и недостаточен,

  • попытка опереться на мнения, чувства и настроения слушателей, вместо того чтобы обосновать тезис объективными доводами. Пользующийся эти

  • возбуждение в другой стороне спора жалости и сочувствия с намерением получить ее поддержку. Напр., школьник, не выучивший урок, просит не с

  • , или невежеству, ссылка на неосведомленность оппонента в споре в вопросах, относящихся к предмету спора; упоминание таких фактов или полож

  • убеждение силой, угроза неприятными последствиями и, в частности, угроза применения насилия или прямое употребление каких-то средств прин

  • ссылка в ходе спора на какой-то авторитет, который другой спорящей стороной не относится к весомым в обсуждаемом вопросе, но вместе с тем н

  • расточение неумеренных похвал противнику в споре в расчете, что, тронутый ими, он станет мягче и покладистее. Этот довод можно считать част

  • (от лат. asserto - утверждаю) установленный, достоверный. А. суждение утверждает нечто действительно существующее, установленное, достоверное,

  • языковое выражение, не отвечающее требованиям синтаксиса или семантики языка. Б. представляет собой конфликт с правилами языка, выход за р

  • методологический принцип, сформулированный англ, философом и логиком У. Оккамом и требующий устранения из науки всех понятий, не являющих

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

  • определение, сформулированное в языке с помощью слов или специальных знаков. В.о. противопоставляются остенсивным определениям с помощью

  • (от лат. verificatio - доказательство, подтверждение) понятие, используемое в логике и методологии научного познания для обозначения процесса ус

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

  • количественная мера возможности появления некоторого события при определенных условиях. Существует несколько интерпретаций понятия В. К

  • одна из модальных характеристик высказывания, наряду с "необходимостью", "невозможностью" и "случайностью"; высказывание возможно, если его

  • обоснованное отрицание (отклонение) к.-л. мысли, к.-л. положения, утверждения, предложения; высказывание, в котором выражается несогласие с к

  • предложение, выражающее недостаток информации о к.-л. объекте, обладающее особой формой и требующее ответа, объяснения. В языке В. выражает

  • или: Эротетическая, интеррогативная логика, аЧ раздел современной символической логинки, исследующий логико-семантические свойства вопро

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

  • рассуждение, в ходе которого из к.-л. исходных суждений - посылок - с помощью логических правил получают заключение - новое суждение. Напр., и

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

  • (от англ. description - описание), высказывание, главной функцией которого является описание действительности. Если описание, даваемое высказыва

  • высказывание, в котором предикат утверждается или отрицается относительно субъекта без ограничения к.-л. условиями и вполне определенно.

  • (от лат. contra - против, factum - событие) сложное высказывание, в котором с помощью союза "если бы..., то бы..." объединяются два высказывания A и В. В е

  • (от англ. description - описание), высказывание, главной функцией которого является описание действительности. Если описание, даваемое высказыва

  • (от лат. contra — против, factum — событие) а — сложное высказывание, в котором с помощью союза лесли бы..., то бы...

  • (от греч. hermeneuo - разъясняю, истолковываю) искусство истолкования, перевода литературных текстов, основанное на грамматическом исследовани

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

  • (от греч. hipothesis - основание, предположение) положение, выдвигаемое в качестве предварительного, условного объяснения некоторого явления ил

  • метод научного познания и рассуждения, основанный на выведении (дедукций) заключений из гипотез и других посылок, истинностное значение к

  • утверждение, которое высказывается не как установленная истина, а как некое предположение, способное оказаться как истинным, так и ложным,

  • аЧ логико-математические понятия, выражающие уподобление (гомоморфизм) либо одинанковость (изоморфизм) строения систем. Две системы А и В н

  • важнейший результат, полученный австрийским логиком и математиком К. Гёделем (1906-1978). В 1931 г. в статье "О формально неразрешимых предложения

  • см.: Закон двойного отрицания.

  • логика, опирающаяся на двузначности (бивалентности) принцип. Двузначной логической системой является логика классическая. Обычно термины

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

  • (от лат. deductio - выведение) переход от посылок к заключению, опирающийся на логический закон, в силу чего заключение с логической необходимос

  • логическая операция, посредством которой объем делимого понятия распределяется на известные классы (множества) с точки зрения некоторого

  • (от лат. denoto - обозначаю)(предметное значение) в логике и семантике предмет, обозначаемый собственным именем некоторого языка (в формализов

  • (от греч. deon - долг, правильность) Логика норм, нормативная логика. - раздел логики, исследующий логическую структуру и логические связи норм

  • (от греч. deon - долг, правильность), Нормативная модальность, модальность долженствования - характеристика практического действия с точки зр

  • высказывание, устанавливающее какую-то норму поведения. Языковые формулировки Н. в. многообразны и разнородны. Иногда оно имеет форму пове

  • (от лат. denoto - обозначаю)(предметное значение) в логике и семантике предмет, обозначаемый собственным именем некоторого языка (в формализов

  • (от лат. descriptio - описание) языковое выражение, служащее для обозначения единичных объектов посредством описания их свойств или отношений к

  • геометрическое наглядное представление отношений между классами (объемами понятий) в булевой алгебре с помощью кругов или иных фигур. Д. В

  • название философской теории, пытавшейся выявить, систематизировать и обосновать в качествеуниверсальных основные особенности мышления

  • см.: Модус понендо толленс. Модус толлендо поненс.

  • (от лат. disjunctio - разобщение, различение) логическая операция - аналог употребления союза "или" в обычном языке, с помощью которой из двух или

  • (от греч. di(s) - дважды и lemma - предположение) в традиционной логике условно-разделительное умозаключение, т. е. умозаключение, посылками котор

  • (от лат. discursus - рассуждение, довод, аргумент) рассудочный, логический, противоположный интуитивному, чувственному. Д. познание как опирающе

  • (от лат. discussio - рассмотрение, исследование) обсуждение к.-л. вопроса или группы связанных вопросов компетентными лицами с намерением достич

  • Д. с.общие свойства, принадлежащие каждому элементу множества (совокупности предметов, коллективу), которое они определяют. Так, свойство "

  • с. а- обнщие свойства, принадлежащие каждому элементу множества (сонвокупности предметов, коллективу), которое они определяют. Так, свойств

  • (от греч, dicha и tome - рассечение на две части) деление объема понятия на две взаимоисключающие части, полностью исчерпывающие объем делимого

  • рассуждение, устанавливающее истинность к.-л. утверждения путем приведения других утверждений, истинность которых уже доказана. В Д. разли

  • см.: Конструктивная логика.

  • см.: Косвенное доказательство.

  • логически правильное рассуждение, когда от нескольких условных высказываний (посылок), имеющих одинаковое следствие, осуществляется пере

  • логически правильное рассуждение, когда от нескольких условных высказываний (посылок), имеющих одинаковое следствие, осуществляется пере

  • см.: Доказательство

  • такое множество не-А, когда A + не-А = 1, где 1 обозначает некоторую предметную область (универсальный класс). Пусть A будет множеством млекопит

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

  • см.: Условное высказывание

  • обоснованность, доказательность, бесспорность знания. Достоверное суждение - такое суждение, в котором высказывается твердо обоснованное

  • - гносеологическая оценка знания, выражающая его ограниченный характер. Марксистская гносеология и методология научного познания исполь

  • (от лат. associatio - соединение) общее имя для ряда логических законов, позволяющих по-разному группировать высказывания, соединяемые с помощью

  • закон логики, характеризующий импликацию ("если, то"): если первое влечет второе, то если второе влечет третье, то первое влечет третье. Напр.

  • закон логики, позволяющий отбрасывать двойное отрицание. Его можно сформулировать так: отрицание отрицания дает утверждение, или: повторе