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
AxiomakAxioma 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 eta logikaz beste teorema…
InferentziaInferentzia ebidentziatik eta egiazkotzat hartzen diren bestelako proposizioetatik logika erabiliz ateratako konklusioa da. Konklusio horretara heltzeko arrazonamenduari, argudioa garatzeko prozesuari alegia, ere inferentzia deitzen zaio.
Utopia eta utopikoaUtopia (antzinako grezieratik, "ez den lekua") bizimodu edo bizitoki ideala eta perfektua da, non hango guztiak harmonian eta zoriontsu bizi diren. Bizimodu, toki eta egoera harmoniatsu horiek utopikoak direla esaten…