Nonstandard analysis and philosophy