Filosofian, formalizazioa teoria baten irudikapen abstrakto zorrotza da, teoria horren axiomak eta axioma horietatik ondorioak ateratzeko baliatzen dituen inferentzia-erregelak baliatzen dituena, axiomak nahiz inferentzia-erregelak modu baliozko, zehatz eta esplizituan azalduz, eta bereziki logika eta matematika baliatuz.
Loturiko artikuluak
Gogorapen-teoria: ontogenesia eta filogenesiaGogorapen-teoria, "ontogenesiak filogenesiari jarraitzen dio" esamoldearekin ere adierazi ohi dena, Ernst Haeckel filosofoak (1834-1919) bereziki garatu eta baieztatutako hipotesi biologikoa da, zeinaren arabera ontogenesiak, izaki bizidun baten garapena,…
Elkarneurgaiztasuna eta elkarneurgarritasuna (filosofia)Filosofian, elkarneurgaiztasuna bi teoria alderatu eta kontrajartzeko ezintasuna adierazten duen ezaugarria da, teoria horiek kontzeptu ezberdinak erabiltzeagatik; hala gertatzen denean, teoriak elkarneurgaitzak direla esaten da. Aurkako kontzeptua elkarneurgarritasuna…
AxiomakAxioma teoria edo jakintza-arlo sistematiko bateko funtsezko baieztapena da, begi bistakotzat edo berez edo intuizioz egiazkotzat hartzen dena, beraz frogapenik behar ez duena, eta beste axioma batzuekin batera…
