установление истинности
1ПОДТВЕРЖДЕНИЕ — установление соответствия (тождества в определенном отношении) подмножества эмпирически интерпретированных следствий некоторой теории с эмпирически (экспериментально) наблюдаемым положением дел. Подтверждение научной теории никогда не является… …
2ЛОГИЧЕСКОЕ ДОКАЗАТЕЛЬСТВО — – установление истинности какого–либо суждения посредством приведения других суждений, истинность которых является несомненной. Считается, что доказательство возможно лишь при наличии трех элементов: 1) тезиса (того, что нужно доказать); 2)… …
Современный образовательный процесс: основные понятия и термины
3ВЕРИФИКАЦИЯ — в культурологии (позднелат. verificatio доказательство, подтверждение верности или истинности чего либо; от лат. verus истинный и facio делаю) установление истинности тех или иных суждений (утверждений и отрицаний) о культуре в знании о… …
4ОБОСНОВАНИЕ — приведение тех убедительных аргументов, или доводов, в силу которых следует принять к. л. утверждение или концепцию. О. обычно включает целую серию мыслительных действий, касающихся не только рассматриваемого положения, но и той системы… …
5Закон исключённого третьего — (лат. tertium non datur, то есть «третьего не дано»)  закон классической логики, состоящий в том, что из двух высказываний  «А» или «не А»  одно обязательно является истинным, то есть два суждения, одно из которых является… …
6ВЕРИФИКАЦИЯ — (этим. см. предыд. сл.). Удостоверение, проверка. Словарь иностранных слов, вошедших в состав русского языка. Чудинов А.Н., 1910. ВЕРИФИКАЦИЯ свидетельство, удостоверение в подлинности. Словарь иностранных слов, вошедших в состав русского языка.… …
7ВЕРИФИКАЦИЯ — (от лат. verificatio доказательство, подтверждение) установление истинности или эмпирической осмысленности научных утверждений. Этот термин получил широкое распространение в связи с неопозитивистской программой эмпирического обоснования науки. С… …
8ФАЛЬСИФИКАЦИЯ — (от лат. falsus ложный), или э м лирическое опровержение, процедура установления ложности гипотезы или теории путем эмпирической проверки. Принято считать, что процесс Ф. описывается логической схемой modus tollens, или принципом Ф.: «если верно …
9ИСКЛЮЧЕННОГО ТРЕТЬЕГО ЗАКОН — закон классической логики, состоящий в том, что одно из двух высказываний Л и не Л является истинным. В математической логике И. т. з. выражается формулой где знак дизъюнкции, знак отрицания. С интуиционистской (конструктивной) точки зрения… …
10Tertium non datur — Закон исключённого третьего закон классической логики, состоящий в том, что из двух высказываний «А» или «не А» одно обязательно является истинным, т.е. два суждения, одно из которых является отрицанием другого, не могут быть одновременно… …
