Axiomatikus módszer - rövid szótára filozófia - a filozófia
Axiomatikus módszer (görög Axioma -. Taken pozíció) - az egyik módja a deduktív gépek (levonás) tudományos elméletek. Az alap egy axiomatikus építési elmélet axiómák, azaz a. E. pályázatokat elfogadott bizonyíték nélkül. Minden más javaslatok elmélet származó axiómák (m. E. Bizonyítsuk) alapján logikai következtetési szabályt és meghatározására vonatkozó szabályokat engedélyezett ez az elmélet. Mint ilyen szabályokat alkalmaznak a formális logika szabályai. t. h. matematikai logika.
Ezért abban az esetben a axiomatizálása elmélet szükséges először, hogy határozza meg a logika törvényei kell használni a jövőben, másrészt, válassza axiómák és harmadszor, levezetni az axiómák alapján következtetési szabályok minden egyéb állítások igazak a elmélet. Az első előadás a A. m. Alakult az ókori Görögországban (eleai filozófiai iskola, Platón, Arisztotelész, Euclid), és története során azok átestek a jelentős fejlődés. Hosszú idő alatt a axiomatizálása követelte a nyilvánvaló választás, t. E. Kétségtelen, axiómák. Kezdve a 2. emeleten. 19. axiomatikus elmélet már tekinteni, mint egy formális rendszer, ami lehetővé teszi több értelmezések (modellek). Ebben a tekintetben különös figyelmet kell venni a bizonyíték az összhang a formális axiomatikus elmélet (lehetetlensége levezethető, hogy egy mondat és annak tagadása), teljesség (ilyen elmélet tartalmaznia kell minden igaz mondat, hogy leírja ezt a rendszert tárgyak), és így tovább. D. axiomatikus elmélet Ma már tudjuk, a konkrét hivatalos nyelve (jelrendszer), amelyek csak deduktív módszerrel, valamint bizonyos szintaktikai és szemantikai követelményeknek; ilyen nyelvet leírni azoknak a tárgyak, amelyek kielégíteni. Axiomatizálása csak az egyik módszer az építési tudományos ismereteket. Gödel bizonyítása lehetetlen teljes axiomatizálása számtani azt mutatja, hogy axiomatikus elméletek építhető csak viszonylag kis méretű szakaszok tudományos ismeretek. . A. m gyakran vesz formájában hipotetikus-deduktív módszer: elmélet szerint van megszerkesztve, hogy a elvei A. m és javaslatokat, beleértve axiómákat tekintik hipotézisek vizsgálandó empirikusan .... Ezt az ellenőrzést végzi egy speciális állításokat összekötő néhány javaslatokat az elmélet empirikusan megfigyelt tényeket. Ennek eredményeként a javaslatok az elméleti rendszer megkapja a közvetlen empirikus tesztelése, és a többi - közvetett módon, a kapcsolatuk az első. Principles hipotetikus-deduktív módszert széles körben használják jelenleg az építkezés sok tudományágak (egyes mezők a fizika, biológia, pszichológia, szociológia, nyelvészet, stb).