Sentential Probability Logic: Origins, Development, Current Status, and Technical Applications