Incontestée depuis des siècles, la logique d'Aristote gouverne nos esprits, sans que ses lois aient réellement été prouvées. Le principe de contradiction (il est impossible qu'une chose soit et ne soit pas, en même temps) est ici réexaminé non plus comme un dogme mais comme un principe qu'il faut démontrer. Surgit alors la possibilité d'une logique non aristotélicienne.