Adapting Formal Logic for Everyday Mathematics

Antti Valmari

2022

Abstract

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.

Paper Citation

in Harvard Style

Valmari A. (2022). Adapting Formal Logic for Everyday Mathematics. In Proceedings of the 14th International Conference on Computer Supported Education - Volume 2: CSEDU, ISBN 978-989-758-562-3, pages 515-524. DOI: 10.5220/0011063300003182

in Bibtex Style

@conference{csedu22,
author={Antti Valmari},
title={Adapting Formal Logic for Everyday Mathematics},
booktitle={Proceedings of the 14th International Conference on Computer Supported Education - Volume 2: CSEDU,},
year={2022},
pages={515-524},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0011063300003182},
isbn={978-989-758-562-3},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 14th International Conference on Computer Supported Education - Volume 2: CSEDU,
TI - Adapting Formal Logic for Everyday Mathematics
SN - 978-989-758-562-3
AU - Valmari A.
PY - 2022
SP - 515
EP - 524
DO - 10.5220/0011063300003182