I attach a file with summary information on formal logic. Contains links to pages with more information online.
Formal logic as an explicit analysis of the methods of reasoning, was originally developed in the three ancient civilizations of China, India and Greece, between the V Century and I Century b. C. Aristotle was the first to use the word "logic" to refer to the study of arguments in the "apofantic languaje[1]" as manifestations of truth in science. Formal logic was born with Aristotle, who formalized the opposition box trials and valid forms of syllogism. [2]
Adjunto un file con informacion resumida sobre logica formal. Contiene links a paginas que amplian esta informacion "on line".
La logica formal, como un analisis explicito de los metodos de razonamientos, se desarrollo originalmente en tres civilizaciones de la historia antigua: China, India y Grecia, entre el Siglo V y el Siglo I a. C. Sin embargo Aristoteles fue el primero en emplear el termino "Logica" para referirse al estudio de los argumentos dentro del "lenguaje apofantico[1]" como manifestador de la verdad en la ciencia. Con Aristoteles nace la logica formal. Aristoteles formalizo el cuadro de oposicion de los juicios y las formas validas del silogismo.[2]
Desarrollado por LLIKA
Comentarios recientes