Logic and Truth: Promise, Difficulties and Problems