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. https://doi.org/10.5220/0011063300003182
Authors
Date
2022Copyright
© 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.
Publisher
SCITEPRESS - Science and Technology PublicationsParent publication ISBN
978-989-758-562-3Conference
International Conference on Computer Supported EducationIs part of publication
CSEDU 2022 : Proceedings of the 14th International Conference on Computer Supported Education. Vol. 2ISSN Search the Publication Forum
2184-5026Keywords
Publication in research information system
https://converis.jyu.fi/converis/portal/detail/Publication/144276813
Metadata
Show full item recordCollections
License
Related items
Showing items with similar title or keywords.
-
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 ... -
Prospective mathematics teachers' informal and formal reasoning about the concepts of derivative and differentiability
Viholainen, Antti (University of Jyväskylä, 2008) -
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 ... -
Ongelmanratkaisun opettaminen todennäköisyystehtävissä
Koski, Nanni (2017)Mitä enemmän oppilas tai opiskelija oivaltaa itse, sitä enemmän hän oppii ja nauttii ongelmanratkaisusta. Tämä ajatus toimii lähtökohtana tutkielmassa. Käsiteltävät tehtävät ovat tasoltaan yläkouluun ja / tai lukioon ...