Percy Cayetano Acuña Vigil

Pagina organizada por Percy Cayetano Acuna Vigil, esta dedicada a temas de informacion y de discusion del urbanismo, el planeamiento y la arquitectura, enmarcados por mi vision de la filosofia politica.

Comentarios recientes

Se encuentra usted aquí

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 "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]



[1] Aristoteles distingue dos tipos de logos: el logos semantico, que corresponde al lenguaje como tal y el logos apofantico, o logos proposicional. El logos semantico corresponde a los significados de los signos linguisticos, es decir, a los conceptos. Se vincula con el conocimiento primario, intuitivo, anterior a la distincion entre existencia e inexistencia, entre verdad y falsedad. Al contrario, el logos proposicional o apofantico corresponde al conocimiento que afirma o niega algo acerca de algo, al conocimiento de la ciencia, la cual si esta limitada por la existencia y la verdad.

[2] El silogismo es una forma de razonamiento deductivo que consta de dos proposiciones como premisas y otra como conclusion, siendo la ultima una inferencia necesariamente deductiva de las otras dos. Fue formulado por primera vez por Aristoteles, en su obra logica recopilada como El Organon, de sus libros conocidos como Primeros Analiticos (en griego, Proto Analytika, en latin -idioma en el que se reconocio la obra en Europa Occidental-, Analytica Priora).

Categoria: