Lógica wikipedia
Reimpresiones y permisosAcerca de este artículoCite este artículoSmith, J.D., Li, D.H. & Rafferty, M.R. The Implementation Research Logic Model: a method for planning, executing, reporting, and synthesizing implementation projects.
Implementation Sci 15, 84 (2020). https://doi.org/10.1186/s13012-020-01041-8Download citationShare this articleAnyone you share the following link with will be able to read this content:Get shareable linkSorry, a shareable link is not currently available for this article.Copy to clipboard
Temas de lógica en filosofía
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 desprenden de las premisas de una manera neutra para el tema. Cuando se utiliza como sustantivo contable, el término «una lógica» se refiere a un sistema lógico formal que articula un sistema de pruebas. 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. Aunque no hay un acuerdo general sobre cómo distinguir la lógica formal e informal, un enfoque destacado asocia su diferencia a si los argumentos estudiados se expresan en lenguajes formales o informales. La lógica desempeña 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. 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 proposiciones más simples unidas entre sí por conectivos proposicionales como
Ejemplo de esquema lógico
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 desprenden de las premisas de una manera neutra para el tema. Cuando se utiliza como sustantivo contable, el término «una lógica» se refiere a un sistema lógico formal que articula un sistema de pruebas. 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. Aunque no existe un acuerdo general sobre cómo distinguir la lógica formal e informal, un enfoque destacado asocia su diferencia a si los argumentos estudiados se expresan en lenguajes formales o informales. La lógica desempeña 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. 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 proposiciones más simples unidas entre sí por conectivos proposicionales como
Significado de la lógica
La lógica es la ciencia formal del uso de la razón y se considera una rama tanto de la filosofía como de las matemáticas y, en menor medida, de la informática. La lógica investiga y clasifica la estructura de los enunciados y los argumentos, tanto a través del estudio de los sistemas formales de inferencia como del estudio de los argumentos en el lenguaje natural. El alcance de la lógica puede ser, por tanto, muy amplio, y abarca desde temas básicos como el estudio de las falacias y las paradojas, hasta análisis especializados del razonamiento como la probabilidad, el razonamiento correcto y los argumentos que implican causalidad. Uno de los objetivos de la lógica es identificar las inferencias correctas (o válidas) e incorrectas (o falaces). Los lógicos estudian los criterios de evaluación de los argumentos.
Teoría de la computabilidad: rama de la lógica matemática que se originó en la década de 1930 con el estudio de las funciones computables y los grados de Turing. El campo ha crecido hasta incluir el estudio de la computabilidad generalizada y la definibilidad. Las cuestiones básicas que aborda la teoría de la recursividad son: «¿Qué significa que una función de los números naturales a sí misma sea computable?» y «¿Cómo pueden clasificarse las funciones no computables en una jerarquía basada en su nivel de no computabilidad?». Las respuestas a estas preguntas han dado lugar a una rica teoría que todavía se investiga activamente.