Aristóteles (384-322 a.C.) é considerado o pai da lógica formal e durante milhares de anos acreditou-se que tudo o que havia para ser descoberto nessa disciplina já havia sido dito pelo filósofo. Embora hoje se saiba que existem outras lógicas além da aristotélica, seus estudos foram a base para todos os desenvolvimentos posteriores. O filósofo […]