QUE ES LA LOGICA

La lógica es la ciencia formal y rama tanto de la filosofía como de las matemáticas que estudia los principios de la demostración y la inferencia válida,1​ las falacias, las paradojasy la noción de verdad.2

La lógica matemática es la rama más matemática de la lógica, que estudia la inferencia mediante sistemas formales como la lógica proposicional, la lógica de primer orden y la lógica modal. La lógica computacional aplica la lógica matemática a las ciencias de la computación. La lógica filosófica utiliza los métodos y resultados de la lógica moderna para el estudio de problemas filosóficos.

Los orígenes de la lógica se remontan a la Edad Antigua, con brotes independientes en China, India y Grecia. Desde entonces, la lógica tradicionalmente se considera una rama de la filosofía, pero en el siglo XX la lógica ha pasado a ser principalmente la lógica matemática, y por lo tanto ahora también se considera parte de las matemáticas, e incluso una ciencia formal independiente.

Anuncios