HISTORY AND PHILOSOPHY OF LOGIC