Logika w starożytności