https://encyklopedie.soc.cas.cz/core/index.php?title=Verifikace&feed=atom&action=historyVerifikace - Historie editací2024-03-29T13:57:45ZHistorie editací této stránkyMediaWiki 1.31.1https://encyklopedie.soc.cas.cz/core/index.php?title=Verifikace&diff=7541&oldid=prevAdmin: finalizován tvar zápisu autorů hesel2017-12-11T16:04:00Z<p>finalizován tvar zápisu autorů hesel</p>
<table class="diff diff-contentalign-left" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="cs">
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Starší verze</td>
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Verze z 11. 12. 2017, 16:04</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l10" >Řádek 10:</td>
<td colspan="2" class="diff-lineno">Řádek 10:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div><span class="section_title">Literatura:</span> ''Carnap, R.'': Problémy jazyka vědy. Praha 1968; ''Church, A.'': Introduction to Mathematical Logic. Princeton, New Jersey 1956; ''Kutschera, F. von'': Wissenschaftstheorie 2 sv., München 1972.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div><span class="section_title">Literatura:</span> ''Carnap, R.'': Problémy jazyka vědy. Praha 1968; ''Church, A.'': Introduction to Mathematical Logic. Princeton, New Jersey 1956; ''Kutschera, F. von'': Wissenschaftstheorie 2 sv., München 1972.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del class="diffchange diffchange-inline">-- </del>''[[:Kategorie:Aut: Čechák Vladimír|Vladimír Čechák]]''<br /></div></td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>''[[:Kategorie:Aut: Čechák Vladimír|Vladimír Čechák]]''<br /></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Kategorie:Aut: Čechák Vladimír]]</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Kategorie:Aut: Čechák Vladimír]]</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Kategorie:Metodologie/obecná metodologie a logika]]</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Kategorie:Metodologie/obecná metodologie a logika]]</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Kategorie:VSgS]]</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Kategorie:VSgS]]</div></td></tr>
</table>Adminhttps://encyklopedie.soc.cas.cz/core/index.php?title=Verifikace&diff=4107&oldid=prevAdmin: import na produkční server2017-12-10T16:57:37Z<p>import na produkční server</p>
<p><b>Nová stránka</b></p><div><span id="entry">verifikace</span> – (z lat. verificare = dokázat, zjistit; od verus = pravý) – ověření pravdivosti, postup, jímž je možno zjistit, zda nějaké tvrzení je pravdivé, event. za jakých podmínek či předpokladů je pravdivé. Zákl. požadavkem na ''v.'' je, aby každá verifikační procedura byla efektivní, tj. aby konečným počtem operací bylo možno zjistit, zda dané tvrzení je pravdivé či nikoliv. V teorii ''v.'' existuje i tvrzení, které říká, že v libovolné konečné posloupnosti verifikačních procedur existuje posloupnost minimální. Její nalezení má velký význam pro zkrácení a tím i zjednodušení verifikačních postupů. Ve vědách, v nichž je možná (alespoň částečná) [[formalizace]], mají některé verifikační procedury formu [[algoritmus|algoritmu]]. V matematice a logice, event. v dalších vědách, v nichž se vyskytují tvrzení mající analytický charakter, lze jejich ''v.'' provést logickými, event. matem. prostředky. Klasickým příkladem ''v.'' je udělování pravdivostních hodnot proměnným a ''v.'' formulí výrokové logiky pomocí pravdivostních tabulek. Zákl. požadavkem empir. ''v.'' je nalézt přiměřenou empir. evidenci. Požadavek efektivní ''v.'' je však příliš striktní, protože takto nelze verifikovat tvrzení, v nichž se něco vypovídá o nekonečné množině prvků. Takový charakter ale mají mnohé fyzikální zákony, které by proto nebyly verifikovatelné. Avšak i singulární výroky nelze někdy z tech. důvodů verifikovat (např. tvrzení „na odvrácené straně Měsíce jsou hory“, pokud bylo vysloveno před kosmickými lety). ''V.'' byla proto nahrazena verifikovatelností, tj. možností verifikovat, a tento požadavek byl později nahrazen ''principem konfirmace'' (potvrzení), který v podstatě říká, že tvrzení může být empir. evidencí potvrzeno v určitém pravděpodobnostním stupni. Konfirmace je vztažena především na hypotézy a teorie, o nichž nelze s jistotou říci, zda jsou či nejsou pravdivé v absolutním slova smyslu, protože vždy obsahují nějaká tvrzení, která nebyla plně ověřena. Opakem ''v.'' a zároveň význ. fil.-metodol. principem je [[falzifikace]].<br />
<br />
<div class="translations"><br />
<span lang="en">verification</span><br />
<span lang="fr">vérification</span><br />
<span lang="de">Verifikation, Verifizierung</span><br />
<span lang="it">verificazione</span><br />
</div><br />
<br />
<span class="section_title">Literatura:</span> ''Carnap, R.'': Problémy jazyka vědy. Praha 1968; ''Church, A.'': Introduction to Mathematical Logic. Princeton, New Jersey 1956; ''Kutschera, F. von'': Wissenschaftstheorie 2 sv., München 1972.<br />
<br />
-- ''[[:Kategorie:Aut: Čechák Vladimír|Vladimír Čechák]]''<br /><br />
[[Kategorie:Aut: Čechák Vladimír]]<br />
[[Kategorie:Metodologie/obecná metodologie a logika]]<br />
[[Kategorie:VSgS]]</div>Admin