Lógica Formal



Sistema clásico o tradicional de determinación de la validez o nulidad de una conclusión (inferencia) deducida de dos o más afirmaciones (locales). Basado en la teoría del silogismo del filósofo griego Aristóteles (384-322 a. C.) sistematizada en su libro’ Organón’, su enfoque no se centra en lo que se declara (el contenido) sino en la estructura (forma) del argumento y la validez de la inferencia extraída de las premisas del argument-si las premisas son verdaderas entonces la inferencia (también llamada consecuencia lógica) también debe ser verdadera. Los principios básicos de la lógica formal son (1) Principio de identidad: si una declaración es verdadera entonces es verdadera.


Definición de Lógica Formal

Término en inglés: Formal Logic


Más términos de la categoría l




Deja un comentario

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *

Este sitio usa Akismet para reducir el spam. Aprende cómo se procesan los datos de tus comentarios.