LA LÒGICA

La lógica se constituye prácticamente como disciplina autónoma, a partir de Aristóteles, quien la instauró como ciencia, elevándola al grado de saber supremo.
Tal grado fue alcanzado debido a la importancia que se la atribuyó como método, como herramienta indispensable en el manejo de los procesos mentales. De ahí que se diga que el objeto sobre el cual trabaja la lógica, es el pensamiento, sus formas, es decir la manera como la mente consigna y ordena los datos provenientes de la naturaleza. Posteriormente, dichos datos serán expresados de acuerdo con las reglas o formas asignadas por la disciplina en mención.
El pensamiento:
Es el proceso mediante el cual, el hombre capta la realidad, partiendo de sus sentidos, hasta …ver más…

b.Plurivalente: cuando tiene más de dos valores, verdadero, falso, probable.
c.No analizada: donde la totalidad de la proposición se considera una variable.
d.Analizada: Cuando nos metemos en la proposición para encontrar constantes y variables.
Clases de Proposiciones:
A.Proposición Atómica: aquella que carece totalmente de conectivas. Es una variable.
B.Proposición molecular: aquella que por lo menos tiene una conectiva.
Variable: Cualquier simple afirmación. Ej. El día es bonito.
Qué es Metalógica?
Es un lenguaje que hablamos para hablar otro lenguaje, en este caso del cálculo.
a.Sintaxis lógica: nos dice cuáles son las reglas que hay que seguir para la combinación de los signos tengan sentido.
b.Semántica lógica: nos dice qué es lo que significan los signos del cálculo lógico.
c.Pragmática lógica: relación entre los signos y aquel que lo usa.
Hay ciertas expresiones que quedan por fuera del campo de la lógica. Ej. Ay!, Bah!, Oh!.
Las exclamaciones, las preguntas y las expresiones sin sentido. Constantes o Conectivas | Reglas de la sintaxis lógica | Resolución de racionamientos por tablas de verdad | Validez de un procedimiento |
INFERENCIAS LÓGICAS
Esquema de inferencia es una representación gráfica en la cual se nos da una información.
P  Q

P Premisa
Q Conclusión
PONENDUS PONENS
El modo que afirmando afirma: P Q
Como premisas tenemos un condicional con su antecedente y consecuente, de modo