“The building block of formal logic is the proposition.”