International Symposium Philosophical Insights into Logic and Mathematics: the History and Outcome of Alternative Semantics and Syntax