Abstrakt
Logické zákony se předpokládají ve všem racionálním uvažování, obzvlášť v matematických a fyzikálních teoriích, kde s jejich pomocí dospíváme k pozoruhodným výsledkům. Dvě velké otázky se týkají jejich povahy; ontologická a gnoseologická.
Jsou logické zákony zákony přírody anebo jsou spíše normativní? Jak je poznáváme, jsou vrozené, dané "a priori" nebo jsou "a posteriori" odvozené z naší zkušenosti? Abychom mohli rozšířit platnot logických zákonů i na nekonečno, je třeba přijmout axiom existence aktuálně nekonečných množin. Pak sice dostaneme konsistentní teorii, ale zároveň objekty, které nemají žádnou interpretaci v přirozeném světě.