J. Alberto Coffa circa 1973 from here |
The flow of reasoning seems to be similar to Von Mises, and Mach, i.e. a Kantian, in that first observe nature empirically and from there derive mathematical concepts and axioms. In this way, even axioms are derived by induction and then, perhaps, generalizable by deduction.
Moreover, Moritz Schlick arrived to a similar conclusion, in that the
"...the construction of a strict deductive science has only the significance of a game with symbols." GTK, 37 in Coffa, 176.Russell, against Poincare, held the same view:
Geometric indefinables [i.e. components of axioms] are first given to us in acquaintance [i.e. intuition]. Coffa, 132And also
Russell explained that the reasons we have for accepting a fomula as a truth of logic are "inductive". Coffa 124
which is a very bold assertion to make! Induction is at the base of Deduction, where the latter is customarily considered to be superior to the former!
No comments:
Post a Comment