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.

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