A | B | C | D | E | F | G | H | CH | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9
Teória je konzervatívnym rozšírením teórie ak sú splnené nasledujúce tri podmienky:
- jazyk teórie je nadjazykom jazyka teórie ,
- všetky formule dokázateľné v sú dokázateľné aj v ,
- všetky formule v jazyku teórie ktoré sú dokázateľné v teórii sú dokázateľné aj v teórii .
Voľne povedané, konzervatívne rozšírenie teórie je také jej rozšírenie ktoré ju neobohatí o žiadnu novú teorému sformulovateľnú v jej jazyku.
Vzťah k bezospornosti
Pojem konzervatívneho rozšírenia hrá v logike doležitú úlohu hlavne kvôli platnosti nasledujúceho tvrdenia:
Veta: Konzervatívne rozšírenia bezosporných teórií sú bezosporné.
Keďže konzervatívnymi rozšíreniami nemožno vniesť do teórií nové spory, možno pomocou nich konštruovať rozsiahle bezosporné teórie: z preukázateľne bezospornej teórie sa konzervatívnym rozšírením konštruuje bezosporná teória z nej atď.
Text je dostupný za podmienok Creative Commons Attribution/Share-Alike License 3.0 Unported; prípadne za ďalších podmienok. Podrobnejšie informácie nájdete na stránke Podmienky použitia.
Antropológia
Aplikované vedy
Bibliometria
Dejiny vedy
Encyklopédie
Filozofia vedy
Forenzné vedy
Humanitné vedy
Knižničná veda
Kryogenika
Kryptológia
Kulturológia
Literárna veda
Medzidisciplinárne oblasti
Metódy kvantitatívnej analýzy
Metavedy
Metodika
Text je dostupný za podmienok Creative
Commons Attribution/Share-Alike License 3.0 Unported; prípadne za ďalších
podmienok.
Podrobnejšie informácie nájdete na stránke Podmienky
použitia.
www.astronomia.sk | www.biologia.sk | www.botanika.sk | www.dejiny.sk | www.economy.sk | www.elektrotechnika.sk | www.estetika.sk | www.farmakologia.sk | www.filozofia.sk | Fyzika | www.futurologia.sk | www.genetika.sk | www.chemia.sk | www.lingvistika.sk | www.politologia.sk | www.psychologia.sk | www.sexuologia.sk | www.sociologia.sk | www.veda.sk I www.zoologia.sk