Supplementary information files for "How do Introduction-to-Proof Textbooks Explain Conditionals and Implications?"
收藏DataCite Commons2025-03-26 更新2025-04-16 收录
下载链接：
https://repository.lboro.ac.uk/articles/dataset/How_do_Introduction-to-Proof_Textbooks_Explain_Conditionals_and_Implications_Supplementary_Materials/26271289/2
下载链接
链接失效反馈官方服务：
资源简介：
Supplementary files for article "How do introduction-to-proof textbooks explain conditionals and implications?"Conditionals are ubiquitous in mathematics: we routinely express theorems using universal conditionals of the form ‘for all 𝑥, if 𝐴(𝑥) then 𝐵(𝑥)’. The logic of universal conditionals is underpinned by that of propositional conditionals, which take the form ‘if 𝐴(𝑥<sub>0</sub>) then 𝐵(𝑥<sub>0</sub>)’, where 𝑥<sub>0</sub> is a specific object. In mathematics, propositional conditionals are subject to a material conditional interpretation: they are true unless 𝐴(𝑥<sub>0</sub>) is true and 𝐵(𝑥<sub>0</sub>) is false. This, unfortunately, makes them peculiar in relation to natural language. Moreover, distinctions between propositional conditionals, universal conditionals, and implications are not always clear. How do introduction-to-proof textbooks deal with these issues? We address this question via a theoretically driven qualitative analysis of 17 texts commonly recommended at UK and US universities. We report on how these texts explain conditionals/implications, how they deal with the peculiarities of the material conditional, and how they discuss related language and reasoning. We then present a theoretical analysis of ambiguities that might leave a student confused, arguing that these arise due to the pragmatics of mathematical communication.<br><br>© The Author(s) CC BY-NC 4.0
提供机构：
Loughborough University
创建时间：
2025-03-26
