Lògica matemàtica
branca de les matemàtiques / From Wikipedia, the free encyclopedia
La lògica matemàtica és la disciplina inclosa en la matemàtica que estudia els sistemes formals en relació amb la manera en què aquests codifiquen els conceptes intuïtius de demostració matemàtica i computació com una part dels fonaments de la matemàtica. S'ha format com a resultat d'aplicar, en el terreny de la lògica, els mètodes formals de la matemàtica basats en l'ocupació d'un llenguatge especial de símbols i fórmules. En la lògica matemàtica, el pensament lògic de contingut (processos del judici i de la demostració) s'estudia representant per mitjà de sistemes lògics formals o càlculs. Resulta, doncs, que la lògica matemàtica, pel seu objecte és lògica, i pel seu mètode és matemàtica.
Es pot entendre com la matemàtica de la lògica, ja que comprèn aquelles parts de la lògica que poden ser modelades matemàticament.
Anteriorment la lògica matemàtica es coneixia com a lògica simbòlica i metamatemàtica que ara són termes restringits a determinats aspectes de la teoria de la prova. Aquesta conté generalitzacions de llarg abast, i el desenvolupament de les idees i mètodes de la lògica formal tradicional constitueix precisament l'etapa present d'el desenvolupament de la lògica formal. La lògica matemàtica contemporània inclou en si una sèrie de càlculs lògics que constitueixen una teoria sobre aquests càlculs, sobre les seves premisses, propietats i aplicacions. Al costat de l'estudi de l'estructura formal dels càlculs lògics (Sintaxi lògica), en la lògica matemàtica sorgeix també la necessitat d'examinar les relacions entre els càlculs i les esferes de contingut que serveixen per a les interpretacions i models d'aquestes relacions. En aquesta qüestió es esbossa la problemàtica de la semàntica lògica. La sintaxi lògica i la semàntica s'inclouen en la metalògica, teoria sobre els recursos per a descriure les premisses i les propietats dels càlculs lògics.
Van ser George Boole i Augustus De Morgan, durant el segle xix, els que van sistematitzar matemàticament la lògica, per això van haver de reformar i completar la lògica tradicional aristotèlica.
La lògica matemàtica inclou la teoria de models i la teoria de la demostració i recursió o altrament computabilitat, branca aquesta compatida amb la ciència informàtica. Gran part de la lògica matemàtica moderna s'ocupa de qüestions metalògiques.