Search

Turner (2018) argues that computer programs must have purposes, that implementation is not a kind of semantics, and that computers might need to understand what they do. I respectfully disagree: Computer programs need not have purposes, implementation is a kind of semantic interpretation, and neither human computers nor computing machines need to understand what they do. [ABSTRACT FROM AUTHOR]

Before the advent of symbolism, i.e. before the end of the 16th Century, algebraic calculations were made using natural language. Through a kind of metaphorical process, a few terms from everyday life (e.g. thing, root) acquired a technical mathematical status and constituted the specialized language of algebra. The introduction of letters and other symbols (e.g. “+”, “=”) made it possible to achieve what is considered one of the greatest cultural accomplishments in human history, namely, the constitution of a symbolic algebraic language and the concomitant rise of symbolic thinking. Because of their profound historical ties with natural language, the emerging syntax and meanings of symbolic algebraic language were marked in a definite way by the syntax and meanings of the former. However, at a certain point, these ties were loosened and algebraic symbolism became a language in its own right. Without alluding to the theory of recapitulation, in this paper, we travel back and forth from history to the present to explore key passages in the constitution of the syntax and meanings of symbolic algebraic language. A contextual semiotic analysis of the use of algebraic terms in 9th century Arabic as well as in contemporary students' mathematical activity, sheds some light on the conceptual challenges posed by the learning of algebra. [ABSTRACT FROM AUTHOR]

It is widely attested that university students face considerable difficulties with reasoning in analysis, especially when dealing with statements involving two different quantifiers. We focus in this paper on a specific mistake which appears in proofs where one applies twice or more a statement of the kind "for all X, there exists Y such that R(X, Y)", and forgets that in that case, a priori, "Y depends on X". We analyse this mistake from both a logical and mathematical point of view, and study it through two inquiries, an historical one and a didactic one. We show that mathematics teachers emphasise the importance of the dependence rule in order to avoid this kind of mistake, while natural deduction in predicate calculus provides a logical framework to analyse and control the use of quantifiers. We show that the relevance of this dependence rule depends heavily on the context: nearly without interest in geometry, but fundamental in analysis or linear algebra. As a consequence, mathematical knowledge is a key to correct reasoning, so that there is a large distance between beginners' and experts' abilities regarding control of validity, that, to be shortened, probably requires more than a syntactic rule or informal advice. [ABSTRACT FROM AUTHOR]

Ordinary semantic compositionality (meaning of whole determined from meanings of parts plus composition) can serve to explain how a hearer manages to assign an appropriate meaning to a new sentence. But it does not serve to explain how the speaker manages to find an appropriate sentence for expressing a new thought. For this we would need a principle of inverse compositionality, by which the expression of a complex content is determined by the expressions of it parts and the mode of composition. But this presupposes that contents have constituent structure, and this cannot be taken for granted. However, it can be proved that if a certain principle of substitutivity is valid for a particular language, then the meanings expressed by its sentences can justifiably be treated as structured. In its simplest form, this principle says that if in a complex expression a constituent is replaced by another constituent with a different meaning, the new complex has a meaning different from the original. This principle is again inversely related to the normal compositional principle of substitutivity. The combination of ordinary and inverse compositionality is here called ‘strong compositionality’. The proof is carried out in the algebraic framework developed by Wilfrid Hodges and Dag Westerståhl. [ABSTRACT FROM AUTHOR]

This paper employs conversation analysis to examine the inter-connection between grammar and displays of contextual understanding, social identity, and social relationships as well as other activities clustering around turn-endings in Japanese talk-in-interaction, while undertaking a restricted comparison with the realisation of similar activities in English. A notable feature of turn-endings in Japanese is the particular salience of grammatical construction on the interactional activities they accomplish. Complete turns which are also syntactically complete are shown to be associated with the explicit display of contextual features, whereas syntactically incomplete turns are designed to circumvent or minimise such displays. The explicit or implicit display of one‘s social and contextual relationship to the interactional environment is therefore seen to be an integral part of the performance of social actions in Japanese. On the other hand, in English, it is more difficult to establish a clear association between grammar and the inclusion or avoidance of contextual displays. [ABSTRACT FROM AUTHOR]