L O G I C A

Qué es la Lógica: Lógica es una ciencia formal que estudia la estructura o formas del pensamiento humano (como proposiciones, conceptos y razonamientos) para establecer leyes y principios válidos para obtener criterios de verdad. Como adjetivo, 'lógico' o 'lógica' significa que algo sigue las reglas de la lógica y de la razón. Indica también una consecuencia esperable natural o normal. Se utilizar también para referirse al llamado 'sentido común'. Procede del latín logĭca, y a su vez del griego λογική (logike, 'que posee razón, 'intelectual', 'dialéctico', 'argumentativo'), que a su vez deriva de la palabra λόγος (logos, 'palabra', 'pensamiento', 'razón', 'idea','argumento'). Lógica filosófica Se suele considerar que la lógica forma parte de la Filosofía, aunque la lógica, como tal, se aplica en diversas áreas y actividades del ser humano. La lógica filosófica utiliza cuatro principios fundamentales que establecen los procesos de pensamiento correcto. Estos principios son el principio de identidad, el principio de no contradicción, el principio de tercero excluído y el principio de razón suficiente. Lógica formal y lógica informal La lógica formal es aquella cuyo objeto de estudio son las inferencias de forma técnica mediante la utilización de sistemas deductivos y lenguajes y semánticas formales. La lógica informal, por su parte, estudia sistemas de razonamiento y argumentación naturales a través del lenguaje y el pensamiento cotidiano. Lógica aristotélica Es la lógica que se basa en los estudios de Aristóteles, filósofo griego del siglo IV a.C. La lógica aristotélica utiliza los llamados silogismos, que se trata de una deducción o forma de razonamiento en el que se establecen unas premisas de las que se infiere una conclusión. Se trata, por lo tanto, de un concepto semejante a argumentos deductivamente válidos. Un ejemplo clásico de la lógica aristotélica es: 'Todos los hombres son mortales. Todos los griegos son hombres. Por lo tanto, todos los griegos son mortales'. Las dos primeras frases serían las premisas y la tercera la conclusión Aplicaciones Lógica Proposicional, e la usa para proporcionar reglas y técnicas para que poder saber si un argumento es válido o no. Además en matemáticas se lo aplicar para la resolución de teoremas; en ciencias de la computación se lo puede aplicar si para saber si son o no correctos los algoritmos de un programa programas; en las ciencias físicas y naturales se los usa para sacar conclusiones de experimentos; y en las ciencias sociales y el diario vivir se lo usa para resolver multitud de problemas Lógica Difusa, se utiliza cuando la complejidad del proceso en cuestión es muy alta y no existen modelos matemáticos precisos, para procesos altamente no lineales y cuando se envuelven definiciones y conocimiento no estrictamente definido (impreciso o subjetivo). En cambio, no es una buena idea usarla cuando algún modelo matemático ya soluciona eficientemente el problema, cuando los problemas son lineales o cuando no tienen solución. Lógica deóntica, un tipo de lógica modal usada para analizar formalmente las normas o las proposiciones que tratan acerca de las normas. Un pintor desea realizar sobre un gran lienzo la obra abstracta cuyo boceto es el siguiente: