Show simple item record

dc.contributor.authorValmari, Antti
dc.contributor.editorCukurova, Mutlu
dc.contributor.editorRummel, Nikol
dc.contributor.editorGillet, Denis
dc.contributor.editorMcLaren, Bruce
dc.contributor.editorUhomoibhi, James
dc.date.accessioned2022-05-11T11:42:56Z
dc.date.available2022-05-11T11:42:56Z
dc.date.issued2022
dc.identifier.citationValmari, A. (2022). Adapting Formal Logic for Everyday Mathematics. In M. Cukurova, N. Rummel, D. Gillet, B. McLaren, & J. Uhomoibhi (Eds.), <i>CSEDU 2022 : Proceedings of the 14th International Conference on Computer Supported Education. Vol. 2</i> (pp. 515-524). SCITEPRESS - Science and Technology Publications. <a href="https://doi.org/10.5220/0011063300003182" target="_blank">https://doi.org/10.5220/0011063300003182</a>
dc.identifier.otherCONVID_144276813
dc.identifier.urihttps://jyx.jyu.fi/handle/123456789/81010
dc.description.abstractAlthough 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.en
dc.format.mimetypeapplication/pdf
dc.language.isoeng
dc.publisherSCITEPRESS - Science and Technology Publications
dc.relation.ispartofCSEDU 2022 : Proceedings of the 14th International Conference on Computer Supported Education. Vol. 2
dc.rightsIn Copyright
dc.subject.otherhigh school mathematics
dc.subject.otherelementary university mathematics
dc.subject.otherhigher order thinking skills
dc.titleAdapting Formal Logic for Everyday Mathematics
dc.typeconferenceObject
dc.identifier.urnURN:NBN:fi:jyu-202205112659
dc.contributor.laitosInformaatioteknologian tiedekuntafi
dc.contributor.laitosFaculty of Information Technologyen
dc.contributor.oppiaineTutkintokoulutusfi
dc.contributor.oppiaineDegree Educationen
dc.type.urihttp://purl.org/eprint/type/ConferencePaper
dc.relation.isbn978-989-758-562-3
dc.description.reviewstatuspeerReviewed
dc.format.pagerange515-524
dc.relation.issn2184-5026
dc.type.versionpublishedVersion
dc.rights.copyright© 2022 SCITEPRESS
dc.rights.accesslevelopenAccessfi
dc.relation.conferenceInternational Conference on Computer Supported Education
dc.subject.ysoopetus
dc.subject.ysoristiriidat
dc.subject.ysomatematiikka
dc.subject.ysopäättely
dc.subject.ysointuitio
dc.subject.ysomatemaattinen ajattelu
dc.subject.ysotietojenkäsittelytieteet
dc.subject.ysologiikka
dc.format.contentfulltext
jyx.subject.urihttp://www.yso.fi/onto/yso/p2630
jyx.subject.urihttp://www.yso.fi/onto/yso/p2187
jyx.subject.urihttp://www.yso.fi/onto/yso/p3160
jyx.subject.urihttp://www.yso.fi/onto/yso/p5902
jyx.subject.urihttp://www.yso.fi/onto/yso/p9871
jyx.subject.urihttp://www.yso.fi/onto/yso/p23001
jyx.subject.urihttp://www.yso.fi/onto/yso/p21029
jyx.subject.urihttp://www.yso.fi/onto/yso/p456
dc.rights.urlhttp://rightsstatements.org/page/InC/1.0/?language=en
dc.relation.doi10.5220/0011063300003182


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

In Copyright
Except where otherwise noted, this item's license is described as In Copyright