https://encyklopedie.soc.cas.cz/core/index.php?action=history&feed=atom&title=Bezespornost
Bezespornost - Historie editací
2026-04-17T17:31:20Z
Historie editací této stránky
MediaWiki 1.31.1
https://encyklopedie.soc.cas.cz/core/index.php?title=Bezespornost&diff=5488&oldid=prev
Admin: finalizován tvar zápisu autorů hesel
2017-12-11T16:01:41Z
<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:01</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> ''Berka, K.'' – ''Kreiser, L.'': Logik-Texte. Kommentierte Auswahl zur Geschichte der modernen Logik. Berlin 1986; ''Kondakow, N. I.'': Wörterbuch der Logik. Leipzig 1983.</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> ''Berka, K.'' – ''Kreiser, L.'': Logik-Texte. Kommentierte Auswahl zur Geschichte der modernen Logik. Berlin 1986; ''Kondakow, N. I.'': Wörterbuch der Logik. Leipzig 1983.</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: Berka Karel|Karel Berka]]''<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: Berka Karel|Karel Berka]]''<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: Berka Karel]]</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: Berka Karel]]</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>
Admin
https://encyklopedie.soc.cas.cz/core/index.php?title=Bezespornost&diff=467&oldid=prev
Admin: import na produkční server
2017-12-10T16:52:15Z
<p>import na produkční server</p>
<p><b>Nová stránka</b></p><div><span id="entry">bezespornost</span> – též konzistentnost – zákl. metateor. vlastnost teorií, deduktivních systémů, především axiomatických, tj. spočívajících na ''axiomech'', vzniklých [[axiomatizace|axiomatizací]]. Rozlišují se různé druhy bezespornosti: ''1.'' axiomatický systém je sémanticky bezesporný, má-li nějaký model, jinak řečeno existuje-li nějaká interpretace, vzhledem k níž je každý jeho výrok pravdivý; ''2.'' axiomatický systém je syntakticky bezesporný, nejsou-li v něm odvoditelné všechny jeho správně utvořené výroky; ''3.'' axiomatický systém je klasicky bezesporný, není-li v něm zároveň odvoditelný nějaký správně utvořený výrok a jeho negace. Klasicky bezesporný systém je také syntakticky bezesporný, naopak to však obecně neplatí. Byly konstruovány i deduktivní systémy, které jsou klasicky sporné, ale syntakticky bezesporné. Sem patří zvl. tzv. parakonzistentní logiky a různé verze relevantních logik. V těchto systémech neplatí, na rozdíl od klasicky bezesporných systémů, zákon ''Johanna Duns Scota'', podle něhož je ze sporného tvrzení, tj. konjunkce nějakého výroku a jeho negace, odvoditelný jakýkoli výrok. První důkaz ''b.'' v logice podal pro výrokový kalkul ''E. L. Post'' v r. 1921 pomocí maticové metody. ''B.'' predikátové logiky prvního stupně dokázali ''D. Hilbert'' a ''W. F. Ackermann'' v r. 1928. Opakem ''b.'' je spornost, inkonzistentnost.<br />
<br />
<div class="translations"><br />
<span lang="en">consistence, consistency</span><br />
<span lang="fr">consistance, congruence</span><br />
<span lang="de">Konsistenz</span><br />
<span lang="it">consistenza</span><br />
</div><br />
<br />
<span class="section_title">Literatura:</span> ''Berka, K.'' – ''Kreiser, L.'': Logik-Texte. Kommentierte Auswahl zur Geschichte der modernen Logik. Berlin 1986; ''Kondakow, N. I.'': Wörterbuch der Logik. Leipzig 1983.<br />
<br />
-- ''[[:Kategorie:Aut: Berka Karel|Karel Berka]]''<br /><br />
[[Kategorie:Aut: Berka Karel]]<br />
[[Kategorie:Metodologie/obecná metodologie a logika]]<br />
[[Kategorie:VSgS]]</div>
Admin