On 7/9/2012 12:22, ARF (Richard L. Epstein) wrote: > A crucial question for the foundations of mathematics and logic generally is: > > Is logic prescriptive or descriptive? > I do not see a contradiction in claiming both (descriptive of something, but prescriptive of(?) something else). C