Contains papers from a conference on Nonstandard Methods and Applications in Mathematics that was held in Italy. The papers address nonstandard analysis, which is one of the great achievements of modern applied mathematical logic. They focus on its philosophical achievement of providing a mathematical basis for using infinitesimals in analysis.