Where do the Axioms of Logic Come from

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F13%3A00394194" target="_blank" >RIV/67985955:_____/13:00394194 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
čeština
Original language name
Odkud se berou axiomy logiky?
Original language description
Soustavy axiomů elementární logiky, jaké nacházíme v učebnicích, obvykle nebývají příliš průhledné; a čtanáři může snadno začít vrtat hlavou, jak právě taková sada axiomů vznikla. V tomto článku předkládáme způsob, jak jednu takovou neprůhlednou sadu axiomů, konkrétně sadu používanou E. Mendelsonem v jeho Úvodu do matematické logiky, sestavit průhledným způsobem, abychom čtenáři pomohli získat vhled to doho, jak tyto axiomy fungují.
Czech name
Odkud se berou axiomy logiky?
Czech description
Soustavy axiomů elementární logiky, jaké nacházíme v učebnicích, obvykle nebývají příliš průhledné; a čtanáři může snadno začít vrtat hlavou, jak právě taková sada axiomů vznikla. V tomto článku předkládáme způsob, jak jednu takovou neprůhlednou sadu axiomů, konkrétně sadu používanou E. Mendelsonem v jeho Úvodu do matematické logiky, sestavit průhledným způsobem, abychom čtenáři pomohli získat vhled to doho, jak tyto axiomy fungují.

Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
AA - Philosophy and religion
OECD FORD branch
—

Project
<a href="/en/project/GA13-21076S" target="_blank" >GA13-21076S: Foundations of logic in the light of new results of philosophy and science</a><br>
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year
2013
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)