NotesFAQContact Us
Search Tips
Peer reviewed Peer reviewed
PDF on ERIC Download full text
ERIC Number: EJ1237386
Record Type: Journal
Publication Date: 2020-Feb
Pages: 23
Abstractor: As Provided
ISSN: ISSN-2407-9898
Is Mathematical Logic Really Necessary in Teaching Mathematical Proofs?
Aristidou, Michael
Athens Journal of Education, v7 n1 p99-121 Feb 2020
As it is already observed by mathematicians and educators, there is a discrepancy between the formal techniques of mathematical logic and the informal techniques of mathematics in regards to proof. We examine some of the reasons behind this discrepancy and to what degree it affects doing, teaching and learning mathematics in college. We also present some college students' opinions about proofs, and we briefly observe the situation in Greek and Greek-Cypriot high schools in which mathematical logic is part of the curriculum. Finally, we argue that even though mathematical logic is central in mathematics, its formal methods are not really necessary in doing and teaching mathematical proofs and the role of those formalities has been, in general, overestimated by some educators.
Athens Institute for Education & Research. 8 Valaoritou Street, Kolonaki, Athens 10671, Greece. e-mail:; Web site:
Publication Type: Journal Articles; Reports - Evaluative; Tests/Questionnaires
Education Level: Higher Education; Postsecondary Education; High Schools; Secondary Education
Audience: N/A
Language: English
Sponsor: N/A
Authoring Institution: N/A
Identifiers - Location: Greece; Cyprus
Grant or Contract Numbers: N/A