Formal Logic

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 "apofántic 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 información resumida sobre lógica formal. Contiene links a paginas que amplian esta informacion "on line".

La lógica formal, como un análisis explícito de los métodos de razonamientos, se desarrolló originalmente en tres civilizaciones de la historia antigua: China, India y Grecia, entre el Siglo V y el Siglo I a. C. Sin embargo Aristóteles fue el primero en emplear el término “Lógica” para referirse al estudio de los argumentos dentro del "lenguaje apofántico[1]" como manifestador de la verdad en la ciencia. Con Aristóteles nace la lógica formal. Aristóteles formalizó el cuadro de oposicion de los juicios y las formas válidas del silogismo.[2]