Abstract
Logical laws are presupposed in all rational thought particulary in mathematical and physical theories where we discover remarkable results with their help. There are two great questions concerning their nature, the ontological and the gnoseological one.
What is the nature of logical laws, are they natural or normative laws? How do we recognize logical laws; are they innate, given "a priori" or do we recognize them "a posteriori" from our experience? For extension of logical laws for infinity it is necessary to accept the axiom of existence of actually infinite sets. Though we obtain a consistent theory we obtain simultaneously objects that have no interpretation in the natural world.