About THE Topic
Text is a crucial medium to transfer mathematical ideas, agendas and results among the scientific community and in educational context. This makes the focus on mathematical texts a natural and important part of the philosophical study of mathematics. Moreover, it opens up the possibility to apply a huge corpus of knowledge available from the study of texts in other disciplines to problems in the philosophy of mathematics.
This symposium aims to bring together and build bridges between researchers from different methodological backgrounds to tackle questions concerning the philosophy of mathematics. This includes approaches from philosophical analysis, linguistics (e.g., corpus studies) and literature studies, but also methods from computer science (e.g., big data approaches and natural language processing), artificial intelligence, cognitive sciences and mathematics education. (cf. Fisseni et al. to appear; Giaquinto 2007; Mancosu et al. 2005; Schlimm 2008; Pease et al. 2013).
The right understanding of mathematical texts might also become crucial due to the fast successes in natural language processing on one side and automated theorem proving on the other side. Mathematics as a technical jargon or as natural language, which quite reach structure, and semantic labeling (via LaTeX) is from the other perspective an important test-case for practical and theoretical study of language.
Hereby we understand text in a broad sense, including informal communication, textbooks and research articles.
We note that there will be another broader application to host a contributed symposia by the Association for Philosophy of Mathematical Practice. We apparently hope that both symposia get accepted and would suggest, not to parallelize both, since both symposia are interesting for some of our participants.
Bibliography:
B. Fisseni, B. Schröder, Deniz Sarikaya and M. Schmitt. How to frame a mathematician. Modelling the cognitive background of proofs. In: S. Centrone, D. Kant and D. Sarikaya (Eds.): Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Synthese Library, Springer, Berlin (To Appear 2019).
Giaquinto, Marcus: Visual thinking in mathematics. An epistemological study. Oxford: Oxford University Press (2007).
Mancosu, Paolo; Jørgensen, Klaus F.; Pedersen, Stig A. (Eds): Visualization, explanation and reasoning styles in mathematics. Dordrecht, Norwell, MA: Springer (Synthese library, 327) (2005).
Pease, Alison; Guhe, Markus; Smaill, Alan: “Developments in research on mathematical practice and cognition”, Topics in cognitive science 5(2) (2013), pp. 224–230.
Schlimm, Dirk: “Two Ways of Analogy. Extending the Study of Analogies to Mathematical Domains”, Philosophy of Science 75(2) (2008), pp. 178–200.
This symposium aims to bring together and build bridges between researchers from different methodological backgrounds to tackle questions concerning the philosophy of mathematics. This includes approaches from philosophical analysis, linguistics (e.g., corpus studies) and literature studies, but also methods from computer science (e.g., big data approaches and natural language processing), artificial intelligence, cognitive sciences and mathematics education. (cf. Fisseni et al. to appear; Giaquinto 2007; Mancosu et al. 2005; Schlimm 2008; Pease et al. 2013).
The right understanding of mathematical texts might also become crucial due to the fast successes in natural language processing on one side and automated theorem proving on the other side. Mathematics as a technical jargon or as natural language, which quite reach structure, and semantic labeling (via LaTeX) is from the other perspective an important test-case for practical and theoretical study of language.
Hereby we understand text in a broad sense, including informal communication, textbooks and research articles.
We note that there will be another broader application to host a contributed symposia by the Association for Philosophy of Mathematical Practice. We apparently hope that both symposia get accepted and would suggest, not to parallelize both, since both symposia are interesting for some of our participants.
Bibliography:
B. Fisseni, B. Schröder, Deniz Sarikaya and M. Schmitt. How to frame a mathematician. Modelling the cognitive background of proofs. In: S. Centrone, D. Kant and D. Sarikaya (Eds.): Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Synthese Library, Springer, Berlin (To Appear 2019).
Giaquinto, Marcus: Visual thinking in mathematics. An epistemological study. Oxford: Oxford University Press (2007).
Mancosu, Paolo; Jørgensen, Klaus F.; Pedersen, Stig A. (Eds): Visualization, explanation and reasoning styles in mathematics. Dordrecht, Norwell, MA: Springer (Synthese library, 327) (2005).
Pease, Alison; Guhe, Markus; Smaill, Alan: “Developments in research on mathematical practice and cognition”, Topics in cognitive science 5(2) (2013), pp. 224–230.
Schlimm, Dirk: “Two Ways of Analogy. Extending the Study of Analogies to Mathematical Domains”, Philosophy of Science 75(2) (2008), pp. 178–200.