Lógica

La lógica es el estudio del razonamiento correcto o buenos argumentos. A menudo se define en un sentido más estrecho como la ciencia de las inferencias deductivamente válidas o de las verdades lógicas. En este sentido, es equivalente a la lógica formal.y constituye una ciencia formal que investiga cómo las conclusiones se derivan de las premisas de una manera neutral al tema o qué proposiciones son verdaderas solo en virtud del vocabulario lógico que contienen. Cuando se usa como sustantivo contable, el término "una lógica" se refiere a un sistema lógico formal. La lógica formal contrasta con la lógica informal, que también es parte de la lógica entendida en el sentido más amplio. No existe un acuerdo general sobre cómo deben distinguirse los dos. Un enfoque destacado asocia su diferencia con el estudio de argumentos expresados ​​en lenguajes formales o informales. Otro caracteriza la lógica informal como el estudio de inferencias ampliativas, en contraste con las inferencias deductivas estudiadas por la lógica formal. Pero también es común vincular su diferencia con la distinción entre falacias formales e informales.

La lógica se basa en varios conceptos fundamentales. Estudia los argumentos, que se componen de un conjunto de premisas junto con una conclusión. Las premisas y las conclusiones suelen entenderse como oraciones o como proposiciones y se caracterizan por su estructura interna. Las proposiciones complejas están formadas por otras proposiciones unidas entre sí por conectivos proposicionales. Las proposiciones simples tienen partes subproposicionales, como términos singulares y predicados. En cualquier caso, 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.

Los argumentos o inferencias hechos de estas proposiciones pueden ser correctos o incorrectos. Un argumento es correcto si sus premisas apoyan su conclusión. La forma más fuerte de apoyo se encuentra en los argumentos deductivos: es imposible que sus premisas sean verdaderas y su conclusión falsa. Este es el caso si siguen una regla de inferencia, que asegura la verdad de la conclusión si las premisas son verdaderas. Una consecuencia de esto es que los argumentos deductivos no pueden llegar a ninguna nueva información sustantiva que no se encuentre ya en sus premisas. Contrastan en este sentido con argumentos ampliativos, que pueden aportar información genuinamente nueva. Esto viene con un inconveniente importante: es posible que todas sus premisas sean verdaderas mientras que su conclusión sigue siendo falsa. Muchos argumentos que se encuentran en el discurso cotidiano y en las ciencias son argumentos ampliativos. A veces se dividen en argumentos inductivos y abductivos. Los argumentos inductivos usualmente toman la forma de generalizaciones estadísticas mientras que los argumentos abductivos soninferencias a la mejor explicación. Los argumentos que no cumplen con los estándares del razonamiento correcto se denominan falacias. Para las falacias formales, la fuente del error se encuentra en la forma del argumento, mientras que las falacias informales suelen contener errores a nivel del contenido o del contexto. Además de las reglas definitorias de la lógica, que determinan si un argumento es correcto o no, también existen reglas estratégicas, que describen cómo se puede usar una cadena de argumentos correctos para llegar a la conclusión deseada. En lógica formal, los sistemas formales a menudo se usan para dar una definición precisa del razonamiento correcto usando un lenguaje formal.

It is a long established fact that a reader will be distracted by the readable content of a page when looking at its layout. The point of using Lorem Ipsum is that it has a more-or-less normal distribution of letters, as opposed to using 'Content here, content here', making it look like readable English.

You must log in to access this content
Iniciar con Google
Iniciar con Facebook
x