Historia de La Logica

Es un conjunto de instrucciones o reglas bien definidas, ordenadas  que permite llevar a cabo una actividad mediante pasos sucesivos para resolver un problema.

Historia de La Lógica

Se basa en el nacimiento de la lógica en las características de tres factores, estos están  relacionados directamente con el nacimiento intelectual del ser humano, en la comunicación y el lenguaje, donde se plantea y se  emerge como mecanismo espontaneo en el enfrentamiento del hombre con la naturaleza, para comprenderla y aprovecharla.

Aristóteles  fue el fundador de la lógica en el siglo  iv  a.c Aristóteles definió la lógica como “ciencia que estudia los razonamientos correcto “existía un tipo de razonamiento (silogismo)

 (Henri poncaire) destaca  cinco etapas o revoluciones en las que él representa dos grande tipos: el rigor y la formalidad a la creatividad y el caos, por lo tanto las etapas se identifican como revolución matemática,  científica,  formal, y  digital centrándose en la  revolución de la lógica.

 La lógica tradicionalmente se consideró una rama de la filosofía  a finales del siglo xix, esta tuvo características por las matemáticas que dio paso a  la lógica  matemática,  en el siglo xx pasó de ser lógica simbólica  a símbolos y reglas.

La lógica aristotélica y estoica tuvo una  relación con los argumentos formulados en lenguaje natural  aunque eran formales, no eran formalistas.

La historia  de la lógica se desarrolló  en varias culturas y tradiciones, a  lo largo de la historia  tuvo  muchos sistemas de razonamiento, tuvo  mayor influencia en Mesopotamia (siglo xi)

El descubrimiento de la lógica india entre los especialistas británicos en el siglo xviii influyo también en la lógica moderna.

FECHA	NOMBRE DEL PENSADOR	OPINIÓN
1848	Aristóteles	(Categorías, Sobre la interpretación, Primeros analíticos, Analíticos posteriores y Tópicos) Con ello pretendían recalcar que el conocimiento de las leyes del razonamiento era fundamental
1895	George Boole	Publicó An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities, donde desarrolló un sistema de reglas que le permitían expresar, manipular y simplificar problemas lógicos y filosóficos cuyos argumentos admiten dos estados (verdadero o falso) por procedimientos matemáticos.
1929	Rudolf Carnap	El circulo de viena. en el cual se expresaban los principios fundamentales del neopositivismo
1936	Alonzo Church	Responsable por crear la base de computación teórica.
1847	Augustus  Morgan	Conocido por formular las llamadas leyes de De Morgan, en su memoria, y establecer un concepto riguroso del proceso
1926	Michael Dummett	.logica simbolica .logica matemática .enunciados de la identidad .referencias de conceptos y objetivos .el sentido y la referencia
1888	Gottlob Frege	lógica simbolica .logica matemática .enunciados de la identidad .referencias de conceptos y objetivos .el sentido y la referencia
1931	Kurt Gödel	intentó emplear la lógica y la teoría de conjuntos para comprender los fundamentos de la matemática
1831	Georg Hegel	generó una serie de reacciones y revoluciones que inauguraron toda una nueva visión de hacer filosofía
1755	Immanuel Kant	Crítica de la razón práctica Historia general de la naturaleza y teoría del cielo
1992	Gottfried Leibniz	empezó a trabajar en cálculo en 1674, y para 1677 tenía ya entre manos un sistema coherente, pero no lo publicó hasta 1684. Sus documentos más importantes de matemáticas salieron a luz entre 1682 y 1692
1873	John Stuart Mill	escuela económica clásica y teórico del utilitarismo, planteamiento ético
1914	Charles Peirce	Pragmatismo y el padre de la semiótica moderna.
1971	Arthur Prior	la lógica tensa, también conocida como lógica temporal, e hizo importantes contribuciones a la lógica intensional, particular en Prior
1987	Willard van Orman Quine	Epistemología naturalizada
1970	Bertrand Russell	filosofía analítica
1939	Alfred Tarski	teoría de conjuntos, lógica polivalente
1951	Ludwig Wittgenstein	Publicó el Tractatus logico-philosophicus, que influyó en gran medida a los positivistas lógicos del Círculo de Viena, movimiento del que nunca se consideró miembros

Tipos de Lógica

Lógicas Clásicas

Lógica de Enunciados

Es el nivel más básico de análisis lógico. Se analizan las relaciones que se dan entre los enunciados o las proposiciones; es, pues, una lógica interproposicional, no interproposicional. En este nivel se simboliza de la misma manera proposiciones o enunciados de contenido tan diferente como: "ahora llueve", "algunos días llueve" o "todos los días llueve".

¿Qué es uno enunciando o una proposición? Una oración declarativa que puede ser verdadera o falsa. Los enunciados dicen de las cosas y, consecuentemente, pueden ser verdaderos o falsos. No son enunciados las expresiones lingüísticas interrogativas, exclamativas o imperativas.

Lógica de predicados

Estudia las frases declarativas con mayor grado de detalle, considerando la estructura interna de las proposiciones. Se tomara como elemento básico los objetos y las relaciones entre dichos objetos. Es decir, se distingue:

·                    Que se afirma (predicado o relación)

·                    De quien se afirma (objeto)

Lógicas No Clásicas

Lógica Plurivalente

Una lógica plurivalente o lógica polivalente es un sistema lógico que rechaza el principio del tercero excluido de las lógicas bivalentes y admite más valores de verdad que los tradicionales verdadero y falso.10 Distintas lógicas plurivalentes pueden admitir distintas cantidades de valores de verdad: desde tres, hasta infinito (cualquier número real entre 0 y 1).

Lógica Intuicionista

Es el sistema lógico originalmente desarrollado por Arend Heyting para proveer una base formal para el proyecto intuicionista de Brouwer. El sistema enfatiza las pruebas, en vez de la verdad, a lo largo de las transformaciones de las proposiciones.

La lógica intuicionista rechaza el principio del tercero excluido, pero conserva el principio de explosión. Esto se debe a una observación de Brouwer de que si enfatizamos las pruebas en vez de la verdad, entonces en los conjuntos infinitos el principio del tercero excluido falla cuando se aplica a una proposición para la que no existe demostración, ni de su verdad ni de su falsedad. En los conjuntos finitos siempre es posible verificar si una proposición es cierta o falsa; en los infinitos, no.

Lógica Difusa 

Se basa en lo relativo de lo observado como posición diferencial. Este tipo de lógica toma dos valores aleatorios, pero contextualizados y referidos entre sí. Así, por ejemplo, una persona que mida dos metros es claramente una persona alta, si previamente se ha tomado el valor de persona baja y se ha establecido en un metro. Ambos valores están contextualizados a personas y referidos a una medida métrica lineal.

Lógica Modal

Intenta capturar el comportamiento deductivo de algún grupo de operadores modales.1 Los operadores modales son expresiones que califican la verdad de los juicios.1 Por ejemplo, en la oración «es necesario que 2 + 2 = 4», la expresión «es necesario que» es un operador modal que califica de necesaria a la verdad del juicio «2 + 2 = 4». De manera análoga, la expresión «siempre» califica a un juicio verdadero como verdadero en cualquier momento, es decir, siempre. No es lo mismo decir «está lloviendo» que decir «siempre está lloviendo».

Lógica Deóntica

Es la lógica de las normas y de las ideas normativas. Su campo de estudio corresponde a las peculiaridades como «autorizado», «prohibido», «obligatorio», «indiferente» .Es un tipo de lógica modal y se expresa que su desarrollo arranca con el descubrimiento de la similitud entre los conceptos deónticos y modales. Alois Höffler, lógico austriaco, fue uno de los iniciadores del estudio de esta similitud.2 La lógica deóntica fue pensada para analizar formalmente las normas o las proposiciones que tratan acerca de las normas.

Lógica Temporal

La lógica temporal es una extensión de la lógica modal, la cual es prácticamente usada en sistemas de reglas, donde está presente el tiempo. Existe una cierta relación con otras variedades de lógica, por ejemplo, la lógica modal. Su estudio tiene importancia en la informática hasta nuestros días.

Por ejemplo, tomemos la sentencia: "Tengo hambre"; aunque su significado es independiente del tiempo, el valor de verdad o falsedad de la misma puede variar con el tiempo en un determinado sistema que incluya acciones de comer; así, en función del sistema, algunas veces será cierta y otras falsa, aunque nunca será cierta y falsa simultáneamente.

Completitud

Es la propiedad meta teórica que tienen los sistemas formales cuando todas las fórmulas lógicamente válidas (todas las verdades lógicas) del sistema son además teoremas del sistema.1 Es decir, cuando el conjunto de las verdades lógicas del sistema es un subconjunto del conjunto de teoremas. En otras palabras, si A es una fórmula cualquiera del lenguaje y S es el sistema formal bajo consideración, entonces se cumple que:

Consistencia

La consistencia o consistencia lógica es la propiedad que tienen los sistemas formales cuando no es posible deducir una contradicción dentro del sistema. Es decir, dado un lenguaje formal y un aparato deductivo (axiomas y reglas de inferencia), no es posible deducir una fórmula y su negación. La existencia de un modelo implica que una teoría lógica es consistente.