Descriptor
| Case Studies | 1 |
| Inferences | 1 |
| Mathematical Concepts | 1 |
| Mathematical Logic | 1 |
| Mathematics Education | 1 |
| Semantics | 1 |
| Symbols (Mathematics) | 1 |
| Syntax | 1 |
| Theories | 1 |
| Validity | 1 |
Source
| Educational Studies in… | 1 |
Author
| Alcock, Lara | 1 |
| Weber, Keith | 1 |
Publication Type
| Journal Articles | 1 |
| Reports - Descriptive | 1 |
Education Level
Audience
Location
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Peer reviewed
Direct linkWeber, Keith; Alcock, Lara – Educational Studies in Mathematics, 2004
In this paper, we distinguish between two ways that an individual can construct a formal proof. We define a syntactic proof production to occur when the prover draws inferences by manipulating symbolic formulae in a logically permissible way. We define a semantic proof production to occur when the prover uses instantiations of mathematical…
Descriptors: Mathematical Logic, Validity, Mathematical Concepts, Case Studies
