El documento analiza las diferentes formas en que se pueden clasificar las oraciones del lenguaje natural ordinario en cognoscitivo, valorativo y prescriptivo. También determina cuáles de las oraciones propuestas son proposiciones y cuáles no, e introduce conceptos lógicos como cuantificadores, tautologías y contradicciones.