 Conventionalism was adopted by logical positivists, chiefly A. J. Ayer and Carl Hempel, and extended to both mathematics and logic.To deny rationalism, Ayer sees two options for empiricism regarding the necessity of the truth of formal logic (and mathematics)