The subject of this article is the role of inductive reasoning (in the meaning of induction by incomplete enumeration) in the methodology of mathematics. The following types of induction have been distinguished: I 1) induction which causes formulation of axioms of different mathematical theories; I 2) enumerative induction which causes formulation of theorems on the basis of a finite number of cases; I 3) induction concerning the range of application of mathematical symbols; I 4) induction generalising the properties of finite (...) sets to the infinite case; I 5) induction pointing to analogies between problems belonging to different domains of mathematics. Inductive reasoning should not be put against the creativity of scientists, as induction is often an important, though not always conscious part of our cognition. The concept of notional metaphor can be useful for explaining the nature of inductive reasoning. With this concept, a general scheme of inductive reasoning has been proposed, which, in the opinion of the authors, is more adequate for presenting the nature of induction than traditional approaches. (shrink)

Pascal’s Wager is one of the most interesting and original arguments for the existence of God. It does not invoke advanced metaphysical concepts; instead, it employs the methods and concepts of probability calculus. Its argumentative power mainly rests on the appropriate interpretation of the determinants of human existence, which are taken to include our cognitive, moral and physical limitations. The article discusses different aspects of Pascal’s reasoning. In particular, it examines the wager in the context of Grace as something that (...) Pascal himself believed in. (shrink)