pensamiento

Una verdad lógica es una fórmula bien formada de un lenguaje formal que es verdadera bajo todas las interpretaciones de los componentes de ese lenguaje. En algunos textos y contextos,las verdades lógicas se conocen como fórmulas lógicamente válidas. Dos características generalmente aceptadas de las verdades lógicas son que son formales y necesarias. Que sean formalesimplica que cualquier instanciación de una verdad lógica es también una verdad lógica. Que sean necesarias significa que es imposible que sean falsas, es decir que en todas las situacionescontrafácticas, las verdades lógicas siguen siendo verdades lógicas.
Valor de verdad a que conduce la lógica formal, conforme al cual la conclusión de un razonamiento será verdad entanto sea verdad el contenido de las premisas, e indicará solamente que existe una congruencia de ese raciocinio, consigo mismo; de modo tal que si en un razonamiento existe falsedad en laspremisas y la conclusión asimismo es falsa; de todos modos el razonamiento será correcto o válido como razonamiento.
Notas y referencias[editar • editar código]
1. Jump up↑ SimonBlackburn, ed., «logical truth» (en inglés), The Oxford Dictionary of Philosophy, Oxford University Press, consultado el 11 de octubre de 2009
2. Jump up↑ Kirwan, Christopher, «logical truth»(en inglés), The Oxford Companion to Philosophy, Oxford University Press, consultado el 11 de octubre de 2009
3. Jump up↑ Véase por ejemplo: Hunter, Geoffrey (1971). «Sección 19».Metalogic: An Introduction to the Metatheory of Standard First-Order Logic. University of California Press.
4. ↑ Jump up to:a b c Gomez-Torrente, Mario, «Logical Truth», en Edward N. Zalta (eninglés), Stanford Encyclopedia of Philosophy (Fall 2008 Edition edición), consultado el 11 de octubre de 2009
5. http://glosarios.servidor-alicante.com/filosofia/verdad-formal
6.