Trabajos

Solo disponible en BuenasTareas
  • Páginas : 7 (1656 palabras )
  • Descarga(s) : 0
  • Publicado : 16 de agosto de 2012
Leer documento completo
Vista previa del texto
FUNDACION UNIVERSITARIA CATOLICA INGENIERIA INDUSTRIAL 1 SEMESTRE RESEÑA HISTORICA DE LA LOGICA PROFESOR: JAMES JARAMILLO MATERIA: LOGICA COMPUTACIONAL NOMBRE : JEAN PAUL GUTIERREZ RESEÑA HISTORICA DE LA LOGICA El nacimiento de la lógica propiamente dicho está directamente relacionado con el nacimiento intelectual del ser humano. La lógica emerge como mecanismo espontaneo en el enfrentamiento delhombre con la naturaleza, para comprenderla y aprovecharla. Poncaire destaca cinco etapas o revoluciones en ese proceso que se presentan entre dos grandes tópicos: del rigor y la formalidad, a la creatividad y el caos. Las etapas se identifican como: Revolución Matemática, Revolución científica, Revolución formal y Revolución digital; adema de la próxima y prevista Revolución Lógica. Lógicamatemática La lógica matemática cuestiona con rigor los conceptos y las reglas de deducción utilizados en matemáticas lo que convierte la lógica en una especie de matemáticas. Una teoría matemática considera objetos definidos – enteros, por ejemplo- y define las leyes que relacionan a estos objetos entre sí, los axiomas de la teoría. De los axiomas se deducen nuevas proposiciones –los teoremas-, y aveces nuevos objetos. La construcción de sistemas formales –formalización, piedra angular de la lógica matemática-, permite eliminar la arbitrariedad en la elección de los axiomas y definir explicita y exhaustivamente las reglas de la deducción matemática. Las matemáticas y la lógica Del año 600aC hasta 300aC se desarrollan en Grecia los principios formales de las matemáticas. Este periodo clásico loprotagonizan Platón, Aristóteles y Euclides. Platón propone ideas o abstracciones. Aristóteles resuelve el razonamiento deductivo y sistematizado. Euclides es el autor que establece el método axiomático. En los elementos Euclides organiza las pruebas deductivas de que dispone dentro de una estructura sistemática, rigurosa altamente eficaz. Platón Platón, 472aC – 347aC, propone instaurar aSiracusa una utópica república dirigida por filósofos. Crea la academia de Atenas que no era solo una institución filosófica, sino centro de formación política para jóvenes aristócratas. Según algunos especialistas, Platón edifica su teoría del conocimiento con el fin de justificar el poder emergente de la figura del filosofo. Sostiene la existencia de dos mundos -el mundo de las ideas y el mundo físicode los objetos -. Según Platón, lo concreto se percibe en función de los abstracto y por tanto

todo el mundo sensible existe gracias al mundo de las ideas. Platón escoge el formato dialogo como forma de transmisión del pensamiento.

Aristóteles Los tratados de lógica de Aristóteles, 348aC – 332aC, conocidos como Órganon, contiene el primer tratado sistemático de las leyes de pensamiento parala adquisición de conocimiento. Representan el primer intento serio que funda la lógica como ciencia. Aristóteles no hace de la lógica una disciplina metafísica sino que establece correspondencias reciprocas entre pensamiento lógico y estructura ontológica. El silogismo fue adoptado por los escolásticos que representan el sistema teologico - filosofico, característico de la edad media. Laescolástica, sin embargo a cabo por sobrecargar la teoría del silogismo, lo que acarreo su descredito a partir del Renacimiento. Los lógicos de la edad moderna como Ramee, Arnould, Nicole, Leibniz, Euler y Lambert procuraron simplificarla al máximo, y su tratamiento matemático se completo hasta principios del siglo XX con Boole, De Morgan, Frege y Russell. Desde entonces el silogismo se incluye en lalógica de predicados de primer orden y en la lógica de clases, y ocupa en la ciencia lógica un papel mucho menor que en otros tiempos. Euclides Matemático alejandrino autor de la universal Obra, los celebres Elementos. Uno de los textos matemáticos mas relevantes del siglo XlX. Los Elementos están divididos en Xlll libros y constituyen la recopilacion más exhaustiva de las matemáticas conocidas en...
tracking img