Il principio di non contraddizione: libro quarto della metafisica