ДОКАЗАТЕЛЬСТВО

n.proof, demonstration, argument
Синонимы:
аналогизм, аподиксис, аргумент, аргументация, вещдок, вещественное доказательство, винословие, залог, обоснование, подтверждение, резон, свидетельство, сорит, указание, улика, энтимема


Антонимы:
опровержение


Смотреть больше слов в «Русско-английском словаре математических терминов»

ДОКАЗАТЬ →← ДОКАЗАТЕЛЬНЫЙ

Смотреть что такое ДОКАЗАТЕЛЬСТВО в других словарях:

ДОКАЗАТЕЛЬСТВО

        в логике, процесс (метод) установления истины (См. Истина), обоснование истинности суждения (См. Суждение). В соответствии с различными возможн... смотреть

ДОКАЗАТЕЛЬСТВО

ДОКАЗАТЕЛЬСТВО, -а, ср. 1. Факт или довод, подтверждающий, доказывающийчто-н. Вещественное д. (предмет, представляемый суду как свидетельствосовершенного преступления). 2. Система умозаключении, путем к-рых выводитсяновое положение. Теорема имеет несколько доказательств. II прил.доказательственный, -ая, -ое (к 1 знач.; спец.). ДОКАЗАТЬ, -ажу, -ажешь;-азанный; сов., что. 1. Подтвердить какое-н. положение фактами или доводами.Д. свою точку зрения. Д. свою преданность другу. 2. Вывести какое-н.положение на основании системы умозаключений. Д. теорему. II несов. до-1казывать, -аю, -аешь. ДОКАЗУЕМЫЙ, -ая, -ое; -ем (книжн.). Такой, к-рый можетбыть доказан. Д. тезис. II сущ. доказуемость, -и, ж. ДОКАНЧИВАТЬ си.докончить. ДОКАНЫВАТЬ см. доконать.... смотреть

ДОКАЗАТЕЛЬСТВО

доказательство ср. 1) а) Неоспоримый довод или факт, подтверждающий, доказывающий что-л. б) Кто-л., что-л., являющееся свидетельством, подтверждением чего-л. 2) Система умозаключений, служащая для выведения нового положения на основании данных, принимаемых за истинные.<br><br><br>... смотреть

ДОКАЗАТЕЛЬСТВО

доказательство с.1. proof, evidence; (довод) argument в доказательство (рд.) — in witness (of) ещё одно яркое доказательство (рд.) — another triking d... смотреть

ДОКАЗАТЕЛЬСТВО

доказательство Довод, основание, резон, силлогизм, соображение, улика, аргумент; знак, свидетельство, ссылка. Доказательство веское, логическое, не выдерживающее критики, от противного, слабое, убедительное, с натяжками. Вещественное доказательство. Блистательнее доказательства и быть не может! Доводы, которые он выставляет, неубедительны. "Аргумент экономический, аргумент патриотический..." Некр. Оправдательный документ. См. аргумент .. не подкрепленный доказательствами, представлять доказательства, приводить в доказательство, приводить доказательства... . Словарь русских синонимов и сходных по смыслу выражений.- под. ред. Н. Абрамова, М.: Русские словари,1999. доказательство довод, основание, суждение, резон, силлогизм, соображение, улика, аргумент(ация), документ(ация); знак, свидетельство, ссылка, показание, подтверждение, указание; энтимема, сорит, аналогизм, вещдок, обоснование, залог, аргументация, вещественное доказательство Словарь русских синонимов. доказательство свидетельство, подтверждение / чьей-л. виновности: улика Словарь синонимов русского языка. Практический справочник. — М.: Русский язык.З. Е. Александрова.2011. доказательство сущ. • свидетельство • подтверждение • указание Словарь русских синонимов. Контекст 5.0 — Информатик.2012. доказательство сущ., кол-во синонимов: 20 • аналогизм (2) • аподиксис (2) • аргумент (12) • аргументация (7) • вещдок (5) • вещественное доказательство (6) • винословие (4) • залог (24) • обоснование (10) • подтверждение (18) • признак (36) • резон (13) • свидетельство (49) • сорит (2) • субрепция (4) • удостоверение (26) • указание (40) • улика (11) • фотодоказательство (1) • энтимема (6) Словарь синонимов ASIS.В.Н. Тришин.2013. . Синонимы: аналогизм, аподиксис, аргумент, аргументация, вещдок, вещественное доказательство, винословие, залог, обоснование, подтверждение, резон, свидетельство, сорит, указание, улика, энтимема Антонимы: опровержение... смотреть

ДОКАЗАТЕЛЬСТВО

ДОКАЗАТЕЛЬСТВО в логике, процесс (метод) установления истины, обоснование истинности суждения. В соответствии с различными возможными аспектами и ур... смотреть

ДОКАЗАТЕЛЬСТВО

ДОКАЗАТЕЛЬСТВО — рассуждение, устанавливающее истинность к.-л. утверждения путем приведения др. утверждений, истинность которых уже установлена.В Д... смотреть

ДОКАЗАТЕЛЬСТВО

процесс установления объективной истины посредством практических и теоретических действий (и средств). Целостного понимания (понятия) Д. нельзя выработать ни в рамках онтологии, ни в рамках гносеологии, ни в рамках логики, понимаемых в их традиционном смысле. Каждая из этих "дисциплин" старой теоретической философии способна дать и дает лишь одностороннее представление о нек-рых внешних аспектах, чертах, сторонах Д., к-рые отрываются от других и абсолютизируются. Решение проблемы здесь отсутствует. Диалектика как теория познания и логика, отбрасывая искусственную обособленность логических, гносеологических и онтологических подходов, не выносит (как это может показаться при поверхностном взгляде) вопрос о Д. за круг рассматриваемых ею проблем. Диалектическая логика, как наука об истине, не может не интересоваться, каким способом доказываются истины, открываемые в ходе диалектического исследования. Она считает, что эти истины не могут доказываться какими-то другими способами, помимо диалектики, ибо Д. не есть нечто внешнее по отношению к знанию. Все, что не является чем-то понятным само собой, "...нуждается в выведении и доказательстве" (Маркс К. и Энгельс Ф., Соч., 2 изд., т. 2, с. 88). Однако диалектический материализм отвергает ненауч. представление о Д. как о процедуре "выведения" одних высказываний (или предложений) из других, принятых за "истинные" до и независимо от какого бы то ни было "доказательства". Ибо такое толкование Д. в конце концов приводит к тому, что основание Д. усматривается в доводах субъективистски трактуемой интуиции. Такое понимание Д. по существу сводит Д. к простой процедуре преобразования языковых операций, в к-рых выражено знание, без какого бы то ни было изменения (приращения) этого знания по содержанию, по существу, т.е. к процедуре формального преобразования информации. Марксистская философия рассматривает Д. не как тавтологическое выведение, а как синтетическое выведение, к-рое не остается в сфере уже достигнутого знания, но с каждым шагом обогащает его. Так понимаемое Д., включая в себя разрешение диалектических противоречий, рационально осуществляет процесс выработки новых понятий в ходе восхождения от абстрактного к конкретному. "...Это поступательное движение характеризуется тем, что оно начинается с простых определенностей и что следующие за ними становятся все б о г а ч е и к о н к р е т н е е. Ибо результат содержит в себе свое начало, и движение последнего обогатило его некоторою новой определенностью... На каждой ступени дальнейшего определения всеобщее поднимает выше всю массу его предшествующего содержания и не только ничего не теряет вследствие своего диалектического поступательного движения и не оставляет ничего позади себя, но несет с собой все приобретенное, и обогащается и уплотняется внутри себя..." (Ленин В. И., Соч., т. 38, с. 223–24). Здесь Д. состоит не в оправдании уже полученных ранее результатов post factum, а само имманентно процессу их получения, в к-ром они и обладают подлинной истинностью (см. Истина, раздел Истина и принцип совпадения диалектики, логики и теории познания). Само исследование доказательно, поскольку оно движется по логике предмета и лишь воспроизводит ее. В марксистской философии, к-рая подходит к процессу установления объективной истины с точки зрения диалектически противоречивого отношения между содержанием и формой мышления, между субъективным и объективным, теоретическим и практическим, категория Д. предполагает прежде всего содержательный подход. Диалектический подход к Д. избавляет познание от ошибок, к-рые не могут быть обнаружены средствами одной лишь формальной логики. Стремление доказывать тезисы путем одного лишь выведения их из общих истин по правилам формальной логики, без учета конкретного содержания рассматриваемой области, Ленин не случайно охарактеризовал как опошление диалектич. материализма. Ограниченность понимания Д. как выведения из доказанного видна, в частности, из того, что в этом случае остается открытым вопрос об истинности исходных положений. Недостаточность такого подхода видна также из неразрешимости в пределах формальной логики логич. антиномий, к-рые начиная с Зенона Элейского доставляли немало трудностей философам и логикам. Напр., Кант в своем учении об антиномиях признал их неразрешимыми для логики рассудка (к-рая для него есть только формальная логика), а их разрешение отнес к области диалектики. Диалектическая логика в качестве теории мышления есть вместе с тем учение о Д. объективной истины, к-рая как содержание и результат познавательного процесса есть единство противоположностей (объективного и субъективного, абстрактного и конкретного, абсолютного и относительного, одностороннего и всестороннего и т.д.). С точки зрения диалектической логики Д. не следует противопоставлять исследованию, т.к. исследование является диалектическим лишь тогда, когда каждый его новый шаг является в то же время новым шагом в Д. истинности как конечных выводов теории, так и положений, принятых в качестве ее исходных оснований. Начиная с установления единства противоположностей, диалектич. исследование идет через раздвоение единого на противоположные части, через движение в рамках этих противоположностей, через изучение их развития во всей его сложности, – при обязательной проверке фактами, практикой правильности каждого шага анализа (см. В. И. Ленин, Соч., т. 38, с. 316); исследование всех основных противоречивых тенденций, движущих познаваемую вещь, и их отношений на данной ступени развития приводит к Д. необходимости существования данной вещи и к установлению истинности высказанных положений и выводов о ней. Такое Д. через выявление единства противоположностей выступает как процесс, как результат данного процесса (т.е. конечный пункт и цель данного цикла диалектич. анализа) и как исходный пункт следующего. Поэтому материалистич. диалектич. логика выступает не только как метод исследования истины, но и как метод ее Д. Единство этих сторон нашло свое воплощение в логике "Капитала" (см. "Капитал", раздел Логика "Капитала"), к-рый подавил "громадной доказательностью изложения" (Ленин В. И., Соч., т. 1, с. 116). Народники обвиняли автора "Капитала" в том, что он якобы все доказывает триадами, тогда как "...Маркс никогда и не помышлял о том, чтобы "доказывать" что бы то ни было гегелевскими триадами" (там же, с. 146). Маркс "...только изучал и исследовал действительный процесс". "...Единственным критерием теории признавал верность ее с действительностью" (там же); "... о б ъ е к т и в н ы м анализом капиталистического строя доказывал он н е о б х о д и м о с т ь его превращения в социалистический" (там же, с. 141), показывая при этом мистицизм Гегеля и младогегельянцев, для к-рых "...результат действительного развития есть не что иное, как д о к а з а н н а я, т.е. доведенная до с о з н а н и я , и с т и н а" и для к-рых история существует "... для того, чтобы существовало д о к а з а т е л ь с т в о истин" (Маркс К. и Энгельс Ф., Соч., 2 изд., т. 2, с. 86). Ленин соглашается с Гегелем, что мышлению нужны не "достаточные" основания (в смысле традиционной формальной логики), а основания, доказывающие истинность знания о той или иной вещи необходимостью ее возникновения и развития, доводами, к-рые являются выражением ее сущности. С т. зр. диалектич. логики несостоятельно также противопоставлять Д. истины ее открытию. Если рассматривать открытие как установление места того или иного факта или закономерности в общей системе положений данной теории, то открытие совпадает с диалектически понимаемым Д. истинности этого положения. Суть диалектич. Д., применяемого Марксом в "Капитале", Энгельс видит в том, что "...самые замысловатые экономические проблемы выясняются просто и почти наглядно благодаря только тому, что они ставятся на надлежащее место и правильную связь" (Маркс К. и Энгельс Ф., Письма о "Капитале", 1948, с. 121). С т. зр. Энгельса сделать открытие – значит правильно установить надлежащее место нового факта в системе теории в целом, а не просто обнаружить его (см. "Диалектика природы", 1955, с. 27, 186). Науч. теория доказательна тогда, когда она берется в целом, имея в виду соотношение всех частей целого, их специфич. функций в общей системе теории. Ленин исходил из такого понимания Д. в своей теоретич. борьбе с идеологич. противниками марксизма. Народники, напр., пытались следующим образом доказать неприменимость марксистской теории к русской действительности. Они принимали марксистский тезис о том, что существование и развитие внутр. рынка необходимы для развития капитализма, но затем выставляли ошибочный аргумент: в России из-за обнищания населения и снижения его покупательной способности, к-рые обусловлены самим развитием капитализма, не может образоваться внутр. рынок; отсюда они делали вывод: в России капитализм не развивается. Для того чтобы опровергнуть это рассуждение и доказать, что капитализм в России развивается, Ленин в труде "Развитие капитализма в России" доказывает, что внутр. рынок в России складывается уже давно, и показывает, как происходит этот процесс. При этом он не ограничился косвенным Д. – "... разбором ошибок и неправильностей во взглядах противников"; он также считал "... недостаточным для ответа на поставленный вопрос привести факты, говорящие об образовании и росте внутреннего рынка, ибо могло бы являться возражение, что такие факты выбраны произвольно и опущены факты, говорящие против". Для опровержения взглядов народников и Д. истинности марксистского тезиса Ленин считал "...необходимым рассмотреть и попытаться изобразить весь процесс развития капитализма в России в его целом" (Соч., т. 3, с. 3). С т. зр. материалистич. диалектич. логики одного теоретич. Д. недостаточно, так же, как недостаточно одного практич. Д., взятого совершенно независимо от теории; Д. истины достигается только в единстве логич. и практич. Д., в совокупном ходе науч. исследования, конкретного (индуктивного и дедуктивного) анализа действительности, ибо науч. Д. необходимо должно включать способ "...проверки всего фактами, событиями, уроками всемирной истории" (там же, т. 27, с. 75–76). Основными принципами Д. с точки зрения Ленина являются: а) последовательно проведенный материализм, т.е. установление объективной истинности результатов исследования, а также аргументов – фактов или законов, доказывающих тезис; б) последовательно проведенная диалектика, дающая ответ на вопросы: как собрать факты, как установить их связь и взаимозависимость, как из них вывести аргументацию, как доказать объективную истинность тезиса. "Истинная диалектика ...изучает неизбежные повороты, доказывая их неизбежность на основании детальнейшего изучения развития во всей его конкретности" (там же, т. 7, с. 380). На вопрос: когда факты имеют безусловно доказательную силу, Ленин отвечает, что "факты, если взять в их ц е л о м, в их с в я з и, не только "упрямая", но и безусловно доказательная вещь", ибо они тогда представляют выражение определ. объективных законов. Следовательно, в Д. истины "необходимо брать не отдельные факты, а в с ю совокупность относящихся к рассматриваемому вопросу фактов, б е з е д и н о г о исключения, ибо иначе неизбежно возникнет подозрение, и вполне законное подозрение, в том, что факты выбраны или подобраны произвольно, что вместо объективной связи и взаимозависимости исторических явлений в их целом преподносится "субъективная" стряпня для оправдания, может быть, грязного дела. Это ведь бывает... чаще чем кажется" (Соч., т. 23, с. 266–67). Д. истинности знания нельзя искать только в рамках мышления и его законов. В Д. должны принимать участие и теория, и практика, ибо каждая из них, в сущности, содержит в себе свою противоположность: практика выступает вместе с тем как опредмеченная теория, а теория – как "одухотворенная" практика, поскольку в каждой научной теории накоплен практич. опыт поколений людей. Д. истинности теории имеет две важные стороны. Первая сторона состоит в том, что всякая новая теория в своих выводах опирается на уже доказанные науч. положения, на ранее установленные законы и принципы. Поскольку, однако, и для предшеств. науч. теорий их Д. практикой являлось решающим в установлении их истинности, постольку такое, казалось бы, чисто теоретич. Д. истинности данной теории уже содержит в себе практику как существенный элемент Д. Кроме того, следует иметь в виду, что логич. принципы, к-рые используются при выведении положений новой теории, также связаны с практикой. Др. стороной Д. является то, что всякое Д. той или иной теории, даже носящее практич. характер, не может осуществляться совершенно обособленно от теории; всякое практическое (напр., экспериментальное) Д. покоится на нек-рых предварительно построенных и практически примененных теоретич. законах и принципах, так что ни одно планомерное практич. Д. не начинается на голом месте, а исходит из нек-рой, более или менее верной теории. Однако единство практич. и теоретич. Д. нельзя представлять упрощенно – как просто соединение практич. проверки с выполнением формально-логич. принципов. На деле соединение практики и теоретич. мышления выступает как сложный диалектически противоречивый процесс, к-рый нельзя сводить к требованию формально-логич. непротиворечивости. Необходимо четко отличать диалектич. противоречия от противоречий неправильного рассуждения (формально-логич. противоречий). Смешение последних с диалектич. противоречиями приводит к необоснованному требованию запрета диалектич. противоречий в мышлении на том основании, что формальная логика устанавливает невозможность одновременной истинности суждения и его отрицания. Опираясь на такое смешение, кантианцы отвергали "Капитал" Маркса, особенно его теорию прибавочной стоимости, существенно использующую то, что различные моменты одной и той же действительности могут стоять друг к другу в противоречивых отношениях и что выражением этого в мышлении являются диалектические противоречия в теоретических определениях, в совмещении тезиса и антитезиса на одной основе и т.п. Научное Д. предполагает внутреннее единство теоретического и практического. В конечном счете "в практике должен доказать человек истинность, т.е. действительность и мощь, посюсторонность своего мышления. Спор о действительности или недействительности мышления, изолирующегося от практики, есть чисто схоластический вопрос" (Маркс К., см. Маркс К. и Энгельс Ф., Соч., 2 изд., т. 3, с. 1–2). Й. Элез. Москва. В формальной логике Д. представляет собой обоснование истинности какого-либо суждения или системы суждений, теории или какого-либо ее фрагмента. Следует различать Д. в широком и узком смыслах. Д. в широком смысле – это любая процедура установления истинности к.-л. суждения (суждений) как с помощью логич. рассуждений, так и посредством одного лишь восприятия и узнавания объектов, действующих на органы чувств людей, и ссылки на такое восприятие. Д. в узком смысле – это такое оправдание истинности суждения (или системы суждений), к-рое включает какие-либо рассуждения; оно состоит прежде всего в установлении отношения логического следования доказываемого суждения (суждений) из некоторых исходных суждений, истинность которых уже была установлена в предшествующем познании; исходные суждения данного Д. называются его п о с ы л к а м и, или основаниями, или аргументами, или доводами, а то суждение (или система суждений), обоснование истинности которого является его целью, – т е з и с о м Д., или его з а к л ю ч е н и е м; именно в этом узком смысле понимается термин "Д." в формальной логике. Всякое Д. состоит из системы логически правильных (т.е. всегда из истины порождающих истину) умозаключений (в частном случае, из одного акта умозаключения) и может быть обычно представлено в виде последовательности суждений (высказываний, предложений), из к-рых одни связаны с другими шагами (правильных) умозаключений или, иначе, шагами применения правил логич. вывода; в числе суждений в такого рода последовательности имеются аргументы Д., а завершается она доказываемым тезисом. Необходимым признаком всякого (верного) Д., в отличие от вывода, является истинность его посылок; Д. есть вывод из доказанных – и вообще тем или иным способом оправданных в качестве истинных – суждений. Д. – важнейший элемент всякой науки, стремящейся к доказанности своих суждений, теорий, учений. Для одного и того же тезиса могут быть даны различные Д.; чтобы убедиться в истинности тезиса, достаточно располагать хотя бы одним его Д. Способы построения Д. развивались вместе с развитием человеч. мышления и особенно науч. познания. При этом сложились большие различия между доказательствами в тех или иных областях научного мышления, а также мышления, связанного с деятельностью людей в различных сферах обществ. жизни и производства. Эти различия находят выражение в разном характере (не только по содержанию, но и по логич. форме) оснований и тезисов Д.; в различии тех видов умозаключений, к-рыми пользуются в Д.; в разном характере тех абстракций, на к-рых основываются Д.; в различной роли в Д. данных чувственного опыта. С т. зр. участия опыта в Д. из всей области науч. познания, естественно, выделяются науки, в к-рых опытные данные используются непосредственно – в виде суждений, оправданных посредством чувств. восприятия, и науки, в к-рые опытные данные входят не в виде эмпирически оправданных посылок, а в обобщенной, отвлеченной и идеализированной форме, вместе с теми абстрактными понятиями, к-рые фигурируют в Д. этих наук. К числу наук последнего рода можно отнести математику, современную формальную (т.е. символическую) логику, нек-рые области кибернетики (напр., теорию абстрактных автоматов) и теоретической физики. В число наук первого рода входят естественные науки: основанные на экспериментах разделы физики, химические науки, биология, геология, астрономия и др., а также науки об обществе, такие, как археология, всеобщая история и пр. Среди посылок Д. в этих науках, помимо суждений, выражающих уже познанные законы данной области действительности, обязательно имеются (и играют важнейшую роль) суждения непосредственного восприятия (выражающие, напр., показания тех или иных научных приборов). Д., опирающиеся на опыт не только косвенно (через посредство основных понятий данной области знания), но требующие, кроме того, прямого использования в Д. суждений непосредственного восприятия, наз. эмпирическими, или опытными. Прямое включение опытных данных в Д. происходит обычно в ходе систематически организованных науч. наблюдений и экспериментов; наблюдения играют ведущую роль в Д. таких наук, как астрономия или языкознание, эксперименты – в эмпирических Д. физич. и химич. наук; опытные Д., основанные на эксперименте, наз. экспериментальными. Эмпирические Д. могут служить обоснованию как обобщающих заключений, так и суждений о единичных явлениях. Опытные Д. обобщающих заключений обычно входят в класс индуктивных Д., т.е. таких Д., в к-рых обобщение связано с использованием индукции (см. Логика индуктивная). Однако индуктивное Д. (именно доказательство, а не просто рассуждение, претендующее на правдоподобность), как правило, в той или иной форме включает и дедуктивные умозаключения (см. Дедукция); фактически всякое более или менее сложное эмпирическое Д. строится на основе тесного переплетения индуктивных и дедуктивных умозаключений, что бывает зачастую связано с использованием гипотез в ходе Д. В науках, непосредственно опирающихся на данные опыта, используются также и Д., к-рые исключительно (или почти исключительно) состоят из дедуктивных умозаключений (д е д у к т и в н ы е Д.). Часто тезис, для к-рого найдено основанное на наблюдении и эксперименте индуктивное Д., затем доказывают дедуктивно, посредством выведения его из ранее установленных законов, тем самым включая его в общую систему истин данной науки. Кроме того, следует иметь в виду, что разделение Д. на индуктивные и дедуктивные является неполным, потому что существуют такие Д., к-рые затруднительно отнести к одной из этих групп. Д. различаются также по тому, чт? с логич. т. зр. представляет собой тезис: (а) является ли он суждением (системой суждений) о единичном объекте (факте, событии) или (б) содержит утверждения всеобщего характера и утверждения о с у щ е с т в о в а н и и объектов, обладающих нек-рыми свойствами или находящихся в нек-рых отношениях к др. объектам; в случае (б) в доказываемом суждении (суждениях) имеются обычно т.н. кванторные слова и выражения, служащие для передачи всеобщности и существования (см. Кванторы). В науках, использующих в качестве оснований Д. суждения непосредственного восприятия, тезисом Д. часто служат суждения о единичных фактах (единичные тезисы). Д. единичных тезисов имеет важное значение в таких науках, как география, геология, науки об истории природы и общества (палеонтология, всеобщая история и др.). Д. тезисов, содержащих утверждения всеобщности, имеет важнейшее значение в любой отрасли знания, – в том числе и там, где видное место занимают Д. единичных тезисов, – определяемое тем, что всякий закон выражается суждениями, содержащими всеобщие высказывания. Необходимыми в познании являются и Д. тезисов, содержащих высказывания о существовании (Д. существования). В науках, основанных на прямом использовании данных опыта, Д. существования родственны Д. единичных тезисов и состоят обычно в предъявлении объектов (явлений, событий), обладающих соответствующими свойствами и отношениями; такое предъявление всегда, фактически, включает логич. рассуждения (напр., удостоверяющие, что найденный конкретный предмет имеет все те свойства и отношения, к-рые должен иметь объект, существование к-рого доказывается), почему и должно считаться логич. Д. Особый вид Д. составляют Д., в к-рых истинность суждения устанавливается путем удостоверения надежности того источника (летопись, офиц. документы, свидетельства современников и пр.), из к-рого оно первоначально было почерпнуто, и обоснования того, что в процессе (быть может длительной и сложной) передачи нам этого, возникшего как истинное, суждения в него не вкрались искажения, существенно меняющие его первоначальный смысл; такие Д. – необходимое средство исследоват. работы, напр. в историч. науке. От Д. наук, непосредственно опирающихся на данные опыта, отличны Д. в математике, математич. логике, теоретич. физике и др. дисциплинах, наз. дедуктивными н а у к а м и. Это различие связано с тем, что в этих науках непосредственным предметом рассмотрения являются не чувственно воспринимаемые вещи, а т.н. а б с т р а к т н ы е о б ъ е к т ы, т.е. абстрактные понятия, ставшие самостоятельным предметом исследования; примером абстрактных объектов могут быть, напр., математич. абстракция точки (не имеющей физич. размеров), абстракции идеально точных геометрич. фигур, абстракции чисел различных числовых областей, абстракции бесконечных множеств разных "порядков" и т.п.; системы таких абстрактных понятий являются результатом специфических для дедуктивных наук способов абстрагирования. В недедуктивных науках абстрагирование носит преимущественно одноступенчатый (однократный) характер; результатом абстрагирования являются понятия, обычно непосредственно отвлеченные от чувственно воспринимаемых вещей и используемые для изучения этих вещей; наиболее распространенным способом абстрагирования в этих науках является установление отношений различия и тождества (одинаковости) среди конкретных вещей и последующее отождествление одинаковых предметов. Такой способ абстрагирования, наз. абстракцией отождествления, широко используется и в дедуктивных науках. Абстракция отождествления есть, по существу, предпосылка любого Д., т.к., во-первых, она всегда так или иначе участвует в образовании понятий, фигурирующих в данном Д., а, во-вторых, используется непосредственно в самом Д., поскольку в нем приходится различать и отождествлять входящие в него понятия и суждения (по их языковым выражениям). Однако в дедуктивных науках эта абстракция часто применяется повторно: к результату предшествующего этапа абстрагирования снова применяется абстракция отождествления (абстракция от абстракций) и т.д. Кроме того, в отличие от недедуктивных наук, в математике, теоретич. физике и др. науках широко используется идеализация, порождающая такие понятия, как "идеально черное тело", "материальная точка" и т.п., прообразы к-рых среди реальных вещей могут быть указаны лишь с тем или иным приближением. Наконец, существуют специфические для математики и логики способы абстрагирования, такие, как абстракция потенциальной осуществимости и абстракция актуальной бесконечности, позволяющие говорить о конечных конструкциях произвольной сложности и о таких своеобразных объектах, как бесконечные множества. Особенности абстрагирования в дедуктивных науках приводят к тому, что рассматриваемые в них объекты не обладают чувственной наглядностью (такая наглядность привлекается лишь для иллюстрации рассматриваемых в этих науках отношений, а также как средство догадаться о таких отношениях); объекты, о к-рых идет речь в таких дедуктивных науках, как математика и логика, часто называют в этой связи неспецифицированными объектами (в отличие от специфи-цированных объектов, изучаемых в естественных и др. науках). Описанный характер объектов в дедуктивных науках препятствует использованию в Д. этих наук суждений непосредственного восприятия. Уже по этой причине в дедуктивных науках, по крайней мере в настоящее время, не могут применяться опытные индуктивные Д. Из обществ. наук преимущественно дедуктивную форму носят Д. в политич. экономии. Д. в дедуктивных науках обычно могут быть организованы в аксиоматич. систему (см. Метод аксиоматический). Такая организация системы Д. в этих науках связана с тем, что среди посылок здесь отсутствуют суждения об опытных данных; поэтому для того чтобы процесс доказывания предложений (теорем) этих наук не уходил "в бесконечность" (ведь посылка каждого данного Д., – если не считать используемые в нем определения понятий, к-рые также можно рассматривать в качестве оснований Д. и как таковые считать доказанными, – должна быть в свою очередь доказана, и т.д.), приходится принимать нек-рые предложения в качестве аксиом. Всякое Д. в дедуктивных науках может быть представлено как вывод следствия из аксиом. Это выведение происходит с помощью дедуктивных умозаключений, а также с помощью различных видов математич. индукции. Математич. индукция является индуктивным умозаключением в том смысле, что приводит к обобщающим заключениям; но т.к. это обобщение связано с "пересмотром" бесконечного множества абстрактных объектов, оно вынуждено опираться на нек-рый общий принцип; поскольку принцип математич. индукции формализуется в виде аксиомы, применение математич. индукции не выводит за пределы дедуктивной теории. При всем различии между эмпирич. Д. и Д. в дедуктивных науках оба типа Д. в познании вступают во взаимосвязь друг с другом. Эта взаимосвязь проявляется, в частности, в том, что во многих науках, основанных на непосредственном использовании данных наблюдения и эксперимента, имеются разделы, строящиеся дедуктивно. Как правило, в этих разделах применяются математич. средства. Значение дедуктивных фрагментов, а значит и способов Д., типичных для дедуктивных наук, в недедуктивных науках особенно возросло за последние десятилетия. В таких науках, как экономика, лингвистика, генетика, конкретные социологич. исследования, внедрение способов Д., характерных для дедуктивных наук, происходит часто путем построения математич. или логико-математич. моделей тех явлений, к-рые изучаются в данной области знания. С др. стороны, в чисто дедуктивных науках (математика, логика) в связи с развитием вычислит. математики и созданием информационно-логич. и управляющих машин открываются неизвестные здесь ранее возможности получения новых результатов посредством экспериментирования с машинами (математич. эксперимент). Связь Д. с практикой состоит в том, что человеч. опыт – источник суждений непосредственного восприятия, играющих такую важную роль в эмпирических Д., – приобретается людьми в процессе активного взаимодействия с природными явлениями и др. людьми, а также в том, что доказанные наукой результаты становятся средством предвидения, руководством в самых различных сферах общественно-производств., технич. и др. деятельности людей, получая, т.о., прямую проверку на практике. Связь Д. с практикой, особенно наглядная в экспериментальных науках, имеется и в случае наук дедуктивных. Она осуществляется через употребляемые и изучаемые в дедуктивной науке абстрактные понятия; абстрактные объекты, с к-рыми здесь оперируют, сводятся (обычно через ряд переходных ступеней абстрагирования) к абстракциям, уже непосредственно связанным с чувственно-практич. деятельностью людей; часто такой исходной абстракцией является абстракция отождествления, в конечном счете возникающая из оперирования с реальными вещами. С этим связано то, что оперирование с математич. объектами может в ряде случаев носить непосредственно очевидный и своеобразно- наглядный характер или, как часто говорят в математике, быть интуитивно у б е д и т е л ь н ы м (интуицию в этом смысле не следует смешивать с интуицией в смысле Бергсона, см. Интуитивизм). Связь дедуктивных наук с практикой происходит далее через интерпретацию теории в терминах реальных процессов, совершающуюся при приложении ее к решению тех или иных практич. задач. Такая интерпретация состоит, по сути дела, в исключении абстрактных о б ъ е к т о в, фигурирующих в доказанных предложениях (теоремах) данной теории, посредством нахождения (иногда приближенного) таких реальных вещей или явлений – представителей этих абстрактных объектов, к-рые удовлетворяют установленным в теоремах соотношениям. Эффективность практич. приложений теории является подтверждением верности как теории в целом, так и тех Д., из к-рых она состоит. В случае, когда теория соединяет эмпирич. материал с его дедуктивной обработкой, часто применяется т.н. феноменологический метод, состоящий в выведении следствий из системы допущений (постулатов) теории и прямого сопоставления их с наблюдаемыми фактами; если практика наблюдений и экспериментов подтверждает следствия, теория считается доказанной. Целью Д. является установление несомненной, непреложной истинности тезиса его д о с т о в е р н о с т и. Однако достоверность суждения, обоснованного посредством Д., не носит безусловного характера. В большинстве случаев доказанное суждение представляет собой лишь относительную истину. Относительность истинности доказанных суждений вытекает уже из того, что основания Д., – это особенно ясно видно в науках, непосредственно опирающихся на данные опыта, – лишь приблизительно верно отражают действительность, т.е. в свою очередь являются относит. истинами. Относительность истинности суждений, фигурирующих в Д., – как оснований, так и тезиса Гно– с логич. т. зр. имеет своим источником приближенный характер отражения действительности в той системе понятий, в рамках к-рой строится данное Д. Истинность тезисов, доказанных с использованием нек-рой системы понятий, ограничена сферой применимости последних, определяемой характером абстрагирования и идеализации, примененных при их образовании, и вообще применяемыми способами их введения в науку. Это особенно важно иметь в виду при рассмотрении Д. в математике и логике, претендующих на максимальную достоверность, такую, при к-рой возможность сомнения в истинности доказываемого суждения обычно практически исключена, по крайней мере для совр. человека. Имея в виду эту черту Д. в математике и логике, их иногда наз. "абсолютными". Но и в математич. и в логич. Д. входит момент относительности: его вносят прежде всего абстракции отождествления, потенциальной осуществимости и актуальной бесконечности, а также использование идеализации при образовании математич. понятий. Существующие в основаниях математики и логики дискуссии о допустимости абстракции актуальной бесконечности (см. Интуиционизм, Конструктивная логика), а также возникновение критики идеи потенциальной осуществимости связаны с различной оценкой многими учеными нек-рых видов Д. в дедуктивных науках (так, интуиционисты и сторонники конструктивного направления отказываются от так называемых чистых Д. существования, в то время как сторонники классической математики и логики считают эти Д. допустимыми) и даже целых разделов математики (отрицание интуиционизмом и конструктивным направлением теории множеств Кантора). Относительность истин, извлекаемых посредством Д., выражает относительность критерия практики. Достоверность заключения Д. предполагает, что оно с логич. необходимостью следует из достоверных оснований. Известно, однако, что в науке большое место занимают рассуждения, в к-рых заключение следует из оснований (даже достоверных) лишь с той или иной степенью правдоподобия. Такой характер, в частности, носят многие рассуждения, в к-рых используется неполная индукция и аналогия. В случае, когда правдоподобность рассуждений достаточно велика, становится затруднительно провести четкую границу между ними и рассуждениями, дающими достоверное заключение. Это затруднение объясняется, с одной стороны, трудностью точного определения понятия Д., предполагающего полное и строгое описание логич. средств, могущих быть использованными в ходе рассуждения, а с др. стороны – сложностью проблемы определения степени правдоподобия суждения (см. Вероятностная логика). Однако практика науки свидетельствует о том, что в областях знания, основанных на непосредственном использовании опытных данных, часто встречаются рассуждения, дающие заключения, правдоподобие к-рых практически приближается к достоверности и даже сливается с ней. Такие рассуждения естественно отнести к Д. (что и предполагалось выше в настоящем изложении). Достоверный (или практически приближающийся к достоверному) характер придают тезисам такие Д., как обоснование посредством "перекрестного опыта"; многие опытные индуктивные рассуждения, включающие в себя дедуктивные выводы из доказанных ранее законов; феноменологич. Д. естественнонауч. теорий; Д., основанные на изучении источников происхождения суждения или состоящие в констатации наблюденных событий и т.д. Д., как обоснование истинности тезиса, следует отличать от о т к р ы т и я истины, включающего возникновение гипотезы, более или менее оправданной догадки об истинности тезиса, общей идеи о способе его Д. и т.п. Д. может быть весьма тесно связано с процессом открытия, но оно может быть и отграничено от него. В опытных науках Д. часто непосредственно связано с открытием. Напр., эксперимент, приводящий к раскрытию нек-рой закономерности (производимый обычно на основании к.-л. теории), как правило, выступает и как Д. истинности суждения, выражающего эту закономерность. Д. и открытие, в общем, совпадают и тогда, когда сопоставление и анализ имеющихся научных данных (напр., уравнений нек-рого математически обработанного раздела естествознания) приводит к выведению таких следствий из них, к-рые выражают ранее не известные зависимости между изучаемыми явлениями. В случае, когда процесс открытия вместе с тем является и процессом построения Д., рассуждение обычно идет от установленных наукой суждений как оснований через ряд следствий к доказываемому тезису. Д., характеризующееся ходом рассуждения от оснований к тезису, наз. п р о г р е с с и в н ы м. В случае, когда Д. и открытие в общем не совпадают, тезис будущего Д. появляется сначала в виде вероятного предположения, вслед за чем возникает проблема отыскания его Д. Так часто бывает, напр., в м ... смотреть

ДОКАЗАТЕЛЬСТВО

proof (of), demonstration (of), argument, evidence (for)•Альтернативное доказательство может быть получено (путем, на пути)... - An alternate proof may... смотреть

ДОКАЗАТЕЛЬСТВО

сущ.evidence; proof; (аргумент) argument; (свидетельство тж) testimony; witnessдобывать (получать) доказательства — to acquire (find, obtain, procure) ... смотреть

ДОКАЗАТЕЛЬСТВО

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

ДОКАЗАТЕЛЬСТВО

        ДОКАЗАТЕЛЬСТВО — процедура, призванная убедить и убеждающая человека в истинности некоторого положения настолько, что с ее помощью он может убе... смотреть

ДОКАЗАТЕЛЬСТВО

ДОКАЗАТЕЛЬСТВО — рассуждение, устанавливающее истин­ность к.-л. утверждения путем приведения других утверждений, истинность которых уже доказана. В Д. различаются тезис — ут­верждение, которое нужно доказать, и основание, или ар­гументы, — те утверждения, с помощью которых доказывается тезис. Напр., тезис "Платина проводит электрический ток" мож­но доказать с помощью следующих истинных утверждений: "Пла­тина — металл" и "Все металлы проводят электрический ток". Понятие Д.— одно из центральных в логике и математике, но оно не имеет однозначного определения, применимого во всех случаях и в любых научных теориях. Логика не претендует на полное раскрытие интуитивного, или "наивного", понятия Д. Д. образует довольно расплывчатую сово­купность, которую невозможно охватить одним универсальным определением. В логике принято говорить не о доказуемости вооб­ще, а о доказуемости в рамках данной конкретной системы или теории. При этом допускается существование разных понятий Д., относящихся к разным системам. Напр., Д. в <i>интуиционистской логике </i>и опирающейся на нее математике существенно отличает­ся от Д. в <i>логике классической </i>и основывающейся на ней математи­ке. В классическом Д. можно использовать, в частности, <i>закон исклю­ченного третьего</i>,<i> закон </i>(снятия) <i>двойного отрицания </i>и ряд других логических законов, отсутствующих в интуиционистской логике. По способу проведения Д. делятся на два вида. При <i>прямом </i>Д. задача состоит в том, чтобы найти такие убедительные аргумен­ты, из которых логически вытекает тезис. <i>Косвенное Д</i>.<i> </i>устанавли­вает справедливость тезиса тем, что вскрывает ошибочность про­тивоположного ему допущения, антитезиса. Задача Д. — исчерпывающе утвердить истинность тезиса. Этим оно отличается от других мыслительных процедур, призванных только частично поддержать тезис, придать ему большую или мень­шую убедительность. Нередко в понятие Д. вкладывается более широкий смысл: оно понимается как любой способ обоснования истинности тезиса. Расширительное толкование Д. обычно используется в социальных науках и рассуждениях, непосредственно опирающихся на наблю­дения; в процессе обучения, где для подтверждения выдвинутого положения активно привлекаются эмпирический материал, ста­тистические данные, ссылки на типичные в определенном отно­шении явления и т. п. Придание термину "Д." широкого смысла не ведет к недоразу­мениям, если учитывается, что обобщение, переход от частных факторов к общим заключениям дает не достоверное, а лишь ве­роятное знание. Определение Д. включает два центральных понятия логики: по­нятие истины и понятие <i>логического следования</i>.<i> </i>Оба эти понятия не являются в достаточной мере ясными, и, значит, определяемое через них понятие Д. также не может быть отнесено к ясным. Многие утверждения не являются ни истинными, ни ложны­ми, лежат вне "категории истины". Оценки, нормы, советы, дек­ларации, клятвы, обещания и т. п. не описывают каких-то ситуа­ций, а указывают, какими они должны быть, в каком направлении их нужно преобразовать. От описаний требуется, чтобы они соот­ветствовали действительности и являлись истинными. Удачный совет, приказ и т. п. характеризуется как эффективный или целе­сообразный, но не как истинный. Высказывание "Вода кипит" истинно, если вода действительно кипит; команда же "Вскипяти­те воду!" может быть целесообразной, но не имеет отношения к истине. Очевидно, что, оперируя выражениями, не имеющими истинностного значения, можно и нужно быть и логичным и до­казательным. Встает, таким образом, вопрос о существенном рас­ширении понятия Д., определяемого в терминах истины. Им дол­жны охватываться не только описания, но и утверждения типа оценок или норм. Задача переопределения Д. пока не решена ни <i>логикой оценок</i>,<i> </i>ни <i>деонтической </i>(нормативной.) <i>логикой</i>.<i> </i>Это де­лает понятие Д. не вполне ясным по своему смыслу. Не существует, далее, единого понятия логического следова­ния. Логических систем, претендующих на определение этого по­нятия, в принципе существует бесконечно много. Ни одно из име­ющихся в современной логике определений логического закона и логического следования не свободно от критики и от того, что принято называть "парадоксами логического следования". Образцом Д., которому в той или иной мере стремятся следо­вать во всех науках, является математическое Д. Долгое время считалось, что оно представляет собой ясный и бесспорный про­цесс. В нашем веке отношение к математическому Д. изменилось. Сами математики разбились на враждующие группировки, каж­дая из которых придерживается своего истолкования Д. Причи­ной этого послужило, прежде всего, изменение представления о лежащих в основе Д. логических принципах. Исчезла уверенность в их единственности и непогрешимости. <i>Логицизм </i>был убежден, что логики достаточно для обоснования всей математики; по мнению формалистов (Д. Гильберт и др.), одной лишь логики для этого недостаточно и логические аксиомы необходимо до­полнить собственно математическими; представители теорети­ко-множественного направления не особенно интересовались логическими принципами и не всегда указывали их в явном виде; интуиционисты из принципиальных соображений считали нуж­ным вообще не вдаваться в логику. Полемика по поводу матема­тического Д. показала, что нет критериев Д., не зависящих ни от времени, ни от того, что требуется доказать, ни от тех, кто ис­пользует критерий. Математическое Д. является парадигмой Д. вообще, но даже в математике Д. не является абсолютным и окон­чательным. <br><br><br>... смотреть

ДОКАЗАТЕЛЬСТВО

в логике, процесс (метод) установления истины, обоснование истинности суждения. Термин «Д.» допускает ряд пониманий, отличающихся друг от друга по степеням общности. Однако во всех модификациях понятия Д. отчётливо прослеживаются две противоположные тенденции. Первая обусловлена относительностью и содержат. характером понятия истины, поскольку оно означает соответствие (более или менее точное и полное) нек-рой части реальной действительности. Вторая связана с тем, что Д. должно гарантировать истинность тезиса именно в этом состоит специфика понятия Д., выделяющая его из более широкого класса процедур, к-рые являются подтверждениями тезисов и могут обладать большей или меньшей степенью убедительности. Понятие Д. должно служить полным подтверждением истинности доказываемого предложения, а потому носить дедуктивный (см. Дедукция) характер; отсюда тенденция ко всё большей формализации понятия Д. Противопоставление содержат. и формального аспектов понятия Д. проявляется прежде всего в различии широкого и узкого понимания этого термина. Д. в широком смысле это любая процедура установления истинности к.-л. суждения (наз. тезисом, или заключением, данного Д.) как при помощи нек-рых логич. рассуждений, так и посредством чувств. восприятия нек-рых физич. предметов и явлений. Именно такой характер имеют Д., обоснования большей части утверждений гуманитарных наук, а в ещё более отчётливой форме эмпирич. (экспериментальные или основанные на данных наблюдений) Д. в естеств. науках. Хотя все такие Д. включают в качестве составных частей дедуктивные фрагменты умозаключения, связывающие ссылки на опыт с доказываемым тезисом, их можно считать индуктивными, т. к. здесь имеет место переход от частных посылок к общим заключениям (индукция), совершаемый (в неявной форме) по правилам индуктивной логики. Д. в узком смысле, слова, характерные для дедуктивных наук (логики, математики и построенных по их образцу и на их основе разделов теоретич. физики), представляют собой цепочки правильных умозаключений, ведущих от истинных посылок (исходных для данною Д. суждений) к доказываемым (заключит.) тезисам. Истинность посылок не должна обосновываться в самом Д., а должна к.-л. образом устанавливаться заранее. Последоват. развитие этой традиц. (идущей от Аристотеля) концепции Д., связанное с аксиоматическим методом, потребовало существ. её уточнения и даже пересмотра. Однако произведённый Гильбертом пересмотр понятия Д. на рубеже 19-20 вв. не был до конца последовательным. В связи с обострившимися проблемами непротиворечивости науч. теорий Гильберт выдвинул программу формализации Д. дедуктивных . теорий, предполагающую не только явное указание всех исходных понятий и исходных предложений (аксиом) каждой данной теории, но л такое же явное указание всех используемых в выводах (в частности, в Д.) этой теории логич. средств. При такой постановке вопроса проблема убедительности (правильности) Д. получает объективный характер. Оказалось возможным представить науч. теорию в виде исчисления, или формальной системы, состоящей из формул, получающихся из формул нек-рого исходного запаса (аксиом) посредством чисто механич. применения правил вывода. Последоват. формализация понятия Д. открывает возможность передачи нек-рых функций человека электронным вычислит. машинам. Однако из этого не следует заключение о возможности сведения всех содержат. аспектов понятия Д. к формальным: правила вывода, хотя они и имеют дело с формальными объектами (формулами), формулируются на содержат. языке, а все проблемы, касающиеся природы формальных исчислений в целом, ставятся и решаются чисто содержат. средствами (см. Метатеория). Именно эти содержат. рассуждения (и содержат. Д.) составляют предмет самой теории Д. Более того, было доказано, что задача полной и одновременно непротиворечивой формализации даже таких относительно простых математич. теорий, как арифметика (теория чисел), в принципе неосуществима, так что в них всегда имеется нек-рый «неформализуемый остаток» (К. Гёдель, 1931). Наконец, никакая формализация дедуктивных теорий не снимает проблемы их интерпретации, т. е. соотнесения с нек-рой описываемой ею и внешней для неё реальности, адекватность к-рого только и может быть в конечном счёте обоснованием истинности теории в целом. См. также Интуиционизм, Конструктивное направление.... смотреть

ДОКАЗАТЕЛЬСТВО

◧ ДОКАЗА́ТЕЛЬСТВО, а, ср. □ им. мн. -а и -ы.1.Подтверждение чего-л., свидетельство, довод.Оказались доказательства, что дѣйствительно Мир-Вейс худое им... смотреть

ДОКАЗАТЕЛЬСТВО

ДОКАЗАТЕЛЬСТВО - обоснование истинности какого-либо положения. Д. (в логике) - рассуждение, устанавливающее истинность некоторого положения на основе и... смотреть

ДОКАЗАТЕЛЬСТВО

- обоснование истинности какого-либо положения. Д. (в логике) - рассуждение, устанавливающее истинность некоторого положения на основе истинности других положений в рамках конкретной области знания или теории. В структуре Д. различают тезис (положение, истинность которого требуется установить), аргументы, или основания (положения, обосновывающие истинность тезиса) и демонстрацию (способ логической связи тезиса с аргументами). Д. может быть либо прямым - когда тезис непосредственно вытекает из найденных аргументов, либо косвенным - когда истинность тезиса устанавливается тем, что вскрывается ложность антитезиса, т.е. положения, противоречащего тезису. Частным случаем Д. является опровержение - рассуждение, направленное против выдвинутого тезиса и имеющее своей целью установление его ложности. По своей структуре опровержение не отличается от Д. Различают опровержение, состоящее в Д. антитезиса, и опровержение, состоящее в выведении ложных следствий из обсуждаемого тезиса ("сведение к абсурду"). Чтобы отличать правильные Д. от неправильных, выработаны особые требования, выявлены основные ошибки при их нарушении. В частности, тезис должен быть ясным и точным; должен оставаться одним и тем же на протяжении всего Д. (нарушение этого правила называется "подмена тезиса"). Аргументы должны быть истинными суждениями (если хотя бы один из аргументов ложен, то возникает ошибка "основное заблуждение", а если не доказан - "предвосхищение основания"); аргументы должны быть суждениями, истинность которых доказана независимо от тезиса (нарушение этого называется "кругом в Д."); аргументы должны быть достаточными для признания истинности тезиса (связанные с нарушением этого правила ошибки: "аргумент к личности", "аргумент к публике", "аргумент к авторитету", "аргумент к тщеславию" и др.). Демонстрация должна соответствовать логическим правилам вывода, т.е. тезис должен логически вытекать из приводимых аргументов (при нарушении этого правила возможны ошибки: "мнимое следование", "учетверение терминов", "от сказанного в относительном смысле к сказанному в абсолютном смысле" и др.). Логическая процедура Д. подверглась основательному анализу уже в произведениях Аристотеля, и в силу своего фундаментального характера оставалась предметом исследовательского интереса на протяжении всей истории философии и методологии науки. В рамках математической логики исследуются возможности формальных Д. и устанавливается существование в некоторой формальной системе положений, которые нельзя ни доказать, ни опровергнуть средствами данной системы. В настоящее время создается теория поиска Д., призванная сыграть важную роль в изучении и оптимизации творческой деятельности людей. В.Ф. Берков... смотреть

ДОКАЗАТЕЛЬСТВО

доказа́тельство сущ., с., употр. сравн. часто Морфология: (нет) чего? доказа́тельства, чему? доказа́тельству, (вижу) что? доказа́тельство, чем? доказ... смотреть

ДОКАЗАТЕЛЬСТВО

1. В рамках формальной системы – доказательство заключения С представляет собой последовательность хорошо сформулированных суждений Р, таких, что каждое следует из первоначального набора аксиом, предшествует другим Р в соответствии с определенными правилами логического вывода и завершается Р=С. 2. Несколько более свободное значение _ любое заключительное суждение, достоверно полученное из истинных посылок. 3. Еще более свободное значение – любая демонстрация, которая обеспечивает логическую или наглядную поддержку какого-то убеждения. Правильно следует рассматривать доказательство несколькими отдельными способами. А точнее, значения 1 и 2 необходимо различать от значения 3. В рамках аксиоматических систем доказательство сводится к формальной демонстрации того, что суждение следует логически и дедуктивно. То есть можно в евклидовой геометрии доказывать суждения относительно точек, линий и пространств; в такой системе, как общая теория относительности, можно доказывать суждения относительно преломления света вблизи больших масс, а в математической теории научения можно доказывать, что вероятность правильной реакции возрастает в соответствии с определенной функцией от числа подкрепленных попыток. Но доказательство здесь будет не более, чем утверждение, что в рамках данной системы синтаксис суждения, формулирующего заключение, правильный и следует из посылок. То есть это доказательства в значениях 1 и 2. Значение 3 имеет другие и проблематичные коннотации; оно расширяет область употребления термина до сферы данных и теории. Оно предполагает рассмотрение, например, евклидовой геометрии как доказанной, если она описывает трехмерный мир наших чувств, теории относительности как доказанной, если свет преломляется, проходя через звезды, или математической теории научения как доказанной, если данные экспериментов по научению соответствуют теоретической функции. То есть все это является наглядной поддержкой убеждений относительно природы. Очевидно, что этот тип доказательства значительно отличается от тех, которые подразумеваются в значениях 1 и 2, они настолько различаются, что в специальной литературе значение 3 обычно не встречается. Доказательство здесь правильнее рассматривать с точки зрения неудавшихся попыток опровергнуть; см. фальсифика-ционизм.... смотреть

ДОКАЗАТЕЛЬСТВО

доказательство сущ.сред.неод. (17) ед.им. к славе действующей армии, и доказательство сему не двусмысленно.Пр2. для таких опыт — лучшее доказательст... смотреть

ДОКАЗАТЕЛЬСТВО

Злость Зло Злато Златка Злата Злак Зет Зелькво Зелот Зело Зевота Зевок Зево Зевака Зев Здесь Звать Заток Заткать Затеска Затес Затек Затакт Застолье Застать Засолка Засол Засов Заслать Засл Засека Засев Засветло Засветка Зао Зало Залетка Залет Залавок Зал Закос Закол Заклад Заквас Закат Закал Закаев Зак Заесть Заед Задок Задеть Заделка Задел Задать Задаток Зад Завс Завотдел Заволока Заводь Заводка Завод Завет Завеса Заваль Завал Зав Заалеть Еськов Есь Есть Ель Елка Елдак Ездок Ездка Езда Едок Едкость Едко Едва Еда Ева Дск Дотоль Дотоле Дотлеть Дотлевать Дотла Дот Досье Достать Достаток Доставка Досолка Досол Досказать Досказ Доска Досель Досев Долька Долезть Доле Дол Докт Доколь Доколе Доказать Доказательство Док Доза Доесть Довлеть Довесок Дзот Дзета Дзелькво Деть Детство Детско Детка Детва Деталька Деталь Десть Дельта Деколь Дек Дез Девка Дева Дать Дата Даос Даль Далеко Далев Дакота Дак Давос Давка Давать Встать Вслед Все Воткать Восток Вослед Воск Вольта Вольск Волость Волос Волок Володька Волк Вол Вокзал Вокал Возле Возка Воздеть Воз Водоскат Водолазка Водолаз Водка Вод Влет Влезть Власть Власта Власоед Влас Влад Вкось Вклад Взлет Вздетость Взад Вето Ветла Ветка Весь Весть Весталка Вест Весло Веско Вес Вельск Вельс Веко Век Веда Вдосталь Вдоль Вдеть Вдетость Вделка Вдаль Ватт Ватка Вата Васька Вальска Вальс Валька Валкость Валко Валка Валет Вале Вал Вакса Вакат Вак Ваза Вад Атто Атлетка Атлет Атлас Атетоз Атекат Атас Астат Аста Аскольдов Аскольд Аскет Аскеза Аск Аоот Аозт Альт Альков Алькад Альдоз Альва Алость Алкать Акт Аксель Акво Акаев Акад Зов Зоеа Азот Азол Зола Азов Азат Адель Адвокат Адат Золка Ада Автол Автокод Автозак Золовка Золь Зоосад Кадет Авост Авлос Авест Авель Авдотка Аваль Кале Кал Казовость Авок Авокадо Кадь Кадло Кава Авоська Авт Зот Авто Автодело... смотреть

ДОКАЗАТЕЛЬСТВО

тот или иной способ убеждения в истинности тезиса, достоверности результатов познания или подтверждения высказывания, подвергаемого сомнению. Строгим (дедуктивным, демонстративным) называют Д., если доказываемое подтверждается несомненно истинными положениями, из к-рых оно следует как логич. вывод в умозаключении. Если строгое Д. невозможно, то прибегают к нестрогому (индуктивному) Д., когда в кач-ве основания приводятся факты, вытекающие из доказываемого тезиса как его частные следствия. Когда речь идет или об истинности, или о ложности к.-л. тезиса без необходимости жесткого выбора, допустимо косвенное Д., к-рое обеспечивается либо попыткой доказать нечто противоположное данному тезису, либо опровержением того, что служит основанием для его подтверждения или опровержения. Типичными ошибками Д. явл.: 1. Неясность доказываемого тезиса (чаще всего неопред. или неполная формулировка); 2. Ненадежность или неправильность оснований Д.; 3. Формальная неправильность логич. выведения. Самые распространенные ошибки Д. известны под собств. именами: «Гистерон-протерон» (греч. последующее высказывается как то, что предшествует), «Порочный круг» (лат. Circulus vitiosus; основанием для Д. выступает само доказываемое), «Ignoratio elenchi» (вместо данного тезиса доказывается его часть или близкий, но не тождественный тезис), «Petitio principii» (в кач-ве основания используется тезис, сам нуждающийся в Д.), «Протон псевдос» (греч. Д. опирается на заведомо ложный тезис), «учетверение термина» (лат. Quaternio terminorum; использование одного и того же термина в умозаключении в разл. смыслах) и др. Ошибки Д. не явл. логич. уловками или парадоксами, поск. совершаются непредумышленно. Лит.: Лакатос И. Доказательство и опровержение. М., 1967. Е.В.Гутов ... смотреть

ДОКАЗАТЕЛЬСТВО

в самом общем смысле прием, к которому прибегают с той целью, чтобы убедить в правильности тезиса, достоверности познания или в том случае, если данное положение оспаривается, еще раз его дополнить и подтвердить. Строгое, или дедуктивно е, доказательство (демонстрация) имеет место в том случае, если данное высказывание подтверждается положениями (основания доказательства, аргументы), которые признаются истинными, так что утверждаемое следует из них как вывод из логического умозаключения. Если такое доказательство оказывается невозможным, то следует сделать обратное, т.е. привести в качестве оснований доказательства факты, вытекающие из данного тезиса как его частные случаи, индуктивное доказательство. Если же речь идет только или о правильности, или о ложности данного тезиса, а не об отсутствии возможности выбора между этими двумя тезисами, то далее может быть сделана попытка доказать противоположное данному тезису или опровергнуть то, что затем служит основанием для опровержения или доказательства последнего, косвенное доказательство. Противоположностью доказательства является опровержение; оно состоит в том, что в отношении предмета, о котором что-то утверждается, приводятся факты, из которых это утверждение не может быть выведено. Ошибки доказательства могут состоять: 1) в неясности тезиса, который должен быть доказан; 2) в неправильности или ненадежности приведенных оснований доказательства; 3) в формальной неправильности выведения следствия. Наиболее известные ошибки доказательства суть следующие: Гистеронпротерон, Circulus vitiosus, Petitio principii, Ignoratio elenchi, Proton pseudos и Quaternio terminorum. От этих ошибок следует отличать: ошибочное умозаключение, логическую уловку и неправильное умозаключение.... смотреть

ДОКАЗАТЕЛЬСТВО

proof матем.* * *доказа́тельство с.proofиме́ется [существу́ет] доказа́тельство, что … — there is evidence that …не приводя́ доказа́тельств — without ... смотреть

ДОКАЗАТЕЛЬСТВО

ДОКАЗАТЕЛЬСТВО — рассуждение, имеющее целью обосновать истинность (или ложность) к.-л. утверждения, которое наз. тезисом доказательства. Суждения, на которые опирается доказательство и из которых логически следует тезис, наз. аргументами (основаниями) доказательства. Аргументы принимаются за истинные, причем их доказательства не должны опираться на тезис, иначе получится ошибка, наз. "кругом в доказательстве". Доказательство, устанавливающее истинность тезиса, наз. просто доказательством, а доказательство, устанавливающее ложность тезиса, — опровержением. Доказательство может быть прямым, т.е. быть цепью умозаключений, посылки которых суть аргументы или выводимые из них положения, или осуществляться с помощью дополнительных допущений. Последнее строится следующим образом: с помощью допущений доказываются некоторые положения; затем доказательства этих положений с помощью особых правил преобразуется в доказательство первоначального тезиса (без допущений). В доказательствах возможны ошибки, связанные или с подменой тезиса, или с принятием необоснованных или ошибочных аргументов, или с неправильным способом доказательства. Содержащее ошибку доказательство является несостоятельным. Однако обнаружение несостоятельности доказательства еще не есть доказательство ложности тезиса, т.к. возможны доказательства, устанавливающие истинность тезиса не с достоверностью, а с некоторой вероятностью.<br><br><br>... смотреть

ДОКАЗАТЕЛЬСТВО

с.1) (довод) preuve f; marque f (знак, признак) вещественное доказательство юр. — pièce f à convictionприводить доказательства — produire (или fournir)... смотреть

ДОКАЗАТЕЛЬСТВО

доказательство Довод или факт, подтверждающие что-либо. Бесспорное, важное, верное, веское, весомое, достаточное, живое, зримое, логичное, наглядное,... смотреть

ДОКАЗАТЕЛЬСТВО

рассуждение, имеющее целью обосновать истинность (или ложность) к.-л. утверждения, к-рое наз. тезисом Д. Суждения, на к-рые опирается Д. и из к-рых логически следует тезис, наз. аргументами (основаниями) Д. Аргументы принимаются за истинные, причем их Д. не должно опираться на тезис, иначе получится ошибка, наз. кругом в доказательстве. Д., устанавливающее истинность тезиса, наз. просто Д., а Д., устанавливающее ложность тезиса,— опровержением. Д. может быть прямым, т. е. быть целью умозаключений, посылки к-рых суть аргументы или выводимые из них положения, или осуществляться с помощью дополнительных допущений. Последнее строится следующим образом: с помощью допущений доказываются нек-рые положения; затем Д. этих положений с помощью особых правил преобразуется в Д. -первоначального тезиса (без допущений). В Д. возможны ошибки, связанные или с подменой тезиса, или с принятием необоснованных или ошибочных аргументов, или с неправильным способом Д. Содержащее ошибку Д. является несостоятельным. Однако обнаружение несостоятельности Д. еще не есть Д. ложности тезиса. Возможны Д., устанавливающие истинность тезиса не с достоверностью, а с нек-рой вероятностью (Вероятностная логика). ... смотреть

ДОКАЗАТЕЛЬСТВО

-а, ср. 1.Неопровержимый довод или факт, подтверждающий истинность чего-л.; подтверждение чего-л.Он был очень доволен и своим лицом, --- и широкими пл... смотреть

ДОКАЗАТЕЛЬСТВО

kanıt,delil,ispat* * *с1) kanıt; delil; ispat привести́ что-л. в ка́честве доказа́тельства — bir şeyi kanıt göstermekслужи́ть доказа́тельством чего-л. ... смотреть

ДОКАЗАТЕЛЬСТВО

1) 证据 zhèngjù, 证明 zhèngmíngвещественное доказательство - 物 证в качестве доказательства - 以...为证据приводить доказательства - 举证представлять доказательства... смотреть

ДОКАЗАТЕЛЬСТВО

ср.1) evidence, proof, vindication; (довод, аргумент) argument; мн. ч. reasoning 2) мат. proofпринимать без доказательства — postulateне требующий дока... смотреть

ДОКАЗАТЕЛЬСТВО

1) Орфографическая запись слова: доказательство2) Ударение в слове: доказ`ательство3) Деление слова на слоги (перенос слова): доказательство4) Фонетиче... смотреть

ДОКАЗАТЕЛЬСТВО

с1) (довод) Beweis m, Beweisgrund m (умл.) вещественное доказательство — Beweisstück nпривести доказательства — Beweise liefernв доказательство — als (... смотреть

ДОКАЗАТЕЛЬСТВО

с. 1) (довод) preuve f; marque f (знак, признак) вещественное доказательство юр. — pièce f à conviction приводить доказательства — produire (или fourn... смотреть

ДОКАЗАТЕЛЬСТВО

1) argument2) &LT;math.&GT; demonstration3) evidence4) proof– доказательство от противного– доказательство существования– косвенное доказательство– нес... смотреть

ДОКАЗАТЕЛЬСТВО

с.1) (довод) prueba f; evidencia f (предл.-род., Ю. Ам.)вещественное доказательство — prueba de convicción, prueba materialв доказательство (+ род. п.)... смотреть

ДОКАЗАТЕЛЬСТВО

1) матем. дове́дення, (неоконч. д. - ещё) доводі́ння; (наглядное - ещё) сві́дчення; (следствие) до́від, -воду, дове́дина теоре́тико-мно́жественное доказа́тельство — теоре́тико-множи́нне дове́дення теоре́тико-числово́е доказа́тельство — теоре́тико-числове́ дове́дення - аналитическое доказательство - апагогическое доказательство - доказательство невозможности - доказательство существования - классическое доказательство - наглядное доказательство - несводимое доказательство - синтетическое доказательство - содержательное доказательство 2) до́каз, -зу - неопровержимое доказательство Синонимы: аналогизм, аподиксис, аргумент, аргументация, вещдок, вещественное доказательство, винословие, залог, обоснование, подтверждение, резон, свидетельство, сорит, указание, улика, энтимема Антонимы: опровержение... смотреть

ДОКАЗАТЕЛЬСТВО

- рассуждение по определенным правилам, обосновывающее какое-либо предложение (утверждение, теорему); основанием Д. служат исходные утверждения (ак... смотреть

ДОКАЗАТЕЛЬСТВО

с.proof, evidence; argumentпри доказательстве этой теоремы ... — in proving this theoremэто доказательство не является убедительным — this evidence is ... смотреть

ДОКАЗАТЕЛЬСТВО

. косвенное доказательство того, что; указывать • The evidence for the presence of ... is not fully convincing. • This is sufficient demonstration (or... смотреть

ДОКАЗАТЕЛЬСТВО

чего и чему. 1. чего (при выражении зависимого слова именем существительным). Доказательство теоремы. Он был очень доволен и своим лицом... и широкими ... смотреть

ДОКАЗАТЕЛЬСТВО

довід (р. доводу), (подтверждение) доказ (р. -зу), (провинц.) доказка, (свидетельство) свідчення, (доказывание) доведіння. [Доводами доведений. Їй усі повірили без доводів (Грінч.). Історія письменства дає найдужчі докази національної індивідуальности народу (Єфр.). От вам доказ на те (Конис.). Ми маємо певні свідчення, що вони не показували йому шляху (Грінч.). Для таких фактів не треба і доведіння]. Нет доказательств - нема доказів, нічим довести. [Усе село знало, що це Панас ізробив, а нічим довести, - так і пропало (Грінч.)]. -ства письменные - доводи листовні. -ства вещественные - речові докази, речові знаки. -ства косвенные - посередні докази, -ство противного - доведе[і]ння супротивного.... смотреть

ДОКАЗАТЕЛЬСТВО

- англ. proof/ evidence; нем. Beweis. 1. Установление, обоснование истинности суждения при помощи как логических рассуждений, так и эмпирических данных. 2. В дедуктивных науках (логике, математике) - цепь правильных умозаключений, ведущих от истинных посылок к доказываемым тезисам. 3. В праве - фактические данные об обстоятельствах, имеющих значение для правильного разрешения уголовного или гражданского дела. см. КРИМИНАЛИСТИКА. Antinazi.Энциклопедия социологии,2009 Синонимы: аналогизм, аподиксис, аргумент, аргументация, вещдок, вещественное доказательство, винословие, залог, обоснование, подтверждение, резон, свидетельство, сорит, указание, улика, энтимема Антонимы: опровержение... смотреть

ДОКАЗАТЕЛЬСТВО

установление или обоснование истинности высказывания, суждения, теории и т. п.; в самом широком смысле прием, с целью убедить в правильности тезиса, достоверности познания. В логике различают дедуктивное, индуктивное и косвенное доказательства, а также доказательство от противного, как один из видов косвенного доказательства. Начала современного естествознания. Тезаурус. — Ростов-на-Дону.В.Н. Савченко, В.П. Смагин.2006. Синонимы: аналогизм, аподиксис, аргумент, аргументация, вещдок, вещественное доказательство, винословие, залог, обоснование, подтверждение, резон, свидетельство, сорит, указание, улика, энтимема Антонимы: опровержение... смотреть

ДОКАЗАТЕЛЬСТВО

с(подтверждение) prova f; (очевидность) evidência f; (признак) indício m; мат лог demonstração fСинонимы: аналогизм, аподиксис, аргумент, аргументация... смотреть

ДОКАЗАТЕЛЬСТВО

• веское доказательство• неопровержимое доказательство• неоспоримое доказательство• сильное доказательство• яркое доказательствоСинонимы: аналогизм, а... смотреть

ДОКАЗАТЕЛЬСТВО

сущ. ср. родарезультат действия1. довод или факт, подтверждающий, доказывающий что-либодоказ -у імен. чол. роду2. мат. система умозаключений, путем ко... смотреть

ДОКАЗАТЕЛЬСТВО

Доказа́тельствоbayana (-), buruhani (-), dhihirisho (ma-), hakikisho (ma-), hoja (-), ithibati (-), mathubuti (-), nguzo (-), sahihi (-), sahihisho (ma... смотреть

ДОКАЗАТЕЛЬСТВО

Доказательство, довод, основание, резон, силлогизм, соображение, улика, аргумент; знак, свидетельство, ссылка. Доказательство веское, логическое, не выдерживающее критики, от противного, слабое, убедительное, с натяжками. Вещественное доказательство. Блистательнее доказательства и быть не может! Доводы, которые он выставляет, неубедительны. "Аргумент экономический, аргумент патриотический..." Некр. Оправдательный документ. См. аргумент || не подкрепленный доказательствами, представлять доказательства, приводить в доказательство, приводить доказательства<br><br><br>... смотреть

ДОКАЗАТЕЛЬСТВО

с. 1) prova f, dimostrazione f вещественное доказательство юр. — corpo m di reato 2) (умозаключение) dimostrazione f теорема имеет несколько доказательств — il teorema ha piu dimostrazioni 3) перен. segno m, testimonianza f, dimostrazione f; attestazione f доказательство дружбы — segno / prova di amicizia Итальяно-русский словарь.2003. Синонимы: аналогизм, аподиксис, аргумент, аргументация, вещдок, вещественное доказательство, винословие, залог, обоснование, подтверждение, резон, свидетельство, сорит, указание, улика, энтимема Антонимы: опровержение... смотреть

ДОКАЗАТЕЛЬСТВО

доказательствоДовод, основание, резон, силлогизм, соображение, улика, аргумент; знак, свидетельство, ссылка.Доказательство веское, логическое, не выдерживающее критики, от противного, слабое, убедительное, с натяжками. Вещественное доказательство. Блистательнее доказательства и быть не может! Доводы, которые он выставляет, неубедительны. "Аргумент экономический, аргумент патриотический..." Некр. Оправдательный документ. См. аргумент ..не подкрепленный доказательствами, представлять доказательства, приводить в доказательство, приводить доказательства... .... смотреть

ДОКАЗАТЕЛЬСТВО

ДОКАЗАТЕЛЬСТВО доказательства, ср. (книжн.). 1. Довод или факт, являющийся основанием для утверждения чего-н. Этот поступок является лишним доказательством его упрямства. для доказательства приведу ряд документов. В доказательство чего-н. или чему-н. 2. Система умозаключений, служащая для установления нового положения на основании других, ранее известных (науч.). Пифагорова теорема имеет несколько доказательств. Вещественное доказательство (право) - предмет, представленный на суд и являющийся свидетельством совершенного преступления.<br><br><br>... смотреть

ДОКАЗАТЕЛЬСТВО

доказательство с 1. (довод) Beweis m 1a, Beweisgrund m 1a* вещественное доказательство Beweisstück n 1a привести доказательства Beweise liefern в доказательство als ( zum] Beweis 2. (доказывание) Beweisführung f c, Beweis m<br><b>Синонимы</b>: <div class="tags_list"> аналогизм, аподиксис, аргумент, аргументация, вещдок, вещественное доказательство, винословие, залог, обоснование, подтверждение, резон, свидетельство, сорит, указание, улика, энтимема </div><br><br><b>Антонимы</b>: <div class="tags_list">опровержение</div><br><br>... смотреть

ДОКАЗАТЕЛЬСТВО

ДОКАЗАТЕЛЬСТВО. Довод или факт, подтверждающие что-либо. Бесспорное, важное, верное, веское, весомое, достаточное, живое, зримое, логичное, наглядное, надежное, недостаточное, ненадежное, неопровержимое, неоспоримое, неотразимое, обоснованное, основательное, очевидное, подлинное, положительное (устар.), разительное, реальное, решительное, серьезное, сильное, слабое, сомнительное, убедительное, шаткое, яркое. Тощее, убийственное. Вещественное, косвенное, письменное, судебное, фактическое (обычно мн.).<br><br><br>... смотреть

ДОКАЗАТЕЛЬСТВО

доказа́тельство, доказа́тельства, доказа́тельства, доказа́тельств, доказа́тельству, доказа́тельствам, доказа́тельство, доказа́тельства, доказа́тельством, доказа́тельствами, доказа́тельстве, доказа́тельствах (Источник: «Полная акцентуированная парадигма по А. А. Зализняку») . Синонимы: аналогизм, аподиксис, аргумент, аргументация, вещдок, вещественное доказательство, винословие, залог, обоснование, подтверждение, резон, свидетельство, сорит, указание, улика, энтимема Антонимы: опровержение... смотреть

ДОКАЗАТЕЛЬСТВО

корень - ДОКАЗ; суффикс - А; суффикс - ТЕЛЬ; суффикс - СТВ; окончание - О; Основа слова: ДОКАЗАТЕЛЬСТВВычисленный способ образования слова: Суффиксальн... смотреть

ДОКАЗАТЕЛЬСТВО

(2 с); мн. доказа/тельства, Р. доказа/тельствСинонимы: аналогизм, аподиксис, аргумент, аргументация, вещдок, вещественное доказательство, винословие, ... смотреть

ДОКАЗАТЕЛЬСТВО

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

ДОКАЗАТЕЛЬСТВО

доказательствоהוֹכָחָה נ'* * *הגהההדגמההוכחההפגנהחסיןעדותראיההוכחהСинонимы: аналогизм, аподиксис, аргумент, аргументация, вещдок, вещественное доказат... смотреть

ДОКАЗАТЕЛЬСТВО

установление (обоснование) истинности высказывания, суждения, теории. В логич. Д. аргументация проводится по правилам и средствам логики. Синонимы: ан... смотреть

ДОКАЗАТЕЛЬСТВО

- - англ. proof/ evidence; нем. Beweis. 1. Установление, обоснование истинности суждения при помощи как логических рассуждений, так и эмпирических данных. 2. В дедуктивных науках (логике, математике) - цепь правильных умозаключений, ведущих от истинных посылок к доказываемым тезисам. 3. В праве - фактические данные об обстоятельствах, имеющих значение для правильного разрешения уголовного или гражданского дела. См. КРИМИНАЛИСТИКА .... смотреть

ДОКАЗАТЕЛЬСТВО

bizonyíték* * *сbizonyítékСинонимы: аналогизм, аподиксис, аргумент, аргументация, вещдок, вещественное доказательство, винословие, залог, обоснование,... смотреть

ДОКАЗАТЕЛЬСТВО

то, что ведет ум к постижению истины. Существуют два типа доказательств: доказательства, осуществляемые с помощью объективных методов, в результате которых достигается логическое убеждение; и доказательства, осуществляемые посредством психологического убеждения, обращения к важнейшим чувствам и склонностям человека. Эти два типа доказательств соответствуют двум требованиям: духу геометрии и духу тонкости. ... смотреть

ДОКАЗАТЕЛЬСТВО

то, что ведет ум к постижению истины. Существуют два типа доказательств: доказательства, осуществляемые с помощью объективных методов, в результате которых достигается логическое убеждение; и доказательства, осуществляемые посредством психологического убеждения, обращения к важнейшим чувствам и склонностям человека. Эти два типа доказательств соответствуют двум требованиям: духу геометрии и духу тонкости.... смотреть

ДОКАЗАТЕЛЬСТВО

-1. в логике – доказательство заключения, если оно логически вытекает из посылок; 2. любая демонстрация, которая обеспечивает логическую или наглядную поддержку какого-то утверждения; 3. неопровержимый довод или факт, подтверждающий истинность чего-либо; 4. фактические данные в уголовном или гражданском делах, свидетельствующие о степени виновности подсудимого, его невменяемости или недееспособности.... смотреть

ДОКАЗАТЕЛЬСТВО

– см. Аргументативный тип речи: <. Синонимы: аналогизм, аподиксис, аргумент, аргументация, вещдок, вещественное доказательство, винословие, залог, обо... смотреть

ДОКАЗАТЕЛЬСТВО

— способ обоснования какого-либо утверждения, когда в пользу его принятия приводятся достоверные и достаточные основания. Существуют различные виды доказательств: практические, теоретические, эмпирические, логические. Разработкой теории логических доказательств, построением и анализом их многообразных форм и видов занимается специальная наука — логика. (См. логика, вывод, теория).... смотреть

ДОКАЗАТЕЛЬСТВО

доказательство, доказ′ательство, -а, ср.1. Факт или довод, подтверждающий, доказывающий что-н. Вещественное д. (предмет, представляемый суду как свидет... смотреть

ДОКАЗАТЕЛЬСТВО

доказ'ательство, -аСинонимы: аналогизм, аподиксис, аргумент, аргументация, вещдок, вещественное доказательство, винословие, залог, обоснование, подтве... смотреть

ДОКАЗАТЕЛЬСТВО

Доказательство (proof ) — попытки найти в программе ошибки путем доказательств на основе математических теорем о правильности программы, безотносительно к внешней программной среде.<p>[Камаев В. А., Костерин В. В. Основные термины и определения. Технологии программирования. (ФЭВТ, ВолгГТУ).  (Электронный ресурс). Режим доступа: http:// fevt.ru /, свободный.]</p>... смотреть

ДОКАЗАТЕЛЬСТВО

ДОКАЗАТЕЛЬСТВО, -а, ср. 1. Факт или довод, подтверждающий, доказывающий что-нибудь Вещественное доказательство (предмет, представляемый суду как свидетельство совершённого преступления). 2. Система умозаключении, путём которых выводится новое положение. Теорема имеет несколько доказательств. || прилагательное доказательственный, -ая, -ое (к 1 значение; спец.).... смотреть

ДОКАЗАТЕЛЬСТВО

bevis, bevislighetСинонимы: аналогизм, аподиксис, аргумент, аргументация, вещдок, вещественное доказательство, винословие, залог, обоснование, подтвер... смотреть

ДОКАЗАТЕЛЬСТВО

{bev'i:s}1. bevis han frikändes i brist på bevis--он был оправдан за недоказанностью преступления hans uttalande är ett bevis på dåligt omdöme--его выс... смотреть

ДОКАЗАТЕЛЬСТВО

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

ДОКАЗАТЕЛЬСТВО

доказательство— proofСинонимы: аналогизм, аподиксис, аргумент, аргументация, вещдок, вещественное доказательство, винословие, залог, обоснование, подт... смотреть

ДОКАЗАТЕЛЬСТВО

доказательство— proofСинонимы: аналогизм, аподиксис, аргумент, аргументация, вещдок, вещественное доказательство, винословие, залог, обоснование, подт... смотреть

ДОКАЗАТЕЛЬСТВО

с. матем. dimostrazione f - косвенное доказательство- доказательство от противного- доказательство по индукции- прямое доказательство

ДОКАЗАТЕЛЬСТВО

Ударение в слове: доказ`ательствоУдарение падает на букву: аБезударные гласные в слове: доказ`ательство

ДОКАЗАТЕЛЬСТВО

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

ДОКАЗАТЕЛЬСТВО

доказательство довод, основание, суждение, резон, силлогизм, соображение, улика, аргумент(ация), документ(ация), знак, свидетельство, ссылка, показание, подтверждение, указание, энтимема, сорит, аналогизм, вещдок, обоснование, залог, аргументация, вещественное доказательство<br><br><br>... смотреть

ДОКАЗАТЕЛЬСТВО

• demonstrace• doklad• dokázání• důkaz• důvod• indicie• projev• prokázání• předvedení• předvádění

ДОКАЗАТЕЛЬСТВО

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

ДОКАЗАТЕЛЬСТВО

Rzeczownik доказательство n dowód m

ДОКАЗАТЕЛЬСТВО

өнір;1. (довод) дәлел, айғақты;- вещественное доказательство айғақты зат, бұлтартпайтын дәлел;- приводить доказательства дәлел келтіру;- в доказательство дәлел ретінде;2. мат. дәлелдеу;- доказательство от противного қарсы жорып дәлелдеу... смотреть

ДОКАЗАТЕЛЬСТВО

1) процедура рассуждения, организуемая стремлением найти аргументы и доводы для придания исходному утверждению неслучайности и неопровержимости; 2) процесс мышления, направленный на подтверждение справедливости выдвинутого тезиса. ... смотреть

ДОКАЗАТЕЛЬСТВО

процесс мышления, включающий в обоснование истинности одного положения другим, истинность которого уже доказана; система правильных умозаключений, ведущих от истинных посылок к доказываемому положению [59, c. 75].... смотреть

ДОКАЗАТЕЛЬСТВО

alegación, autoridad, comprobación, constancia, elemento de prueba, elemento probatorio, evidencia, fedatario, justificación, justificante, medio probatorio, probanza, probatoria, prueba, testigo, testimonio... смотреть

ДОКАЗАТЕЛЬСТВО

доказа'тельство, доказа'тельства, доказа'тельства, доказа'тельств, доказа'тельству, доказа'тельствам, доказа'тельство, доказа'тельства, доказа'тельством, доказа'тельствами, доказа'тельстве, доказа'тельствах... смотреть

ДОКАЗАТЕЛЬСТВО

ср. 1. далилдөө; доказательство теоремы мат. теореманы далилдөө; 2. (довод) далил; вещественное доказательство юр. буюмдата далил (соттук аштерди текшергенде соттун колундагы далил болуучу буюмдар).... смотреть

ДОКАЗАТЕЛЬСТВО

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

ДОКАЗАТЕЛЬСТВО

с 1.дәлил; это является доказательством его виновности бу аның гаепле икәнлегенә дәлил булып тора; вещественное д. матди дәлил 2.лог.исбатлау, исбат, исбат итү; д. теоремы теореманы исбат итү... смотреть

ДОКАЗАТЕЛЬСТВО

ДОКАЗАТЕЛЬСТВО, установление (обоснование) истинности высказывания, суждения, теории. В логических доказательствах аргументация проводится по правилам и средствам логики.<br><br><br>... смотреть

ДОКАЗАТЕЛЬСТВО

ДОКАЗАТЕЛЬСТВО - установление (обоснование) истинности высказывания, суждения, теории. В логических доказательствах аргументация проводится по правилам и средствам логики.<br>... смотреть

ДОКАЗАТЕЛЬСТВО

ДОКАЗАТЕЛЬСТВО , установление (обоснование) истинности высказывания, суждения, теории. В логических доказательствах аргументация проводится по правилам и средствам логики.... смотреть

ДОКАЗАТЕЛЬСТВО

ntodiste, todistusприводить доказательства — esittää todisteita

ДОКАЗАТЕЛЬСТВО

ДОКАЗАТЕЛЬСТВО, установление (обоснование) истинности высказывания, суждения, теории. В логических доказательствах аргументация проводится по правилам и средствам логики.... смотреть

ДОКАЗАТЕЛЬСТВО

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

ДОКАЗАТЕЛЬСТВО

В доказательство.На доказ (на довід).Нет доказательств.Нема[є] доказів; нема чим (нічим) довести.

ДОКАЗАТЕЛЬСТВО

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

ДОКАЗАТЕЛЬСТВО

1. tõend2. tõendusvahend3. tõestus

ДОКАЗАТЕЛЬСТВО

сущ.сред. (син. подтверждение, аргумент, довод) ҫирӗплету; способ доказательства теоремы теоремӑна ҫирӗплетмеллй мел

ДОКАЗАТЕЛЬСТВО

argument, demonstration, piece of evidence, evidence, confirmation, proof, vindication

ДОКАЗАТЕЛЬСТВО

сBeweis (m) Nachweis (m)

ДОКАЗАТЕЛЬСТВО

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

ДОКАЗАТЕЛЬСТВО

ср. доказ, муж. довад, муж.вещественное доказательство юр. — рэчавы доказ

ДОКАЗАТЕЛЬСТВО

دليل ، برهان ؛ مدرک ؛ اثبات

ДОКАЗАТЕЛЬСТВО

Isbat, delil (аргумент)приводить доказательство — isbat (delil) ketirmek

ДОКАЗАТЕЛЬСТВО

dalil, dalolat, isbot

ДОКАЗАТЕЛЬСТВО

Начальная форма - Доказательство, винительный падеж, единственное число, неодушевленное, средний род

ДОКАЗАТЕЛЬСТВО

доказательство с η από δειξη (тж. мат.) το τεκμή ριο (улика) приводить ~а προσάγω επιχειρήματα

ДОКАЗАТЕЛЬСТВО

ср preuve, justification доказательство наступления рискадоказательство происхождения

ДОКАЗАТЕЛЬСТВО

доказательст||вос 1. (довод) ἡ ἀπό-δειξη {-ΐζ}. ἡ μαρτυρία, τό τεκμήριο{ν} / τό

ДОКАЗАТЕЛЬСТВО

исбат, делиль (аргумент) приводить доказательство исбат (делиль) кетирмек

ДОКАЗАТЕЛЬСТВО

Баталгаа, нотолгоо, гэрчийн мэдүүлэг, туршилт, сорилт, үнэнч

ДОКАЗАТЕЛЬСТВО

demonstration, evidence, proof, proofing, proving, reasoning, sustain

ДОКАЗАТЕЛЬСТВО

с. Beweis m в доказательство чего-л. — als {zum} Beweis (für A).

ДОКАЗАТЕЛЬСТВО

процесс установления истины, обоснование истинности суждения.

ДОКАЗАТЕЛЬСТВО

Ср sübut, dəlil; вещественное доказательство bax вещественный.

ДОКАЗАТЕЛЬСТВО

Доказ, довад, вещественное доказательство юр. — рэчавы доказ

ДОКАЗАТЕЛЬСТВО

Ausweis, Begründung, Beweis, Erweis, Nachweis, Nachweisung

ДОКАЗАТЕЛЬСТВО

argument, attest, demonstration, evidence, proof, witness

ДОКАЗАТЕЛЬСТВО

Begründung, Beweis, Ausweis, Nachweis, Nachweisung

ДОКАЗАТЕЛЬСТВО

démonstration, preuve

ДОКАЗАТЕЛЬСТВО

доказательство доказ`ательство, -а

ДОКАЗАТЕЛЬСТВО

(действие) dimostrazione, prova, confirmatio

ДОКАЗАТЕЛЬСТВО

дәлелдеме, дәлел, айғақ; дәлел

ДОКАЗАТЕЛЬСТВО

доказательство исбот, далел

ДОКАЗАТЕЛЬСТВО

доказ, -зу м.

ДОКАЗАТЕЛЬСТВО

айғақ дәлел; дәлелдеме

ДОКАЗАТЕЛЬСТВО

comprobación, prueba

ДОКАЗАТЕЛЬСТВО

bewys • eo: pruvo

ДОКАЗАТЕЛЬСТВО

ср. доказ, -зу м.

ДОКАЗАТЕЛЬСТВО

доказательство

T: 331