DIALECTICA

DIALECTICA Y LOGICA FORMAL
En el estado actual de desarrollo de la humanidad, el hombre como animal social, no necesariamente racional, posee una modalidad de raciocinio que le permite interpretar imágenes y eventos con el fin de representar la realidad. Nuestro proceso mental se basa en la Lógica que para nosotros en occidente es la Lógica Aristotélica también conocida como Lógica Formal lacual consiste de los siguientes enunciados o principios:
A es igual a A (A=A); es decir algo es igual a si mismo. Principio de Identidad.
Si A es igual a B; y B es igual a C; entonces A es igual a C. Principio de Transitividad.
Si A es igual a B; y B es diferente de C; entonces A es diferente de C. Principio del Tercer Excluido.
La Lógica Formal representa una herramienta útil a la hora decrear modelos ideales como sucede en las matemáticas y ciencias naturales como la física o la química. En general las contribuciones de Aristóteles, Descartes y otros al pensamiento racional no pueden ser subestimadas de ninguna manera.
Desafortunadamente los procesos históricos, sociales y políticos así como aquellos que involucran las relaciones afectivas entre personas son mucho más complejos yno pueden ser representados con modelos matemáticos por cuanto suceden en el tiempo real y en el espacio.
LOGICA SIMBOLICA
La lógica simbólica es la rama de las matemáticas que nos permite reconocer la validez de una argumentación, así como también nos proporciona las herramientas de razonamiento necesarias para elaborar demostraciones irrefutables y convincentes.
LA DEDUCCION
Método depensamiento caracterizado por pasar de lo general o universal a lo particular, o de lo general a lo general. La matemática y la lógica, y también en gran medida la filosofía, son ejemplos de ciencias deductivas. En ellas, la observación, entendida como mera percepción, y el experimento no son fundamentales.
Las ciencias empíricas emplean la deducción en particular para extraer de las teoríasenunciados más sencillos y menos universales que éstas y que se puedan comprobar en la experiencia.
En las ciencias empíricas, la deducción no es pura sino que está controlada por la experiencia. Las teorías racionalistas consideran a la deducción como el método más idóneo para alcanzar el conocimiento. En psicología, el autor que con más entusiasmo defendió la creación de esta disciplina como cienciadeductiva fue el conductista Hull.

CALCULO LOGICO
A la lógica le interesan los argumentos pues en ellos se expresan las premisas que permiten justificar una conclusión. Pues bien, el Cálculo lógico intenta mostrar que argumentos son correctos, es decir mostrar que argumentos demuestran que la conclusión se deriva necesariamente de las premisas.
Por otra parte, el Cálculo Lógico consisteen un conjunto de reglas que nos permiten operar y extraer conclusiones válidas. Si partiendo de unas determinadas premisas y aplicando reglas lógicas en un argumento, llegamos a la conclusión expuesta en este, veremos como el argumento es correcto.
El cálculo lógico, o derivación lógica, es un algoritmo o sistema lógico que permite inferir o deducir un enunciado verdadero a partir de otro uotros que se tienen como válidamente verdaderos.
La inferencia o deducción es una operación lógica que consiste en obtener un enunciado como -conclusión- a partir de otro(s) -premisa(s)- mediante la aplicación de reglas de inferencia.
EL USO DE LA REGLA DE INFERENCIA
En lógica, una regla de inferencia es un esquema para construir inferencias válidas. Estos esquemas establecen relacionessintácticas entre un conjunto de fórmulas llamados premisas y una aserción llamada conclusión.
Estas relaciones sintácticas son usadas en el proceso de inferencia, por el que se llega a nuevas aserciones verdaderas a partir de otras ya conocidas. Las reglas también se aplican a la lógica informal y a las discusiones, pero la formulación es mucho más difícil y polémica.
Como se mencionó, la aplicación de...