Filosofos Logicos

Ludwig Wittgenstein

fue un filósofo y lingüista austríaco, posteriormente nacionalizado británico. En vida publicó solamente un libro: 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ó miembro. Tiempo después, el Tractatus fue severamente criticado por el propio Wittgenstein en Los cuadernos azul y marrón y en sus Investigaciones filosóficas, ambas obras póstumas. Fue discípulo de Bertrand Russell en el Trinity College de Cambridge, donde más tarde también él llegó a ser profesor. Murió cerca de Elizabeth Anscombe, quien se encargó de que recibiera los auxilios de la Iglesia.


Michael Dummett


Sir Michael Anthony Eardley Dummett F.B.A. (nacido en 1925) es un importante filósofo británico. Ha escrito acerca de la historia de la filosofía analítica y ha hecho importantes contribuciones a esta disciplina, particularmente a las áreas de la filosofía de las matemáticas, la filosofía de la lógica, la filosofía del lenguaje y la metafísica. También concibió el sistema Quota Borda de votación proporcional, basado en el método Borda, y ha escrito ensayos sobre el tarot. Otros de sus intereses han sido las leyes de inmigración y el uso de la gramática inglesa. En 1944 ingresó en la Iglesia Católica y hoy en día sigue practicando el catolicismo.


Augustus De Morgan.


Augustus De Morgan (27 de junio de 1806 - 18 de marzo de 1871) fue un matemático y lógico inglés nacido en la India. Profesor de matemáticas en el Colegio Universitario de Londres entre 1828 y 1866; primer presidente de la Sociedad de Matemáticas de Londres. De Morgan se interesó especialmente por el álgebra. Fue tutor de Ada Lovelace. Escribió varias obras de lógica en las que se encuentra la idea de aplicar en esta esfera los métodos matemáticos, así como los primeros resultados de tal aplicación. En la moderna lógica matemática, llevan el nombre de De Morgan las siguientes leyes fundamentales del álgebra de la lógica: «la negación de la conjunción es equivalente a la disyunción de las negaciones»; «la negación de la disyunción es equivalente a la conjunción de las negaciones».


Aristóteles


fue uno de los más influyentes filósofos de la antigüedad, de la historia de la filosofía occidental y considerado por muchos como el autor enciclopédico más portentoso en la historia de la humanidad.


Fue el padre de la lógica formal, economía, astronomía, precursor de la anatomía y la biología y un creador de la taxonomía (es considerado el padre de la zoología y la botánica). Está considerado Aristóteles (junto a Platón) como el determinante de gran parte del corpus de creencias del Pensamiento Occidental del hombre corriente (aquello que hoy denominamos "sentido común" del hombre occidental).


Es reconocido por desarrollar la primera formalización lógica; la formulación del principio de no contradicción; la noción de sustancia entendida como sujeto, y la de categoría entendida como predicado; y la analogía del ser, que son consideradas como la base sobre la que se construyó la filosofía tradicional de occidente.


Aristóteles demostró, o formalizó, y, sobre todo, popularizó (según la perspectiva de donde se le vea) una serie de ideas novedosas para la filosofía de su tiempo, hoy comunes para muchas personas.


Alonzo Church


Alonzo Church (14 de junio de 1903 - 11 de agosto de 1995), matemático y lógico norteamericano responsable por crear la base de la computación teórica. Nacido en la ciudad de Washington, se diplomó en la Universidad de Princeton en 1924 y obtuvo su doctorado en 1927, donde ejerció como profesor entre 1929 y 1967.


Su obra más conocida es el desarrollo del cálculo lambda, y su trabajo de 1936 que muestra la existencia de problemas indecidibles. Este trabajo precedió el famoso trabajo de su alumno Alan Turing sobre el problema de parada