Tipos De Lógica E Historia De La Misma

INTRODUCCIÓN

La lógica se empezó a desarrollar según la historia desde los antiguos griegos en el siglo VII a.c. con Tales de Mileto, aunque la lógica siempre ha estado ahí desde que se originó el universo, sólo que tomó de el hombre racional para analizarla, comprenderla y sobre todo utilizarla para bien y el propio desarrollo del hombre mismo; entonces la lógica ha estado en constante cambio en torno al desarrollo del hombre y de su forma de vida, este cambio se ha generado lentamente por diferentes personajes que poco a poco han mejorado la lógica, adaptándola a su forma de pensar y a su época; se puede usar de ejemplo en nuestra época la lógica robótica; pero aun así tan avanzada o moderna que sea la lógica no hay que olvidar que la lógica siempre tendrá los mismos principios de lógica formal o aristótelica por eso es importante dar un repaso a la lógica formal antes de empezar con la lógica formal moderna.

PLANTEAMIENTO DEL PROBLEMA

¿Cuáles son las ramas que se desprenden de la lógica formal moderna, y en qué consiste cada una de ellas?

HIPÓTESIS

Las ramas que se desprenden de la lógica formal moderna son:

1.-Lógica deóntica; que consiste en un tipo de lógica que se utiliza en el derecho, infiriéndose del mismo, la denominada lógica de las normas, en la que se formaliza a través de conceptos relacionados con el deber.

2.-Lógica modal; que consiste en la relación de conceptos con propiedades, además estudia la implicación de unas clases con otras que se pueden representar en círculos o mejor conocidos como diafragmas, empleando la denominación álgebra booleana.

3.-Lógica cuantíficacional; que consiste en un tipo de lógica que estudiade manera más detallada los predicados a través del uso de cuantificaciones que expresan cantidad.

4.-Lógica proposicional; Analiza los razonamientos formalmente validos, partiendo de proposiciones y conectivas proposicionales. Esta lógica simbólica emplea un lenguaje artificial en el que simboliza las proposiciones generalmente con las letras P, Q, R, S, T; utilizando de operadores lógicos también llamados conectores, muntores, juntores; para poder construir formulas operando sobre las variables propocisionales y las proposiciones complejas.

5.-Lógica dialéctica

6.-Lógica difusa

7.-Lógica probavilistica

8.-Lógica no monótona

9.-Lógica simbólica

JUSTIFICACIÓN

Esta investigación sirve para ampliar nuestro conocimiento en cuanto a la lógica formal moderna; y más que nada destacar a la lógica moderna por medio de sus ramas; y con eso dar una introducción sobre lo que se llama “lógica moderna” o lógica matemática para las personas interesadas en el tema, en esta investigación se busca el ¿para qué? De cada una de las ramas de la lógica moderna para analizarlas mejor a cada una y compararlas.

La investigación se realizó más que nada acudiendo a la biblioteca a revisar algunos libros para usarlos como base de la investigación, también leyendo paginas de internet ya después de haber consultado los libros donde, cabe mencionar que hay demasiados textos sobre este tema porque es fundamental para el hombre, y además mucha gente no lo toma en cuenta, así que la investigación debe de aportar más conocimientos porque básicamente se trata de explicar detalladamente cada rama de la lógica moderna y analizar su función en la ida cotidiana.

Cabe mencionar que podría servir como un peldaño para futuras investigaciones ya que por tener muchas ramas, y muchos subtemas se pueden iniciar nuevas investigaciones sobre dichos subtemas e incluso crear nuevas reglas de lógica y además se pueden hasta descubrir cosas nuevas analizando reglas de lógica recientes y crear hasta una lógica más avanzada, tan importante es este tema, que no se puede ignorar, porque se ignoraría la naturaleza del hombre que es el raciocinio. Puede derivar nuevas investigaciones que continúen o complementen este trabajo de investigación agregando más información, mas delimitada y menos general.

MARCO HISTÓRICO

Historia de la lógica

La lógica tiene una historia más de dos veces milenaria y su desarrollo ha sido siempre paralelo al de la ciencia y la filosofía. Más aún, incluso un gran número de científicos han hecho aportaciones fundamentales para el avance de la lógica. En el índice histórico representado a continuación, se puede seguir el proceso de ls lógica a través de los pensadores que han ocupado de su estudio y de las contribuciones que lograron. Para no distraer la atención, en ningún caso se hace referencia a otros trabajos realizados por los investigadores mencionados, ni siquiera en la misma obra citada, aun cuando la importancia científica o filosófica de tales trabajos supere en muchos casos a sus aportaciones lógicas.

Siglo VII a.c. TALES DE MILETO [640-546]; realiza por primera vez la demostración de un teorema de geometría.

Siglo VI a.c. ANAXIMANDRO DE MILETO [611-547]; formula el problema de la unidad la separación de los opuestos.

PITÁGORAS DE SAMOS [570-497] y su escuela de Crotona, desarrollan los procedimientos demostrativos en la geometría y la aritmética.

Siglo V a.c. HERÁCLITO DE ÉFESO [535-475]; plantea los problemas dialecticos fundamentales en su expresión primitiva; sostiene que todo lo existente se encuentra en devenir y está sujeto a cambios, movimientos y transformaciones incesantes, los cuales se producen por la lucha entre contrarios; considera que lo nuevo es el resultado de la interpretación de los opuestos.

ZENÓN DE ELEA [490-430]; desarrolla la dialéctica como germen de la lógica; inventa las aporías sobre la divisibilidad, el infinito, la extensión espacial, la duración temporal y el movimiento, basadas en los principios de identidad y de no-contradicción, que lo llevan a desenvolver los principios dialecticos opuestos y el razonamiento por reducción al absurdo.

PROTÁGORAS DE ABDERA [480-410] y otros sofistas; hacen un análisis lógico sutil y profundo del razonamiento; desarrollan prácticamente el arte de la argumentación; prueban que el principio abstracto de identidad es incompatible con el conocimiento.

MO TI [479-381] y otros miembros de la escuela mohista, en China; investigan el lenguaje como actividad dialéctica del pensamiento; desarrollan los métodos de comparación, de paralelismo, de analogía y de extensión.

SÓCRATES [496-399]; desarrolla la mayéutica como método de argumentación y aprendizaje, para plantear bien los problemas y aclarar los conceptos; sostiene como criterio de verdad el consentimiento social

...