Понятия со словом «недоказуемый»
Недоказу́емые утвержде́ния в какой-либо теории — утверждения, которые нельзя ни доказать, ни опровергнуть в рамках этой теории. Теорема Гёделя о неполноте говорит, что в каждой достаточно сложной непротиворечивой теории, включающей в себя формальную арифметику, имеется недоказуемое утверждение. Однако нахождение достаточно простых утверждений такого рода и доказательство их недоказуемости — сложная задача.
Связанные понятия
Агностический теизм — философская позиция, объединяющая точки зрения теизма и агностицизма на существование божеств. В качестве теиста агностический теист верит, что хотя бы одно божество существует, но как агностик считает, что истинность или ложность такого предположения неизвестны либо (скорее) принципиально непознаваемы. Считается, что Кант принадлежал к этой категории (агностических) теистов.
Апори́я (греч. ἀπορία «безысходность, безвыходное положение») — это вымышленная, логически верная ситуация (высказывание, утверждение, суждение или вывод), которая не может существовать в реальности. Апоретическое (апорийное) суждение фиксирует несоответствие эмпирического факта и описывающей его теории. Апории известны со времён Сократа. Наибольшую известность получили апории Зенона из Элеи.
Проблема индукции — философская проблема, впервые сформулированная Т. Гоббсом (1588—1679) и развитая в середине XVIII века Дэвидом Юмом.
Агностический атеизм, также известный как атеистический агностицизм, охватывает атеизм и агностицизм. Агностические атеисты не верят в существование какого-либо божества, но не утверждают, что знают, что божества не существует. Агностические атеисты могут быть противопоставлены агностическим теистам, которые верят, что один или более божества существуют, но не утверждают, что знают это.
Паралоги́зм (др.-греч. παραλογισμός — ложное умозаключение) — случайная, неосознанная или непреднамеренная логическая ошибка в мышлении (в доказательстве, в споре, диалоге), возникающая при нарушении законов или правил логики и приводящая к ошибочному выводу (заключению).
Агностици́зм (от др.-греч. ἄγνωστος — непознаваемый, непознанный) — термин в философии, теории познания и теологии. Сторонники агностицизма считают принципиально невозможным познание объективной действительности через субъективный опыт и невозможным познание любых предельных и абсолютных основ реальности. Отрицается также возможность доказательства или опровержения идей и утверждений, основанных полностью на субъективных посылах. Иногда агностицизм определяется как философское учение, утверждающее...
Доказательство — это процесс (метод) установления истины, логическая операция обоснования истинности утверждения с помощью фактов и связанных с ними суждений. С помощью совокупности логических приёмов истинность какого-либо суждения обосновывается исходя из других истинных суждений.
Парадокс в логике — это противоречие, имеющее статус логически корректного вывода и, вместе с тем, представляющее собой рассуждение, приводящее к взаимно исключающим заключениям. Логическая ошибка парадокса объясняется неверным выбором логических посылок, например, когда речь идет о предметах, не имеющих четкого определения (См. стрела Зенона).
Скептици́зм (от др.-греч. σκεπτικός — рассматривающий, исследующий) — философское направление, выдвигающее сомнение в качестве принципа мышления, особенно сомнение в надёжности истины. Умеренный скептицизм ограничивается познанием фактов, проявляя сдержанность по отношению ко всем гипотезам и теориям.
Энтимéма (др.-греч. ἐνθύμημα, от др.-греч. ἐνθύμημαι — «имею в душе») — сокращённoe умозаключение, в котором в явной форме не выражена посылка или заключение, однако пропущенный элемент подразумевается.
Подробнее: Энтимема
Парадокс Ябло (англ. Yablo's paradox) — это логический парадокс, похожий на парадокс лжеца. Был опубликован Стефаном Ябло в 1993 году. Важность этого парадокса в том, что, хотя он похож на парадокс лжеца и разные его варианты, этот парадокс, по крайней мере на первый взгляд, избегает самореференции. Правда, многие считают, что это только на первый взгляд, и самореференция «спрятана» внутри парадокса.
Индетермини́зм (от лат. in — не и лат. determinare — определять) — философское воззрение и методологическая позиция, отрицающие либо объективность причинной связи (онтологический индетерминизм), либо познавательную значимость причинного объяснения в науке (методологический индетерминизм). В философии науки: концепция, согласно которой фундаментальные законы природы имеют вероятностный характер, а случай является не только равноправной по отношению к необходимости сущностью природы, но и более фундаментальной...
Ка́жимость (видимость) — философская (логическая) категория, означающая превратное определение истинного бытия, основанное на чувственно-воспринимаемом, внешнем явлении предмета познания.
Опровержение — рассуждение, направленное против тезиса с целью установления факта его ложности (иногда недоказанности).
Догмати́зм (др.-греч. δόγμα «мнение, учение; решение») — способ мышления, оперирующий догмами (считающимися неизменными вечными положениями, не подвергаемыми критике) и опирающийся на них.
Доведение до абсурда (лат. reductio ad absurdum), или апагогия («сведе́ние», др.-греч. Εις άτοπον απαγωγή), — логический приём, которым доказывается несостоятельность какого-нибудь мнения таким образом, что или в нём самом, или же в вытекающих из него следствиях обнаруживается противоречие.
Антино́мия (др.-греч. ἀντι-νομία — противоречие в законе или противоречие закона самому себе; от др.-греч. ἀντι- — против + νόμος — закон) — ситуация, в которой противоречащие друг другу высказывания об одном и том же объекте имеют логически равноправное обоснование, и их истинность или ложность нельзя обосновать в рамках принятой парадигмы, то есть противоречие между двумя положениями, признаваемыми одинаково верными, или, другими словами, противоречие двух законов. Термин «антиномия» был предложен...
Релятиви́зм (от лат. relativus — относительный) — методологический принцип, состоящий в метафизической абсолютизации относительности и условности содержания познания.
Силлоги́зм (др.-греч. συλ-λογισμός «подытоживание, подсчёт, умозаключение» от συλ- (συν-) «вместе» + λογισμός «счёт, подсчёт; рассуждение, размышление»)...
Аргуме́нт (до́вод) — логическая посылка, используемая отдельно или в совокупности с другими с целью доказательства истинности определённого утверждения — тезиса. Чтобы тезис можно было считать истинным, все аргументы должны содержать в себе истинную информацию, достаточную для доказательства тезиса с помощью верных логических умозаключений.
Космологический аргуме́нт, или Космологическое доказательство бытия Бога, — одна из категорий аргументов, относящихся к вопросу существования Бога. Присутствует в христианской и исламской теологии.
Логика научного исследования (нем. Logik der Forschung) — эпистемологический трактат англо-австрийского философа еврейского происхождения Карла Поппера, написанный в 1934. Основная проблема — проблема демаркации науки от вненаучных форм знания. Поппер вводит принцип фальсификации научного знания, интерсубъективного характера истины и внерациональности научных постулатов.
Антите́зис (др.-греч. ἀντίθεσις «анти́тесис» — противоположение; лат. antithesis «антите́зис») — суждение, противопоставляемое тезису.
Тезис — это выдвинутое оппонентом точное суждение, которое он обосновывает в процессе аргументации. Тезис является главным структурным элементом аргументации и отвечает на вопрос: что обосновывают.
Гипо́теза (др.-греч. ὑπόθεσις «предположение» от ὑπό «снизу, под» + θέσις «тезис») — предположение или догадка; утверждение, предполагающее доказательство, в отличие от аксиом, постулатов, не требующих доказательств. Гипотеза считается научной, если она удовлетворяет научному методу, то есть объясняет все факты, которые гипотеза призвана объяснить; не является логически противоречивой; принципиально проверяема, то есть потенциально может быть проверена критическим экспериментом; не противоречит ранее...
Фидеизм (от лат. fidēs — вера) — философское учение, утверждающее главенство веры над разумом и основывающееся на простом убеждении в истинах откровения. Существенной частью фидеизма является алогизм.
Акосмизм (от греч. α- — «не-», «без-» и греч. κόσμος — мир) — безмирие; философское и религиозное учение, проповедующее взгляды о ничтожности мира.
Онтологи́ческий аргуме́нт, или Онтологическое доказательство бытия Бога, — одна из категорий аргументов, относящихся к вопросу существования Бога, появившаяся в христианской теологии. Не существует точных критериев для классификации онтологических аргументов, но аргументы типично начинаются с определения Бога, а заканчиваются подведением итогов о необходимости его существования, используя главным образом причины априори и эмпирические наблюдения.
Финитизм (лат. finitus — определенный, законченный) — философское учение, отрицающее понятие бесконечного и утверждающее, что бесконечность не имеет места ни во вселенной, ни в микромире, ни в человеческом мышлении. Была широко популярна в Древнем мире и Средних веках до Коперника. Финитизм предполагает, что Вселенная конечна и имеет определённые размеры. Микромир также имеет пределы делимости (см. атомизм).
Достове́рность — термин, имеющий различные значения и применяемый в философии, теории судебных доказательств, гносеологии, логике, теории вероятностей, психологии, естествознании и других областях. Единого определения термина не существует, хотя собственное его определение пытались давать многие известные философы (Локк, Лейбниц, Фихте, Кант, Гегель и другие).
Умозре́ние (лат. speculatio) — 1) деятельность мышления, вращающаяся в сфере предметов или событий, не данных на опыте, но лишь предполагаемых; 2) мышление, содержание которого — только мыслимое или сверхчувственное.
Игностици́зм, или игтеи́зм, — точка зрения на теологию, согласно которой любая другая точка зрения на теологию (включая агностицизм) делает слишком много необоснованных допущений относительно концепции Бога/богов, и некоторых других теологических концепций. Термин «игностицизм» был введен основателем гуманистического иудаизма Шервином Вайном.
Эпихейрема (от др.-греч. ἐπιχείρημα — довод, аргумент ) — сокращенный силлогизм, в котором обе посылки представляют собой энтимемы.
Прекогни́ция (лат. praecognitio, из prae- — пред- и cognitio — представление, знание; то же, что проскопи́я) — форма экстрасенсорного восприятия; гипотетическая паранормальная способность получать знание о будущих событиях (прекогнитивное ясновидение) или будущих мыслях другого лица (прекогнитивная телепатия), не тождественная способности к логическим выводам и предсказаниям на основе актуального знания.
Не следует путать с фальсификацией.Фальсифици́руемость (принципиальная опровержимость утверждения, опроверга́емость, крите́рий По́ппера) — критерий научности эмпирической или иной теории, претендующей на научность. Сформулирован К. Р. Поппером в 1935 году. Теория удовлетворяет критерию Поппера (является фальсифицируемой и, соответственно, научной) в том случае, если существует возможность её экспериментального или иного опровержения. Согласно этому критерию, высказывания или системы высказываний...
Подробнее: Фальсифицируемость
Априо́ри (лат. a priori — буквально «от предшествующего») — знание, полученное до опыта и независимо от него (знание априори, априорное знание), то есть знание, как бы заранее известное. Этот философский термин получил важное значение в теории познания и логике благодаря Канту. Идея знания априори связана с представлением о внутреннем источнике активности мышления. Учение, признающее знание априори, называется априоризмом. Противоположностью априори является апостериори (лат. a posteriori — от последующего...
Тезис Дюэма — Куайна — утверждение о невозможности окончательного определения истинности научной теории.
Абсу́рд (от лат. absurdus, «нестройный, нелепый»; от лат. ad absurdum, «исходящий от глухого») — нечто алогичное, нелепое, противоречащее здравому смыслу. Приведение чего-либо к абсурду (доведения до абсурда) означает доказать бессмысленность какого-либо положения тем, что логически развивая это положение, в итоге приходят к нелепости, которая явно вскрывает внутренние противоречия самого положения. Приведение к абсурду — весьма распространённый приём в спорах, к которому часто любили прибегать софисты...
Апатеизм (от апатия + теизм) — философская точка зрения, которая означает безразличное отношение к существованию или несуществованию бога (богов). Это скорее отношение, а не система взглядов, претензий или убеждений.
Субъективизм — введённое Декартом понятие, означающее поворот к субъекту, то есть взгляд на сознание как на первично данное, в то время как всё другое является формой, содержанием или результатом творчества сознания.
Конти́нуум-гипо́теза (проблема континуума, первая проблема Гильберта) — выдвинутое в 1877 году Георгом Кантором предположение о том, что любое бесконечное подмножество континуума является либо счётным, либо континуальным. Другими словами, гипотеза предполагает, что мощность континуума — наименьшая, превосходящая мощность счётного множества, и «промежуточных» мощностей между счетным множеством и континуумом нет, в частности, это предположение означает, что для любого бесконечного множества действительных...
Пиррони́зм — философская школа скептиков, основанная в I веке н. э. Энесидемом, учение которой изложено Секстом Эмпириком в конце II или начале III века н. э. Названа в честь Пиррона из Элиды, древнегреческого философа (IV—III вв. до н. э.), основателя античного скептицизма, хотя связи между его учением и философской школой неясны. Получил возрождение в XVII веке.
Фундаментализм в философии (англ. foundationalism) — эпистемологическая позиция, согласно которой существуют некоторые последние, далее неразложимые основания достоверного знания. Это могут быть «данные чувств», «протокольные предложения», «ясные и отчетливые идеи», «суждения интуиции» и т. п. Эта позиция в философии XX века была подвергнута критике.
Эри́стика (греч. eristikē от греч. eristikē technē — искусство спорить) — искусство спора, диспута и полемики, разрабатывавшееся софистами. Аристотель эристикой называл искусство спора нечестными средствами. Эристическая аргументация направлена на то, чтобы доказать правоту спорящего вне зависимости от его истинной правоты. Эристику следует отличать от софистики — в отличие от последней она строится не на ошибках и подменах, а на убеждении других в своей правоте.
Алоги́зм (алоги́чность; от др.-греч. ἀ — отрицательная частица и др.-греч. λογισμός — разум, рассудок) — нелогическое рассуждение, ход мысли, нарушающий законы и правила логики, либо факт, который не укладывается в рамки логического мышления, то, что нельзя обосновать логически, противоречащее логике.
Предрассу́док — суждение, усвоенное некритически, без размышления. Это иррациональные компоненты (стереотипы) общественного и индивидуального сознания: суеверия и предубеждения.
«Первонача́ла филосо́фии» (лат. Principia Philosophiae) — один из главных трактатов Рене Декарта, посвящённый Елизавете Богемской.
Трансцендентальная диалектика (нем. Transzendentale Dialektik) - раздел трансцендентальной логики, критикующий притязания рассудка на сверхфизическое применение, которое Кант называет метафизическим фиглярством. Диалектику вообще Кант называет логикой видимости. В случае трансцендентальной диалектики лежит видимое противоречие трансцендентальных идей, которое раскрывается в четырех антиномиях (2 кн, 2 гл, 5 раздел)...