Problema

-------------------------------------------------
Historia de la lógica
-------------------------------------------------

-------------------------------------------------
La Edad Antigua
Mesopotamia
el Manual de diagnóstico médico de Esagil-kin-apli, escrito en el siglo XI a. C., se basó en un conjunto lógico de axiomas y asunciones, entre las que se incluyen la visión moderna de que, através del examen e inspección de los síntomas de un paciente, es posible determinar el problema del mismo
Durante los siglos VII y VIII, los astrónomos babilonios empezaron a utilizar una lógica interna en sus sistemas de predicción planetaria que fue una importante contribución a la lógica y la filosofía de la ciencia.
La Antigua Grecia
emergieron dos tradiciones lógicas opuestas. Lalógica estoica estaba basada en Euclides de Megara, pupilo de Sócrates, y con su concentración en la lógica proposicional es la que quizás esté más próxima a la lógica moderna. Sin embargo, la tradición que sobrevivió a las influencias de culturas posteriores fue la peripatética, que tuvo su origen en el conjunto de obras de Aristóteles conocido como Organon , la primera obra griega sistemática sobrelógica. El examen de Aristóteles del silogismo permite interesantes comparaciones con el esquema indio de la inferencia y la menos rígida discusión china.
La Antigua India
Dos escuelas indias están relacionadas con la lógica: Nyāya y Vaisheshika. Los Nyaya  constituyen el núcleo de textos de la escuela. La filosofía budista idealista se convirtió en la principal oponente de los Naiyayikas. Nāgārjuna,el fundador del camino intermedio Madhyamika, desarrolló un análisis conocido como "catuskoti" o tetralemma. Esta argumentación de cuatro aspectos examinó y rechazó sistemáticamente la afirmación de una proposición, su negación, la afirmación conjunta y negación, y finalmente, el rechazo de su afirmación y negación. Las estimularon a la escuela neoescolástica de Navya-Nyāya, que introdujo unanálisis formal de la inferencia en al siglo XVI.
La Antigua China
un contemporáneo de Confucio, Mozi, es considerado como el fundador de la escuela Mohista , cuyos principios están relacionados con temas como la inferencia válida y las condiciones de las conclusiones correctas. En particular, una de las escuelas que siguieron al mohísmo, los lógicos, es considerada por varios expertos como laprimera que investigó la lógica formal. Desafortunadamente, debido a la rígida normativa legal durante la dinastía Qin, esa línea de investigación desapareció de China hasta la introducción de la filosofía india por parte del budismo.
-------------------------------------------------
La Edad Media
El mundo islámico
Durante un tiempo tras la muerte de Mahoma, la ley islámica consideró importanteformular estándares para los argumentos, lo que dio lugar a una nueva aproximación a la lógica en Kalam, pero esta aproximación fue más tarde desplazada por ideas tomadas de la filosofía griega y helenística con el auge de los filósofos de la escuela Mu'tazili, que valoraron extraordinariamente el Organon de Aristóteles. Las obras de los filósofos islámicos con influencias helenísticas fueroncruciales para la recepción de la lógica aristótelica en la Europa medieval, junto con los comentarios sobre el Organon elaborados por Averroes. Las obras de al-Farabi, Avicenna, al-Ghazali y otros lógicos musulmanes que en ocasiones criticaron y corrigieron la lógica aristotélica e introdujeron sus propias formas de lógica, también desempeñaron un papel central en el subsecuente desarrollo de la lógicaeuropea medieval.
La lógica islámica no solo incluye el estudio de modelos formales de inferencia y su validación, sino también elementos de la filosofía del lenguaje y elementos de epistemología y metafísica. Debido a disputas con gramáticos árabes, los filósofos islámicos estuvieron muy interesados en trabajar en el estudio de las relaciones entre lógica y lenguaje, y dedicaron muchas...