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 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…
InferentziaAgian inferentzia estatistikoa bilatzen ari zinen. Inferentzia logika erabiliz premisa eta ebidentziatik ateratako konklusiora iristeko argudiaketa prozesua da. Hedaduraz, konklusio horri berari 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…