Понятия со словом «допускающий»
Связанные понятия
Парадокс в логике — это противоречие, имеющее статус логически корректного вывода и, вместе с тем, представляющее собой рассуждение, приводящее к взаимно исключающим заключениям. Логическая ошибка парадокса объясняется неверным выбором логических посылок, например, когда речь идет о предметах, не имеющих четкого определения (См. стрела Зенона).
Требование: * Требование — действие, выражающееся в настойчивой, категорической, просьбе исполнить что-либо.
Интуициони́стское исчисле́ние выска́зываний, называемое иногда Интуициони́стской ло́гикой — формальная система, отражающая некоторые способы рассуждений, приемлемые с точки зрения интуиционизма. Предложена А. Гейтингом в 1930.
Детерминированность (от лат. determinans — определяющий) — определяемость. Детерминированность может подразумевать определяемость на общегносеологическом уровне или для конкретного алгоритма. Под жёсткой детерминированностью процессов в мире понимается однозначная предопределённость, то есть у каждого следствия есть строго определённая причина. В таком смысле является антонимом стохастичности. Но детерминированность не всегда тождественна предопределённости. Например, может быть детерминированность...
Доведение до абсурда (лат. reductio ad absurdum), или апагогия («сведе́ние», др.-греч. Εις άτοπον απαγωγή), — логический приём, которым доказывается несостоятельность какого-нибудь мнения таким образом, что или в нём самом, или же в вытекающих из него следствиях обнаруживается противоречие.
Классическая логика — термин, используемый в математической логике по отношению к той или иной логической системе, для указания того, что для данной логики справедливы все законы (классического) исчисления высказываний, в том числе закон исключения третьего.
Реторсия — способ доказательства, при котором явно высказанное опровергается неявными условиями акта высказывания. Если явное (тематическое) высказывание противоречит имплицитному (нетематическому) условию акта высказывания, то оно противоречит себе самому. Такое противоречие в схоластике называется противоречием в исполнении (contradictio exercita). Согласно Э. Корету, реторсия является основным элементом трансцендентального, особенно метафизического мышления. Реторсия как метафизический способ...
Прескри́пция (от лат. prescribere — предписывать; отсюда буквальное значение — предписание), прескриптивное высказывание, нормативное высказывание — высказывание о должном, то есть высказывание, утверждающее необходимость каких-либо действий или их отсутствия и не обладающее истинностным значением, в отличие от противопоставляемого ему описывающего, дескриптивного высказывания. Прескриптивными высказываниями являются правовые, моральные и иные нормы, поскольку каждая из них содержит предписание...
Замыкание — процесс или результат действия, сводящегося к ограничению или спрямлению чего-либо.
Доказательство — это процесс (метод) установления истины, логическая операция обоснования истинности утверждения с помощью фактов и связанных с ними суждений. С помощью совокупности логических приёмов истинность какого-либо суждения обосновывается исходя из других истинных суждений.
Выска́зывание в математической логике — предложение, выражающее суждение. Если суждение, составляющее содержание (смысл) некоторого высказывания, истинно, то и о данном высказывании говорят, что оно истинно. Сходным образом ложным называют такое высказывание, которое является выражением ложного суждения. Истинность и ложность называются логическими, или истинностными, значениями высказываний.Высказывание должно быть повествовательным предложением, и противопоставляются повелительным, вопросительным...
Сужде́ние — мысль, в которой утверждается наличие или отсутствие каких-либо положений дел.
Императи́в (лат. imperativus) — требование, приказ, закон. С появлением кантовской «Критики практического разума» императив — это общезначимое предписание, в противоположность личному принципу (максиме); правило, выражающее долженствование (объективное принуждение поступать так, а не иначе).
В объектно-ориентированном программировании
понижающее приведение (англ. downcasting) или «уточнение типа» (англ. type refinement) — акт приведения типа, ссылающегося на базовый класс, к одному из его производных классов.
При́нцип доста́точного основа́ния — это принцип, требующий, чтобы в случае каждого утверждения указывались убедительные основания, в силу которых оно принимается и считается истинным. Требование достаточных или убедительных оснований столь же старо, как и само теоретическое мышление. В ясной форме это требование сформулировал уже Аристотель. Он уточнил одновременно, что в различных областях знания требование достаточности оснований является разным, и не следует от оратора требовать научных доказательств...
Гипосхемати́ческие языки́ — апостериорные международные искусственные языки схематического типа, не допускающие (в отличие от эсперанто, идо) использования априорных морфем, но обладающие собственными (автономными) правилами словообразования, в результате чего образуются априорные дериваты: идиом-неутраль — redaktator ‘редактор’, infektasion ‘инфекция’, Slovianski-P — morni ‘морской’. Могут рассматриваться как переходные к натуралистическому типу.
Акри́вия (греч. ἀκρίβεια — «точный смысл, строгая точность, тщательность») — в христианстве точный смысл, точность, строгость, соответствие букве закона; принцип решения церковных вопросов с позиции строгой определённости. Акривия означает неизменность догмата, внутреннего правила веры.
Принцип наблюдаемости — принцип в теоритической физике, требующий, чтобы в науку вводились не умозрительные, а только наблюдаемые величины и утверждения — утверждения, которые можно хотя бы мысленно, хотя бы в принципе проверить на опыте.
Паралоги́зм (др.-греч. παραλογισμός — ложное умозаключение) — случайная, неосознанная или непреднамеренная логическая ошибка в мышлении (в доказательстве, в споре, диалоге), возникающая при нарушении законов или правил логики и приводящая к ошибочному выводу (заключению).
Логическое управление — вид управления, который основывается на истинности и ложности каких-либо предпосылок (двоичных сигналов условий от объекта управления). Результатом управления является выдача двоичных управляющих воздействий (микроопераций) для объекта управления. Подобная постановка задачи более типична для алгоритмического программирования, нежели чем для автоматического управления, что определяет вынесение логического управления в отдельный класс. Примером применения систем логического...
В логике логи́ческими опера́циями называют действия, вследствие которых порождаются новые понятия, с использованием уже существующих. В более узком смысле, понятие логической операции используется в математической логике и программировании.
Подробнее: Логическая операция
Элиминация кванторов — получение по заданной логической формуле эквивалентной ей, не содержащей кванторов. Теории, допускающие элиминацию кванторов для любой формулы, представляют особый интерес, поскольку наличие алгоритма элиминации позволяет получить ряд содержательных результатов об этой теории.
Эквивале́нт (от позднелат. aequivalens — «равнозначный», «равноценный», «равносильный») — нечто равноценное или соответствующее в каком-либо отношении чему-либо, заменяющее его или служащее его выражением.
Противоре́чие (контрадикторность) — отношение двух понятий и суждений, каждое из которых является отрицанием другого. В формальной логике противоречие считается недопустимым согласно закону противоречия. Однако, как показали Кант (антиномии) и Гегель, противоречие есть необходимый этап и результат всякого реального мышления — познания. Если у Канта, и в метафизике вообще, логическое противоречие трактуется как феномен, появляющийся в мышлении в силу его несовершенства или его неправомерного использования...
Ограничением понятия - называется логическая операция, состоящая в прибавлении к содержанию понятия нового признака, наличие которого в содержании понятия сужает его объём. При этом исходное понятие будет родовым, а в результате его ограничения получается видовое понятие. Например, «движение ссудного капитала» - «международный кредит».
Подробнее: Ограничение понятий
Конструктивная математика — абстрактная наука о конструктивных процессах, человеческой способности осуществлять их, и об их результатах — конструктивных объектах.
Секвенциальная логика — это логика памяти цифровых устройств. Название «секвенциальная» восходит к англ. sequential. Соответствующая логика может именоваться также как последовательностная, хотя последний термин по преимуществу употребляется в связи с логическими автоматами.
Но́рма пра́ва — это общеобязательное, формально определенное правило поведения, гарантируемое государством, отражающее уровень свободы граждан и организаций, выступающее регулятором общественных отношений.
Абсу́рд (от лат. absurdus, «нестройный, нелепый»; от лат. ad absurdum, «исходящий от глухого») — нечто алогичное, нелепое, противоречащее здравому смыслу. Приведение чего-либо к абсурду (доведения до абсурда) означает доказать бессмысленность какого-либо положения тем, что логически развивая это положение, в итоге приходят к нелепости, которая явно вскрывает внутренние противоречия самого положения. Приведение к абсурду — весьма распространённый приём в спорах, к которому часто любили прибегать софисты...
Деление понятий — это логическая операция, посредством которой объем делимого понятия распределяется по объемам новых понятий, каждое из которых представляет частный случай исходного понятия. Например, расчёты делятся на наличные и безналичные. Понятия разделяются исходя из существенного признака, который может изменяться по определенному принципу или правилу (например, образование из понятия «торговый баланс» новых понятий, в которых фиксируется то или иное соотношение ввоза и вывоза товаров).
Традукция (лат. traductio — перемещение) — вид опосредованного умозаключения, в котором посылки и вывод являются суждениями одинаковой степени общности. Традуктивным умозаключением является аналогия. По характеру посылок и вывода традукция может быть трех типов...
Верифика́ция (от лат. verum «истинный» + facere «делать») в различных сферах деятельности человека может подразумевать...
Гомоскедастичность (англ. homoscedasticity) — однородная вариативность значений наблюдений, выражающаяся в относительной стабильности, гомогенности дисперсии случайной ошибки регрессионной модели. Явление, противоположное гетероскедастичности. Является обязательным предусловием применения метода наименьших квадратов, который может быть использован только для гомоскедастичных наблюдений.
Альтернати́ва (фр. alternative, от лат. alternatus — другой) — возможность выбора одной из двух или более исключающих друг друга возможностей, а также каждая из этих возможностей.
Сори́т (от греч. σωρός — «куча») — цепь последовательных силлогизмов, в которых заключение является одной из посылок следующего за ним, а одна из посылок при этом не выражается в явной форме.
Формальная верификация или формальное доказательство — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства.
Логическая ошибка — в логике, философии и прочих науках, изучающих познание, ошибка, связанная с нарушением логической правильности умозаключений. Ошибочность обусловлена каким-либо логическим недочётом в доказательстве, что делает доказательство в целом неверным.
Диспози́ция — элемент правовой нормы, содержащий дозволение, предписание или запрет для субъекта, которому адресована правовая норма. Содержит, таким образом, правило поведения, которому должны следовать участники правоотношений, урегулированных данной нормой .
Логика высказываний, или пропозициональная логика (лат. propositio — «высказывание»), или исчисление высказываний — это раздел символической логики, изучающий сложные высказывания, образованные из простых, и их взаимоотношения. В отличие от логики предикатов, пропозициональная логика не рассматривает внутреннюю структуру простых высказываний, она лишь учитывает, с помощью каких союзов и в каком порядке простые высказывания сочленяются в сложные.
Рабулистика — искусство изощренной аргументации, составная часть эристики. Позволяет выставить предмет обсуждения или последовательность чьих-либо мыслей в нужном свете, не всегда соответствующем действительности.
Тезис — это выдвинутое оппонентом точное суждение, которое он обосновывает в процессе аргументации. Тезис является главным структурным элементом аргументации и отвечает на вопрос: что обосновывают.
Условно-разделительное умозаключение (также полилемма, лемматическое умозаключение) — умозаключение, посылки которого состоят из одного разделительного суждения и нескольких условных. Частные случаи с двумя и тремя условными высказываниями имеют собственные названия — дилемма и трилемма соответственно.
Функция-заглушка (в программировании) — функция, не выполняющая никакого осмысленного действия, возвращающая пустой результат или входные данные в неизменном виде. То же самое, что заглушка метода.
Форма́льная систе́ма (форма́льная тео́рия, аксиоматическая теория, аксиоматика, дедуктивная система) — результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов в теории, явно высказаны посредством аксиом и правил, позволяющих вывести одну фразу из других.
Машина вывода — программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики.
Инду́кция (лат. inductio — наведение, от лат. inducere — влечь за собой, установить) — процесс логического вывода на основе перехода от частного положения к общему. Индуктивное умозаключение связывает частные предпосылки с заключением не строго через законы логики, а скорее через некоторые фактические, психологические или математические представления.Объективным основанием индуктивного умозаключения является всеобщая связь явлений в природе.
Подробнее: Индуктивное умозаключение
Опровержение — рассуждение, направленное против тезиса с целью установления факта его ложности (иногда недоказанности).