  In several papers (including  McCarthy 1979),  John McCarthy has recommended an approach to formalizing knowledge that uses first-order logic, but that quantifies explicitly over such things as individual concepts. In this section, we discuss the approach taken by most computer scientists, who, unlike McCarthy, use a modal language to formalize propositional attitudes.