Gizapedia

Formalizazioa

KategoriakFilosofia

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

  • Utopia eta utopikoa

    Utopia (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 gizarte utopikoak…

  • Inferentzia logikoa

    Agian 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.

  • Axiomak

    Axioma 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…

126 hitz

Artikulu bat eskatu

Erabili ezazu galdetegi hau artikulu eskaera bat bidaltzeko. Lehenbailehen osatzen saiatuko gara.



Harpidetu zaitez

Gure azken edukien berri jaso nahi baduzu zure email helbidean, egin zaitez harpidedun hurrengo galdetegi hontan.