the title seems to be an unfortunate pun. from a quick look at the article, it's mostly cogsci stuff, where "proposition" has a very different meaning from the

the title seems to be an unfortunate pun. from a quick look at the article, it's mostly cogsci stuff, where "proposition" has a very different meaning from the one "Propositions as types" normally refers to: "The proposition is a concept borrowed by cognitive psychologists from linguists and logicians. The propostion is the most basic unit of meaning in a [mental] representation." [1] the article seems to mostly be talking about AI and the problems of making it "actually refer to the real world". so i think title could be paraphrased as sth like "Information about the world ([mental] propositions) is hard to represent with symbolic, digital things (types)". [1](http://www.bcp.psych.ualberta.ca/~mike/Pearl_Street/Dictionary/contents/P/proposition.html#targetText=University%20of%20Alberta%20Dictionary%20of%20Cognitive%20Science%3A%20Proposition&targetText=The%20proposition%20is%20a%20concept,judged%20either%20true%20or%20false http://www.bcp.psych.ualberta.ca/~mike/Pearl_Street/Dictiona...)