História da quantificação – 1ª Parte: Silogística, a primeira lógica quantificada