Logic as a positive science. (1980)