Capçalera
 FiloXarxa Diccionari enciclopèdic de filosofia: autors, conceptes, textos

Temes  -

El saber filosòfic El coneixement La realitat L'ésser humà L'acció humana La societat

Història -

Filosofia antiga i medieval Filosofia moderna Filosofia contemporània Mapa del web Ajuda i altres Descarregar "font grega"
Cerca continguts al web Pensament: autors, conceptes, textos, obres ...
Loading

axiomatització LÒG.

Organització d’un camp del saber -una ciència, o una teoria- a manera d’un sistema axiomàtic o d’una teoria axiomàtica. Una teoria o una ciència està axiomatitzada si es construeix a la manera d’un sistema deductiu que, partint de axiomes permet, mitjançant inferències, concloure teoremes Només les ciències que aconsegueixen un elevat grau de abstracció i sistematització poden axiomatitzar-se. Són clàssiques l’axiomatització de la geometria, feta per D. Hilbert i la de l’aritmètica feta per Peano, així com la del càlcul de lògica d’enunciats de Whitehead i Russell, en Principia Mathematica. A més de les matemàtiques i la lògica, qualsevol ciència empírica prou desenvolupada i sistematitzada pot ser també axiomatitzada, del tot o en alguna de les seves parts. Així succeeix, per exemple, en la física; Dirac va axiomatitzar substancialment la física quàntica el 1930 i el mateix va fer von Neumann, després d’haver-ho fet amb la teoria de conjunts.


 


Licencia de Creative Commons
Aquesta obra està sota una llicència de Creative Commons.