Abstract
Language provides simple ways of communicating generalizable knowledge toeach other (e.g., "Birds fly", "John hikes", "Fire makes smoke"). Though foundin every language and emerging early in development, the language ofgeneralization is philosphically puzzling and has resisted preciseformalization. Here, we propose the first formal account of the language ofgeneralization that makes quantitative predictions about human understanding.We test our model in three diverse domains: generalizations about categories(generic language), events (habitual language), and causes (causal language).The model explains the gradience in human endorsement through the interplaybetween a simple truth-conditional semantic theory and diverse beliefs aboutproperties. This work opens the door to understanding precisely how abstractknowledge is learned from language.