Metateorija: Skirtumas tarp puslapio versijų
Ištrintas turinys Pridėtas turinys
SNėra keitimo santraukos |
|||
Eilutė 1:
'''Metateorija''' - teorija, nagrinėjanti metodus, skirtus kitų teorijų aprašymui bei analizei.
Tarus, kad yra tam tikra [[Teorija|teorija]], visada galima iškelti klausimą dėl teorijos neprieštaringumo - ar egzistuoja duotosios teorijos rėmuose aprašomas uždavinys, kuris būtų neišsprendžiamas šios pačios teorijos priemonėmis. Gana lengvai galima parodyti, kad uždavinio formulavimo teisingumas bei teorijos neprieštaringumas negali būti nustatytas pačios teorijos ribose, todėl tenka naudoti išorines analizės priemones, apibrėžiančias nagrinėjamos teorijos aksiomatiką, terminus bei taisykles. Tokiems apibrėžimams dažniausiai naudojamos [[Metakalba|metakalbos]].
Su teorijų neprieštaringumu susijusios problemos buvo pastebėtos dar [[Senovės Graikija|senovės graikų]] (pvz., neįrodoma [[Euklidinė geometrija|Euklidinės geometrijos]] teorema dėl to, kad dvi tiesės susikerta tik viename taške), vėliau buvo atrasta ir nemažai semantinių problemų, išsprendžiamų tik ''metateoriniais'' ir [[Metakalba|metakalbiniais]] metodais (pvz., ar reiškinio neigimas gali būti aktualizuotas, jei pats jo pateikimas neša prielaidą apie neigiamo reiškinio egzistavimą?). Kaip atskira [[Matematika|matematikos]] sritis, ''metateorija'' ėmė vystytis [[XIX amžius|XIX a.]] pabaigoje - [[XX amžius|XX a.]] pradžioje, po to, kai aksiomatikos įtaka buvo pademonstruota, kuriant [[Neeuklidinė geometrija|neeuklidines geometrijas]] bei ėmė kilti klausimai dėl visos [[Matematikos]] neprieštaringumo. Pirmasis rimtus šios teorijos tyrimus pradėjo [[David Hilbert]] [[1905]].
| |||