Adapting Formal Logic for Everyday Mathematics
Valmari, A. (2022). Adapting Formal Logic for Everyday Mathematics. In M. Cukurova, N. Rummel, D. Gillet, B. McLaren, & J. Uhomoibhi (Eds.), CSEDU 2022 : Proceedings of the 14th International Conference on Computer Supported Education. Vol. 2 (pp. 515-524). SCITEPRESS - Science and Technology Publications. CSEDU. https://doi.org/10.5220/0011063300003182
© 2022 SCITEPRESS
Although logic is considered central to mathematics and computer science, there is evidence that teaching logic has not been a great success. We identify three issues where what is typically taught conflicts with what is needed by those who are supposed to apply logic. First, what is taught about the notion of implication often disagrees with human intuition. We argue that in some cases human intuition is wrong, and in some others teaching is to blame. Second, the formal concepts of logical consequence, logical equivalence and tautology are not the similar concepts that everyday mathematicians and computer scientists need. The difference is small enough to go unnoticed but big enough to cause confusion. Third, how to deal with undefined operations such as division by zero is left informal and perhaps fuzzy. These problems also harm development of computer tools for education. We present suggestions about how to address them in teaching.
PublisherSCITEPRESS - Science and Technology Publications
Parent publication ISBN978-989-758-562-3
ConferenceInternational Conference on Computer Supported Education
Is part of publicationCSEDU 2022 : Proceedings of the 14th International Conference on Computer Supported Education. Vol. 2
Publication in research information system
MetadataShow full item record
Showing items with similar title or keywords.
Prospective mathematics teachers' informal and formal reasoning about the concepts of derivative and differentiability Viholainen, Antti (University of Jyväskylä, 2008)
Automated Checking of Flexible Mathematical Reasoning in the Case of Systems of (In)Equations and the Absolute Value Operator Valmari, Antti (SCITEPRESS - Science and Technology Publications, 2021)We present an approach and a tool for automatically providing feedback on solutions that involve complicated reasoning patterns. Currently the tool supports linear systems of equations and inequations that may also contain ...
Joutsenlahti, Jorma; Perkkilä, Päivi (LUMA Centre Finland, 2022)The concept “mathematical thinking” can be found in several studies of mathematics education, in national curricula or in media during the decades all over the world. We searched words “mathematical thinking” from the ...
Matemaattisen ongelmanratkaisutaidon opettaminen peruskoulussa : ongelmanratkaisukurssin kehittäminen ja arviointi Leppäaho, Henry (Jyväskylän yliopisto, 2007)Henry Leppäaho selvitti tutkimuksessaan, kuinka oppilaiden ongelmanratkaisutaitoa voidaan kehittää peruskoulussa. Pelkästään ongelmanratkaisustrategioiden opettaminen auttaa vain vähän itse ongelmanratkaisukykyä. Strategioiden ...
Developing Primary School Students’ Formal Geometric Definitions Knowledge by Connecting Origami and Technology Budinski, Natalija; Lavicza, Zsolt; Fenyvesi, Kristof; Milinković, Dragica (Modestum Ltd, 2020)In this paper, we present opportunities with the uses of origami and technology, in our case GeoGebra, in teaching formal geometric definitions for fifth-grade primary school students (11-12yrs). Applying origami in ...