If proposition-types are abstract in the way linguistic types are abstract, mind-dependence and abst...