História da lógica , a história da disciplina desde as suas origens entre os gregos antigos até os dias de hoje.
Questionário Um estudo de história: quem, o quê, onde e quando? Quando foi fundada a primeira agência de detetives do mundo?Origens da lógica no Ocidente
Precursores da lógica antiga
Havia uma tradição medieval segundo a qual o filósofo grego Parmênides (século V aC) inventou a lógica enquanto vivia sobre uma rocha no Egito. A história é pura lenda, mas reflete o fato de que Parmênides foi o primeiro filósofo a usar um argumento extenso para seus pontos de vista, em vez de simplesmente propor uma visão da realidade. Mas usar argumentos não é o mesmo que estudá-los, e Parmênides nunca formulou ou estudou sistematicamente os princípios da argumentação por si próprios. Na verdade, não há nenhuma evidência de que ele estava ciente das regras implícitas de inferência usadas na apresentação de sua doutrina.
Talvez o uso do argumento de Parmênides tenha sido inspirado pela prática da matemática grega antiga entre os pitagóricos. Assim, é significativo que Parmênides tenha tido um professor pitagórico. Mas a história do pitagorismo neste período inicial está envolta em mistério e é difícil separar o fato da lenda.
Se Parmênides não estava ciente das regras gerais subjacentes a seus argumentos, o mesmo talvez não seja verdade para seu discípulo Zenão de Elea (século V aC). Zenão foi o autor de muitos argumentos, conhecidos coletivamente como “os Paradoxos de Zenão”, pretendendo inferir consequências impossíveis de uma visão não parmenídica das coisas e, assim, refutar tal visão e indiretamente estabelecer a posição monista de Parmênides. A estratégia lógica de estabelecer uma afirmação mostrando que seu oposto leva a consequências absurdas é conhecida como reductio ad absurdum. O fato de os argumentos de Zenão serem todos dessa forma sugere que ele reconheceu e refletiu sobre o padrão geral.
Outros autores também contribuíram para um crescente interesse grego em inferência e prova. Os primeiros retóricos e sofistas - por exemplo, Górgias, Hípias, Pródico e Protágoras (todos no século V aC) - cultivaram a arte de defender ou atacar uma tese por meio de argumentos. Essa preocupação com as técnicas de argumentação ocasionalmente levava apenas a exibições verbais de habilidades de debate, o que Platão chamou de "erística". Mas também é verdade que os sofistas foram fundamentais para levar a argumentação à posição central que ela ocupou exclusivamente no pensamento grego. Os sofistas estavam, por exemplo, entre as primeiras pessoas em qualquer lugar a exigir que as reivindicações morais fossem justificadas por razões.
Certos ensinamentos particulares dos sofistas e retóricos são significativos para o início da história da lógica. Por exemplo, é relatado que Protágoras foi o primeiro a distinguir diferentes tipos de sentenças: perguntas, respostas, orações e injunções. Pródico parece ter sustentado que duas palavras não podem significar exatamente a mesma coisa. Conseqüentemente, ele dedicou muita atenção à distinção e definição cuidadosa dos significados de sinônimos aparentes, incluindo muitos termos éticos.
Diz-se que Sócrates ( c. 470-399 aC) assistiu às palestras de Pródico. Como Pródico, ele buscou as definições das coisas, especialmente no domínio da ética e dos valores. Essas investigações, conduzidas por meio de debate e argumentação, conforme retratado nos escritos de Platão (428 / 427-348 / 347 aC), reforçaram o interesse grego pela argumentação e enfatizaram a importância do cuidado e do rigor no uso da linguagem.
Platão continuou o trabalho iniciado pelos sofistas e por Sócrates. No Sofista , ele distinguiu afirmação de negação e fez a importante distinção entre verbos e nomes (incluindo substantivos e adjetivos). Ele observou que uma declaração completa ( logos ) não pode consistir em um nome ou um verbo sozinho, mas requer pelo menos um de cada. Essa observação indica que a análise da linguagem se desenvolveu a ponto de investigar as estruturas internas dos enunciados, além das relações dos enunciados como um todo entre si. Esse novo desenvolvimento seria elevado à categoria de arte pelo aluno Aristóteles de Platão (384-322 aC).
Há passagens nos escritos de Platão em que ele sugere que a prática do argumento na forma de diálogo (“dialética” platônica) tem um significado maior além de seu uso ocasional para investigar um problema particular. A sugestão é que a dialética é uma ciência em si mesma, ou talvez um método geral para chegar a conclusões científicas em outros campos. Essas observações seminais, mas inconclusivas, indicam um novo nível de generalidade na especulação grega sobre o raciocínio.
