Heim and Kratzer's "Semantics in Generative Grammar", bases its semantics on some version of transformational syntax. However, it is remarkably inexplicit about formalising the syntax it presupposes ...
I have read about alpha, but back in time there was another notation, using the vertical sign |. I'd like to know how they pronounced it. EDIT: with a bit of more research, I've actually found that ...
Suppose an alien life comes to Earth, and challenges us to answer a question that will allow them do determine if we can communicate without ambiguities and solve controversies in a rational way. The ...
Is there a branch of linguistics using Calculus as a mathematical tool? I mean, can we use differential or integrate in linguistic study?
Consider the mathematical statement 1 + 2 = 3 It is read in English as One plus two equals three. One plus two is equal to three. In English at least, equals is obviously an ordinary ...
Can anyone point me towards some good work on the semantics of ordinary language mathematical claims? Any tips would be greatly appreciated. For example, when a geometer says of Euclidean geometry ...