Ancient Greek logic