the scandinavian logic society
The conference will focus on how the nature of mathematics is regarded by representatives of formalism and structuralism. On the one hand, these two currents have much in common (they both agree that mathematics is not intuitive). On the other hand, they differ precisely in how they approach the problem whether mathematics does or does not have subject matter. Formalists reduce mathematics to mere manipulation with signs, thereby giving rise to the appearance that on their view mathematics cannot have any subject matter, while many structuralists admit objective grounding of mathematics and thereby return to the traditional theoretical conception of science.
Please see http://www.ktf.cuni.cz/KTF-1347.html for more information.