Dialectica Y lógica Formal

La capacidad de los seres humanos para pensar lógicamente es fruto de una prolongada evolución social. Precede a la invención de la lógica formal en millones de años. El pensamiento es estudiado por la lógica formal y por la dialéctica y en qué relación se encuentran?

El pensamiento estudia la psicología y esta estudia la actividad mental del individuo, su objetivo es poder descubrir y dar a conocer las leyes que hacen que en el proceso del pensamiento se tenga un control para llegar a tener un buen resultado cognoscitivo.

Así la lógica estudia las leyes que dan a la mente la capacidad de aprehender la verdad y esto en alguna forma también le interesa a la psicología y conocer los resultados cognoscitivos de esta, sin embargo hay cosas que la psicología no constituye como la veracidad del conocimiento que es el problema en que se encarga la lógica.

Este problema es objeto de investigación de la dialéctica como tanto de la lógica formal y esta ultima al estudiarla abstrae su contenido formal, toma los juicios ya formados y utiliza la oposición de la verdad y la mentira, a raíz de esto solo estudia la estructura del conocimiento ya formado a base de leyes que determinan la unión entre las ideas.

La lógica formal es la parte de la lógica que, se dedica al estudio de la inferencia mediante la construcción de lenguajes formales, sistemas deductivos y semánticas formales. La idea es que estas construcciones capturen las características esenciales de las inferencias válidas en los lenguajes naturales.

La ley de la razón suficiente afirma que la verdad en todo juicio ha de ser suficientemente argumentada y nos dice que "todo objeto debe tener una razón suficiente que lo explique". Lo que es, es por alguna razón, "nada existe sin una causa o razón determinante".

El proceso de deducción tiene fundamentos objetivos y se basa en un contenido formal para diferenciarlo del contenido concreto, la lógica investiga las formas del pensamiento que permite deducir un juicio nuevo aunque depende de su contenido y de sus relaciones.

La lógica formal con el paso del tiempo va desarrollando cada vez más su objeto de forma exacta y plena principalmente en dos direcciones: La práctica del pensamiento científico hacia hacer formas nuevas y el desarrollo de la ciencia moderna.

Aquí se explica generalmente la tarea primordial de la lógica formal que es el estudio del contenido de nuestra mente para poder así mejorar y perfeccionarlas cuando se introducen nuevas condiciones que harán de esto un mejor desarrollo. Este progreso se debe a al uso de nuevos medios para el estudio de su objeto y a su vez hiso que apareciera una nueva rama que es la lógica matemática, estas tienen una relación muy semejante y ambas reflejan relaciones generales de la realidad.

Esta nueva rama trajo consigo beneficios como es en el caso del uso de los símbolos para de alguna manera hacer notar las características que nos interesan en los objetos y lo que conlleva estos, pero esto solo era la pequeña introducción de lo que vendría después de su creación, es decir, solo era una corriente lógica formal con representación simbólica.

En el desarrollo de lo que sería la formación de la lógica matemática se comprende el empleo de la lógica formal en la solución de problemas matemáticos que llevo, como ya se había mencionado antes, al perfeccionamiento de la lógica formal. Esta lógica matemática se uso también en otros aspectos como lo es en la lógica técnica.

La lógica formal no siempre ha sido igual, a esta se le antecedió una lógica formal más tradicional que se basaba en los pensadores de la edad antigua y media como lo fueron Aristóteles, F. Bacon, Leibniz y otros que más adelante se verá en que se basaron para dar una gran aportación a lo que es la lógica formal clásica o tradicional.

Las características que tenia este tipo de lógica a diferencia de la lógica formal moderna es que todavía formaba parte de la filosofía por las leyes que regían el pensamiento, hubo una gran rivalidad entre el materialismo y el idealismo en esa época particular y por ultimo utilizo símbolos para designar las relaciones formales.

Desafortunadamente ha perdido su valor como base de un método filosófico con la tarea de conseguir la verdad, pero por el otro lado gracias a los avances científicos se ha convertido en una rama independiente de la ciencia que se abrió de la filosofía.

La filosofía marxista presupone la existencia de una buena lógica formal ya que necesita las categorías elaboradas por la filosofía al igual que la física contemporánea en un aspecto materialista sobre el mundo.

Todo esto nos da a entender que la lógica formal es la que tiene una relación muy intima con la filosofía por su origen y por su contenido como son las leyes y las formas de la lógica formal que hizo que muchos filósofos consideraran que es la única ciencia que estudia las leyes y las formas del pensamiento.

La lógica dialéctica nació en el siglo XIX donde tuvo que ver Aristóteles entre otro pensadores, este en su teoría sobre las formas del pensamiento plantea el problema de la dialéctica, Descartes en si discurso del método comprendía que la lógica formal no bastaba para crear una filosofía practica pues la tarea es complementar a la lógica formal y es por eso que Descartes le dio planteamiento a un nuevo método de conocimiento pues reconocía que la lógica formal no era suficiente.

Otro filosofo moderno F. Bacon abordo el mismo problema pero de una manera distinta y enriqueció a esta lógica formal con la doctrina de la inducción y lo planteaba con el mismo

...