Propositions, Functions, and Analysis