Formal logic or the calculus of inference, necessary and probable - De Morgan, Augustus 1806-1871 (Taylor and Walton, 1847)