| Attributes | Values |
|---|
| rdf:type
| |
| Description
| - In his proof of the Incompleteness Theorems, Gödel provided a method of showing the truth of specific arithmetical statements on the condition that all the axioms of a certain theory of arithmetic are true. Furthermore, the statement whose truth is shown in this way cannot be proved in the theory in question. Thus it may seem that the relation of logical consequence is wider than the relation of derivability by a pre-defined set of rules. The aim of this paper is to explore under which assumptions the Gödelian statement can rightly be considered a logical consequence of the axioms of the theory in question. It is argued that this is the case only when the all the theorems of the theory in question are understood as statements of the same kind (and true in the same sense) as statements of arithmetic and statements about provability in the theory, and only if the language of the theory contains logical expressions allowing to include certain predicates of meta-language in the language of the theory. (en)
- Ve svém důkazu první věty o neúplnosti poskytl Kurt Gödel metodu, jak dokazovat pravdivost specifických výroků aritmetiky z předpokladu, že všechny axiomy určité axiomatické teorie jsou pravdivé. Takto dokázaný výrok navíc není dokazatelný v dané teorii. Díky tomu se může zdát, jako by relace logického důsledku byla širší než relace odvoditelnosti pomocí pevně stanoveného souboru pravidel. Cílem této studie je prozkoumat, za jakých předpokladů lze gödelovský výrok správně považovat za logický důsledek axiomů dané teorie. Tvrdí se, že je tomu tak pouze v případě, že teorémy dané teorie jsou chápány jako věty téhož druhu (a pravdivé v témže smyslu) jako výroky aritmetiky i jako tvrzení o dokazatelnosti v dané teorii, a navíc pouze tehdy, když jazyk dotyčné teorie obsahuje logické výrazy umožňující zahrnout určité predikáty meta-jazyka do jazyka dané teorie.
- Ve svém důkazu první věty o neúplnosti poskytl Kurt Gödel metodu, jak dokazovat pravdivost specifických výroků aritmetiky z předpokladu, že všechny axiomy určité axiomatické teorie jsou pravdivé. Takto dokázaný výrok navíc není dokazatelný v dané teorii. Díky tomu se může zdát, jako by relace logického důsledku byla širší než relace odvoditelnosti pomocí pevně stanoveného souboru pravidel. Cílem této studie je prozkoumat, za jakých předpokladů lze gödelovský výrok správně považovat za logický důsledek axiomů dané teorie. Tvrdí se, že je tomu tak pouze v případě, že teorémy dané teorie jsou chápány jako věty téhož druhu (a pravdivé v témže smyslu) jako výroky aritmetiky i jako tvrzení o dokazatelnosti v dané teorii, a navíc pouze tehdy, když jazyk dotyčné teorie obsahuje logické výrazy umožňující zahrnout určité predikáty meta-jazyka do jazyka dané teorie. (cs)
|
| Title
| - Gödelova věta a relace logického důsledku
- Gödelova věta a relace logického důsledku (cs)
- Gödel's Incompleteness Theorem and the Relation of Logical Consequence (en)
|
| skos:prefLabel
| - Gödelova věta a relace logického důsledku
- Gödelova věta a relace logického důsledku (cs)
- Gödel's Incompleteness Theorem and the Relation of Logical Consequence (en)
|
| skos:notation
| - RIV/00216208:11210/10:10071204!RIV11-GA0-11210___
|
| http://linked.open...avai/riv/aktivita
| |
| http://linked.open...avai/riv/aktivity
| |
| http://linked.open...iv/cisloPeriodika
| |
| http://linked.open...vai/riv/dodaniDat
| |
| http://linked.open...aciTvurceVysledku
| |
| http://linked.open.../riv/druhVysledku
| |
| http://linked.open...iv/duvernostUdaju
| |
| http://linked.open...titaPredkladatele
| |
| http://linked.open...dnocenehoVysledku
| |
| http://linked.open...ai/riv/idVysledku
| - RIV/00216208:11210/10:10071204
|
| http://linked.open...riv/jazykVysledku
| |
| http://linked.open.../riv/klicovaSlova
| - Incompleteness, Gödel's Theorem, Logical Consequence, Logic (en)
|
| http://linked.open.../riv/klicoveSlovo
| |
| http://linked.open...odStatuVydavatele
| |
| http://linked.open...ontrolniKodProRIV
| |
| http://linked.open...i/riv/nazevZdroje
| - Teorie Vědy. Theory of Science
|
| http://linked.open...in/vavai/riv/obor
| |
| http://linked.open...ichTvurcuVysledku
| |
| http://linked.open...cetTvurcuVysledku
| |
| http://linked.open...vavai/riv/projekt
| |
| http://linked.open...UplatneniVysledku
| |
| http://linked.open...v/svazekPeriodika
| |
| http://linked.open...iv/tvurceVysledku
| |
| issn
| |
| number of pages
| |
| http://localhost/t...ganizacniJednotka
| |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)