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, las falacias, las paradojas y la noción de verdad.
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 es la aplicación de 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.
Etimología y acepciones
La palabra « lógica » deriva del griego antiguo λογική logikḗ, que significa «dotada de razón, intelectual, dialéctica, argumentativa» y que a su vez viene de λόγος (lógos), « palabra, pensamiento, idea, argumento, razón o principio».
En el lenguaje cotidiano, expresiones como « lógica » o « pensamiento lógico» aportan también un sentido alrededor de un « pensamiento lateral» comparado, haciendo los contenidos de la afirmación coherentes con un contexto, bien sea del discurso o de una teoría de la ciencia, o simplemente con las creencias o evidencias transmitidas por la tradición cultural.
Del mismo modo existe el concepto sociológico y cultural de lógica como, p.e. «la lógica de las mujeres », « lógica deportiva», etc. que, en general, podríamos considerar como « lógica cotidiana» - también conocida como « lógica del sentido común».
Copyright 2024 puzzlefactory.com Reservados todos los derechos.