APORTES A LA LGICA 1. Aristteles:( 384aC - 332 a.C.

)
Los tratados de lgica de Aristteles, , conocidos como Organn, contienen el primer tratado sistemtico de las leyes de pensamiento para la adquisicin de conocimiento. Representan el primer intento serio que funda la lgica como ciencia. Aristteles no hace de la lgica una disciplina metafsica sino que establece correspondencias recprocas entre pensamiento lgico y estructura ontolgica Aristteles fue el que estableci en forma definitiva la filosofa como una rama principal del conocimiento, integrada al sistema general del saber humano.

2. Teofrasto:
Desarrollar numerosos teoremas para la lgica proposicional, adems de la doctrina de los silogismos hipotticos y la lgica modal, con lo que habra constituido el punto de inflexin entre la lgica aristotlica y la estoica. Los juicios pueden ser segn a la extensin del sujeto: Universales, o particulares. Segn la cualidad de la relacin entre conceptos: afirmativos o negativos. Los juicios se pueden clasificar ordenadamente en Universales Afirmativos (Se representan con la letra A), Universales Negativos (Se representan con la letra E), Particulares afirmativos (Se representan con la letra I) y finalmente Particulares negativos (Con la letra O.); Estas convenciones no fueron inventadas por Aristteles, pero provienen de las palabras en latn AfIrmo y nEgO. Silogismos: Es un razonamiento donde se deduce una conclusin partiendo de 2 juicios. Este est conformado por 3 partes y a su vez por 3 trminos. Las tres partes son: Premisa mayor (la ms universal), Premisa menor (menos universal) y la conclusin. Los tres trminos que mencionamos son el trmino mayor y el trmino menor (Sujeto y Predicado de la conclusin: S es P), finalmente el trmino medio (letra M) que aparece en ambos juicios

3. Boecio: (480-524 a.C.).

Es el autor a travs del cul fueron conocidas y estudiadas las teoras aristotlicas sobre el lenguaje y la lgica.

4. Duns Scoto:
En su sistema de filosofa Duns Escoto analiz con precisin los conceptos de causalidad y posibilidad en un intento de establecer una prueba rigurosa de la existencia de Dios, el ser primero e infinito. No obstante, mantena que para conocer la verdad en toda su amplitud y cumplir con el propio destino eterno no debe limitarse a hacer uso de las intuiciones derivadas del conocimiento natural o la filosofa, sino que tambin debe intentar conocer y aceptar la revelacin divina. La revelacin complementa y perfecciona el conocimiento natural, y, en consecuencia, no puede haber contradiccin entre ellos. Para Duns Escoto, teologa y filosofa son disciplinas distintas y separadas; sin embargo, se complementan, porque la teologa recurre a la filosofa como una herramienta. En su

opinin, el inters primordial de la teologa es Dios, considerado desde el punto de vista de Su propia naturaleza, mientras que la filosofa slo apela a Dios en la medida en que l es la causa primera de las cosas. Al considerar la naturaleza de la teologa como una ciencia, sin embargo, Duns Escoto se apart de forma clara de su precursor dominico, santo Toms de Aquino. Mientras santo Toms defina la teologa primero y ante todo como una disciplina especulativa, Duns Escoto abordaba la teologa como una ciencia prctica, interesada en cuestiones tericas slo en la medida en que stas se plantean como fin el salvar almas a travs de la revelacin. Argument que mediante la fe una persona puede conocer con absoluta certeza que el alma es incorruptible e inmortal; la razn puede argumentar con verosimilitud la existencia de tales cualidades del alma, pero no puede probar que existan con exactitud. Duns Escoto afirmaba que los universales no tienen una existencia separada de la mente humana, sino que cada cosa separada o 'singular' posee una naturaleza distinta hacia el exterior que comparte con otras cosas de la misma clase. Este hecho, pensaba, suministra el fundamento objetivo de nuestro conocimiento sobre las verdades esenciales. Siguiendo la tradicin franciscana establecida por el telogo italiano San Buenaventura, Duns Escoto recalc la primaca de la libertad humana y de los actos de amor sobre el intelecto. Evitaba una visin arbitraria o voluntarista de los actos de Dios, aunque adverta al mismo tiempo que la existencia actual de las cosas depende de una decisin libre tomada por Dios, y sostena que las obligaciones morales dependen de la voluntad de Dios. Esa voluntad, enseaba, es libre por completo y no estaba formada o determinada por motivos concretos. Dios ordena una accin no porque l vea que es buena, como afirmaba santo Toms, sino que la hace buena al ordenarla.

5. Guillermo de Ockam:
En lgica, Ockham trabaj en direccin a lo que ms tarde se llamara Leyes de De Morgan y lgica ternaria, es decir, un sistema lgico con tres valores de verdad, concepto que sera retomado en la lgica matemtica de los siglos XIX y XX. En lgica El principio de la Navaja de Ockham se utiliza fundamentalmente como complemento de las leyes de la lgica, con el fin de evitar el pensamiento mgico. Segn este principio, siempre que se encuentren varias explicaciones a un fenmeno, se debe escoger la ms sencilla que lo explique por completo. Por ejemplo, para explicar la cada de una manzana al suelo, podramos plantear las siguientes explicaciones: 1. Unos duendes traviesos invisibles e indetectables la han movido hasta el suelo, movidos por el afn de molestar. 2. La madurez propia de la fruta ha debilitado el pednculo por el que est unida al rbol y, debido al peso excesivo, la gravedad ha propiciado su cada. 3. Una tormenta a su paso tir la manzana. Todas estas hiptesis explican igualmente el fenmeno, pero el criterio de Ockham nos obliga a escoger la segunda como la ms probable, ya que las dems nos obligaran a asumir una serie de postulados mucho ms complicados.

La teora de la navaja de Ockham se aplica a casos prcticos y especficos, englobndose dentro de los principios fundamentales de la filosofa de la escuela nominalista de la que el propio Ockham es el miembro ms destacado (conocido en su poca como venerable principiante) que opera sobre conceptos individualizados y casos empricos.

6. Gottfried W. Leibniz: (1646-1716)

Filsofo y matemtico alemn. En el Discurso sobre el arte combinatorio enuncia la necesidad de un lenguaje riguroso, exacto y universal puramente formal. Como matemtico, su principal trabajo publicado en 1684 es la memoria Nuevo mtodo para la determinacin de los mximos y los mnimos, en la que expone las ideas fundamentales del clculo infinitesimal; introdujo el smbolo de integral y de diferencial de una variable. En el rea de lgica matemtica publica Generales inquisitiones de analysi notionum et veritatum y Fundamenta calculi logici .

7. Leonhard Euler
En el campo de la lgica, se atribuye a Euler el uso de curvas cerradas para ilustrar el razonamiento silogstico (1768). Este tipo de representaciones reciben el nombre de diagramas de Euler. El silogismo es una forma de razonamiento deductivo que consta de dos proposiciones como premisas y otra como conclusin, siendo la ltima una inferencia necesariamente deductiva de las otras dos
CLASE A E I O DENOMINACIN Universal Afirmativo Universal Negativo Particular afirmativo Particular Negativo ESQUEMA Todo S es P Ningn S es P6 Algn S es P Algn S es no-P7 EXPRESIN-EJEMPLO Todos los hombres son mortales Ningn hombre es mortal Algn hombre es mortal Algn hombre es no-mortal8 Extensin de los trminos S: Universal P: Particular S: Universal P: Universal S: Particular P: Particular S: Particular P: Universal

Diagramas de Euler En el sentido de la lgica, uno puede usar la semntica de un modelo terico para interpretar los diagramas de Euler dentro de un dominio de discurso. En el ejemplo de la figura, el diagrama de Euler representa que los conjuntos Animal y Mineral son disjuntos, porque las curvas correspondientes son disjuntas, y tambin que el conjunto Four Legs es un subconjunto del conjunto Animal. El diagrama de Venn que usa las mismas categoras Animal, Mineral y Four Legs no encapsula esta informacin. Tradicionalmente, este vaco de un conjunto en los diagramas de Venn es descrito por un sombreado o achurado de la regin. Los diagramas de Euler, en cambio, representan vaco ya sea por el sombreado o por la omisin de una de las zonas.

8. Augustus De Morgan (1806-1871).

Su mayor contribucin en el estudio de la lgica incluye la formulacin de las Leyes de Morgan y su trabajo fundamenta la teora del desarrollo de las relaciones y la matemtica simblica moderna o lgica matemtica. De Morgan es autor de la mayor contribucin como reformador de la lgica.
Leyes del Morgan Las Leyes de Morgan permiten: 1. 2. El cambio del operador de conjuncin en operador de disyuncin y viceversa. Las proposiciones conjuntivas o disyuntivas a las que se aplican las leyes de Morgan pueden estar afirmadas o negadas (en todo o en sus partes).

La estrategia general a seguir en la aplicacin de las leyes de Morgan es el siguiente: 3. Si nos encontramos con una proposicin conjuntiva totalmente negada, la ley de Morgan nos permite transformarla en una proposicin disyuntiva con cada uno de sus miembros negados. SU ESQUEMA ES EL SIGUIENTE: (P Q) ( P Q) 4 .Si nos encontramos con una proposicin disyuntiva totalmente negada, la ley de Morgan nos permite transformarla en una proposicin disyuntiva con cada uno de sus miembros negados. SU ESQUEMA ES EL SIGUIENTE: (P Q) ( P Q) 5 .Si nos encontramos con una proposicin conjuntiva afirmada, la ley de Morgan nos permite transformarla en una proposicin disyuntiva negada en su totalidad y en sus miembros. SU ESQUEMA ES EL SIGUIENTE: (P Q) ( P Q) 6. Si nos encontramos con una proposicin disyuntiva afirmada, la ley de Morgan nos permite transformarla en una proposicin conjuntiva negada en su totalidad y en sus miembros. SU ESQUEMA ES EL SIGUIENTE: P Q) ( P Q)

9. Boole:
El creador indiscutible de la Lgica Matemtica fue el ingls George Boole (1815 1864) a travs de sus obras Anlisis matemtico de la lgica e Investigaciones de las leyes de pensamiento. Boole utilizo el lenguaje del lgebra para atacar los problemas lgicos tradicionales planteados por el silogismo aristotlico, los cuales resolvi a travs de procedimientos mecnicos de clculo. Sin embargo, este nuevo lenguaje, conocido como lgebra de Boole, manifest su potencia resolviendo problemas que excedan los alcances de la lgica aristotlica y poniendo por primera vez en evidencia los errores del estagirita. El lgebra de Boole tambin se conoce como lgebra de clases o un lgebra de conjuntos que continuo investigando Augusto De Morgan (1806 1878). Posteriormente el ingls

Jevons, el alemn Schroeder y el sovitico Poretskiy convirtieron el lgebra de clases en un lgebra de proposiciones

10. Venn:
Destac por sus investigaciones en lgica inductiva. Es especialmente conocido por su mtodo de representacin grfica de proposiciones (segn su cualidad y cantidad) y silogismos. Los diagramas de Venn permiten, adems, una comprobacin de la verdad o falsedad de un silogismo. Posteriormente fueron utilizados para mostrar visualmente las operaciones ms elementales de la teora de conjuntos.

11. Peano:
Hasta el ao 1878, en el que comenz a publicarse una serie de artculos de Hugh Mc Coll (1837-1909) sobre el "Clculo de enunciados equivalentes", se consideraba que la lgica matemtica era, simplemente, la lgica de clases, el lgebra de clases. Fue a partir de entonces cuando se empez a entender que toda la lgica matemtica dependa de la implicacin lgica entre enunciados diversos. Que la raz de toda la lgica matemtica es la teora de enunciados, y no la teora de clases. La gran aportacin de Peano al respecto fue la idea de que es posible poner todas las argumentaciones de la lgica de enunciados y de la lgica de clases en un lenguaje artificial de signos, conectados mediante implicaciones. En este sentido, afirmaba que "todos los teoremas de la matemtica sin implicaciones entre enunciados". Esta idea de Peano fue inspiradora de la definicin que Russell y Whitehead daban en los Principia Mathematica del concepto que tenan de la Matemtica: La matemtica es la clase de los enunciados de la forma "si A entonces B", estando los enunciados A y B sujetos a ciertas limitaciones. Para Peano la Logica Matemtica era, realmente, la Lgica de la Matemtica, esto es, un instrumento cuyo objetivo era dar el rigor y adecuado valor a las argumentaciones del quehacer de la matemtica.

12.

Whitehead:

Para Whitehead, la funcin general de la razn y, por lo tanto, de la filosofa, es un "gradual acercamiento de las ideas de claridad y de generalidad". El punto de partida no son las premisas evidentes, sino la compleja y multiforme experiencia de la vida y, a partir de ella, intentar una generalizacin terica, consciente de que cada teora es una "casualidad" y una simplificacin abstracta e inadecuada, que necesita continuas correcciones. Este camino del conocimiento refleja, por otra parte, la evolucin de la naturaleza. La realidad se describe como un proceso, constituido por eventos en
recproca conexin.

13.

Gentzen: El sistema de Gentzen es un sistema deductivo similar al mtodo del tableaux tanto en su desarrollo como en su funcin, con la diferencia que el mtodo del tableaux parte de la meta negando la formula original y el sistema Gentzen de las literales que contiene la formula

14.

Willard van Orman Quine: Quine es conocido por su afirmacin de que el modo en que el individuo usa el lenguaje determina qu clase de cosas est comprometido a decir que existen. Adems, la justificacin para hablar de una manera en lugar de otra, al igual que la justificacin de adoptar un sistema conceptual y no otro, es para Quine una manifestacin absolutamente pragmtica. Tambin es conocido por su crtica a ciertas doctrinas del empirismo lgico y la distincin tradicional entre afirmaciones sintticas (proposiciones empricas o basadas en hechos) y afirmaciones analticas (proposiciones necesariamente verdaderas), al negar una distincin analtico-sinttica absoluta propone un holismo semntico en el cual las proposiciones son observadas en conjunto y no por separado cada una. Quine realiz sus principales contribuciones a la teora de conjuntos, una rama de la lgica matemtica que tiene que ver con la relacin entre las clases. Quine tambin realiz un aporte fundamental a la lingstica terica, al proponer mtodos recursivos para construir gramticas que describan el lenguaje humano, separando as las clases K de secuencias significativas idiomaticamente de las asignificativas idiomaticamente, mtodo formal que inspirara a su alumno Chomsky a estudiar en profundidad las estructuras sintcticas de las lenguas naturales. En lingstica frente al innatismo de Chomsky ha tenido posturas cercanas al conductismo, aunque en ocasiones ha declarado en sus escritos que hay cierta predisposicin a adquirir el lenguaje por parte del nio.