Понятия со словом «сводящийся»
Связанные понятия
Замыкание — процесс или результат действия, сводящегося к ограничению или спрямлению чего-либо.
Парадокс в логике — это противоречие, имеющее статус логически корректного вывода и, вместе с тем, представляющее собой рассуждение, приводящее к взаимно исключающим заключениям. Логическая ошибка парадокса объясняется неверным выбором логических посылок, например, когда речь идет о предметах, не имеющих четкого определения (См. стрела Зенона).
Паралоги́зм (др.-греч. παραλογισμός — ложное умозаключение) — случайная, неосознанная или непреднамеренная логическая ошибка в мышлении (в доказательстве, в споре, диалоге), возникающая при нарушении законов или правил логики и приводящая к ошибочному выводу (заключению).
Доведение до абсурда (лат. reductio ad absurdum), или апагогия («сведе́ние», др.-греч. Εις άτοπον απαγωγή), — логический приём, которым доказывается несостоятельность какого-нибудь мнения таким образом, что или в нём самом, или же в вытекающих из него следствиях обнаруживается противоречие.
Детерминированность (от лат. determinans — определяющий) — определяемость. Детерминированность может подразумевать определяемость на общегносеологическом уровне или для конкретного алгоритма. Под жёсткой детерминированностью процессов в мире понимается однозначная предопределённость, то есть у каждого следствия есть строго определённая причина. В таком смысле является антонимом стохастичности. Но детерминированность не всегда тождественна предопределённости. Например, может быть детерминированность...
Интуициони́стское исчисле́ние выска́зываний, называемое иногда Интуициони́стской ло́гикой — формальная система, отражающая некоторые способы рассуждений, приемлемые с точки зрения интуиционизма. Предложена А. Гейтингом в 1930.
Классическая логика — термин, используемый в математической логике по отношению к той или иной логической системе, для указания того, что для данной логики справедливы все законы (классического) исчисления высказываний, в том числе закон исключения третьего.
Энтимéма (др.-греч. ἐνθύμημα, от др.-греч. ἐνθύμημαι — «имею в душе») — сокращённoe умозаключение, в котором в явной форме не выражена посылка или заключение, однако пропущенный элемент подразумевается.
Подробнее: Энтимема
Алоги́зм (алоги́чность; от др.-греч. ἀ — отрицательная частица и др.-греч. λογισμός — разум, рассудок) — нелогическое рассуждение, ход мысли, нарушающий законы и правила логики, либо факт, который не укладывается в рамки логического мышления, то, что нельзя обосновать логически, противоречащее логике.
Противоре́чие (контрадикторность) — отношение двух понятий и суждений, каждое из которых является отрицанием другого. В формальной логике противоречие считается недопустимым согласно закону противоречия. Однако, как показали Кант (антиномии) и Гегель, противоречие есть необходимый этап и результат всякого реального мышления — познания. Если у Канта, и в метафизике вообще, логическое противоречие трактуется как феномен, появляющийся в мышлении в силу его несовершенства или его неправомерного использования...
Метатеория — теория, анализирующая методы и свойства другой теории, так называемой предметной или объектной теории.
Абсу́рд (от лат. absurdus, «нестройный, нелепый»; от лат. ad absurdum, «исходящий от глухого») — нечто алогичное, нелепое, противоречащее здравому смыслу. Приведение чего-либо к абсурду (доведения до абсурда) означает доказать бессмысленность какого-либо положения тем, что логически развивая это положение, в итоге приходят к нелепости, которая явно вскрывает внутренние противоречия самого положения. Приведение к абсурду — весьма распространённый приём в спорах, к которому часто любили прибегать софисты...
Адинато́н (от др.-греч. ἀδύνᾰτον «невозможное») — фигура речи в форме гиперболы, когда нечто невозможное или очень трудное в осуществлении сопоставляется, с помощью отвлечённого примера и сильного преувеличения, с какой-либо нереальной ситуацией, с чем-то, чего по природе вещей не может быть. Риторический приём доведения сравнения до невозможного, нередко с юмористическим эффектом.
Финитизм (лат. finitus — определенный, законченный) — философское учение, отрицающее понятие бесконечного и утверждающее, что бесконечность не имеет места ни во вселенной, ни в микромире, ни в человеческом мышлении. Была широко популярна в Древнем мире и Средних веках до Коперника. Финитизм предполагает, что Вселенная конечна и имеет определённые размеры. Микромир также имеет пределы делимости (см. атомизм).
Релятиви́зм (от лат. relativus — относительный) — методологический принцип, состоящий в метафизической абсолютизации относительности и условности содержания познания.
Софи́зм (от греч. σόφισμα, «мастерство, умение, хитрая выдумка, уловка») — можно подразделить на...
Фикционализм математический — представление о математическое понятиях и теориях, как о логических фикциях, не имеющих отношения к структуре реальности. Математический фикционализм представлен двумя основными разновидностями. Первую форму фикционализма в математике как основную характеристику некоторых математических понятий, не имеющих реального значения, но полезных для объяснения связей между числами и простыми функциями, дал Лейбниц (для понятия бесконечно малой величины). Как операционный метод...
Абстра́ктный объе́кт — объект, созданный какой-либо абстракцией или при посредстве какой-либо абстракции; когнитивно представленный объект познания, репрезентирующий те или иные сущностные аспекты, свойства, отношения вещей и явлений окружающего мира. Абстрактные объекты делятся на реальные и идеальные, различающиеся постановкой и решением проблемы существования. Для реальных имеется её конструктивное решение; идеальные же выходят за пределы эффективной проверки (например, континуум). В философии...
Индетермини́зм (от лат. in — не и лат. determinare — определять) — философское воззрение и методологическая позиция, отрицающие либо объективность причинной связи (онтологический индетерминизм), либо познавательную значимость причинного объяснения в науке (методологический индетерминизм). В философии науки: концепция, согласно которой фундаментальные законы природы имеют вероятностный характер, а случай является не только равноправной по отношению к необходимости сущностью природы, но и более фундаментальной...
Топологическая рефлексия — метод современной философии, учитывающий нелинейный, но непрерывный (топологический) характер современного мышления (рефлексии). Термин введен и обоснован петербургским философом Савчуком в 2003 годудля того чтобы противопоставить современное мышление классическому, которое в этом контексте именуется оптической рефлексией, что указывает на связь с эпохой Просвещения и предшествующим ему картезианством. Если оптическая рефлексия постулирует идеал бестелесного взгляда с позиции...
Интуициони́зм — совокупность философских и математических взглядов, рассматривающих математические суждения с позиций «интуитивной убедительности». Различаются две трактовки интуиционизма: интуитивная убедительность, которая не связана с вопросом существования объектов, и наглядная умственная убедительность.
Парадокс Скулема — противоречивое рассуждение, описанное впервые норвежским математиком Туральфом Скулемом, связанное с использованием теоремы Лёвенгейма — Скулема для аксиоматической теории множеств.
Апори́я (греч. ἀπορία «безысходность, безвыходное положение») — это вымышленная, логически верная ситуация (высказывание, утверждение, суждение или вывод), которая не может существовать в реальности. Апоретическое (апорийное) суждение фиксирует несоответствие эмпирического факта и описывающей его теории. Апории известны со времён Сократа. Наибольшую известность получили апории Зенона из Элеи.
Антите́зис (др.-греч. ἀντίθεσις «анти́тесис» — противоположение; лат. antithesis «антите́зис») — суждение, противопоставляемое тезису.
Иммане́нтность (лат. immanens, род.п. immanentis «пребывающий внутри») — философская категория, обозначающая неотъемлемость, внутреннюю связь в противоположность внешней.
Спекуляция (нем. Spekulation, от лат. speculatio — выслеживание, высматривание) — в философии это отвлечённое рассуждение, тип теоретического знания, которое выводится без обращения к опыту («спекулятивное суждение»).
Прескри́пция (от лат. prescribere — предписывать; отсюда буквальное значение — предписание), прескриптивное высказывание, нормативное высказывание — высказывание о должном, то есть высказывание, утверждающее необходимость каких-либо действий или их отсутствия и не обладающее истинностным значением, в отличие от противопоставляемого ему описывающего, дескриптивного высказывания. Прескриптивными высказываниями являются правовые, моральные и иные нормы, поскольку каждая из них содержит предписание...
Кауза́льность (лат. causalis) — причинность; причинная взаимообусловленность событий во времени. Детерминация, при которой при воздействии одного объекта (причина) происходит соответствующее ожидаемое изменение другого объекта (следствие). Одна из форм отношения, характеризующаяся генетичностью, необходимостью. Каузальность выполняет важнейшую методологическую роль в научном и повседневно-бытовом познании. На основании её понятия строились механистическая картина мира, концепции детерминизма (Лаплас...
Метаматематика — раздел математической логики, изучающий основания математики, структуру математических доказательств и математических теорий с помощью формальных методов. Термин «метаматематика» буквально означает «за пределами математики».
Незави́симость систе́мы аксио́м ― свойство системы аксиом данной аксиоматической теории, состоящее в том, что каждая аксиома является независимой, то есть не является логическим следствием из множества остальных аксиом этой теории. Система аксиом, обладающая этим свойством, называется независимой.
Тезис — это выдвинутое оппонентом точное суждение, которое он обосновывает в процессе аргументации. Тезис является главным структурным элементом аргументации и отвечает на вопрос: что обосновывают.
Формализм в этике — принцип, согласно которому формальные моменты исследования превалируют над анализом содержания моральных проблем. Является разновидностью морального догматизма, проявляющегося в способе выполнения нравственных требований: в чисто внешнем следовании заповедям и нормам, в формальном выполнении долга, когда человек не задумывается над социальным значением своих поступков, не осознаёт действительного смысла своей нравственной деятельности или не способен мотивировать её с точки зрения...
Сори́т (от греч. σωρός — «куча») — цепь последовательных силлогизмов, в которых заключение является одной из посылок следующего за ним, а одна из посылок при этом не выражается в явной форме.
Ра́венство (отношение равенства) в математике — бинарное отношение, наиболее логически сильная разновидность отношений эквивалентности.
Резонёрство (от фр. raisonner «рассуждать») — один из видов нарушений мышления, характеризующийся пустым, бесплодным многословием, рассуждательством с отсутствием конкретных идей и целенаправленности мыслительного процесса (но реальная жизнь изобилует примерами осознанного использования резонёрства вполне здоровыми и высокоинтеллектуальными личностями, например, при проповеднической или пропагандистской деятельности). Резонёрство также называется псевдофилософским мышлением или бесплодным мудрствованием...
Форма́льная систе́ма (форма́льная тео́рия, аксиоматическая теория, аксиоматика, дедуктивная система) — результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов в теории, явно высказаны посредством аксиом и правил, позволяющих вывести одну фразу из других.
Абстра́кция (лат. abstractio — отвлечение) — теоретическое обобщение как результат абстрагирования.
Логика высказываний, или пропозициональная логика (лат. propositio — «высказывание»), или исчисление высказываний — это раздел символической логики, изучающий сложные высказывания, образованные из простых, и их взаимоотношения. В отличие от логики предикатов, пропозициональная логика не рассматривает внутреннюю структуру простых высказываний, она лишь учитывает, с помощью каких союзов и в каком порядке простые высказывания сочленяются в сложные.
Трюи́зм, также труизм (англ. truism, от true «верный, правильный») — общеизвестная, избитая истина, банальность. Трюизмом считают нечто, что не может подвергаться сомнению и настолько очевидно, что упоминается лишь как напоминание, либо как риторическое или литературное высказывание.
Мнимый парадокс — ложный парадокс, возникающий из-за неверного хода рассуждений.
Рассуждение — последовательный ряд мыслей и умозаключений в контексте определённой темы, изложенных в логически последовательной форме.
Деду́кция (лат. deductio — выведение, также дедуктивное умозаключение, силлогизм) — метод мышления, следствием которого является логический вывод, в котором частное заключение выводится из общего. Цепь умозаключений (рассуждений), где звенья (высказывания) связаны между собой логическими выводами.
Подробнее: Дедуктивное умозаключение
Выска́зывание в математической логике — предложение, выражающее суждение. Если суждение, составляющее содержание (смысл) некоторого высказывания, истинно, то и о данном высказывании говорят, что оно истинно. Сходным образом ложным называют такое высказывание, которое является выражением ложного суждения. Истинность и ложность называются логическими, или истинностными, значениями высказываний.Высказывание должно быть повествовательным предложением, и противопоставляются повелительным, вопросительным...
Математическая абстракция — абстракция в математике, мысленное отвлечение. Типы абстрагирования, применяемых в математике: "чистое" отвлечение, идеализация и их различные вариации.
Реляционное исчисление — прикладная ветвь формальной теории, носящей название «исчисления предикатов первого порядка». В основе исчисления лежит понятие переменной с определенной для неё областью допустимых значений и понятие правильно построенной формулы, опирающейся на переменные, предикаты и кванторы. Наряду с реляционной алгеброй является способом получения результирующего отношения в реляционной модели данных. В зависимости от того, что является областью определения переменной, различают...
Бесконечность — категория человеческого мышления, используемая для характеристики безграничных, беспредельных, неисчерпаемых предметов и явлений, для которых невозможно указание границ или количественной меры. Используется в противоположность конечному, исчисляемому, имеющему предел. Систематически исследуется в математике, логике и философии, также изучаются вопросы о восприятии, статусе и природе бесконечности в психологии, теологии, физике соответственно.
Теория доказательств — это раздел математической логики, представляющий доказательства в виде формальных математических объектов, осуществляя их анализ с помощью математических методов. Доказательства обычно представляются в виде индуктивно определённых структур данных, таких как списки и деревья, созданных в соответствии с аксиомами и правилами вывода формальных систем. Таким образом, теория доказательств является синтаксической, в отличие от семантической теории моделей. Вместе с теорией моделей...
Логика научного исследования (нем. Logik der Forschung) — эпистемологический трактат англо-австрийского философа еврейского происхождения Карла Поппера, написанный в 1934. Основная проблема — проблема демаркации науки от вненаучных форм знания. Поппер вводит принцип фальсификации научного знания, интерсубъективного характера истины и внерациональности научных постулатов.