Here Lewis recognizes Barcan Marcus as the first logician to extend propositional logic as a higher order intensional logic.
Ovde Levis prepoznaje Barkan Markusovu kao prvog logističara koji je uspeo da proširi iskaznu logiku kao logiku namere višeg reda.