Logica

LÒGICA
La denominación de la lógica, está directamente relacionada con la palabra griega logos, cuyo significado en griego antiguo es equivalente a“pensamiento” o “razón”, pero también “palabra” o“conocimiento”; y logiké era “lo relativo al logos” En definitiva, se trata del estudio de la forma en que funciona la facultad humana de pensar y razonar.
Puede definirse la lógica como elconjunto de conocimientos que tienen por objeto la enunciación de las leyes que rigen los procesos del pensamiento humano; así como de los métodos que han de aplicarse al razonamiento y la reflexión paralograr un sistema de raciocinio que conduzca a resultados que puedan considerarse como certeros o verdaderos
Debe distinguirse entre la lógica formal y la lógica material:
La lógica formaltambién llamada lógica pura - que es la lógica propiamente dicha - es precisamente la “ciencia” (en cuanto conocimiento) que determina cuáles son las formas correctas y válidas de losraciocinios; pero lo hace considerándolos en sí mismos y con prescindencia de los contenidos concretos de los razonamientos, es decir, considerando esos contenidos como entes lógicos abstractos,de tal manera que las leyes a aplicar tengan validez para cualquier contenido concreto. El raciocinio puede definirse como un proceso del pensamiento que a partir de ciertos conocimientosestablecidos (llamados premisas), conduce a adquirir un conocimiento nuevo sin que para ello haya que recurrir a nuevas constataciones u observaciones sensibles distintas o adicionales a las ya contenidasen las premisas.
El filósofo y matemático alemán Gottfried Wilhelm Leibnitz (Leipzig, 1646 - Hannover, 1716) - a quien cabe considerar el creador de la lógica matemática - desarrolló la idea de uncalculus ratiocinator
Estos principios se consideran verdades axiomáticas, evidentes por sí mismas, que no tienen que, ni necesitan, demostrarse.
Son cuatro principios, los tres primeros...