Logica

La lógica, palabra derivada del griego clásico logos (la razón, principio que gobierna al Universo), son las reglas usadas para hacer deducciones creíbles.

Es la ciencia que trata de los principios válidos del razonamiento y la argumentación. El estudio de la lógica es el esfuerzo por determinar las condiciones que justifican a una persona para pasar de unas proposiciones dadas, llamadaspremisas, a una conclusión que se deriva de aquéllas. La validez lógica es la relación entre las premisas y la conclusión de tal forma que si las premisas son verdaderas la conclusión es verdadera.

La validez de una proposición se tomará de la verdad de la conclusión. Si una de las premisas, o más, es falsa, la conclusión de una proposición válida será falsa. Por ejemplo: "Todos los mamíferosson animales de cuatro patas, todos los hombres son mamíferos, por lo tanto, todos los hombres son animales de cuatro patas" es una proposición válida que conduce a una conclusión falsa. Por otro lado, una proposición nula puede, por casualidad, llegar a una conclusión verdadera. "Algunos animales tienen dos patas; todos los hombres son animales, por lo tanto todos los hombres tienen dos patas"representa una conclusión verdadera, pero la proposición no lo es. Por lo tanto, la validez lógica depende de la forma que adopta la argumentación, no su contenido. Si la argumentación fuera válida, cualquier otro término podría sustituir a cualquiera de los casos utilizados y la validez no se vería afectada. Al sustituir "cuatro patas" por "dos patas" se comprueba que ambas premisas pueden serverdaderas y la conclusión falsa. Por lo tanto, la proposición no es correcta aunque posea una conclusión verdadera.

Términos generales:
- Terminología científica: Uso correcto del razonamiento o principios involucrados en el razonamiento correcto.
- Programación de Computadoras: Algoritmo o Procedimiento de Decisión Utilizado por un Programa.
- Tecnología de Computo: Conjunto de circuitos queejecutan funciones lógicas con niveles importantes de señales restringidas a unos valores discretos (por lo general 2). Mas que cambian continuamente.
- Lógica Matemática: Rama de la matemática que formula y estudia los principios del razonamiento: Incluye las teorías axiomáticas (evidentes), él calculo predicado, él calculo de exponenciación, el álgebra booleana y la lógica simbólica.Es difícil saber cuándo y dónde se inició el estudio de la lógica, no obstante que hay una gran cantidad de información sobre sus orígenes. Al tratar de ubicar un origen de la lógica, se llega a la conclusión de que (como en el caso de todas las ciencias), éste ocurre durante la aparición del hombre primitivo. En efecto, siendo la Lógica una ciencia del razonamiento y de la inferencia, es sensatopensar que con el surgimiento del primer hombre con capacidad de razonar y obtener deducciones o inferencias, erradas o no, en ese mismo momento apareció la semilla de la lógica. De hecho, se ha distinguido al hombre (o creemos distinguirlo) del resto de los animales por sus capacidades de razonamiento lógico, o capacidades del pensamiento - ó capacidades lógicas -, esto es, razonar, deducir oinferir; tal cosa ha ocurrido por que el hombre mismo ha establecido (unilateralmente) que es precisamente él, quien tiene la capacidad de razonamiento más alta del reino animal.

Estos principios, que constituyen algo así como los fundamentos de la lógica, los encontramos claramente formulados por Aristóteles. Estos principios corresponden a las más elementales normas a que todo pensamientoesta sujeto y se denominan:
1. Principio de identidad: A es A; todo es lo que es o todo ente es idéntico a si mismo.
2. Principio de no-contradicción: A es B o no B; una cosa no puede al mismo tiempo ser y no ser tal o cual cosa o no podemos de un mismo sujeto afirmar y negar una cualidad a la vez.
3.Principio del tercero excluido: A es B o A no es B; una cosa es o no es tal o cual cosa, o de...