Singer ve en el análisis una implicación lógica; el modus tollens de Taylor es el modus ponens de Singer.