historia da logica

História da Lógica
O mais contínuo antigo trabalho abordando a Lógica é de Aristóteles. Em contraste com outras tradições, a Lógica Aristotélica tornou-se amplamente aceita na Ciência e na Matemática. Em última análise, dando origem basilar e formalmente, aos sistemas sofisticados da Lógica Moderna.
Desde tempos antigos, várias civilizações arcaicas empregavam na história de seu pensamento como tal, intrincados sistemas de raciocínio e questões sobre lógica, ou se deparavam com paradoxos lógicos. Na Índia, o Sukta Nasadiya do Rigveda (RV 10,129) contém especulação ontológica em termos de várias divisões lógicas que foram posteriormente reformuladas formalmente como os quatro círculos de catuskoti: "A", "não A", "nem A ou não A", e "tanto um não, não e não A".
O filósofo chinês Gongsun Longa (325-250 A.C.) propôs o paradoxo "um e um não pode se tornar dois, uma vez que não se torna dois-em-si". Além disso, o chinês "Escola de nomes" está registrado como tendo examinados enigmas lógicos como "um cavalo branco não é um cavalo", logo no século V A.C. Na China, a tradição de investigação acadêmica em Lógica, porém, foi reprimida pela dinastia Qin após a filosofia legalista de Han Feizi.
A lógica na filosofia islâmica também contribuiu para o desenvolvimento da lógica moderna, que incluía o desenvolvimento de uma "lógica aviceniana" como uma alternativa para a renomada lógica aristotélica. O sistema de Avicena, na lógica, foi responsável pela introdução do hipotético silogismo, a lógica modal temporal e a lógica por raciocínio indutivo. A ascensão da escola Asharite, no entanto, tem seu trabalho original limitado pela lógica da filosofia islâmica, e embora ele não continue no século XV, teve uma influente significação sobre a lógica européia durante o Renascimento.
Na Índia, as inovações do ensino acadêmico, denominado Nyaya, continuaram integralmente desde os tempos antigos até o início do século XVIII, embora não perdurassem manifestas por muito tempo no período