Понятия со словом «аргументы»
Аргуме́нт (до́вод) — логическая посылка, используемая отдельно или в совокупности с другими с целью доказательства истинности определённого утверждения — тезиса. Чтобы тезис можно было считать истинным, все аргументы должны содержать в себе истинную информацию, достаточную для доказательства тезиса с помощью верных логических умозаключений.
Онтологи́ческий аргуме́нт, или Онтологическое доказательство бытия Бога, — одна из категорий аргументов, относящихся к вопросу существования Бога, появившаяся в христианской теологии. Не существует точных критериев для классификации онтологических аргументов, но аргументы типично начинаются с определения Бога, а заканчиваются подведением итогов о необходимости его существования, используя главным образом причины априори и эмпирические наблюдения.
Космологический аргуме́нт, или Космологическое доказательство бытия Бога, — одна из категорий аргументов, относящихся к вопросу существования Бога. Присутствует в христианской и исламской теологии.
Аргумент от чудес (англ. argument from miracles) — это теологический аргумент в пользу существования Бога. Наличие чудес утверждается как доказательство существования Бога или иной сверхъестественной силы. Примеры известных защитников аргумента: К. С. Льюис, Г. К. Честертон и Уильям из Оккама.
Телеологи́ческий аргуме́нт (греч. teleo — оканчивать, доводить до совершенства, до конца; logos — слово, суждение, разум, смысл) — аргумент в пользу существования Бога или какого-либо другого разумного творящего существа, основывающийся на явлении существования сложности или осмысленности в природе, к примеру, на существовании таких сложных существ как человек.
Аргумент лосося (нем. Lachsargument) использовался в исторической лингвистике для определения границ прародины индоевропейцев. Заключается в том, что название лосося в ряде индоевропейских языков восходит к общему праиндоевропейскому корню, а значит, праиндоевропейцам был известен лосось, и он обитал на их прародине.
«Буковый аргумент» (нем. Buchenargument) — знаменитый в истории индоевропеистики аргумент, который в конце XIX и начале XX века широко использовался для установления прародины индоевропейских народов.
Карта аргументов (англ. Argument map) — метод структуризации и визуальное представление структуры дискуссии, с использованием графической записи в виде диаграммы.
Метод группового учёта аргументов (МГУА) — семейство индуктивных алгоритмов для математического моделирования мультипараметрических данных. Метод основан на рекурсивном селективном отборе моделей, на основе которых строятся более сложные модели. Точность моделирования на каждом следующем шаге рекурсии увеличивается за счет усложнения модели.
Аргумент лунной пыли (англ. Moondust argument) — один из наиболее популярных аргументов младоземельных креационистов в пользу небольшого (не более 10 000 лет) возраста Земли и других планет. По их утверждениям, научные данные о скорости оседания метеоритной пыли на поверхности Луны соответствуют (при возрасте Луны 4,6 млрд лет) толщине слоя пыли в несколько десятков метров. Реальная толщина слоя пыли на поверхности Луны по данным автоматических станций и пилотируемых экспедиций не превышает нескольких...
В программировании,
аргумент по умолчанию является аргументом функции, который при вызове необязательно указывать.
Аргуме́нт желе́за — один из датирующих показателей балто-славянских отношений: лингвистический аргумент, используемый академиком О. Н. Трубачёвым для датировки балто-славянских отношений. Суть аргумента...
Калькуляционный аргумент — это один из видов критики плановой экономики. Он был впервые предложен Людвигом фон Мизесом в 1920 году и позднее подробно исследован Фридрихом Хайеком.
Связанные понятия
Тезис — это выдвинутое оппонентом точное суждение, которое он обосновывает в процессе аргументации. Тезис является главным структурным элементом аргументации и отвечает на вопрос: что обосновывают.
Опровержение — рассуждение, направленное против тезиса с целью установления факта его ложности (иногда недоказанности).
Доведение до абсурда (лат. reductio ad absurdum), или апагогия («сведе́ние», др.-греч. Εις άτοπον απαγωγή), — логический приём, которым доказывается несостоятельность какого-нибудь мнения таким образом, что или в нём самом, или же в вытекающих из него следствиях обнаруживается противоречие.
Парадокс в логике — это противоречие, имеющее статус логически корректного вывода и, вместе с тем, представляющее собой рассуждение, приводящее к взаимно исключающим заключениям. Логическая ошибка парадокса объясняется неверным выбором логических посылок, например, когда речь идет о предметах, не имеющих четкого определения (См. стрела Зенона).
Доказательство — это процесс (метод) установления истины, логическая операция обоснования истинности утверждения с помощью фактов и связанных с ними суждений. С помощью совокупности логических приёмов истинность какого-либо суждения обосновывается исходя из других истинных суждений.
Конти́нуум-гипо́теза (проблема континуума, первая проблема Гильберта) — выдвинутое в 1877 году Георгом Кантором предположение о том, что любое бесконечное подмножество континуума является либо счётным, либо континуальным. Другими словами, гипотеза предполагает, что мощность континуума — наименьшая, превосходящая мощность счётного множества, и «промежуточных» мощностей между счетным множеством и континуумом нет, в частности, это предположение означает, что для любого бесконечного множества действительных...
Посылка — это утверждение, предназначенное для обоснования или объяснения некоторого аргумента. В логике аргумент — это множество предложений (или «суждений») одни из которых являются посылками, а другие утвердительные предложения (или суждения) — логическими выводами.
Парадокс Ябло (англ. Yablo's paradox) — это логический парадокс, похожий на парадокс лжеца. Был опубликован Стефаном Ябло в 1993 году. Важность этого парадокса в том, что, хотя он похож на парадокс лжеца и разные его варианты, этот парадокс, по крайней мере на первый взгляд, избегает самореференции. Правда, многие считают, что это только на первый взгляд, и самореференция «спрятана» внутри парадокса.
Энтимéма (др.-греч. ἐνθύμημα, от др.-греч. ἐνθύμημαι — «имею в душе») — сокращённoe умозаключение, в котором в явной форме не выражена посылка или заключение, однако пропущенный элемент подразумевается.
Подробнее: Энтимема
Гипотеза в математике — утверждение, которое на основе доступной информации представляется с высокой вероятностью верным, но для которого не удаётся получить математическое доказательство. Математическая гипотеза является открытой математической проблемой, и каждую нерешённую математическую проблему, которая является проблемой разрешимости, можно сформулировать в форме гипотезы. Однако в виде гипотезы может быть сформулирована не всякая математическая проблема. Например, конкретное решение некоторой...
Аксио́ма (др.-греч. ἀξίωμα «утверждение, положение») или постула́т — исходное положение какой-либо теории, принимаемое в рамках данной теории истинным без требования доказательства и используемое при доказательстве других её положений, которые, в свою очередь, называются теоремами.
Недоказу́емые утвержде́ния в какой-либо теории — утверждения, которые нельзя ни доказать, ни опровергнуть в рамках этой теории. Теорема Гёделя о неполноте говорит, что в каждой достаточно сложной непротиворечивой теории, включающей в себя формальную арифметику, имеется недоказуемое утверждение. Однако нахождение достаточно простых утверждений такого рода и доказательство их недоказуемости — сложная задача.
Доказательство «от противного» (лат. contradictio in contrarium) в математике — вид доказательства, при котором «доказывание» некоторого суждения (тезиса доказательства) осуществляется через опровержение отрицания этого суждения — антитезиса. Этот способ доказательства основывается на истинности закона двойного отрицания в классической логике.
Пропонент (англ. proponent от лат. propono — «предлагать») — тот, кто поддерживает и аргументирует тезис в дебатах. Является антонимом оппонента. Также употребляется в общем смысле как «защитник».
Апори́я (греч. ἀπορία «безысходность, безвыходное положение») — это вымышленная, логически верная ситуация (высказывание, утверждение, суждение или вывод), которая не может существовать в реальности. Апоретическое (апорийное) суждение фиксирует несоответствие эмпирического факта и описывающей его теории. Апории известны со времён Сократа. Наибольшую известность получили апории Зенона из Элеи.
Теорема Цермело — теорема теории множеств, утверждающая, что на всяком множестве можно ввести такое отношение порядка, что множество будет вполне упорядоченным.
Тезис Дюэма — Куайна — утверждение о невозможности окончательного определения истинности научной теории.
Теория вычислимости, также известная как теория рекурсивных функций, — это раздел современной математики, лежащий на стыке математической логики, теории алгоритмов и информатики, возникшей в результате изучения понятий вычислимости и невычислимости. Изначально теория была посвящена вычислимым и невычислимым функциям и сравнению различных моделей вычислений. Сейчас поле исследования теории вычислимости расширилось — появляются новые определения понятия вычислимости и идёт слияние с математической...
Гипо́теза (др.-греч. ὑπόθεσις «предположение» от ὑπό «снизу, под» + θέσις «тезис») — предположение или догадка; утверждение, предполагающее доказательство, в отличие от аксиом, постулатов, не требующих доказательств. Гипотеза считается научной, если она удовлетворяет научному методу, то есть объясняет все факты, которые гипотеза призвана объяснить; не является логически противоречивой; принципиально проверяема, то есть потенциально может быть проверена критическим экспериментом; не противоречит ранее...
Парадокс Скулема — противоречивое рассуждение, описанное впервые норвежским математиком Туральфом Скулемом, связанное с использованием теоремы Лёвенгейма — Скулема для аксиоматической теории множеств.
Незави́симость систе́мы аксио́м ― свойство системы аксиом данной аксиоматической теории, состоящее в том, что каждая аксиома является независимой, то есть не является логическим следствием из множества остальных аксиом этой теории. Система аксиом, обладающая этим свойством, называется независимой.
Мнимый парадокс — ложный парадокс, возникающий из-за неверного хода рассуждений.
Те́зис Чёрча — Тью́ринга — это гипотеза, постулирующая эквивалентность между интуитивным понятием алгоритмической вычислимости и строго формализованными понятиями частично рекурсивной функции и функции, вычислимой на машине Тьюринга. В связи с интуитивностью исходного понятия алгоритмической вычислимости, данный тезис носит характер суждения об этом понятии и его невозможно строго доказать или опровергнуть. Перед точным определением вычислимой функции математики часто использовали неофициальный термин...
Аксио́мы Пеа́но — одна из систем аксиом для натуральных чисел, введённая в XIX веке итальянским математиком Джузеппе Пеано.
Математическое доказательство — рассуждение с целью обоснования истинности какого-либо утверждения (теоремы), цепочка логических умозаключений, показывающая, что при условии истинности некоторого набора аксиом и правил вывода утверждение верно. В зависимости от контекста, может иметься в виду доказательство в рамках некоторой формальной системы (построенная по специальным правилам последовательность утверждений, записанная на формальном языке) или текст на естественном языке, по которому при необходимости...
Теория доказательств — это раздел математической логики, представляющий доказательства в виде формальных математических объектов, осуществляя их анализ с помощью математических методов. Доказательства обычно представляются в виде индуктивно определённых структур данных, таких как списки и деревья, созданных в соответствии с аксиомами и правилами вывода формальных систем. Таким образом, теория доказательств является синтаксической, в отличие от семантической теории моделей. Вместе с теорией моделей...
Теоре́ма (др.-греч. θεώρημα «доказательство, вид; взгляд; представление, положение») — утверждение, выводимое в рамках рассматриваемой теории из множества аксиом посредством использования конечного множества правил вывода.
Форма́льная систе́ма (форма́льная тео́рия, аксиоматическая теория, аксиоматика, дедуктивная система) — результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов в теории, явно высказаны посредством аксиом и правил, позволяющих вывести одну фразу из других.
Классическая логика — термин, используемый в математической логике по отношению к той или иной логической системе, для указания того, что для данной логики справедливы все законы (классического) исчисления высказываний, в том числе закон исключения третьего.
Интуициони́зм — совокупность философских и математических взглядов, рассматривающих математические суждения с позиций «интуитивной убедительности». Различаются две трактовки интуиционизма: интуитивная убедительность, которая не связана с вопросом существования объектов, и наглядная умственная убедительность.
Формализм — один из подходов к философии математики, пытающийся свести проблему оснований математики к изучению формальных систем. Наряду с логицизмом и интуиционизмом считался в XX веке одним из направлений фундаментализма в философии математики.
Деду́кция (лат. deductio — выведение, также дедуктивное умозаключение, силлогизм) — метод мышления, следствием которого является логический вывод, в котором частное заключение выводится из общего. Цепь умозаключений (рассуждений), где звенья (высказывания) связаны между собой логическими выводами.
Подробнее: Дедуктивное умозаключение
Математическая индукция — метод математического доказательства, который используется, чтобы доказать истинность некоторого утверждения для всех натуральных чисел. Для этого сначала проверяется истинность утверждения с номером 1 — база (базис) индукции, а затем доказывается, что если верно утверждение с номером n, то верно и следующее утверждение с номером n + 1 — шаг индукции, или индукционный переход.
Научный реализм (англ. Scientific realism) — течение в философии науки, согласно которому единственным надёжным средством достижения знания о мире является научное исследование, результат которого интерпретируется с помощью научных теорий. Теории научного реализма могут быть также вероятно истинными или приблизительно истинными или относительно истинными. Теории касаются наблюдаемых и ненаблюдаемых объектов, хотя и являются в сущности достоверными, однако могут быть в какой-то степени ложны.
Проблема индукции — философская проблема, впервые сформулированная Т. Гоббсом (1588—1679) и развитая в середине XVIII века Дэвидом Юмом.