LA LOGICA MATEMATICA
Quando utilizziamo l'espressione logico intendiamo dire che un'affermazione è sensata, è vera.
La LOGICA è quella parte della FILOSOFIA che studia le NORME DEL CORRETTO RAGIONAMENTO.
Aristotele è stato il primo studioso a separare la forma del ragionamento dal suo contenuto.
La logica è stata impiegata, fino alla seconda metà del XIX secolo, solamente nella filosofia. Ma a partire da questa data essa è stata usata sempre più anche in campo matematico.
La LOGICA MATEMATICA può essere definita come lo STUDIO DEL CORRETTO RAGIONAMENTO MATEMATICO.
D'altra parte la matematica rappresenta anche, nella logica matematica, il metodo di studio del corretto ragionamento.
Quindi, nella LOGICA MATEMATICA, la matematica è figura, al tempo stesso, come METODO DI STUDIO e come OGGETTO DI STUDIO.
