La lógica es el estudio del razonamiento correcto. Incluye tanto la lógica formal como la informal. La lógica formal es la ciencia de las inferencias deductivamente válidas o de las verdades lógicas. Es una ciencia formal que investiga cómo las conclusiones se derivan de las premisas de una manera neutral al tema. Cuando se usa como sustantivo contable, el término "una lógica" se refiere a un sistema lógico formal que articula un sistema de prueba. La lógica formal contrasta con la lógica informal, que se asocia con las falacias informales, el pensamiento crítico y la teoría de la argumentación. Algunos teóricos distinguen los dos al sostener que la lógica formal estudia argumentos expresados en un lenguaje formal, mientras que la lógica informal investiga argumentos expresados en lenguaje natural. La lógica juega un papel central en múltiples campos, como la filosofía, las matemáticas, la informática y la lingüística.
La lógica estudia los argumentos, que consisten en un conjunto de premisas junto con una conclusión, como el argumento de las premisas "es domingo" y "si es domingo entonces no tengo que trabajar" a la conclusión "no tengo que trabajo". Las premisas y conclusiones suelen entenderse como oraciones o proposiciones y se caracterizan por su estructura interna; Las proposiciones complejas están formadas por proposiciones más simples unidas entre sí por conectores proposicionales como ∧ (y) o → (si...entonces). La verdad de una proposición generalmente depende de las denotaciones de sus constituyentes. Las proposiciones lógicamente verdaderas constituyen un caso especial, ya que su verdad depende únicamente del vocabulario lógico usado en ellas y no de las denotaciones de otros términos.
Los argumentos pueden ser correctos o incorrectos. Un argumento es correcto si sus premisas apoyan su conclusión. La forma más sólida de apoyo se encuentra en los argumentos deductivos: si sus premisas son verdaderas, entonces su conclusión también debe serlo. Contrastan con los argumentos ampliativos, que no brindan el mismo nivel de certeza pero pueden llegar a información genuinamente nueva. Muchos argumentos que se encuentran en el discurso cotidiano y en las ciencias son argumentos ampliativos, a veces divididos en argumentos inductivos y abductivos. Los argumentos inductivos suelen adoptar la forma de generalizaciones estadísticas, mientras que los argumentos abductivos son inferencias a la mejor explicación. Los argumentos que no cumplen con los estándares del razonamiento correcto se denominan falacias. Los sistemas de lógica son marcos teóricos para evaluar la corrección de los argumentos.
La lógica se ha estudiado desde la antigüedad; Los primeros enfoques incluyen la lógica aristotélica, la lógica estoica, Nyaya y el mohismo. La lógica aristotélica se centra en el razonamiento en forma de silogismos. Fue considerado el principal sistema de lógica en el mundo occidental hasta que fue reemplazado por la lógica formal moderna, que tiene sus raíces en el trabajo de matemáticos de finales del siglo XIX como Gottlob Frege. Hoy en día, el sistema más utilizado es la lógica clásica. Consiste en la lógica proposicional, que solo considera las relaciones lógicas en el nivel de las proposiciones, y la lógica de primer orden, que también articula la estructura interna de las proposiciones utilizando varios dispositivos lingüísticos, como predicados y cuantificadores. La lógica extendida acepta las intuiciones básicas detrás de la lógica clásica y las extiende a otros campos, como la metafísica, la ética y la epistemología. Las lógicas desviadas, por otro lado, rechazan ciertas intuiciones clásicas y brindan explicaciones alternativas de las leyes fundamentales de la lógica.
DEFINICIÓN
La palabra "lógica" se origina en la palabra griega "logos", que tiene una variedad de traducciones, como razón, discurso o lenguaje. La lógica se define tradicionalmente como el estudio de las leyes del pensamiento o el razonamiento correcto, y generalmente se entiende en términos de inferencias o argumentos. El razonamiento puede verse como la actividad de sacar inferencias cuya expresión externa se da en argumentos. Un argumento es un conjunto de premisas junto con una conclusión. La lógica está interesada en si los argumentos son correctos, es decir, si sus premisas respaldan la conclusión. Estas caracterizaciones generales se aplican a la lógica en el sentido más amplio, es decir, tanto a la lógica formal como a la informal, ya que ambas se ocupan de evaluar la corrección de los argumentos. La lógica formal es el campo tradicionalmente dominante, y algunos lógicos restringen la lógica a la lógica formal.